GORI, ROBERTA Statistiche

GORI, ROBERTA  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 62 (tempo di esecuzione: 0.044 secondi).
Titolo Data di pubblicazione Autore(i) File
A Fixpoint semantics for reasoning about finite failure 1-gen-1999 Gori, Roberta
A Hierarchy of Semantics for Normal Constraint Logic Programs 1-gen-1996 F., Fages; Gori, Roberta
A New Occurrence Counting Analysis for BioAmbients 1-gen-2005 Gori, Roberta; Levi, Francesca
A Taxonomy of Causality-Based Biological Properties 1-gen-2010 Bodei, Chiara; Bracciali, A; Chiarugi, D; Gori, Roberta
Abstract extensionality: on the properties of incomplete abstract interpretations 1-gen-2020 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Garcia-Contreras, Isabel; Pavlovic, Dusko
Abstract interpretation based verification of logic programs 1-gen-1999 M., Comini; Gori, Roberta; G., Levi; P., Volpe
Abstract Interpretation based Verification of Logic Programs 1-gen-2003 Comini, M.; Gori, Roberta; Levi, Giorgio; Volpe, P.
Abstract interpretation based verification of temporal properties for BioAmbients 1-gen-2010 Gori, Roberta; Levi, Francesca
Abstract Interpretation for Probabilistic Termination of Biological Systems 1-gen-2009 Gori, Roberta; Levi, Francesca
Abstract Interpretation Repair 1-gen-2022 Bruni, R; Giacobazzi, R; Gori, R; Ranzato, F
An Abstract Interpretation approach to Termination of Logic Programs 1-gen-2000 Gori, Roberta
An Abstract Interpretation Framework to reason on Finite Failure and other properties of finite and infinite computations 1-gen-2003 Gori, Roberta
An Analysis for Causal Properties of Membrane Interactions 1-gen-2013 Bodei, Chiara; Gori, Roberta; Levi, Francesca
An Analysis for Proving Temporal Properties of Biological Systems 1-gen-2006 Gori, Roberta; Levi, Francesca
An experiment in type inference and verification by abstract interpretation 1-gen-2002 Gori, Roberta; Levi, Giorgio
An Analysis for Proving Probabilistic Termination of Biological Systems 1-gen-2013 Gori, Roberta; Levi, Francesca
Analysis of Normal Logic Programs 1-gen-1998 F., Fages; Gori, Roberta
Approximating Probabilistic Behaviours of Biological Systems using Abstract Interpretation 1-gen-2009 Coletta, A; Gori, Roberta; Levi, Francesca
Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation 1-gen-1998 Gori, Roberta; Lastres, E; Moreno, R; Spoto, F.
Assertion based Inductive Verification Methods for Logic Programs 1-gen-2000 M., Comini; Gori, Roberta; G., Levi