- Regular Languages are Church-Rosser Congruential Volker Diekert Manfred Kufleitner Klaus Reinhardt Tobias Walter Wed 25 April 2012
- Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations Kousha Etessami Alistair Stewart Mihalis Yannakakis Wed 25 April 2012
- A tutorial on (co)algebras and (co)induction Bart Jacobs Jan Rutten Wed 25 April 2012
- Combined decision procedures for nonlinear arithmetics, real and complex Grant Olney Passmore Mon 23 April 2012
- Graphical representation of canonical proof: two case studies Willem Bernard Heijltjes Mon 23 April 2012
- Recursive Probabilistic Models: efficient analysis and implementation Dominik Wojtczak Mon 23 April 2012
- Model Checking Lossy Channels Systems Is Probably Decidable Nathalie Bertrand Philippe Schnoebelen Sun 22 April 2012
- Advanced Ramsey-based Buchi automata inclusion testing Parosh Aziz Abdulla Yu-Fang Chen Lorenzo Clemente Lukáš Holík Chih-Duo Hong Richard Mayr Tomáš Vojnar Sat 21 April 2012
- Simulation subsumption in Ramsey-based Buchi automata universality and inclusion testing Parosh Aziz Abdulla Yu-Fang Chen Lorenzo Clemente Lukáš Holík Chih-Duo Hong Richard Mayr Tomáš Vojnar Sat 21 April 2012
- Stochastic Games on Lossy Channels with Finite Memory Players Lorenzo Clemente Richard Mayr Sat 21 April 2012
- How much memory is needed to win infinite games S. Dziembowski M. Jurdzinski I. Walukiewicz Sat 21 April 2012
- Infinite games on finitely coloured graphs with applications to automata on infinite trees Wieslaw Zielonka Sat 21 April 2012
- Axioms for total correctness Stefan Sokolowski Fri 20 April 2012
- A Theory of Communicating Sequential Processes S. D. Brookes C. A. R. Hoare A. W. Roscoe Fri 20 April 2012
- CSP is a retract of CCS Jifeng He Tony Hoare Fri 20 April 2012
- Communicating sequential processes C. A. R. Hoare Thu 19 April 2012
- Interview: An interview with C.A.R. Hoare Len Shustek Thu 19 April 2012
- Stream Differential Equations: concrete formats for coinductive definitions Clemens Kupke Milad Niqui Jan Rutten Thu 19 April 2012
- Procedures and parameters: An axiomatic approach C. Hoare Sun 15 April 2012
- The Early Search for Tractable Ways of Reasoning about Programs Cliff B. Jones Sun 15 April 2012
Library Size: 13G (12972 entries),
Last Updated: Apr 16, 2026, 22:09:35,
Build Time: N/A
