Helmut Seidl

Trích dẫn bởi

	Tất cả	Từ 2020
Trích dẫn	5953	1134
h-index	43	19
i10-index	112	32

320

160

240

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 29 12 30 23 45 83 79 67 78 76 109 146 212 293 250 271 273 256 267 279 320 235 237 242 206 219 197 162 173 193 162 266 304 35

Truy cập công khai

Xem tất cả

29 bài viết

5 bài viết

có sẵn

không có sẵn

Dựa trên yêu cầu tài trợ

Đồng tác giả

Sebastian ManethProfessor für Informatik, Universität BremenEmail được xác minh tại uni-bremen.de
Vesal VojdaniUniversity of TartuEmail được xác minh tại ut.ee
Sebastian HackProfessor of Computer Science, Saarland University, Saarland Informatics CampusEmail được xác minh tại cs.uni-saarland.de
Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)Email được xác minh tại cs.uni-saarland.de
Michael SchwarzPhD Candidate, Technical University of MunichEmail được xác minh tại tum.de
Julian ErhardPhD Candidate, Technische Universität MünchenEmail được xác minh tại tum.de
Flemming NielsonProfessor at DTU Applied Mathematics and Computer ScienceEmail được xác minh tại imm.dtu.dk
Anca MuschollLaBRI, Univ. of BordeauxEmail được xác minh tại labri.fr
Kalmer ApinisInstitute of Computer Science, University of TartuEmail được xác minh tại ut.ee
Simmo SaanPhD student, Institute of Computer Science, University of Tartu, EstoniaEmail được xác minh tại ut.ee
Thomas SchwentickProfessor of Computer Science, TU Dortmund UniversityEmail được xác minh tại udo.edu
Hanne Riis Nielsonprofessor at DTU Applied Mathematics and Computer ScienceEmail được xác minh tại imm.dtu.dk
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityEmail được xác minh tại cispa.de
Ralf VoglerInformatik, TU MünchenEmail được xác minh tại tum.de
Sarah TilscherTechnical University of MunichEmail được xác minh tại tum.de
Christoph KesslerLinköping UniversityEmail được xác minh tại liu.se
Peter LammichThe University of ManchesterEmail được xác minh tại in.tum.de
Varmo VeneProfessor of Semantics of Programming Languages, University of TartuEmail được xác minh tại cs.ut.ee
Joost Engelfrietassociate professor, LIACS, Leiden UniversityEmail được xác minh tại liacs.leidenuniv.nl
Bernhard SteffenProfessor für Informatik, TU DortmundEmail được xác minh tại cs.uni-dortmund.de

Theo dõi

Helmut Seidl

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

Email được xác minh tại in.tum.de - Trang chủ

static analysis of programs fixpoint algorithms strategy iteration tree automata


Tiêu đề Sắp xếp theo số lượt trích dẫn Sắp xếp theo năm Sắp xếp theo tiêu đề	Trích dẫn bởi Trích dẫn bởi	Năm
Compiler design: syntactic and semantic analysis R Wilhelm, H Seidl, S Hack Springer Science & Business Media, 2013	388	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	132	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	84	2004
Analysis of modular arithmetic M Müller-Olm, H Seidl European Symposium on Programming, 46-60, 2005	82	2005
Analysis of modular arithmetic M Müller-Olm, H Seidl ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (5), 29-es, 2007	81	2007

Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.

Bài viết 1–20

Trích dẫn mỗi năm

Trích dẫn trùng lặp

Trích dẫn được hợp nhất

Thêm đồng tác giảĐồng tác giả

Theo dõi

Trích dẫn bởi

Đồng tác giả