- The Black Ninjas and the Sniper: On Robustness of Population Protocols Benno Lossin Philipp Czerner Javier Esparza Roland Guttenberg Tobias Prehn Mon 06 January 2025
- Regular Model Checking Upside-Down: An Invariant-Based Approach Javier Esparza Michael Raskin Christoph Welzel-Mohr Tue 10 December 2024
- Decidability Issues for Petri Nets -- a survey Javier Esparza Mogens Nielsen Thu 07 November 2024
- A LOCAL View of the Polynomial Hierarchy Fabian Reiter Sat 26 October 2024
- On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation Alexander Brandt Marc Moreno Maza Fri 14 June 2024
- Semitopology: distributed collaborative action via topology, algebra, and logic Murdoch J. Gabbay Giuliano Losa Tue 06 February 2024
- Model-checking lock-sharing systems against regular constraints Corto Mascle Sat 25 November 2023
- Checking Presence Reachability Properties on Parameterized Shared-Memory Systems Nicolas Waldburger Thu 23 November 2023
- Model-checking parametric lock-sharing systems against regular constraints Corto Mascle Anca Muscholl Igor Walukiewicz Thu 13 July 2023
- Population Protocols with Unordered Data Michael Blondin François Ladouceur Sun 07 May 2023
- Asynchronous Multiparty Session Type Implementability is Decidable -- Lessons Learned from Message Sequence Charts Felix Stutz Mon 27 February 2023
- Parameterized safety verification of round-based shared-memory systems Nathalie Bertrand Nicolas Markey Ocan Sankur Nicolas Waldburger Wed 27 April 2022
- Towards Generalised Half-Duplex Systems Cinzia Di Giusto Loic Germerie Guizouarn Etienne Lozes Mon 21 February 2022
- Controlling a Random Population is EXPTIME-hard Corto Mascle Mahsa Shirmohammadi Patrick Totzke Wed 08 July 2020
- Controlling a random population Thomas Colcombet Nathanael Fijalkow Pierre Ohlmann Tue 05 November 2019
- Succinct Population Protocols for Presburger Arithmetic Michael Blondin Javier Esparza Blaise Genest Martin Helfrich Stefan Jaax Fri 11 October 2019
- The Mathematical Specification of the Statebox Language Statebox Team Fabrizio Genovese Wed 19 June 2019
- Decidability of Timed Communicating Automata Lorenzo Clemente Mon 04 March 2019
Library Size: 13G (18 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
