- Ten years of Hoare's logic: A survey - Part II: Nondeterminism Krzysztof R. Apt Sun 15 April 2012
- Ten Years of Hoare's Logic: A Survey - Part I Krzysztof R. Apt Sun 15 April 2012
- Even Simple Programs Are Hard To Analyze Neil D. Jones Steven S. Muchnick Sun 15 April 2012
- The Complexity of Finite Memory Programs with Recursion Neil D. Jones Steven S. Muchnick Sun 15 April 2012
- The Characterization Problem for Hoare Logics [and Discussion] Edmund M. Clarke Sun 15 April 2012
- Soundness and Completeness of an Axiom System for Program Verification Stephen A. Cook Sun 15 April 2012
- Probabilistic omega-Automata Christel Baier Nathalie Bertrand Marcus Groesser Fri 13 April 2012
- Optimal infinite scheduling for multi-priced timed automata Patricia Bouyer Ed Brinksma Kim G. Larsen Fri 13 April 2012
- Deciding monadic theories of hyperalgebraic trees Teodor Knapik Damian Niwinski Paweł Urzyczyn Thu 12 April 2012
- Fully abstract models of typed lambda-calculi Robin Milner Thu 12 April 2012
- Assigning meanings to programs RW Floyd Thu 12 April 2012
- Is the interesting part of process logic uninteresting: a translation from PL to PDL R. Sherman A. Pnueli D. Harel Wed 11 April 2012
- An axiomatic basis for computer programming C. A. R. Hoare Mon 09 April 2012
- A Mathematical Theory of Communication Claude E. Shannon Mon 09 April 2012
- Logic and Automata over Infinite Trees Christof Løding Sun 08 April 2012
- The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata Thomas Colcombet Christof Løding Sun 08 April 2012
- Regular Cost Functions, Part I: Logic and Algebra over Words Thomas Colcombet Sat 07 April 2012
- On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata Heikki Tauriainen Sat 07 April 2012
- Fast LTL to Buchi Automata Translation Paul Gastin Denis Oddoux Sat 07 April 2012
- Translating Regular Expressions into Small epsilon-Free Nondeterministic Finite Automata Juraj Hromkovic Sebastian Seibert Thomas Wilke Sat 07 April 2012
Library Size: 13G (12971 entries),
Last Updated: Apr 16, 2026, 20:38:03,
Build Time: N/A
