Helmut Seidl

Cited by

	All	Since 2020
Citations	5594	1116
h-index	43	19
i10-index	114	31

320

160

240

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 29 11 30 17 46 63 59 38 53 57 89 119 191 270 237 259 257 232 259 270 301 230 221 239 198 234 197 160 163 196 171 260 295 30

Public access

View all

29 articles

4 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
Michael SchwarzPhD Candidate, Technical University of MunichVerified email at tum.de
Julian ErhardPhD Candidate, Technische Universität MünchenVerified email at tum.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
Kalmer ApinisInstitute of Computer Science, University of TartuVerified email at ut.ee
Anca MuschollLaBRI, Univ. of BordeauxVerified email at labri.fr
Simmo SaanPhD student, Institute of Computer Science, University of Tartu, EstoniaVerified 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
Sarah TilscherTechnical University of MunichVerified email at tum.de
Christoph KesslerLinköping UniversityVerified email at liu.se
Peter LammichThe University of ManchesterVerified email at in.tum.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
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de

Helmut Seidl

Professor für Informatik, School of CIT, 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	232	2004
Deciding equivalence of finite tree automata H Seidl SIAM Journal on Computing 19 (3), 424-437, 1990	210	1990
On the complexity of equational horn clauses KN Verma, H Seidl, T Schwentick International Conference on Automated Deduction, 337-352, 2005	152	2005
On the degree of ambiguity of finite automata A Weber, H Seidl Theoretical Computer Science 88 (2), 325-349, 1991	137	1991
Computing polynomial program invariants M Müller-Olm, H Seidl Information Processing Letters 91 (5), 233-244, 2004	132	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	130	2005
Haskell overloading is DEXPTIME-complete H Seidl Inf. Process. Lett. 52 (2), 57-60, 1994	126	1994
Counting in trees for free H Seidl, T Schwentick, A Muscholl, P Habermehl Automata, Languages and Programming: 31st International Colloquium, ICALP …, 2004	125	2004
A note on Karr’s algorithm M Müller-Olm, H Seidl International Colloquium on Automata, Languages, and Programming, 1016-1028, 2004	119	2004
Locating matches of tree patterns in forests A Neumann, H Seidl Foundations of Software Technology and Theoretical Computer Science: 18th …, 1998	113	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	92	2012
A Succinct Solver for ALFP. F Nielson, H Seidl, HR Nielson Nord. J. Comput. 9 (4), 335-372, 2002	92	2002
Fast and simple nested fixpoints H Seidl Information Processing Letters 59 (6), 303-308, 1996	89	1996
Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems C Fecht, H Seidl European Symposium on Programming, 90-104, 1998	85	1998
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	84	2016
Macro forest transducers T Perst, H Seidl Information Processing Letters 89 (3), 141-149, 2004	82	2004
Analysis of modular arithmetic M Müller-Olm, H Seidl Programming Languages and Systems: 14th European Symposium on Programming …, 2005	81	2005
Analysis of modular arithmetic M Müller-Olm, H Seidl ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (5), 29-es, 2007	80	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