Concepedia

Helmut Seidl

HS

49

Publications

2K

Citations

25

H-Index

1989

Active since

Affiliations

Technical University of Munich(Current)

Universität Trier

Saarland University

University of Münster

University of Hagen

Helmut Seidl is an author at Technical University of Munich specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningProgram AnalysisSoftware AnalysisComputational ComplexityVerificationComputer Engineering

Publications per year

1989–2021

49

Publications

49

Precise interprocedural analysis through linear algebra

Markus Müller-Olm, Helmut Seidl · 2004 · 180 citations

Mathematical Programming, Engineering, Compiler Technology +19

Deciding Equivalence of Finite Tree Automata

Helmut Seidl · SIAM Journal on Computing · 1990 · 145 citations

Tree Language, Engineering, Finite Tree Automaton +13

XML type checking with macro tree transducers

Sebastian Maneth, Alexandru Berlea, Thomas Perst et al. · 2005 · 120 citations

Engineering, Xml Type, Verification +18

Computing polynomial program invariants

Markus Müller-Olm, Helmut Seidl · Information Processing Letters · 2004 · 111 citations

Mathematical Programming, Engineering, Program Analysis +8

On the degree of ambiguity of finite automata

Andreas Weber⋆, Helmut Seidl · Theoretical Computer Science · 1991 · 93 citations

Logical Automaton, Engineering, Automated Reasoning +6

Rows per page

1–5 of 49