- Probabilistic lambda-theories Thomas Leventis Mon 02 April 2018
- Syntactic complexity in the modal mu-calculus Karoliina Lehtinen Mon 02 April 2018
- A modal mu perspective on solving parity games in quasipolynomial time Karoliina Lehtinen Mon 02 April 2018
- LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic Pierre Pradic Colin Riba Mon 02 April 2018
- DroidStar: Callback Typestates for Android Classes A. Radhakrishna N. V. Lewchenko S. Meier S. Mover K. Chaitanya Sripada D. Zufferey B.-Y. E. Chang P. Černý Sat 31 March 2018
- Communicating Timed Processes with Perfect Timed Channels P. Aziz Abdulla M. Faouzi Atig S. Krishna Fri 30 March 2018
- A Novel Learning Algorithm for Buchi Automata Based on Family of DFAs and Classification Trees Yong Li Yu-Fang Chen Lijun Zhang Depeng Liu Thu 29 March 2018
- Open Access and ACM Moshe Y. Vardi Thu 29 March 2018
- Parity Games, Separations, and the Modal mu-Calculus Christoph Dittmann Wed 28 March 2018
- Memoryless Determinacy of Finite Parity Games: Another Simple Proof Serge Haddad Wed 28 March 2018
- Regularity Results for FIFO Channels Nils Klarlund Richard Trefler Mon 26 March 2018
- From LTL and Limit-Deterministic Buchi Automata to Deterministic Parity Automata Javier Esparza Jan Křetínský Jean-François Raskin Salomon Sickert Mon 26 March 2018
- Large Flocks of Small Birds: on the Minimal Size of Population Protocols Michael Blondin Javier Esparza Stefan Jaax Mon 26 March 2018
- Verification of population protocols Javier Esparza Pierre Ganty Jérôme Leroux Rupak Majumdar Mon 26 March 2018
- On the Complexity of Parity Word Automata Valerie King Orna Kupferman Moshe Y. Vardi Wed 21 March 2018
- Hereditary History Preserving Bisimilarity Is Undecidable Marcin Jurdziński Mogens Nielsen Wed 21 March 2018
- The Essence of Functional Programming Philip Wadler Mon 19 March 2018
- Comprehending Monads Philip Wadler Mon 19 March 2018
- A History of Haskell: Being Lazy with Class Paul Hudak John Hughes Simon Peyton Jones Philip Wadler Mon 19 March 2018
- Bitcoin: A Peer-to-Peer Electronic Cash System Satoshi Nakamoto Sat 17 March 2018
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A
