- Buchi Automata as Specifications for Reactive Systems Seth Fogarty Wed 22 April 2015
- Hacking Nondeterminism with Induction and Coinduction Filippo Bonchi Damien Pous Wed 22 April 2015
- A note on decision problems for three-way two-dimensional finite automata Katsushi Inoue Itsuo Takanami Wed 22 April 2015
- On Noetherian Spaces J. Goubault-Larrecq Tue 21 April 2015
- The Theory of WSTS: The Case of Complete WSTS Alain Finkel Jean Goubault-Larrecq Tue 21 April 2015
- Forward Analysis for WSTS, Part II: Complete WSTS Alain Finkel Jean Goubault-Larrecq Tue 21 April 2015
- Forward analysis for WSTS, Part I: Completions Alain Finkel Jean Goubault-Larrecq Tue 21 April 2015
- Forward Analysis for WSTS, Part II: Complete WSTS Alain Finkel Jean Goubault-Larrecq Tue 21 April 2015
- Reachability in Vector Addition Systems Demystified Jérôme Leroux Sylvain Schmitz Mon 20 April 2015
- On Finding Optimal Policies in Discrete Dynamic Programming with No Discounting Arthur F. Veinott Fri 17 April 2015
- Reachability analysis of first-order definable pushdown systems Lorenzo Clemente Sławomir Lasota Mon 13 April 2015
- Reachability problems for Markov chains S. Akshay Timos Antonopoulos Joel Ouaknine James Worrell Mon 13 April 2015
- Hyperplane Separation Technique for Multidimensional Mean-payoff Games Krishnendu Chatterjee Yaron Velner Fri 10 April 2015
- Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes Krishnendu Chatterjee Zuzana Komárková Jan Křetínský Fri 10 April 2015
- Automatic Verification of Data-centric Business Processes Alin Deutsch Richard Hull Fabio Patrizi Victor Vianu Thu 02 April 2015
- Reachability Problem for Weak Multi-Pushdown Automata Wojciech Czerwiński Piotr Hofman SŁawomir Lasota Mon 30 March 2015
- On the Hoare Theory of Monadic Recursion Schemes Konstantinos Mamouras Mon 30 March 2015
- Compositional Higher-Order Model Checking via ømega-Regular Games over Böhm Trees Takeshi Tsukada C.-H. Luke Ong Mon 30 March 2015
- Abstract Interpretation from Buchi Automata Martin Hofmann Wei Chen Mon 30 March 2015
- Countable homogeneous lattices A. Abogatma J. K. Truss Mon 30 March 2015
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
