- Proofs as computations in linear logic Giorgio Delzanno Maurizio Martelli Sun 16 December 2012
- Attacking Symbolic State Explosion Giorgio Delzanno Jean-François Raskin Laurent Van Begin Sun 16 December 2012
- Symbolic Representation of Upward-Closed Sets Giorgio Delzanno Jean-François Raskin Sun 16 December 2012
- On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks Giorgio Delzanno Arnaud Sangnier Riccardo Traverso Gianluigi Zavattaro Sun 16 December 2012
- Verification of Unreliable Ad Hoc Networks Giorgio Delzanno Arnaud Sangnier Gianluigi Zavattaro Sun 16 December 2012
- Verification of ad hoc networks with node and communication failures Giorgio Delzanno Arnaud Sangnier Gianluigi Zavattaro Sun 16 December 2012
- On the power of cliques in the parameterized verification of Ad Hoc networks Giorgio Delzanno Arnaud Sangnier Gianluigi Zavattaro Sun 16 December 2012
- On the verification of timed ad hoc networks Parosh Aziz Abdulla Giorgio Delzanno Othmane Rezine Arnaud Sangnier Riccardo Traverso Sun 16 December 2012
- Parameterized verification of ad hoc networks Giorgio Delzanno Arnaud Sangnier Gianluigi Zavattaro Sun 16 December 2012
- The essence of ALGOL John C. Reynolds Sun 16 December 2012
- The safe lambda calculus William Blum C.-H. Luke Ong Fri 14 December 2012
- Structures Generated by Higher-Order Grammars and the Safety Constraint Jolie G. de Miranda Fri 14 December 2012
- Theorems for free Philip Wadler Fri 14 December 2012
- Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks Zhe Dang Fri 14 December 2012
- MoVeP 2012 N/A Tue 11 December 2012
- Representation of events in nerve nets and finite automata S. C. Kleene Mon 10 December 2012
- A logical calculus of the ideas immanent in nervous activity WarrenS. McCulloch Walter Pitts Mon 10 December 2012
- Time-bounded model checking of infinite-state continuous-time Markov chains Lijun Zhang H. Hermanns E. Moritz Hahn B. Wachter Mon 10 December 2012
- Theory of Logical Nets A.W. Burks J.B. Wright Mon 10 December 2012
- The Theory of Automata, a Survey Robert McNaughton Mon 10 December 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
