- On the computability of conditional probability Nathanael L. Ackerman Cameron E. Freer Daniel M. Roy Sat 05 July 2025
- Decidability Issues for Petri Nets -- a survey Javier Esparza Mogens Nielsen Thu 07 November 2024
- A LOCAL View of the Polynomial Hierarchy Fabian Reiter Sat 26 October 2024
- Parameterized Verification of Timed Networks with Clock Invariants Étienne André Swen Jacobs Shyam Lal Karra Ocan Sankur Wed 14 August 2024
- A Resolution-Based Interactive Proof System for UNSAT Philipp Czerner Javier Esparza Valentin Krasotin Thu 01 February 2024
- Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings Andreas Maletti Nils Oskar Nuernbergk Thu 14 September 2023
- Decision Questions for Probabilistic Automata on Small Alphabets Paul C. Bell Pavel Semukhin Wed 29 June 2022
- Succinct Population Protocols for Presburger Arithmetic Michael Blondin Javier Esparza Blaise Genest Martin Helfrich Stefan Jaax Fri 11 October 2019
Library Size: 13G (8 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
