CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 21 a 40 di 130
Titolo Data di pubblicazione Autore(i) File
Oracle Semantics for Prolog 1-gen-1992 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Maher, M.
Modeling Prolog Control 1-gen-1992 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio
A BOTTOM-UP POLYMORPHIC TYPE INFERENCE IN LOGIC PROGRAMMING 1-gen-1992 Barbuti, Roberto; Giacobazzi, Roberto
Modelling Prolog Control 1-gen-1993 Barbuti, Roberto; Codish, M.; Giacobazzi, Roberto; Levi, Giorgio
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs 1-gen-1993 Barbuti, Roberto; Giacobazzi, Roberto; Levi, Giorgio
Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP 1995: 1-gen-1995 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, A.
Modeling OR-Parallel Execution of Prolog using CHOCS 1-gen-1995 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella
Oracle Semantics for Prolog 1-gen-1995 Barbuti, Roberto; Codish, M.; Giacobazzi, Roberto; Maher, M.
A Multiple-Valued Logical Semantics for Prolog 1-gen-1996 Barbuti, Roberto; Mancarella, PAOLO MARIA
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
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
A Notion of Non-Interference for Timed Automata 1-gen-2001 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Luca, Tesei
Timed Automata with non-Instantaneous Actions 1-gen-2001 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Luca, Tesei
Mostra risultati da 21 a 40 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