- Zermelo and the Early History of Game Theory Ulrich Schwalbe Paul Walker Sat 17 March 2018
- Uber eine Anwendung der Mengenlehre auf die Theorie des Schachspiels Ernst Zermelo Sat 17 March 2018
- The shortest common nonsubsequence problem is NP-complete M. Middendorf Sat 17 March 2018
- A Tutorial on the Universality and Expressiveness of Fold Graham Hutton Sat 17 March 2018
- The Genuine Sieve of Eratosthenes Melissa E. O'Neill Sat 17 March 2018
- Martin's Axiom J. R. Shoenfield Sat 17 March 2018
- Programming a Computer for Playing Chess Claude E. Shannon Sat 17 March 2018
- A theoretical framework for cardinality-based feature models: The semantics and computational aspects Aliakbar Safilian Tom Maibaum Zinovy Diskin Thu 15 March 2018
- Better abstractions for timed automata Frédéric Herbreteau B. Srivathsan Igor Walukiewicz Tue 13 March 2018
- Checking conformance for time-constrained scenario-based specifications S. Akshay Paul Gastin Madhavan Mukund K. Narayan Kumar Tue 13 March 2018
- Multiparty Session Types for Dynamic Verification of Distributed Systems Rumyana Neykova Tue 13 March 2018
- Timed Session Types Massimo Bartoletti Tiziana Cimoli Maurizio Murgia Tue 13 March 2018
- Specification and Verification for Distributed and Timed Systems Akshay Sundararaman Tue 13 March 2018
- Meeting Deadlines Together Laura Bocchi Julien Lange Nobuko Yoshida Tue 13 March 2018
- Multiparty Asynchronous Session Types Kohei Honda Nobuko Yoshida Marco Carbone Tue 13 March 2018
- Timed runtime monitoring for multiparty conversations Rumyana Neykova Laura Bocchi Nobuko Yoshida Tue 13 March 2018
- StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems Yixiao Lin Sayan Mitra Tue 13 March 2018
- A survey of timed automata for the development of real-time systems Md Tawhid Bin Waez Juergen Dingel Karen Rudie Tue 13 March 2018
- Modular Modeling for the Diagnostic of Complex Discrete-Event Systems E. Gascard Z. Simeu-Abazi Tue 13 March 2018
- Towards an Efficient Tree Automata Based Technique for Timed Systems S. Akshay Paul Gastin Shankara Narayanan Krishna Ilias Sarkar Mon 12 March 2018
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A
