- Safraless Procedures for Timed Specifications Barbara Di Giampaolo Gilles Geeraerts Jean-François Raskin Nathalie Sznajder Fri 24 October 2014
- Temporal Proof Methodologies for Real-time Systems Tom Henzinger Zohar Manna Amir Pnueli Fri 24 October 2014
- Verification of context-free timed systems using linear hybrid observers Ahmed Bouajjani Rachid Echahed Riadh Robbana Wed 22 October 2014
- Understanding IC3 Aaron R. Bradley Tue 21 October 2014
- Stochastic Parity Games on Lossy Channel Systems Parosh Aziz Abdulla Lorenzo Clemente Richard Mayr Sven Sandberg Fri 17 October 2014
- Decision Problems for the Verification of Real-Time Software Michael Emmi Rupak Majumdar Thu 16 October 2014
- Decidability Results on the Existence of Lookahead Delegators for NFA Christof Løding Stefan Repke Thu 16 October 2014
- Uniform Solution of Parity Games on Prefix-Recognizable Graphs Thierry Cachat Thu 16 October 2014
- On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract) Bernard Boigelot Stéphane Rassart Pierre Wolper Thu 16 October 2014
- Molecular Structure of Nucleic Acids J. D. Watson F. H. C. Crick Thu 16 October 2014
- Genetical Implications of the Structure of Deoxyribonucleic Acid J. D. Watson F. H. C. Crick Thu 16 October 2014
- Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology Omar I. Al-Bataineh Mark Reynolds Tim French Terry Woodings Mon 13 October 2014
- Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy Christoph Haase Mon 06 October 2014
- Integer Vector Addition Systems with States Christoph Haase Simon Halfon Mon 06 October 2014
- Expressiveness of Updatable Timed Automata P. Bouyer C. Dufourd E. Fleury A. Petit Fri 03 October 2014
- Are Timed Automata Updatable Patricia Bouyer Catherine Dufourd Emmanuel Fleury Antoine Petit Fri 03 October 2014
- Timed automata and additive clock constraints Béatrice Bérard Catherine Dufourd Fri 03 October 2014
- Controlled Timed Automata François Demichelis Wieslaw Zielonka Fri 03 October 2014
- An Introduction to the Clocked Lambda Calculus Jørg Endrullis Dimitri Hendriks Jan Willem Klop Andrew Polonsky Thu 25 September 2014
- Implicational Relevance Logic is 2-ExpTime-Complete Sylvain Schmitz Thu 25 September 2014
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
