- Synchronized Recursive Timed Automata Yuya Uezato Yasuhiko Minamide Fri 08 March 2019
- Playing with Repetitions in Data Words Using Energy Games Diego Figueira M. Praveen Fri 08 March 2019
- A Survey of Homogeneous Structures Dugald Macpherson Thu 07 March 2019
- A more reasonable proof of Cobham's theorem Thijmen J. P. Krebs Thu 07 March 2019
- Oink: An Implementation and Evaluation of Modern Parity Game Solvers Tom van Dijk Thu 07 March 2019
- Efficient reduction of nondeterministic automata with application to language inclusion testing Lorenzo Clemente Richard Mayr Thu 07 March 2019
- Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time Paweł Parys Thu 07 March 2019
- A Decidable Subclass of the Minimal Godel Class with Identity Warren D. Goldfarb Yuri Gurevich Saharon Shelah Thu 07 March 2019
- A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One Stefan Gøller Christoph Haase Ranko Lazic Patrick Totzke Tue 05 March 2019
- Recursive Unsolvability of Post's Problem of Tag and other Topics in Theory of Turing Machines Marvin L. Minsky Tue 05 March 2019
- HoCHC: a Refutationally-complete and Semantically-invariant System of Higher-order Logic Modulo Theories C. -H. Luke Ong Dominik Wagner Tue 05 March 2019
- The Parametric Complexity of Lossy Counter Machines Sylvain Schmitz Tue 05 March 2019
- Decidability of Timed Communicating Automata Lorenzo Clemente Mon 04 March 2019
- Verifying programs with unreliable channels P. Abdulla B. Jonsson Thu 28 February 2019
- Verification on infinite structures O. Burkart D. Caucal F. Moller B. Steffen Thu 28 February 2019
- Understanding the DAO attack David Siegel Thu 28 February 2019
- A Survey of Attacks on Ethereum Smart Contracts SoK Nicola Atzei Massimo Bartoletti Tiziana Cimoli Thu 28 February 2019
- Symbolic analysis of electric networks with higher order summative cofactors and parameter decision diagrams Sławomir Lasota Thu 28 February 2019
- Rabin's Uniformization Problem Yuri Gurevich Saharon Shelah Thu 28 February 2019
- The Hilbert Method for Transducer Equivalence Mikołaj Bojańczyk Sat 23 February 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
