Helmut Seidl

Hivatkozott rá

	Összes	2020 óta
Hivatkozások	5959	1142
h-index	43	19
i10-index	112	32

320

160

240

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 29 12 30 23 45 83 79 67 78 76 111 144 213 293 249 271 273 254 267 279 320 235 237 242 208 220 196 160 174 193 162 265 307 40

Nyilvános hozzáférés

Összes megtekintése

30 cikk

4 cikk

elérhető

nem érhető el

Finanszírozási megbízások alapján

Társszerzők

Sebastian ManethProfessor für Informatik, Universität BremenE-mail megerősítve itt: uni-bremen.de
Vesal VojdaniUniversity of TartuE-mail megerősítve itt: ut.ee
Sebastian HackProfessor of Computer Science, Saarland University, Saarland Informatics CampusE-mail megerősítve itt: cs.uni-saarland.de
Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)E-mail megerősítve itt: cs.uni-saarland.de
Michael SchwarzPhD Candidate, Technical University of MunichE-mail megerősítve itt: tum.de
Julian ErhardPhD Candidate, Technische Universität MünchenE-mail megerősítve itt: tum.de
Flemming NielsonProfessor at DTU Applied Mathematics and Computer ScienceE-mail megerősítve itt: imm.dtu.dk
Kalmer ApinisInstitute of Computer Science, University of TartuE-mail megerősítve itt: ut.ee
Anca MuschollLaBRI, Univ. of BordeauxE-mail megerősítve itt: labri.fr
Simmo SaanPhD student, Institute of Computer Science, University of Tartu, EstoniaE-mail megerősítve itt: ut.ee
Thomas SchwentickProfessor of Computer Science, TU Dortmund UniversityE-mail megerősítve itt: udo.edu
Hanne Riis Nielsonprofessor at DTU Applied Mathematics and Computer ScienceE-mail megerősítve itt: imm.dtu.dk
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityE-mail megerősítve itt: cispa.de
Ralf VoglerInformatik, TU MünchenE-mail megerősítve itt: tum.de
Sarah TilscherTechnical University of MunichE-mail megerősítve itt: tum.de
Christoph KesslerLinköping UniversityE-mail megerősítve itt: liu.se
Peter LammichThe University of ManchesterE-mail megerősítve itt: in.tum.de
Varmo VeneProfessor of Semantics of Programming Languages, University of TartuE-mail megerősítve itt: cs.ut.ee
Joost Engelfrietassociate professor, LIACS, Leiden UniversityE-mail megerősítve itt: liacs.leidenuniv.nl
Bernhard SteffenProfessor für Informatik, TU DortmundE-mail megerősítve itt: cs.uni-dortmund.de

Követés

Helmut Seidl

Professor für Informatik, School of CIT, TU München

E-mail megerősítve itt: in.tum.de - Kezdőlap

static analysis of programs fixpoint algorithms strategy iteration tree automata


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
Compiler design: syntactic and semantic analysis R Wilhelm, H Seidl, S Hack Springer Science & Business Media, 2013	389	2013
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	211	1990
On the complexity of equational horn clauses KN Verma, H Seidl, T Schwentick International Conference on Automated Deduction, 337-352, 2005	153	2005
On the degree of ambiguity of finite automata A Weber, H Seidl Theoretical Computer Science 88 (2), 325-349, 1991	141	1991
Computing polynomial program invariants M Müller-Olm, H Seidl Information Processing Letters 91 (5), 233-244, 2004	133	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	131	2005
Counting in trees for free H Seidl, T Schwentick, A Muscholl, P Habermehl Automata, Languages and Programming: 31st International Colloquium, ICALP …, 2004	128	2004
Haskell overloading is DEXPTIME-complete H Seidl Inf. Process. Lett. 52 (2), 57-60, 1994	128	1994
A note on Karr’s algorithm M Müller-Olm, H Seidl International Colloquium on Automata, Languages, and Programming, 1016-1028, 2004	120	2004
Locating matches of tree patterns in forests A Neumann, H Seidl Foundations of Software Technology and Theoretical Computer Science: 18th …, 1998	112	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	93	2012
A Succinct Solver for ALFP. F Nielson, H Seidl, HR Nielson Nord. J. Comput. 9 (4), 335-372, 2002	91	2002
Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems C Fecht, H Seidl European Symposium on Programming, 90-104, 1998	88	1998
Fast and simple nested fixpoints H Seidl Information Processing Letters 59 (6), 303-308, 1996	87	1996
Macro forest transducers T Perst, H Seidl Information Processing Letters 89 (3), 141-149, 2004	83	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	82	2016
Analysis of modular arithmetic M Müller-Olm, H Seidl European Symposium on Programming, 46-60, 2005	82	2005

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

Követés

Hivatkozott rá

Társszerzők