- Mechanizing the Powerset Construction for Restricted Classes of emphomega -Automata Christian Dax Jochen Eisinger Felix Klaedtke Fri 11 November 2016
- Lazy automata techniques for WS1S Tomas Fiedor Lukas Holik Petr Janku Ondrej Lengal Tomas Vojnar Fri 11 November 2016
- Proofs That Count Azadeh Farzan Zachary Kincaid Andreas Podelski Fri 11 November 2016
- Proof Spaces for Unbounded Parallelism Azadeh Farzan Zachary Kincaid Andreas Podelski Fri 11 November 2016
- Proving Liveness of Parameterized Programs Azadeh Farzan Zachary Kincaid Andreas Podelski Fri 11 November 2016
- A note about minimal non-deterministic automata André Arnold Anne Dicky Maurice Nivat Wed 09 November 2016
- Active Context-Free Games Anca Muscholl Thomas Schwentick Luc Segoufin Wed 09 November 2016
- A Novel Learning Algorithm for Buchi Automata based on Family of DFAs and Classification Trees Yong Li Yu-Fang Chen Lijun Zhang Depeng Liu Tue 01 November 2016
- A Symbolic Decision Procedure for Symbolic Alternating Finite Automata Loris D'Antoni Zachary Kincaid Fang Wang Thu 13 October 2016
- Commutative One-counter languages are regular M. Latteux G. Rozenberg Tue 27 September 2016
- Langages á un Compteur Michel Latteux Tue 27 September 2016
- Reasoning and Query Answering in Description Logics Magdalena Ortiz Mantas Šimkus Fri 23 September 2016
- Integer Vector Addition Systems with States Christoph Haase Simon Halfon Fri 23 September 2016
- The Complexity of Semilinear Sets Thiet-Dung Huynh Fri 23 September 2016
- Multi-Buffer Simulations for Trace Language Inclusion Milka Hutagalung Norbert Hundeshagen Dietrich Kuske Martin Lange Etienne Lozes Tue 20 September 2016
- Nested Antichains for WS1S Tomas Fiedor Lukas Holik Ondrej Lengal Tomas Vojnar Tue 13 September 2016
- Summaries for Context-Free Games Lukáš Holík Roland Meyer Sebastian Muskalla Tue 13 September 2016
- Bisimulation equivalence and regularity for real-time one-counter automata Stanislav Bøhm Stefan Gøller Petr Jančar Mon 12 September 2016
- Approaching the Coverability Problem Continuously Michael Blondin Alain Finkel Christoph Haase Serge Haddad Fri 09 September 2016
- Vector Addition System Reversible Reachability Problem Jérôme Leroux Thu 08 September 2016
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
