- Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds Tue 25 September 2012
- On Sampled Semantics of Timed Systems Pavel Krčál Radek Pelánek Tue 25 September 2012
- Automatic verification of recursive procedures with one integer parameter Ahmed Bouajjani Peter Habermehl Richard Mayr Mon 24 September 2012
- Model Checking Languages of Data Words Benedikt Bollig Aiswarya Cyriac Paul Gastin K. Narayan Kumar Mon 24 September 2012
- Lattice automata: a representation of languages over an infinite alphabet, and some applications to verification T. Le Gall B. Jeannet Mon 24 September 2012
- Implementing r-AFA Operations S. Huerter X. Wu K. Salomaa Sheng Yu Sun 23 September 2012
- Efficient Implementation of Regular Languages Using r-AFA K. Salomaa X. Wu Sheng Yu Sun 23 September 2012
- Determinism without Determinization Janusz A. Brzozowski Nicolae Santean Sun 23 September 2012
- Deterministic Simulation of a NFA with k--Symbol Lookahead Bala Ravikumar Nicolae Santean Sun 23 September 2012
- Predictable semiautomata Janusz Brzozowski Nicolae Santean Sun 23 September 2012
- Infinite synchronizing words for probabilistic automata Laurent Doyen Thierry Massart Mahsa Shirmohammadi Sat 22 September 2012
- Foundations of nominal techniques: logic and semantics of variables in abstract syntax Murdoch James Gabbay Sat 22 September 2012
- Canonical regular expressions and minimal state graphs for definite events J. A. Brzozowski Fri 21 September 2012
- Derivatives of Regular Expressions Janusz A. Brzozowski Fri 21 September 2012
- On equations for regular languages, finite automata, and sequential networks J.A. Brzozowski E. Leiss Thu 20 September 2012
- Dense-Timed Pushdown Automata P. A. Abdulla M. F. Atig J. Stenman Thu 20 September 2012
- Better Quasi-Ordered Transition Systems Parosh Aziz Abdulla Aletta Nylén Thu 20 September 2012
- Better is Better than Well: On Efficient Verification of Infinite-State Systems Parosh Aziz Abdulla Aletta Nylén Thu 20 September 2012
- Timed Petri Nets and BQOs Parosh Aziz Abdulla Aletta Nylén Thu 20 September 2012
- Comparison of Different Semantics for Time Petri Nets B. Bérard F. Cassez S. Haddad Didier Lime O.H. Roux Thu 20 September 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 11:39:05,
Build Time: N/A
