- On Freeze LTL with Ordered Attributes Normann Decker Daniel Thoma Mon 07 March 2016
- Complexity Hierarchies Beyond Elementary Sylvain Schmitz Mon 07 March 2016
- The Complexity of Coverability in nu-Petri Nets Ranko Lazić Sylvain Schmitz Mon 07 March 2016
- Extending finite memory determinacy: General techniques and an application to energy parity games Stéphane Le Roux Arno Pauly Sat 05 March 2016
- Deciding Piecewise Testable Separability for Regular Tree Languages Jean Goubault-Larrecq Sylvain Schmitz Sat 05 March 2016
- Linear Context-Free Tree Languages and Inverse Homomorphisms Johannes Osterholzer Toni Dietze Luisa Herrmann Fri 04 March 2016
- Analogical Conception of Chomsky Normal Form and Greibach Normal Form for Linear, Monadic Context-Free Tree Grammars Akio Fujiyoshi Fri 04 March 2016
- An Automata-Theoretic Approach to the Verification of Distributed Algorithms Cyriac Aiswarya Benedikt Bollig Paul Gastin Mon 29 February 2016
- Verifying Communicating Multi-pushdown Systems via Split-Width C. Aiswarya Paul Gastin K. Narayan Kumar Mon 29 February 2016
- The Computational Complexity of Universality Problems for Prefixes, Suffixes, Factors, and Subwords of Regular Languages Narad Rampersad Jeffrey Shallit Zhi Xu Mon 29 February 2016
- On the State Complexity of Scattered Substrings and Superstrings Alexander Okhotin Mon 29 February 2016
- Complexity of regular abstractions of one-counter languages Mohamed Faouzi Atig Dmitry Chistikov Piotr Hofman K Narayan Kumar Prakash Saivasan Georg Zetzsche Mon 29 February 2016
- Tightening the Complexity of Equivalence Problems for Commutative Grammars Christoph Haase Piotr Hofman Mon 29 February 2016
- Tightening the Complexity of Equivalence Problems for Commutative Grammars Christoph Haase Piotr Hofman Mon 29 February 2016
- A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One Stefan Gøller Christoph Haase Ranko Lazić Patrick Totzke Mon 29 February 2016
- Shortest paths in one-counter systems Dmitry Chistikov Wojciech Czerwiński Piotr Hofman Michał Pilipczuk Michael Wehar Tue 23 February 2016
- Profinite Monads, Profinite Equations, and Reiterman's Theorem Liang-Ting Chen Jiri Adamek Stefan Milius Henning Urbat Tue 23 February 2016
- Coverability Trees for Petri Nets with Unordered Data Piotr Hofman Slawomir Lasota Ranko Lazić Jérôme Leroux Sylvain Schmitz Patrick Totzke Tue 23 February 2016
- Qualitative Analysis of VASS-Induced MDPs Parosh Aziz Abdulla Radu Ciobanu Richard Mayr Arnaud Sangnier Jeremy Sproston Tue 23 February 2016
- Fixed-point elimination in the intuitionistic propositional calculus Silvio Ghilardi Maria Joao Gouveia Luigi Santocanale Tue 23 February 2016
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
