| Compiler design: syntactic and semantic analysis R Wilhelm, H Seidl, S Hack Springer Science & Business Media, 2013 | 396 | 2013 |
| Precise interprocedural analysis through linear algebra M Müller-Olm, H Seidl ACM SIGPLAN Notices 39 (1), 330-341, 2004 | 235 | 2004 |
| Deciding equivalence of finite tree automata H Seidl SIAM Journal on Computing 19 (3), 424-437, 1990 | 218 | 1990 |
| On the complexity of equational horn clauses KN Verma, H Seidl, T Schwentick International Conference on Automated Deduction, 337-352, 2005 | 160 | 2005 |
| On the degree of ambiguity of finite automata A Weber, H Seidl Theoretical Computer Science 88 (2), 325-349, 1991 | 147 | 1991 |
| Computing polynomial program invariants M Müller-Olm, H Seidl Information Processing Letters 91 (5), 233-244, 2004 | 137 | 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 | 134 | 2005 |
| Counting in trees for free H Seidl, T Schwentick, A Muscholl, P Habermehl International Colloquium on Automata, Languages, and Programming, 1136-1149, 2004 | 134 | 2004 |
| Haskell overloading is DEXPTIME-complete H Seidl Inf. Process. Lett. 52 (2), 57-60, 1994 | 133 | 1994 |
| A note on Karr’s algorithm M Müller-Olm, H Seidl International Colloquium on Automata, Languages, and Programming, 1016-1028, 2004 | 122 | 2004 |
| Locating matches of tree patterns in forests A Neumann, H Seidl International Conference on Foundations of Software Technology and …, 1998 | 112 | 1998 |
| Precise fixpoint computation through strategy iteration T Gawlitza, H Seidl European symposium on programming, 300-315, 2007 | 106 | 2007 |
| Numerical document queries H Seidl, T Schwentick, A Muscholl Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on …, 2003 | 99 | 2003 |
| 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 | 97 | 2016 |
| 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 | 95 | 2012 |
| A Succinct Solver for ALFP. F Nielson, H Seidl, HR Nielson Nord. J. Comput. 9 (4), 335-372, 2002 | 92 | 2002 |
| Analysis of modular arithmetic M Müller-Olm, H Seidl European Symposium on Programming, 46-60, 2005 | 86 | 2005 |
| Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems C Fecht, H Seidl European Symposium on Programming, 90-104, 1998 | 85 | 1998 |
| Fast and simple nested fixpoints H Seidl Information Processing Letters 59 (6), 303-308, 1996 | 85 | 1996 |
| Analysis of modular arithmetic M Müller-Olm, H Seidl ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (5), 29-es, 2007 | 83 | 2007 |
Sebastian ManethProfessor für Informatik, Universität BremenVerified email at uni-bremen.de
