- The Connes Embedding Problem: A guided tour Isaac Goldbring Tue 28 September 2021
- Adding Negative Prices to Priced Timed Games Thomas Brihaye Gilles Geeraerts Shankara Narayanan Krishna Lakshmi Manasa Benjamin Monmege Ashutosh Trivedi Mon 27 September 2021
- The Orbit Problem for Parametric Linear Dynamical Systems Christel Baier Florian Funke Simon Jantsch Toghrul Karimov Engel Lefaucheux Florian Luca Joel Ouaknine David Purser Markus A. Whiteland James Worrell Mon 27 September 2021
- Simulation-based Inclusion Checking Algorithms for ømega-Languages Francesco Parolini Mon 27 September 2021
- Symbolic controller synthesis for timed systems: robustness and optimality Damien Busatto-Gaston Mon 27 September 2021
- Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games Thomas Brihaye Gilles Geeraerts Axel Haddad Benjamin Monmege Mon 27 September 2021
- Optimal Reachability in Divergent Weighted Timed Games Damien Busatto-Gaston Benjamin Monmege Pierre-Alain Reynier Mon 27 September 2021
- Symbolic Approximation of Weighted Timed Games Damien Busatto-Gaston Benjamin Monmege Pierre-Alain Reynier Mon 27 September 2021
- A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings Gustav Grabolle Wed 22 September 2021
- Lower Bounds on Unambiguous Automata Complementation and Separation via Communication Complexity Mika Gøøs Stefan Kiefer Wed 22 September 2021
- Elements of Relational Database Theory Paris C. Kanellakis Mon 20 September 2021
- Mean-Payoff Games with ømega-Regular Specifications Thomas Steeples Julian Gutierrez Michael Wooldridge Mon 20 September 2021
- STORIA E ARCHEOLOGIA DELLA DAUNIA IN RICORDO DI MARINA MAZZEIby G. VOLPE; M. STRAZZULLA; D. LEONE Review by: Michael Crawford Sun 19 September 2021
- General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche Fri 17 September 2021
- Generalising Projection in Asynchronous Multiparty Session Types Rupak Majumdar Madhavan Mukund Felix Stutz Damien Zufferey Fri 17 September 2021
- A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct Shibashis Guha Ismael Jecker Karoliina Lehtinen Martin Zimmermann Wed 15 September 2021
- An Overview of the HFL Model Checking Project Naoki Kobayashi Tue 14 September 2021
- Short Presburger Arithmetic Is Hard Danny Nguyen Igor Pak Tue 14 September 2021
- Complexity of Short Presburger Arithmetic Danny Nguyen Igor Pak Tue 14 September 2021
- Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses Jerome Jochems Mon 13 September 2021
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
