Helmut Seidl
Scholar

Helmut Seidl

Google Scholar ID: cWGEU94AAAAJ
Professor für Informatik, School of CIT, TU München
static analysis of programsfixpoint algorithmsstrategy iterationtree automata
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,316
 
H-index
20
 
i10-index
34
 
Publications
20
 
Co-authors
45
list available
Contact
No contact links provided.
Publications
7 items
Max-Policy Iteration, Revisited
2026
Cited
0
Compile-Time Simplification of Classically Controlled Operations in Dynamic Circuits
2026
Cited
0
Practical Insights into Fair Comparison and Evaluation Frame for Neutral-Atom Compilers
2026
Cited
0
Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
2026
Cited
0
Dead Gate Elimination
2025
Cited
0
Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
2025
Cited
0
When Is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?
International Colloquium on Automata, Languages and Programming · 2025
Cited
2
Resume (English only)
Co-authors
45 total
Sebastian Maneth
Sebastian Maneth
Professor für Informatik, Universität Bremen
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Michael Schwarz
Michael Schwarz
National University of Singapore
Julian Erhard
Julian Erhard
PhD Candidate, Technische Universität München
Co-author 7
Co-author 7
Kalmer Apinis
Kalmer Apinis
Institute of Computer Science, University of Tartu