author-photo

Helmut Seidl

Technische Universität München
University of Trier
Saarland University

245

Papers

3893

Citations

Citation Trend

Filter By

Papers (245) Sort By

Journal Conference Others

On the Balancedness of Tree-to-Word Transducers

2021 International Journal of Foundations of Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
Applications of Tree Automata in Rewriting, Logic and Programming (Dagstuhl Seminar 9743)

2021
Show All
- Source
- Cite
- Save
Citations (0)
Improving Thread-Modular Abstract Interpretation.

2021 arXiv: Programming Languages
Show All
- Source
- Cite
- Save
Citations (0)
Improving Thread-Modular Abstract Interpretation

2021 SAS | Static Analysis Symposium
Show All
- Source
- Cite
- Save
Citations (0)
Definability Results for Top-Down Tree Transducers

2021
Show All
- Source
- Cite
- Save
Citations (1)
Algorithms in Automata Theory (Dagstuhl Seminar 9406)

2021
Show All
- Source
- Cite
- Save
Citations (0)
Definability Results for Top-Down Tree Transducers

2021 DLT | Developments in Language Theory
Show All
- Source
- Cite
- Save
Citations (0)
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).

2021 TACAS | Tools and Algorithms for Construction and Analysis of Systems
Show All
- Source
- Cite
- Save
Citations (1)
Three improvements to the top-down solver

2021 Mathematical Structures in Computer Science
- Helmut Seidl
- Ralf Vogler
Show All
- Source
- Cite
- Save
Citations (0)
When Is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?

2020 ICALP | International Colloquium on Automata, Languages and Programming
- Sebastian Maneth
- Helmut Seidl
Show All
- Source
- Cite
- Save
Citations (3)