Helmut Seidl

Cited by

	All	Since 2018
Citations	5123	990
h-index	41	15
i10-index	111	28

300

150

225

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202314 26 12 26 17 41 65 61 35 52 58 84 120 182 270 238 253 264 236 255 275 300 237 223 259 204 225 197 167 164 191 182 89

Public access

View all

21 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
Thomas SchwentickProfessor of Computer Science, TU Dortmund UniversityVerified email at udo.edu
Kalmer ApinisInstitute of Computer Science, University of TartuVerified email at ut.ee
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
Christoph KesslerLinköping UniversityVerified email at liu.se
Ralf VoglerInformatik, TU MünchenVerified email at tum.de
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
Peter HabermehlAssistant Professor of Computer Science, IRIF, University Paris CitéVerified email at irif.fr
Joost Engelfrietassociate professor, LIACS, Leiden UniversityVerified email at liacs.leidenuniv.nl
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	226	2004
Deciding equivalence of finite tree automata H Seidl SIAM Journal on Computing 19 (3), 424-437, 1990	208	1990
On the complexity of equational horn clauses KN Verma, H Seidl, T Schwentick Automated Deduction–CADE-20: 20th International Conference on Automated …, 2005	133	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	128	2005
Haskell overloading is DEXPTIME-complete H Seidl Inf. Process. Lett. 52 (2), 57-60, 1994	121	1994
Computing polynomial program invariants M Müller-Olm, H Seidl Information Processing Letters 91 (5), 233-244, 2004	114	2004
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	110	1998
On the degree of ambiguity of finite automata A Weber, H Seidl Theoretical Computer Science 88 (2), 325-349, 1991	109	1991
Precise fixpoint computation through strategy iteration T Gawlitza, H Seidl ESOP 7, 300-315, 2007	105	2007
A note on Karr’s algorithm M Müller-Olm, H Seidl Automata, Languages and Programming: 31st International Colloquium, ICALP …, 2004	99	2004
Numerical document queries H Seidl, T Schwentick, A Muscholl Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on …, 2003	99	2003
A Succinct Solver for ALFP. F Nielson, H Seidl, HR Nielson Nord. J. Comput. 9 (4), 335-372, 2002	92	2002
Model Checking Information Flow in Reactive Systems. R Dimitrova, B Finkbeiner, M Kovács, MN Rabe, H Seidl VMCAI, 169-185, 2012	84	2012
Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems C Fecht, H Seidl Nord. J. Comput. 5 (4), 304-329, 1998	81	1998
Macro forest transducers T Perst, H Seidl Information Processing Letters 89 (3), 141-149, 2004	78	2004
Fast and simple nested fixpoints H Seidl Information Processing Letters 59 (6), 303-308, 1996	78	1996
Tree automata for code selection C Ferdinand, H Seidl, R Wilhelm Acta Informatica 31, 741-760, 1994	78	1994
Analysis of modular arithmetic M Müller-Olm, H Seidl Programming Languages and Systems: 14th European Symposium on Programming …, 2005	75	2005
Analysis of modular arithmetic M Müller-Olm, H Seidl ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (5), 29-es, 2007	71	2007

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