Helmut Seidl

Cited by

	All	Since 2018
Citations	5255	1129
h-index	41	17
i10-index	113	32

320

160

240

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202315 29 12 30 16 42 63 61 36 52 57 82 117 191 258 232 258 263 237 255 283 304 239 222 249 199 221 198 163 161 195 172 239

Public access

View all

23 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Sebastian ManethProfessor für Informatik, Universität BremenVerified email at uni-bremen.de
Vesal VojdaniUniversity of TartuVerified email at ut.ee
Sebastian HackProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)Verified email at cs.uni-saarland.de
Flemming NielsonProfessor at DTU Applied Mathematics and Computer ScienceVerified email at imm.dtu.dk
Anca MuschollLaBRI, Univ. of BordeauxVerified email at labri.fr
Kalmer ApinisInstitute of Computer Science, University of TartuVerified email at ut.ee
Thomas SchwentickProfessor of Computer Science, TU Dortmund UniversityVerified email at udo.edu
Hanne Riis Nielsonprofessor at DTU Applied Mathematics and Computer ScienceVerified email at imm.dtu.dk
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Ralf VoglerInformatik, TU MünchenVerified email at tum.de
Christoph KesslerLinköping UniversityVerified email at liu.se
Peter LammichThe University of ManchesterVerified email at in.tum.de
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Varmo VeneProfessor of Semantics of Programming Languages, University of TartuVerified email at cs.ut.ee
Joost Engelfrietassociate professor, LIACS, Leiden UniversityVerified email at liacs.leidenuniv.nl
Peter HabermehlAssistant Professor of Computer Science, IRIF, University Paris CitéVerified email at irif.fr
Christian FerdinandVerified email at absint.com
Aleksandr KarbyshevHeliaxVerified email at heliax.dev
Eugen ZalinescuNomadic LabsVerified email at nomadic-labs.com

Helmut Seidl

Professor für Informatik, TU München

Verified email at in.tum.de - Homepage

static analysis of programs fixpoint algorithms strategy iteration tree automata


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Precise interprocedural analysis through linear algebra M Müller-Olm, H Seidl ACM SIGPLAN Notices 39 (1), 330-341, 2004	228	2004
Deciding equivalence of finite tree automata H Seidl SIAM Journal on Computing 19 (3), 424-437, 1990	206	1990
On the complexity of equational horn clauses KN Verma, H Seidl, T Schwentick International Conference on Automated Deduction, 337-352, 2005	136	2005
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	131	2005
Haskell overloading is DEXPTIME-complete H Seidl Inf. Process. Lett. 52 (2), 57-60, 1994	120	1994
Computing polynomial program invariants M Müller-Olm, H Seidl Information Processing Letters 91 (5), 233-244, 2004	118	2004
On the degree of ambiguity of finite automata A Weber, H Seidl Theoretical Computer Science 88 (2), 325-349, 1991	117	1991
Counting in trees for free H Seidl, T Schwentick, A Muscholl, P Habermehl Automata, Languages and Programming: 31st International Colloquium, ICALP …, 2004	114	2004
Locating matches of tree patterns in forests A Neumann, H Seidl Foundations of Software Technology and Theoretical Computer Science: 18th …, 1998	109	1998
Precise fixpoint computation through strategy iteration T Gawlitza, H Seidl European symposium on programming, 300-315, 2007	105	2007
A note on Karr’s algorithm M Müller-Olm, H Seidl International Colloquium on Automata, Languages, and Programming, 1016-1028, 2004	103	2004
Numerical document queries H Seidl, T Schwentick, A Muscholl Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on …, 2003	98	2003
A Succinct Solver for ALFP. F Nielson, H Seidl, HR Nielson Nord. J. Comput. 9 (4), 335-372, 2002	91	2002
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	88	2012
Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems C Fecht, H Seidl European Symposium on Programming, 90-104, 1998	81	1998
Macro forest transducers T Perst, H Seidl Information Processing Letters 89 (3), 141-149, 2004	80	2004
Analysis of modular arithmetic M Müller-Olm, H Seidl Programming Languages and Systems: 14th European Symposium on Programming …, 2005	79	2005
Fast and simple nested fixpoints H Seidl Information Processing Letters 59 (6), 303-308, 1996	79	1996
Analysis of modular arithmetic M Müller-Olm, H Seidl ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (5), 29-es, 2007	78	2007
Tree automata for code selection C Ferdinand, H Seidl, R Wilhelm Acta Informatica 31, 741-760, 1994	78	1994

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors