Helmut Seidl

Cited by

	All	Since 2019
Citations	5550	1234
h-index	43	19
i10-index	114	33

320

160

240

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 29 11 30 17 46 63 59 38 53 57 87 121 190 270 235 259 257 232 257 271 301 230 221 239 198 234 197 160 163 194 169 263 282

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
Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)Verified email at cs.uni-saarland.de
Julian ErhardPhD Candidate, Technische Universität MünchenVerified email at tum.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
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	150	2005
On the degree of ambiguity of finite automata A Weber, H Seidl Theoretical Computer Science 88 (2), 325-349, 1991	133	1991
Computing polynomial program invariants M Müller-Olm, H Seidl Information Processing Letters 91 (5), 233-244, 2004	131	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	129	2005
Haskell overloading is DEXPTIME-complete H Seidl Inf. Process. Lett. 52 (2), 57-60, 1994	125	1994
Counting in trees for free H Seidl, T Schwentick, A Muscholl, P Habermehl Automata, Languages and Programming: 31st International Colloquium, ICALP …, 2004	124	2004
A note on Karr’s algorithm M Müller-Olm, H Seidl International Colloquium on Automata, Languages, and Programming, 1016-1028, 2004	118	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
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 Verification, Model Checking, and Abstract Interpretation: 13th …, 2012	91	2012
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
Macro forest transducers T Perst, H Seidl Information Processing Letters 89 (3), 141-149, 2004	82	2004
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
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
Analysis of modular arithmetic M Müller-Olm, H Seidl Programming Languages and Systems: 14th European Symposium on Programming …, 2005	80	2005

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