- Reachability analysis of fragments of mobile ambients in AC term rewriting Giorgio Delzanno Roberto Montagna Tue 18 December 2012
- Parameterized Tree Systems Parosh Abdulla Noomene Ben Henda Giorgio Delzanno Frédéric Haziza Ahmed Rezine Tue 18 December 2012
- Monotonic Abstraction in Action Parosh Abdulla Giorgio Delzanno Ahmed Rezine Tue 18 December 2012
- On the Qualitative Analysis of Conformon P Systems Parosh Abdulla Giorgio Delzanno Laurent Van Begin Tue 18 December 2012
- Handling Parameterized Systems with Non-atomic Global Conditions Parosh Abdulla Noomene Ben Henda Giorgio Delzanno Ahmed Rezine Tue 18 December 2012
- On Reachability and Spatial Reachability in Fragments of BioAmbients Giorgio Delzanno Roberto Montagna Tue 18 December 2012
- Constraint-based automatic verification of abstract models of multithreaded programs Giorgio Delzanno Tue 18 December 2012
- Parameterized Verification of Infinite-State Processes with Global Conditions Parosh Abdulla Giorgio Delzanno Ahmed Rezine Tue 18 December 2012
- Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) Parosh Abdulla Giorgio Delzanno Noomene Henda Ahmed Rezine Tue 18 December 2012
- Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols Giorgio Delzanno Javier Esparza Jiří Srba Tue 18 December 2012
- Compositional Verification of Asynchronous Processes via Constraint Solving Giorgio Delzanno Maurizio Gabbrielli Tue 18 December 2012
- Model checking linear logic specifications Marco Bozzano Giorgio Delzanno Maurizio Martelli Tue 18 December 2012
- Universal coalgebra: a theory of systems J.J.M.M. Rutten Tue 18 December 2012
- Corecursive Algebras: A Study of General Structured Corecursion Venanzio Capretta Tarmo Uustalu Varmo Vene Tue 18 December 2012
- Applications of Metric Coinduction Dexter Kozen Nicholas Ruozzi Tue 18 December 2012
- Antifounded Coinduction in Type Theory Tarmo Uustalu Tue 18 December 2012
- SAT-Based Analysis of Cellular Automata Massimo D'Antonio Giorgio Delzanno Tue 18 December 2012
- Co-Logic Programming: Extending Logic Programming with Coinduction Luke Simon Ajay Bansal Ajay Mallya Gopal Gupta Tue 18 December 2012
- Constraint-Based Verification of Parameterized Cache Coherence Protocols Giorgio Delzanno Sun 16 December 2012
- Compositional Verification of Infinite State Systems Giorgio Delzanno Maurizio Gabbrielli MariaChiara Meo Sun 16 December 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
