- General Decidability Results for Systems with Continuous Counters A. R. Balasubramanian Matthew Hague Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche Fri 09 January 2026
- Nonnegativity Problems for Matrix Semigroups Julian D'Costa Joël Ouaknine James Worrell Thu 06 February 2025
- Counter Machines with Infrequent Reversals Alain Finkel Shankara Narayanan Krishna Khushraj Madnani Rupak Majumdar Georg Zetzsche Sat 16 December 2023
- Energy Games with Resource-Bounded Environments Orna Kupferman Naama Shamash Halevy Fri 24 November 2023
- The continuous Skolem-Pisot problem Paul C. Bell Jean-Charles Delvenne Raphael M. Jungers Vincent D. Blondel Mon 02 October 2023
- On The Decidability Of Infix Inclusion Problem Hyunjoon Cheon Joonghyuk Hahn Yo-Sub Han Fri 26 May 2023
- Deciding Path Size of Nondeterministic (and Input-Driven) Pushdown Automata Yo-Sub Han Sang-Ki Ko Kai Salomaa Fri 04 November 2022
- Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs David Baelde Amina Doumane Denis Kuperberg Alexis Saurin Mon 29 August 2022
- Nonprimitive recursive complexity and undecidability for Petri net equivalences Petr Jančar Wed 10 August 2022
- Decidability and k-regular sequences Daniel Krenn Jeffrey Shallit Tue 29 March 2022
- Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties Jun Liu Mon 17 May 2021
- On the Decidability of Reachability in Linear Time-Invariant Systems Nathanael Fijalkow Joel Ouaknine Amaury Pouly João Sousa-Pinto James Worrell Fri 16 October 2020
- On the Skolem Problem and Prime Powers George Kenison Richard Lipton Joel Ouaknine James Worrell Tue 29 September 2020
- Deciding Nondeterministic Hierarchy of Deterministic Tree Automata Damian Niwiński Igor Walukiewicz Tue 11 August 2020
- Register Automata with Extrema Constraints, and an Application to Two-Variable Logic Szymon Toruundefinedczyk Thomas Zeume Sat 04 July 2020
- An Approach to Regular Separability in Vector Addition Systems Wojciech Czerwiński Georg Zetzsche Sat 30 May 2020
- Deciding whether a relation defined in Presburger logic can be defined in weaker logics Christian Choffrut Tue 03 March 2020
- Equivalence of Deterministic Top-Down Tree-to-String Transducers Is Decidable Helmut Seidl Sebastian Maneth Gregor Kemper Fri 29 June 2018
- The Logic of Event Clocks: Decidability, Complexity and Expressiveness Jean-François Raskin Pierre-Yves Schobbens Fri 01 June 2018
- Halting Problem for One-State Turing Machines Yannick Saouter Wed 11 October 2017
- The Decidability of the Intensional Fragment of Classical Linear Logic Katalin Bimbó Wed 31 August 2016
- Undecidable Problems in Unreliable Computations Richard Mayr Fri 17 January 2014
- Decision Problems for Semi-Thue Systems with a Few Rules Yuri Matiyasevich Geraud Senizergues Sat 05 October 2013
- Multi-clock timed networks Parosh Aziz Abdulla J. Deneux P. Mahata Tue 18 December 2012
Library Size: 13G (24 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
