- Symbolic Optimal Reachability in Weighted Timed Automata Patricia Bouyer Maximilien Colange Nicolas Markey Thu 29 April 2021
- Minimum-Cost Reachability for Priced Time Automata Gerd Behrmann Ansgar Fehnker Thomas Hune Kim Larsen Paul Pettersson Judi Romijn Frits Vaandrager Thu 29 April 2021
- Optimal paths in weighted timed automata Rajeev Alur Salvatore La Torre George J. Pappas Thu 29 April 2021
- Tight bounds for reachability problems on one-counter and pushdown systems Jakob Cetti Hansen Adam Husted Kjelstrøm Andreas Pavlogiannis Thu 29 April 2021
- Reachability in Vector Addition Systems is Ackermann-complete Wojciech Czerwiński Łukasz Orlikowski Wed 28 April 2021
- Parikh's theorem for infinite alphabets Piotr Hofman Marta Juzepczuk Sławomir Lasota Mohnish Pattathurajan Tue 27 April 2021
- The Reachability Problem for Petri Nets is Not Primitive Recursive Jérôme Leroux Tue 27 April 2021
- Congruence Relations for Buchi Automata Yong Li Yih-Kuen Tsay Moshe Y. Vardi Mon 26 April 2021
- Existence of Bases implies the Axiom of Choice Andreas Blass Thu 22 April 2021
- On the Expressiveness of Buchi Arithmetic Jakub Różycki Thu 15 April 2021
- O-Minimal Invariants for Linear Loops Shaull Almagor Dmitry Chistikov Joel Ouaknine James Worrell Tue 13 April 2021
- Recherches sur la théorie de la démonstration M. Jaques Herbrand Sun 11 April 2021
- On Herbrand's Theorem Samuel R. Buss Sun 11 April 2021
- Relationships between nondeterministic and deterministic tape complexities Walter J. Savitch Fri 09 April 2021
- Inferring Canonical Register Automata Falk Howar Bernhard Steffen Bengt Jonsson Sofia Cassel Fri 09 April 2021
- Characterizing regular languages with polynomial densities Andrew Szilard Sheng Yu Kaizhong Zhang Jeffrey Shallit Fri 09 April 2021
- The theory of łangle mathbb N, +, Vk, Vl rangle is undecidable Roger Villemaire Fri 09 April 2021
- On a Problem of Formal Logic F. P. Ramsey Fri 09 April 2021
- Determinisability of register and timed automata Lorenzo Clemente Sławomir Lasota Radosław Piórkowski Fri 09 April 2021
- Extraction of a computer-certified ODE solver Grigory Devadze Lars Flessing Stefan Streif Thu 08 April 2021
Library Size: 13G (12951 entries),
Last Updated: Apr 13, 2026, 09:28:01,
Build Time: N/A
