Prof. Helmut Seidl — Research Profile
Technical University of Munich · Department of Computer Science
About
Prof. Helmut Seidl at Technical University of Munich Department of Computer Science lists Formal Languages, Compiler Construction, Software Construction as their registered research area.
Research keywords
Recent papers
- When is a bottom-Up deterministic tree translation top-down deterministic?Theoretical Computer Science · Sep 23
- Fidelity-Aware Scheduling of Quantum Circuits on Multi-QPU SystemsPreprintarXiv (Cornell University) · Sep 9
- Proving Total Correctness of Top-Down Solvers with Widening and NarrowingJournal of Automated Reasoning · Aug 24
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Software Modeling and Verification
RWTH Aachen University · Computer Science
Towards a Deductive Verification Infrastructure for Weighted ProgrammingPreprintarXiv (Cornell University) · Aug 19Shared topic: Logic, programming, and type systems
Antonia Wachter-Zeh 교수 연구실
Technical University of Munich · Department of Computer Engineering
When Majority-Vote Fails: Sequence Reconstruction under Fixed-Weight SubstitutionsNewPreprintarXiv (Cornell University) · Oct 21Shared topic: Algorithms and Data Compression
Christian Mendl 교수 연구실
Technical University of Munich · Department of Computer Science
Fidelity-Aware Scheduling of Quantum Circuits on Multi-QPU SystemsPreprintarXiv (Cornell University) · Sep 9Shared topic: Quantum Computing Algorithms and Architecture
Other labs in this department
- Alexander Fraser 교수 연구실
Data Analytics and Statistics
- Alexander Pretschner 교수 연구실
Software and Systems Engineering
- Ali Sunyaev 교수 연구실
Information Infrastructures
- Andrea Stocco 교수 연구실
Software Engineering for Data-intensive Applications
- Angela Dai 교수 연구실
3D Artificial Intelligence
- Bernd Finkbeiner 교수 연구실
Verification and Synthesis of Reactive Systems