Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by U. Nestmann
Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata
IFAC Proceedings Volumes
Related publications
CD-systems of Stateless Deterministic R(1)-Automata Governed by an External Pushdown Store
RAIRO - Theoretical Informatics and Applications
Mathematics
Computer Science Applications
Software
Abstractions for Nonblocking Supervisory Control of Extended Finite Automata
Rabin-Mostowski Index Problem: A Step Beyond Deterministic Automata
Deterministic Finite Automata
Algebra and Discrete Mathematics
From Security Protocols to Pushdown Automata
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Collapsible Pushdown Automata and Recursion Schemes
Proceedings - Symposium on Logic in Computer Science
Mathematics
Software
Hyper-Minimization for Deterministic Tree Automata
International Journal of Foundations of Computer Science
Computer Science
Pushdown Control-Flow Analysis for Free
ACM SIGPLAN Notices
Computer Science
Simply Typed Fixpoint Calculus and Collapsible Pushdown Automata
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
