- Flow: An Analyzer for Non-linear Hybrid Systems Xin Chen Erika Ábrahám Sriram Sankaranarayanan Fri 02 March 2012
- Recursive Program Synthesis Aws Albarghouthi Sumit Gulwani Zachary Kincaid Fri 02 March 2012
- Bounded Linear Types in a Resource Semiring Dan R. Ghica Alex I. Smith Fri 02 March 2012
- A Core Quantitative Coeffect Calculus Aloïs Brunel Marco Gaboardi Damiano Mazza Steve Zdancewic Fri 02 March 2012
- Discounting in LTL Shaull Almagor Udi Boker Orna Kupferman Fri 02 March 2012
- VeriMAP: A Tool for Verifying Programs through Transformations Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Fri 02 March 2012
- The Theory of Hybrid Automata Thomas A. Henzinger Fri 02 March 2012
- Reach Set Computation Using Optimal Control Pravin Varaiya Fri 02 March 2012
- On Small Size Approximation Models Alexander A. Razborov Fri 02 March 2012
- Parsing Theory Seppo Sippu Eljas Soisalon-Soininen Fri 02 March 2012
- Matrix-Geometric Solutions to Stochastic Models Marcel F. Neuts Fri 02 March 2012
- On the Computational Complexity of Integer Programming Problems Ravindran Kannan Clyde L. Monma Fri 02 March 2012
- Some Aspects of Equational Categories F. E. J. Linton Fri 02 March 2012
- Singular in a Framework for Polynomial Computations Hans Schönemann Fri 02 March 2012
- Deterministic Techniques for Efficient Non-Deterministic Parsers Bernard Lang Fri 02 March 2012
- On Sets Having Only Hard Subsets P. Flajolet J. M. Steyaert Fri 02 March 2012
- Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences Joël Ouaknine James Worrell Fri 02 March 2012
- Size-Change Abstraction and Max-Plus Automata Thomas Colcombet Laure Daviaud Florian Zuleger Fri 02 March 2012
- The Complexity of Approximating a Trembling Hand Perfect Equilibrium of a Multi-player Game in Strategic Form Kousha Etessami Kristoffer Arnsfelt Hansen Peter Bro Miltersen Troels Bjerre Sørensen Fri 02 March 2012
- Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset Marta Kwiatkowska Ufuk Topcu Clemens Wiltsche Fri 02 March 2012
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
