- Infinite Types, Infinite Data, Infinite Interaction Pierre Hyvernat Sat 25 July 2020
- A report on the first virtual PLDI conference Alastair F. Donaldson Sat 25 July 2020
- A New Upper Bound for Separating Words Zachary Chase Sat 25 July 2020
- Ambiguity, nondeterminism and state complexity of finite automata Yo Sub Han Arto Salomaa Kai Salomaa Sat 25 July 2020
- On Finitely Ambiguous Buchi Automata Christof Løding Anton Pirogov Sat 25 July 2020
- Differential games, locality and model checking for FO logic of graphs Jakub Gajarský Maximilian Gorsky Stephan Kreutzer Thu 23 July 2020
- Who Verifies the Verifiers A Computer-Checked Implementation of the DPLL Algorithm in Dafny Cezar-Constantin Andrici Ştefan Ciobâcă Thu 23 July 2020
- Evolution toward a Nash equilibrium Ioannis Avramopoulos Thu 23 July 2020
- Universality Problem for Unambiguous VASS Wojciech Czerwiński Diego Figueira Piotr Hofman Thu 23 July 2020
- Efficient Restrictions of Immediate Observation Petri Nets Michael Raskin Chana Weil-Kennedy Thu 23 July 2020
- Reachability in Two-Dimensional Vector Addition Systems with States: One Test is for Free Jérôme Leroux Grégoire Sutre Tue 21 July 2020
- Smart Choices and the Selection Monad Martin Abadi Gordon Plotkin Tue 21 July 2020
- Multi-dimensional Long-Run Average Problems for Vector Addition Systems with States Krishnendu Chatterjee Thomas A. Henzinger Jan Otop Tue 21 July 2020
- Greibach Normal Form for ømega-Algebraic Systems and Weighted Simple ømega-Pushdown Automata Manfred Droste Sven Dziadek Werner Kuich Tue 21 July 2020
- Determinisability of one-clock timed automata Lorenzo Clemente Sławomir Lasota Radosław Piórkowski Tue 21 July 2020
- The Big-O Problem for Labelled Markov Chains and Weighted Automata Dmitry Chistikov Stefan Kiefer Andrzej S. Murawski David Purser Sat 18 July 2020
- Rankwidth meets stability Jaroslav Nesetril Patrice Ossona de Mendez Michal Pilipczuk Roman Rabinovich Sebastian Siebertz Sat 18 July 2020
- Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces (extended version) Bharat Adsul Paul Gastin Saptarshi Sarkar Pascal Weil Sat 18 July 2020
- Solving Random Parity Games in Polynomial Time Richard Combes Mikael Touati Sat 18 July 2020
- Stackelberg Mean-payoff Games with a Rationally Bounded Adversarial Follower Mrudula Balachander Shibashis Guha Jean-François Raskin Sat 18 July 2020
Library Size: 13G (12972 entries),
Last Updated: Apr 16, 2026, 22:09:35,
Build Time: N/A
