IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 147
Titolo Data di pubblicazione Autore(i) File
A compositional semantics for CHR 1-gen-2005 Delzanno, Giorgio; M., Gabbrielli; M. C., Meo
Compositional Verification of Asynchronous Processes via Constraint Solving 1-gen-2005 Delzanno, Giorgio; Gabbrielli, M.
Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting 1-gen-2006 Delzanno, Giorgio; R., Montagna
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems 1-gen-2006 Delzanno, Giorgio; S., Etalle; M., Gabbrielli
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols 1-gen-2006 Delzanno, Giorgio; J., Esparza; J., Srba
Constraint-based Automatic Verification of Abstract Models of Multitreaded Programs 1-gen-2007 Delzanno, Giorgio
On Reachability and Spatial Reachability in Fragments of BioAmbients 1-gen-2007 Delzanno, Giorgio; Montagna, R.
On the Dynamics of PB Systems with Volatile Membranes. 1-gen-2007 Delzanno, Giorgio; VAN BEGIN, L.
Comparing the Expressive Power of Well-Structured Transition Systems 1-gen-2007 Abdulla, P. A.; Delzanno, Giorgio; VAN BEGIN, L.
Parameterized Verification of Infinite-State Processes with Global Conditions 1-gen-2007 Abdulla, P. A.; Delzanno, Giorgio; Rezine, A.
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) 1-gen-2007 Abdulla, P. A.; Delzanno, Giorgio; BEN HENDA, N; Rezine, A.
Computational Logic in Genova 1-gen-2008 Mascardi, Viviana; Delzanno, Giorgio; Martelli, Maurizio
On the Qualitative Analysis of Conformon P Systems 1-gen-2008 P., Abdulla; Delzanno, Giorgio; L., Van Begin
Parameterized Tree Systems 1-gen-2008 Abdulla, P; BEN HENDA, N; Delzanno, Giorgio; Haziza, F; Rezine, A.
Monotonic Abstraction in Action 1-gen-2008 Abdulla, P; Delzanno, Giorgio; Rezine, A.
Reachability analysis of fragments of mobile ambients in AC term rewriting. 1-gen-2008 Delzanno, Giorgio; Montagna, R.
HANDLING PARAMETERIZED SYSTEMS WITH NON-ATOMIC GLOBAL CONDITIONS 1-gen-2008 Abdulla, P; BEN HENDA, N; Delzanno, Giorgio; Rezine, A.
A Biologically Inspired Model with Fusion and Clonation of Membranes 1-gen-2008 Delzanno, Giorgio; L., Van Begin
Deciding Reachability in Mobile Ambients with Name Restriction 1-gen-2009 Delzanno, Giorgio; Montagna, R.
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations 1-gen-2009 Abdulla, P; Delzanno, Giorgio; VAN BEGIN, L.
Mostrati risultati da 41 a 60 di 147
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile