Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alexander Heußner
Reachability Analysis of Communicating Pushdown Systems
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Asynchronously Communicating Visibly Pushdown Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Controllers for the Verification of Communicating Multi-Pushdown Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Regular Strategies in Pushdown Reachability Games
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modeling and Analysis of Communicating Systems
Optimal Time-Bounded Reachability Analysis for Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Algorithmic Analysis of Polygonal Hybrid Systems, Part I: Reachability
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Sensitivity Analysis for Linear Systems Based on Reachability Sets
Analysis of Lactose Metabolism in E.coli Using Reachability Analysis of Hybrid Systems
IET Systems Biology
Genetics
Cell Biology
Molecular Biology
Simulation
Modeling
Biotechnology
