- Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable Shankara Narayanan Krishna Lakshmi Manasa Ashutosh Trivedi Fri 16 August 2019
- On Timed Scope-Bounded Context-Sensitive Languages D. Bhave S. N. Krishna R. Phawade A. Trivedi Fri 16 August 2019
- Timed Systems through the Lens of Logic S. Akshay P. Gastin V. Jugé S. N. Krishna Fri 16 August 2019
- Episodic Logic: Natural Logic + Reasoning Karl Stratos Lenhart Schubert Jonathan Gordon Fri 16 August 2019
- Parikh Images of Regular Languages: Complexity and Applications Anthony Widjaja To Fri 16 August 2019
- Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete Nikola Beneš Jan Křetínský Kim G. Larsen Jiří Srba Fri 16 August 2019
- Model Checking LTL with Regular Valuations for Pushdown Systems Javier Esparza Antonín Kucera Stefan Schwoon Thu 15 August 2019
- The Power of the Weisfeiler-Leman Algorithm to Decompose Graphs Sandra Kiefer Daniel Neuen Thu 15 August 2019
- Higher-order Constrained Horn Clauses for Verification Toby Cathcart Burn C.-H. Luke Ong Steven J. Ramsay Thu 15 August 2019
- Fixed Points, Nash Equilibria, and the Existential Theory of the Reals Marcus Schaefer Daniel żTefankoviăż Wed 14 August 2019
- The far side of the cube Dan R. Ghica Wed 14 August 2019
- Regular Separability and Intersection Emptiness are Independent Problems Ramanathan S. Thinniyam Georg Zetzsche Wed 14 August 2019
- A Robust Class of Linear Recurrence Sequences Corentin Barloy Nathanael Fijalkow Nathan Lhote Filip Mazowiecki Wed 14 August 2019
- Reachability in Timed Automata with Diagonal Constraints Paul Gastin Sayan Mukherjee B. Srivathsan Tue 13 August 2019
- Fast Algorithms for Handling Diagonal Constraints in Timed Automata Paul Gastin Sayan Mukherjee B. Srivathsan Tue 13 August 2019
- A Tight Lower Bound for Determinization of Transition Labeled Buchi Automata Thomas Colcombet Konrad Zdanowski Tue 13 August 2019
- Seventy-five Problems for Testing Automatic Theorem Provers Francis Jeffry Pelletier Tue 13 August 2019
- Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable Raphael Berthon Emmanuel Filiot Shibashis Guha Bastien Maubert Aniello Murano Laureline Pinault Jean-François Raskin Sasha Rubin Sun 11 August 2019
- MSO+nabla is undecidable M. Bojańczyk E. Kelmendi M. Skrzypczak Sun 11 August 2019
- Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language Amy Felty Dale Miller Sun 11 August 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
