CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 21 a 40 di 81
Titolo Data di pubblicazione Autore(i) File
Model Checking of Non-Finite State Processes by Finite Approximations. : 195-215 1-gen-1995 DE FRANCESCO, Nicoletta; Fantechi, A; Gnesi, S; Inverardi, P.
Modeling OR-Parallel Execution of Prolog using CHOCS 1-gen-1995 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella
A Petri Nets Semantics for Data Flow Networks 1-gen-1995 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
Unfold/Fold Transformations of Concurrent Processes 1-gen-1996 DE FRANCESCO, Nicoletta; Santone, A.
A Non-Standard Semantics for Generating Reduced Transition Systems 1-gen-1996 DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 1-gen-1997 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola
Algebraic Computational Models of OR-parallel Execution of Prolog 1-gen-1997 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella
Towards a Logical Semantics fo Prolog 1-gen-1998 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Mancarella, PAOLO MARIA; Santone, Antonella
A Transformation System for Concurrent Processes 1-gen-1998 DE FRANCESCO, Nicoletta; Santone, Antonella
A Partial Order Semantics for FIFO-Nets 1-gen-1998 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
State Space Reduction by Non-standard Semantics for Deadlock Analysis 1-gen-1998 DE FRANCESCO, Nicoletta; A., Santone; Vaglini, Gigliola
Formula Based Abstractions of Transition Systems for Real-time Model Checking 1-gen-1999 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 1-gen-1999 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola
Abstract Interpretation of Trace Semantics for Concurrent Calculi 1-gen-1999 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola
Selective Mu-calculus and formula-based equivalence of transition systems 1-gen-1999 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola
Logic Based Abstractions of Real-time Systems 1-gen-2000 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, A.; Vaglini, Gigliola
Modelling Free Flight with Collision Avoidance. : 270-280 1-gen-2001 DE FRANCESCO, Nicoletta; Massink, M.
Efficient Verification of a Multicast Protocol for Mobile Computing 1-gen-2001 Anastasi, Giuseppe; A., Bartoli; DE FRANCESCO, Nicoletta; A., Santone
Finite Approximations for Model Checking Non-finite-state Processes 1-gen-2001 DE FRANCESCO, Nicoletta; Fantechi, A.; Gnesi, S.; Inverardi, P.
An approach to system design based on P/T net simulation 1-gen-2001 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
Mostra risultati da 21 a 40 di 81
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