- Linear-time temporal logics with Presburger constraints: an overview Stéphane Demri Fri 02 March 2012
- A survey on switched and piecewise affine system identification Andrea Garulli Simone Paoletti Antonio Vicino Fri 02 March 2012
- Realization of a nonlinear system in the feedforward form: a polynomial approach Miroslav Halás Yu Kawano Claude H. Moog Toshiyuki Ohtsuka Fri 02 March 2012
- Programming and verifying a declarative first-order prover in Isabelle/HOL Alexander Birch Jensen John Bruntse Larsen Anders Schlichtkrull Jørgen Villadsen Fri 02 March 2012
- On the topological aspects of the theory of represented spaces Arno Pauly Fri 02 March 2012
- Overt choice Matthew de Brecht Arno Pauly Matthias Schröder Fri 02 March 2012
- Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra1 J.C.M. Baeten J.A. Bergstra J.W. Klop Fri 02 March 2012
- Towards a New Algebraic Foundation of Flowchart Scheme Theory Virgil Emil Căzănescu Gheorghe Ştefănescu Fri 02 March 2012
- EQUATIONAL TERM GRAPH REWRITING Zena M. Ariola Jan Willem Klop Fri 02 March 2012
- Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes Javier Esparza Fri 02 March 2012
- Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs Nadia Busi G. Michele Pinna Fri 02 March 2012
- Branching Bisimilarity with Explicit Divergence Rob van Glabbeek Bas Luttik Nikola Trčka Fri 02 March 2012
- On Recognizable Tree Languages Beyond the Borel Hierarchy Olivier Finkel Pierre Simonnet Fri 02 March 2012
- M-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding Hartmut Ehrig Ulrike Golas Annegret Habel Leen Lambers Fernando Orejas Fri 02 March 2012
- Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P Jakub Chaloupka Fri 02 March 2012
- Efficient Construction of Semilinear Representations of Languages Accepted by Unary Nondeterministic Finite Automata Zdeněk Sawa Fri 02 March 2012
- Two-Way Finite Automata: Old and Recent Results Giovanni Pighizzini Fri 02 March 2012
- The Undecidability of the Logic of Subintervals Jerzy Marcinkowski Jakub Michaliszyn Fri 02 March 2012
- Complexity Analysis of Continuous Petri Nets Estíbaliz Fraca Serge Haddad Fri 02 March 2012
- On Promptness in Parity Games Fabio Mogavero Aniello Murano Loredana Sorrentino Fri 02 March 2012
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
