- Reachability analysis of hybrid systems with linear continuous dynamics Colas Le Guernic Sun 17 November 2013
- Safety Verification of Non-linear Hybrid Systems is Quasi-semidecidable Stefan Ratschan Sun 17 November 2013
- Verifying safety properties of differential equations Mark R. Greenstreet Sun 17 November 2013
- Efficient Computation of Reachable Sets of Linear Time-invariant Systems with Inputs Antoine Girard Colas Le Guernic Oded Maler Sun 17 November 2013
- SpaceEx: Scalable Verification of Hybrid Systems Goran Frehse Colas Le Guernic Alexandre Donzé Scott Cotton Rajarshi Ray Olivier Lebeltel Rodolfo Ripado Antoine Girard Thao Dang Oded Maler Sun 17 November 2013
- Computing Reachable States for Nonlinear Biological Models Thao Dang Colas Le Guernic Oded Maler Sun 17 November 2013
- Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems Eugene Asarin Thao Dang Oded Maler Olivier Bournez Sun 17 November 2013
- Hybridization methods for the analysis of nonlinear systems Eugene Asarin Thao Dang Antoine Girard Sun 17 November 2013
- Decidability of Bounded Higher-order Unification Manfred Schmidt-Schauß Klaus U. Schulz Sun 17 November 2013
- Decidability of Arity-Bounded Higher-Order Matching Manfred Schmidt-Schauß Sun 17 November 2013
- Monadic second-order definable graph transductions Bruno Courcelle Fri 15 November 2013
- Monadic second-order definable graph transductions: a survey Bruno Courcelle Fri 15 November 2013
- Local computation of beta-reduction - A concrete presentation of Game Semantics William Blum Chih-Hao Luke Ong Fri 15 November 2013
- Model Transformations in Decidability Proofs for Monadic Theories Wolfgang Thomas Fri 15 November 2013
- Decidability of monadic theories A.L. Semenov Fri 15 November 2013
- The Evaluation of First-order Substitution is Monadic Second-order Compatible Bruno Courcelle Teodor Knapik Fri 15 November 2013
- Evaluation is MSOL compatible Sylvain Salvati Igor Walukiewicz Fri 15 November 2013
- Program Analysis as Model Checking of Abstract Interpretations David Schmidt Bernhard Steffen Fri 15 November 2013
- Ehrenfeucht games, the composition method, and the monadic theory of ordinal words Wolfgang Thomas Fri 15 November 2013
- 1st International Workshop on Behavioural Types N/A Fri 15 November 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
