- Synchronizability of Communicating Finite State Machines is not Decidable Alain Finkel Etienne Lozes Tue 28 February 2017
- A short proof of correctness of the quasi-polynomial time algorithm for parity games Hugo Gimbert Rasmus Ibsen-Jensen Mon 27 February 2017
- Succinct progress measures for solving parity games Marcin Jurdziński Ranko Lazić Mon 27 February 2017
- On Time with Minimal Expected Cost Alexandre David Peter G. Jensen Kim Guldstrand Larsen Axel Legay Didier Lime Mathias Grund Sørensen Jakob H. Taankvist Mon 27 February 2017
- Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes Raphael Berthon Mickael Randour Jean-François Raskin Mon 27 February 2017
- Regular Separability of Well Structured Transition Systems Wojciech Czerwiński Sławomir Lasota Mon 27 February 2017
- Some Myths About Famous Mutual Exclusion Algorithms K. Alagarsamy Fri 24 February 2017
- Myths about the Mutual Exclusion Problem Gary L. Peterson Fri 24 February 2017
- You Don'T Know Jack About Shared Variables or Memory Models Hans-J. Boehm Sarita V. Adve Fri 24 February 2017
- Durations and Parametric Model-checking in Timed Automata Véronique Bruyère Emmanuel Dall'olio Jean-François Raskin Wed 22 February 2017
- Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming Ralf Lammel Simon Peyton Jones Tue 21 February 2017
- Partial Derivative Automaton for Regular Expressions with Shuffle Sabine Broda António Machiavelo Nelma Moreira Rogério Reis Tue 21 February 2017
- Partial Derivatives for Context-Free Languages: From mu-Regular Expressions to Pushdown Automata Peter Thiemann Tue 21 February 2017
- Uniform Boilerplate and List Processing Neil Mitchell Colin Runciman Tue 21 February 2017
- From regular expressions to deterministic automata Gerard Berry Ravi Sethi Tue 21 February 2017
- It is Pointless to Point in Bounded Heaps N/A Mon 20 February 2017
- Shrinking and Showing Functions: (Functional Pearl) Koen Claessen Fri 17 February 2017
- QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen John Hughes Fri 17 February 2017
- Chapter 1: HPV in the etiology of human cancer Nubia Muñoz Xavier Castellsagué Amy Berrington de González Lutz Gissmann Tue 14 February 2017
- Handling Infinitely Branching WSTS Michael Blondin Alain Finkel Pierre McKenzie Fri 10 February 2017
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
