Helmut Seidl

Citado por

	Total	Desde 2016
Citas	5089	988
Índice h	40	16
Índice i10	101	32

320

160

240

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202113 24 14 32 26 49 78 79 78 84 88 111 137 220 276 243 291 263 270 271 292 308 257 226 250 220 202 200 176 167 23

Coautores

Sebastian ManethProfessor für Informatik, Universität BremenDirección de correo verificada de uni-bremen.de
Sebastian HackComputer Science, Saarland University, Saarland Informatics Campus (SIC)Dirección de correo verificada de cs.uni-saarland.de
Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)Dirección de correo verificada de cs.uni-saarland.de
Flemming NielsonProfessor at DTU Applied Mathematics and Computer ScienceDirección de correo verificada de imm.dtu.dk
Vesal VojdaniUniversity of TartuDirección de correo verificada de ut.ee
Thomas SchwentickProfessor of Computer Science, TU Dortmund UniversityDirección de correo verificada de udo.edu
Hanne Riis Nielsonprofessor at DTU Applied Mathematics and Computer ScienceDirección de correo verificada de imm.dtu.dk
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityDirección de correo verificada de cispa.saarland
Kalmer ApinisUniversity of TartuDirección de correo verificada de ut.ee
Joost Engelfrietassociate professor, LIACS, Leiden UniversityDirección de correo verificada de liacs.leidenuniv.nl
Bernhard SteffenProfessor für Informatik, TU DortmundDirección de correo verificada de cs.uni-dortmund.de
Varmo VeneProfessor of Semantics of Programming Languages, University of TartuDirección de correo verificada de cs.ut.ee
Peter HabermehlAssistant Professor of Computer Science, IRIF, University of ParisDirección de correo verificada de irif.fr
Martin HofmannProfessor for Informatics, University of MunichDirección de correo verificada de ifi.lmu.de
Aleksandr KarbyshevAxivion GmbHDirección de correo verificada de axivion.com
Markus N RabeGoogleDirección de correo verificada de google.com
Rayna DimitrovaCISPA Helmholtz Center for Information SecurityDirección de correo verificada de cispa.de
Eugen ZalinescuNomadic LabsDirección de correo verificada de nomadic-labs.com
Rene Rydhof HansenAalborg UniversityDirección de correo verificada de cs.aau.dk
Stephane GaubertDirecteur de recherche, INRIA and CMAP, Ecole polytechniqueDirección de correo verificada de inria.fr

Helmut Seidl

Professor für Informatik, TU München

Dirección de correo verificada de in.tum.de - Página principal

static analysis of programs fixpoint algorithms strategy iteration tree automata


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Compiler design R Wilhelm, D Maurer Addison-Wesley Publishing Company, 1995	348	1995
Precise interprocedural analysis through linear algebra M Müller-Olm, H Seidl ACM SIGPLAN Notices 39 (1), 330-341, 2004	213	2004
Übersetzerbau R Wilhelm, H Seidl, S Hack Springer Vieweg, 1997	195	1997
Deciding equivalence of finite tree automata H Seidl SIAM Journal on Computing 19 (3), 424-437, 1990	188	1990
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	122	2005
On the complexity of equational horn clauses KN Verma, H Seidl, T Schwentick International Conference on Automated Deduction, 337-352, 2005	113	2005
Haskell overloading is DEXPTIME-complete H Seidl Inf. Process. Lett. 52 (2), 57-60, 1994	110	1994
Counting in trees for free H Seidl, T Schwentick, A Muscholl, P Habermehl International Colloquium on Automata, Languages, and Programming, 1136-1149, 2004	109	2004
Locating matches of tree patterns in forests A Neumann, H Seidl International Conference on Foundations of Software Technology and …, 1998	104	1998
Computing polynomial program invariants M Müller-Olm, H Seidl Information Processing Letters 91 (5), 233-244, 2004	100	2004
Precise fixpoint computation through strategy iteration T Gawlitza, H Seidl European symposium on programming, 300-315, 2007	99	2007
Numerical document queries H Seidl, T Schwentick, A Muscholl Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on …, 2003	95	2003
A Succinct Solver for ALFP. F Nielson, H Seidl, HR Nielson Nord. J. Comput. 9 (4), 335-372, 2002	91	2002
On the degree of ambiguity of finite automata A Weber, H Seidl Theoretical Computer Science 88 (2), 325-349, 1991	86	1991
A note on Karr’s algorithm M Müller-Olm, H Seidl International Colloquium on Automata, Languages, and Programming, 1016-1028, 2004	84	2004
Tree automata for code selection C Ferdinand, H Seidl, R Wilhelm Acta Informatica 31 (8), 741-760, 1994	79	1994
Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems C Fecht, H Seidl European Symposium on Programming, 90-104, 1998	78	1998
Macro forest transducers T Perst, H Seidl Information Processing Letters 89 (3), 141-149, 2004	76	2004
Analysis of modular arithmetic M Müller-Olm, H Seidl European Symposium on Programming, 46-60, 2005	71	2005
Model checking information flow in reactive systems R Dimitrova, B Finkbeiner, M Kovács, MN Rabe, H Seidl International Workshop on Verification, Model Checking, and Abstract …, 2012	70	2012

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Subir PDF

Seguir a este autor

Citado por

Coautores