Helmut Seidl

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	5958	1139
H-index	43	19
i10-index	112	32

320

160

240

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 29 12 30 23 45 83 79 67 78 76 109 146 212 293 250 271 273 256 267 279 320 235 237 242 206 220 196 162 174 193 162 266 304 39

גישה ציבורית

הצג הכל

29 מאמרים

5 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Sebastian ManethProfessor für Informatik, Universität Bremenכתובת אימייל מאומתת בדומיין uni-bremen.de
Vesal VojdaniUniversity of Tartuכתובת אימייל מאומתת בדומיין ut.ee
Sebastian HackProfessor of Computer Science, Saarland University, Saarland Informatics Campusכתובת אימייל מאומתת בדומיין cs.uni-saarland.de
Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)כתובת אימייל מאומתת בדומיין cs.uni-saarland.de
Michael SchwarzPhD Candidate, Technical University of Munichכתובת אימייל מאומתת בדומיין tum.de
Julian ErhardPhD Candidate, Technische Universität Münchenכתובת אימייל מאומתת בדומיין tum.de
Flemming NielsonProfessor at DTU Applied Mathematics and Computer Scienceכתובת אימייל מאומתת בדומיין imm.dtu.dk
Anca MuschollLaBRI, Univ. of Bordeauxכתובת אימייל מאומתת בדומיין labri.fr
Kalmer ApinisInstitute of Computer Science, University of Tartuכתובת אימייל מאומתת בדומיין ut.ee
Simmo SaanPhD student, Institute of Computer Science, University of Tartu, Estoniaכתובת אימייל מאומתת בדומיין ut.ee
Thomas SchwentickProfessor of Computer Science, TU Dortmund Universityכתובת אימייל מאומתת בדומיין udo.edu
Hanne Riis Nielsonprofessor at DTU Applied Mathematics and Computer Scienceכתובת אימייל מאומתת בדומיין imm.dtu.dk
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information Securityכתובת אימייל מאומתת בדומיין cispa.de
Ralf VoglerInformatik, TU Münchenכתובת אימייל מאומתת בדומיין tum.de
Sarah TilscherTechnical University of Munichכתובת אימייל מאומתת בדומיין tum.de
Christoph KesslerLinköping Universityכתובת אימייל מאומתת בדומיין liu.se
Peter LammichThe University of Manchesterכתובת אימייל מאומתת בדומיין in.tum.de
Varmo VeneProfessor of Semantics of Programming Languages, University of Tartuכתובת אימייל מאומתת בדומיין cs.ut.ee
Joost Engelfrietassociate professor, LIACS, Leiden Universityכתובת אימייל מאומתת בדומיין liacs.leidenuniv.nl
Bernhard SteffenProfessor für Informatik, TU Dortmundכתובת אימייל מאומתת בדומיין cs.uni-dortmund.de

עקוב אחר

Helmut Seidl

Professor für Informatik, School of CIT, TU München

כתובת אימייל מאומתת בדומיין in.tum.de - דף הבית

static analysis of programs fixpoint algorithms strategy iteration tree automata


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
Compiler design: syntactic and semantic analysis‏ R Wilhelm, H Seidl, S Hack‏ Springer Science & Business Media, 2013‏	389	2013
Precise interprocedural analysis through linear algebra‏ M Müller-Olm, H Seidl‏ ACM SIGPLAN Notices 39 (1), 330-341, 2004‏	232	2004
Deciding equivalence of finite tree automata‏ H Seidl‏ SIAM Journal on Computing 19 (3), 424-437, 1990‏	211	1990
On the complexity of equational horn clauses‏ KN Verma, H Seidl, T Schwentick‏ International Conference on Automated Deduction, 337-352, 2005‏	153	2005
On the degree of ambiguity of finite automata‏ A Weber, H Seidl‏ Theoretical Computer Science 88 (2), 325-349, 1991‏	141	1991
Computing polynomial program invariants‏ M Müller-Olm, H Seidl‏ Information Processing Letters 91 (5), 233-244, 2004‏	133	2004
XML type checking with macro tree transducers‏ S Maneth, A Berlea, T Perst, H Seidl‏ Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on …, 2005‏	132	2005
Counting in trees for free‏ H Seidl, T Schwentick, A Muscholl, P Habermehl‏ Automata, Languages and Programming: 31st International Colloquium, ICALP …, 2004‏	128	2004
Haskell overloading is DEXPTIME-complete‏ H Seidl‏ Inf. Process. Lett. 52 (2), 57-60, 1994‏	128	1994
A note on Karr’s algorithm‏ M Müller-Olm, H Seidl‏ International Colloquium on Automata, Languages, and Programming, 1016-1028, 2004‏	120	2004
Locating matches of tree patterns in forests‏ A Neumann, H Seidl‏ Foundations of Software Technology and Theoretical Computer Science: 18th …, 1998‏	112	1998
Precise fixpoint computation through strategy iteration‏ T Gawlitza, H Seidl‏ European symposium on programming, 300-315, 2007‏	105	2007
Numerical document queries‏ H Seidl, T Schwentick, A Muscholl‏ Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on …, 2003‏	98	2003
Model checking information flow in reactive systems‏ R Dimitrova, B Finkbeiner, M Kovács, MN Rabe, H Seidl‏ Verification, Model Checking, and Abstract Interpretation: 13th …, 2012‏	93	2012
A Succinct Solver for ALFP.‏ F Nielson, H Seidl, HR Nielson‏ Nord. J. Comput. 9 (4), 335-372, 2002‏	91	2002
Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems‏ C Fecht, H Seidl‏ European Symposium on Programming, 90-104, 1998‏	88	1998
Fast and simple nested fixpoints‏ H Seidl‏ Information Processing Letters 59 (6), 303-308, 1996‏	87	1996
Macro forest transducers‏ T Perst, H Seidl‏ Information Processing Letters 89 (3), 141-149, 2004‏	84	2004
Analysis of modular arithmetic‏ M Müller-Olm, H Seidl‏ European Symposium on Programming, 46-60, 2005‏	82	2005
Static race detection for device drivers: the Goblint approach‏ V Vojdani, K Apinis, V Rõtov, H Seidl, V Vene, R Vogler‏ Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016‏	81	2016

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים