- Regular frequency computations Holger Austinat Volker Diekert Ulrich Hertrampf Holger Petersen Mon 10 December 2012
- Some equivalent transformations of recursive programs based on their schematic properties Boris Trakhtenbrot Mon 10 December 2012
- Some definitional suggestions for automata theory Dana Scott Mon 10 December 2012
- Automata and Hybrid Systems Boris Trakhtenbrot Mon 10 December 2012
- An interview with Michael Rabin Dennis Shasha Fri 07 December 2012
- Time-Bounded Reachability in Tree-Structured QBDs by Abstraction Daniel Klink Anne Remke Boudewijn R. Haverkort Joost-Pieter Katoen Fri 07 December 2012
- The theory of hybrid automata T.A. Henzinger Fri 07 December 2012
- Two Approaches to Inteprocedural Data Flow Analysis Micha Sharir Amir Pnueli Fri 07 December 2012
- An axiomatic proof technique for parallel programs I Susan Owicki David Gries Fri 07 December 2012
- Proving the Correctness of Multiprocess Programs L. Lamport Fri 07 December 2012
- Compositional Separate Modular Static Analysis of Programs by Abstract Interpretation P. Cousot R. Cousot Fri 07 December 2012
- Stochastic Games Lloyd Shapley Thu 06 December 2012
- The complexity of stochastic games Anne Condon Thu 06 December 2012
- Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction Guy Avni Orna Kupferman Wed 05 December 2012
- Fluid Model Checking Luca Bortolussi Jane Hillston Wed 05 December 2012
- Playing Stochastic Games Precisely Taolue Chen Vojtěch Forejt Marta Kwiatkowska Aistis Simaitis Ashutosh Trivedi Michael Ummels Wed 05 December 2012
- A Polynomial Translation of <i>pi</i>-Calculus (FCP) to Safe Petri Nets Roland Meyer Victor Khomenko Reiner Huchting Wed 05 December 2012
- Verification of Petri Nets with Read Arcs César Rodríguez Stefan Schwoon Wed 05 December 2012
- MSO decidability of multi-pushdown systems via split-width Aiswarya Cyriac Paul Gastin K. Narayan Kumar Wed 05 December 2012
- Adding Pebbles to Weighted Automata Paul Gastin Benjamin Monmege Wed 05 December 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
