- The Complexity of Reachability in Vector Addition Systems Sylvain Schmitz Wed 20 July 2016
- Extending Finite Memory Determinacy to Multiplayer Games Stéphane Le Roux Arno Pauly Sat 16 July 2016
- LICS'16 program AAVV Sat 09 July 2016
- Optimizing the Expected Mean Payoff in Energy Markov Decision Processes Tomáš Brázdil Antonín Kučera Petr Novotný Sat 09 July 2016
- Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications Taolue Chen Tingting Han Joost-Pieter Katoen Alexandru Mereacre Sat 09 July 2016
- Recursive Schemes, Krivine Machines, and Monadic Logic Igor Walukiewicz Sun 03 July 2016
- Alternating Parity Krivine Automata Florian Bruse Tue 28 June 2016
- Decidable Classes of Unbounded Petri Nets with Time and Urgency S. Akshay B. Genest L. Hélouet Tue 14 June 2016
- Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture Sławomir Lasota Tue 14 June 2016
- A Relational Trace Logic for Vector Addition Systems with Application to Context-freeness Jérôme Leroux M. Praveen Grégoire Sutre Tue 14 June 2016
- Verification of Population Protocols Javier Esparza Pierre Ganty Jérôme Leroux Rupak Majumdar Thu 09 June 2016
- Rounding-off errors in matrix processes A. Turing Wed 08 June 2016
- Hermite Normal Form Computation Using Modulo Determinant Arithmetic P. D. Domich R. Kannan Jr. L. E. Trotter Tue 07 June 2016
- An Improved Version of the Random-Facet Pivoting Rule for the Simplex Algorithm Thomas Dueholm Hansen Uri Zwick Sun 05 June 2016
- On Synchronous and Asynchronous Compatibility of Communicating Components Rolf Hennicker Michel Bidoit Thanh-Son Dang Sun 05 June 2016
- Definability equals recognizability for graphs of bounded treewidth Mikołaj Bojańczyk Michał Pilipczuk Fri 20 May 2016
- Finite Automata As Time-Inv Linear Systems Observability, Reachability and More Radu Grosu Tue 17 May 2016
- On the minors of an incidence matrix and its Smith normal form Jerrold W. Grossman Devadatta M. Kulkarni Irwin E. Schochetman Fri 13 May 2016
- Reduction of Nondeterministic Tree Automata Ricardo Almeida Lukáš Holík Richard Mayr Fri 13 May 2016
- Verification of Fair Transition Systems Orna Kupferman Moshe Y. Vardi Thu 12 May 2016
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
