Folgen
Helmut Seidl
Helmut Seidl
Professor für Informatik, TU München
Bestätigte E-Mail-Adresse bei in.tum.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Precise interprocedural analysis through linear algebra
M Müller-Olm, H Seidl
ACM SIGPLAN Notices 39 (1), 330-341, 2004
2262004
Deciding equivalence of finite tree automata
H Seidl
SIAM Journal on Computing 19 (3), 424-437, 1990
2081990
On the complexity of equational horn clauses
KN Verma, H Seidl, T Schwentick
Automated Deduction–CADE-20: 20th International Conference on Automated …, 2005
1332005
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
1282005
Haskell overloading is DEXPTIME-complete
H Seidl
Inf. Process. Lett. 52 (2), 57-60, 1994
1211994
Counting in trees for free
H Seidl, T Schwentick, A Muscholl, P Habermehl
Automata, Languages and Programming: 31st International Colloquium, ICALP …, 2004
1142004
Computing polynomial program invariants
M Müller-Olm, H Seidl
Information Processing Letters 91 (5), 233-244, 2004
1132004
Locating matches of tree patterns in forests
A Neumann, H Seidl
Foundations of Software Technology and Theoretical Computer Science: 18th …, 1998
1101998
On the degree of ambiguity of finite automata
A Weber, H Seidl
Theoretical Computer Science 88 (2), 325-349, 1991
1091991
Precise fixpoint computation through strategy iteration
T Gawlitza, H Seidl
ESOP 7, 300-315, 2007
1052007
A note on Karr’s algorithm
M Müller-Olm, H Seidl
Automata, Languages and Programming: 31st International Colloquium, ICALP …, 2004
992004
Numerical document queries
H Seidl, T Schwentick, A Muscholl
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on …, 2003
992003
A Succinct Solver for ALFP.
F Nielson, H Seidl, HR Nielson
Nord. J. Comput. 9 (4), 335-372, 2002
922002
Model Checking Information Flow in Reactive Systems.
R Dimitrova, B Finkbeiner, M Kovács, MN Rabe, H Seidl
VMCAI, 169-185, 2012
842012
Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems
C Fecht, H Seidl
Nord. J. Comput. 5 (4), 304-329, 1998
811998
Macro forest transducers
T Perst, H Seidl
Information Processing Letters 89 (3), 141-149, 2004
782004
Fast and simple nested fixpoints
H Seidl
Information Processing Letters 59 (6), 303-308, 1996
781996
Tree automata for code selection
C Ferdinand, H Seidl, R Wilhelm
Acta Informatica 31, 741-760, 1994
781994
Analysis of modular arithmetic
M Müller-Olm, H Seidl
Programming Languages and Systems: 14th European Symposium on Programming …, 2005
752005
Analysis of modular arithmetic
M Müller-Olm, H Seidl
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (5), 29-es, 2007
712007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20