- On the p-adic zeros of the Tribonacci sequence Yuri Bilu Florian Luca Joris Nieuwveld Jøel Ouaknine James Worrell Thu 03 November 2022
- Linear Temporal Logic: From Infinite to Finite Horizon Moshe Y. Vardi Wed 02 November 2022
- Giving Instructions in Linear Temporal Logic Julian Gutierrez Sarit Kraus Giuseppe Perelli Michael Wooldridge Wed 02 November 2022
- Computing Parameterized Invariants of Parameterized Petri Nets Javier Esparza Mikhail Raskin Christoph Welzel Wed 02 November 2022
- Curry and Howard Meet Borel Melissa Antonelli Ugo Dal Lago Paolo Pistone Wed 02 November 2022
- Multivariate Fuss--Catalan numbers Jean-Christophe Aval Sun 30 October 2022
- The discriminant of a system of equations Alexander Esterov Sun 30 October 2022
- Tame the infinite - simplification problems for infinite-state systems Radosław Piórkowski Sun 30 October 2022
- Google's 2019 ``Quantum Supremacy'' Claims: Data, Documentation, and Discussion Gil Kalai Yosef Rinott Tomer Shoham Sat 29 October 2022
- Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs Richard Mayr Eric Munday Sat 29 October 2022
- Beyond the Existential Theory of the Reals Marcus Schaefer Daniel Stefankovic Sat 29 October 2022
- Higher-Order MSL Horn Constraints Jerome Jochems Eddie Jones Steven Ramsay Sat 29 October 2022
- Strategy Complexity of Reachability in Countable Stochastic 2-Player Games Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke Sat 29 October 2022
- Measuring Power of Locally Testable Languages Ryoma Sin'ya Fri 28 October 2022
- A Regular and Complete Notion of Delay for Streaming String Transducers Emmanuel Filiot Ismael Jecker Christof Løding Sarah Winter Fri 28 October 2022
- Alternating Good-for-MDP Automata Ernst Moritz Hahn Mateo Perez Sven Schewe Fabio Somenzi Ashutosh Trivedi Dominik Wojtczak Fri 28 October 2022
- Timed Games with Bounded Window Parity Objectives James C. A. Main Mickael Randour Jeremy Sproston Fri 28 October 2022
- Parkh's Theorem Does Not Hold for Multiplicities Ion Petre Fri 28 October 2022
- Probabilistic Automata of Bounded Ambiguity Nathanael Fijalkow Cristian Riveros James Worrell Fri 28 October 2022
- Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications Christel Baier Florian Funke Simon Jantsch Toghrul Karimov Engel Lefaucheux Joel Ouaknine David Purser Markus A. Whiteland James Worrell Fri 28 October 2022
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
