- Adding nesting structure to words Rajeev Alur P. Madhusudan Tue 22 January 2013
- Lazy abstraction with interpolants Kenneth L. McMillan Tue 22 January 2013
- The algorithmic analysis of hybrid systems R. Alur C. Courcoubetis N. Halbwachs T. A. Henzinger P.-H. Ho X. Nicollin A. Olivero J. Sifakis S. Yovine Tue 22 January 2013
- Nested interpolants Matthias Heizmann Jochen Hoenicke Andreas Podelski Tue 22 January 2013
- Inductive data flow graphs Azadeh Farzan Zachary Kincaid Andreas Podelski Tue 22 January 2013
- Reachability for linear hybrid automata using iterative relaxation abstraction Sumit K. Jha Bruce H. Krogh James E. Weimer Edmund M. Clarke Tue 22 January 2013
- Refinement of Trace Abstraction Matthias Heizmann Jochen Hoenicke Andreas Podelski Tue 22 January 2013
- On-the-Fly Exact Computation of Bisimilarity Distances Giorgio Bacci Giovanni Bacci Kim G. Larsen Radu Mardare Tue 22 January 2013
- On the completeness of propositional Hoare logic Dexter Kozen Jerzy Tiuryn Tue 22 January 2013
- Axiomatic approach to total correctness of programs Z Manna Amir Pnueli Tue 22 January 2013
- Expressiveness and the completeness of Hoare's logic J.A. Bergstra J.V. Tucker Tue 22 January 2013
- An axiomatic definition of the programming language PASCAL C. Hoare Tue 22 January 2013
- Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic David Harel Tue 22 January 2013
- The anatomy of a large-scale hypertextual Web search engine Sergey Brin Lawrence Page Fri 18 January 2013
- What can you do with a Web in your Pocket Sergey Brin Rajeev Motwani Lawrence Page Terry Winograd Fri 18 January 2013
- Full Abstraction for a Simple Parallel Programming Language M. C. B. Hennessy Gordon Plotkin Sat 05 January 2013
- The Temporal Semantics of Concurrent Programs Amir Pnueli Sat 05 January 2013
- Decidable optimization problems for database logic programs Stavros Cosmadakis Haim Gaifman Paris Kanellakis Moshe Vardi Wed 02 January 2013
- Undecidable optimization problems for database logic programs Haim Gaifman Harry Mairson Yehoshua Sagiv Moshe Y. Vardi Wed 02 January 2013
- Probabilistic regular graphs Nathalie Bertrand Christophe Morvan Mon 31 December 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
