- The Constrained-Monad Problem Neil Sculthorpe Jan Bracker George Giorgidze Andy Gill Thu 30 March 2017
- Non-elementary complexities for branching VASS, MELL, and extensions Ranko Lazić Sylvain Schmitz Wed 29 March 2017
- Timed pushdown automata and branching vector addition systems Lorenzo Clemente Sławomir Lasota Ranko Lazić Filip Mazowiecki Wed 29 March 2017
- Linear Combinations of Unordered Data Vectors Piotr Hofman Jérôme Leroux Patrick Totzke Tue 28 March 2017
- MDPs with Energy-Parity Objectives Richard Mayr Sven Schewe Patrick Totzke Dominik Wojtczak Tue 28 March 2017
- Soundness in negotiations Javier Esparza Denis Kuperberg Anca Muscholl Igor Walukiewicz Tue 28 March 2017
- A Crevice on the Crane Beach: Finite-Degree Predicates Michael Cadilhac Charles Paperman Tue 28 March 2017
- Adventures in Three Monads Edward Z. Yang Tue 28 March 2017
- Sequential games and optimal strategies Martín Escardó Paulo Oliva Tue 28 March 2017
- Backtracking, Interleaving, and Terminating Monad Transformers: (Functional Pearl) Oleg Kiselyov Chung-chieh Shan Daniel P. Friedman Amr Sabry Tue 28 March 2017
- What Sequential Games, the Tychonoff Theorem and the Double-negation Shift Have in Common Martín Escardó Paulo Oliva Tue 28 March 2017
- A Note on Lamport's Mutual Exclusion Algorithm Tai-Kuo Woo Mon 27 March 2017
- A Simple Solution to Lamport's Concurrent Programming Problem with Linear Wait B. K. Szymanski Mon 27 March 2017
- The Mutual Exclusion Problem: Part I - A Theory of Interprocess Communication Leslie Lamport Sun 26 March 2017
- The Mutual Exclusion Problem: Part II - Statement and Solutions Leslie Lamport Sun 26 March 2017
- The Mutual Exclusion Problem Has Been Solved Leslie Lamport Sun 26 March 2017
- A New Solution of Dijkstra's Concurrent Programming Problem Leslie Lamport Sun 26 March 2017
- Generating Optimal Linear Temporal Logic Monitors by Coinduction Koushik Sen Grigore Roşu Gul Agha Sun 26 March 2017
- On the Existence of Weak Subgame Perfect Equilibria Véronique Bruyère Stéphane Le Roux Arno Pauly Jean-François Raskin Sun 26 March 2017
- The Performance of Spin Lock Alternatives for Shared-Memory Multiprocessors T. E. Anderson Tue 21 March 2017
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
