- TIM: A simple, lazy abstract machine to execute supercombinators John Fairbairn Stuart Wray Mon 29 April 2013
- Deriving a lazy abstract machine Peter Sestoft Mon 29 April 2013
- Temporal Logics and Model Checking for Fairly Correct Systems Daniele Varacca Hagen Volzer Fri 26 April 2013
- From security protocols to pushdown automata Rémy Chrétien Véronique Cortier Stéphanie Delaune Thu 25 April 2013
- Model Checking Probabilistic Pushdown Automata Antonín Kucera Javier Esparza Richard Mayr Fri 19 April 2013
- ETAPS Daily AAVV Thu 18 April 2013
- The Semantics of Predicate Logic as a Programming Language M. H. Van Emden R. A. Kowalski Thu 18 April 2013
- On model-checking timed automata with stopwatch observers Thomas Brihaye Véronique Bruyère Jean-François Raskin Thu 18 April 2013
- The Impressive Power of Stopwatches Franck Cassez Kim Guldstrand Larsen Thu 18 April 2013
- What's Decidable about Hybrid Automata Thomas A. Henzinger Peter W. Kopke Anuj Puri Pravin Varaiya Wed 17 April 2013
- What's decidable about hybrid automata Thomas A. Henzinger Peter W. Kopke Anuj Puri Pravin Varaiya Wed 17 April 2013
- Frequencies in forgetful timed automata Amélie Stainer Wed 17 April 2013
- Off-line test selection with test purposes for non-deterministic timed automata Nathalie Bertrand Thierry Jéron Amélie Stainer Moez Krichen Wed 17 April 2013
- Nominal Logic Programming James Cheney Wed 17 April 2013
- Logic programs as types for logic programs T. Fruhwirth E. Shapiro M.Y. Vardi E. Yardeni Wed 17 April 2013
- Predicate Logic as Programming Language Robert A. Kowalski Wed 17 April 2013
- Verifying and Validating Software Requirements and Design Specifications B. W. Boehm Wed 17 April 2013
- Models for Concurrency Glynn Winskel Mogens Nielsen Tue 16 April 2013
- Comparing Boehm-Like Trees Jeroen Ketema Tue 16 April 2013
- Automating relatively complete verification of higher-order functional programs Hiroshi Unno Tachio Terauchi Naoki Kobayashi Tue 16 April 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
