Scholar
Helmut Seidl
Google Scholar ID: cWGEU94AAAAJ
Professor für Informatik, School of CIT, TU München
static analysis of programs
fixpoint algorithms
strategy iteration
tree automata
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,316
H-index
20
i10-index
34
Publications
20
Co-authors
45
list available
Publications
9 items
Fidelity-Aware Scheduling of Quantum Circuits on Multi-QPU Systems
2026
Cited
0
GPU-Accelerated Host-Aware Dead-Measurement Detection in Hybrid Quantum--Classical Programs: Full Version
2026
Cited
0
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
Load more
Co-authors
10 total
Sebastian Maneth
Professor für Informatik, Universität Bremen
Michael Schwarz
National University of Singapore
Julian Erhard
PhD Candidate, Technische Universität München
Kalmer Apinis
Institute of Computer Science, University of Tartu
Anca Muscholl
LaBRI, Univ. of Bordeaux
Sarah Tilscher
Technical University of Munich
Thomas Schwentick
Professor of Computer Science, TU Dortmund University
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
