CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 31 a 60 di 130
Titolo Data di pubblicazione Autore(i) File
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
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
Timed Automata with Urgent Transitions 1-gen-2001 Barbuti, Roberto; Luca, Tesei
Timed Automata with non-Instantaneous Actions 1-gen-2001 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Luca, Tesei
A Notion of Non-Interference for Timed Automata 1-gen-2001 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Luca, Tesei
Fixing the Java Bytecode Verifier by a Suitable Type Domain 1-gen-2002 Barbuti, Roberto; Tesei, L; Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta
Abstract Interpretation of Operational Semantics for Secure Information Flow 1-gen-2002 Barbuti, Roberto; Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta
Checking Security of Java Bytecode by Abstract Interpretation 1-gen-2002 Barbuti, Roberto; Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta
A Notion of Non-Interference for Timed Automata 1-gen-2002 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Tesei, L.
A decidable notion of timed non-interference 1-gen-2003 Barbuti, Roberto; Tesei, L.
Analysing Information Flow Properties in Assembly Code by Abstract Interpretation 1-gen-2004 Barbuti, Roberto; Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta
Java bytecode verification on Java cards 1-gen-2004 Barbuti, Roberto; Cataudella, S.
Abstract interpretation against races 1-gen-2004 Barbuti, Roberto; Cataudella, S; Tesei, L.
Timed automata with urgent transitions 1-gen-2004 Barbuti, Roberto; Tesei, L.
Abstract Interpretation of an Object Calculus for Synchronization Optimizations 1-gen-2005 Barbuti, Roberto; Cataudella, S.
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 1-gen-2005 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A probabilistic model for molecular systems 1-gen-2005 Barbuti, Roberto; Cataudella, S; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A Probabilistic Calculus for Molecular Systems 1-gen-2005 Barbuti, Roberto; Cataudella, S; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 1-gen-2005 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
Bisimulation Congruences in the Calculus of Looping Sequences 1-gen-2006 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A Calculus of Looping Sequences for Modelling Microbiological Systems 1-gen-2006 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level 1-gen-2007 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo
The Calculus of Looping Sequences for Modelling Biological Membranes 1-gen-2007 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
Spatial Calculus of Looping Sequences 1-gen-2008 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, G.
Towards a P Systems Normal Form Preserving Step-by-step Behavior 1-gen-2008 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S.
Mostra risultati da 31 a 60 di 130
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