- An Extension of Pushdown System and Its Model Checking Method Naoya Nitta Hiroyuki Seki Thu 16 January 2014
- Modeling and Verification of Time Dependent Systems Using Time Petri Nets Bernard Berthomieu Michel Diaz Thu 16 January 2014
- Analysis of Place/Transition Nets with Timed Arcs and Its Application to Batch Process Control Hans-Michael Hanisch Thu 16 January 2014
- Analysis of Asynchronous Concurrent Systems by Timed Petri Nets C. Ramchandani Thu 16 January 2014
- A Study of the Recoverability of Computing Systems. Philip Meir Merlin Thu 16 January 2014
- Automating First-order Relational Logic Daniel Jackson Thu 16 January 2014
- Language Containment Checking With Nondeterministic BDDs Bernd Finkbeiner Thu 16 January 2014
- An Analysis of Stochastic Shortest Path Problems Dimitri P. Bertsekas John N. Tsitsiklis Thu 16 January 2014
- Computing Minimum and Maximum Reachability Times in Probabilistic Systems L. de Alfaro Thu 16 January 2014
- The use of abstract language in elementary metamathematics: Some pedagogic examples G. Kreisel G.E. Mints S.G. Simpson Thu 16 January 2014
- Finite investigations of transfinite derivations G.E. Mints Thu 16 January 2014
- Finite notations for infinite terms Helmut Schwichtenberg Thu 16 January 2014
- Notation systems for infinitary derivations Wilfried Buchholz Thu 16 January 2014
- Continuous normalization for the lambda-calculus and Gødel's Klaus Aehlig Felix Joachimski Thu 16 January 2014
- When Can You Play Positionally Hugo Gimbert Wiesław Zielonka Thu 16 January 2014
- Games Through Nested Fixpoints Thomas Martin Gawlitza Helmut Seidl Thu 16 January 2014
- Formal Verification of Probabilistic Systems Luca De Alfaro Thu 16 January 2014
- On Probabilistic Parallel Programs with Process Creation and Synchronisation Stefan Kiefer Dominik Wojtczak Thu 16 January 2014
- Reachability Analysis over Term Rewriting Systems Guillaume Feuillade Thomas Genet Valérie Viet Triem Tong Wed 15 January 2014
- Call by need computations in orthogonal term rewriting systems Irene Durand Wed 15 January 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
