CINECA IRIS Institutional Research Information System

BARBUTI, ROBERTO Statistiche

BARBUTI, ROBERTO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 136 (tempo di esecuzione: 0.154 secondi).
Titolo Data di pubblicazione Autore(i) File
,Il Museo di Storia naturale e del Territorio in Dalla Galleria pisana al Museo di Storia Naturale e del Territorio 1-gen-2009 Landini, Walter; Barbuti, Roberto; Battaglini, S.
A BOTTOM-UP POLYMORPHIC TYPE INFERENCE IN LOGIC PROGRAMMING 1-gen-1992 Barbuti, Roberto; Giacobazzi, Roberto
A Calculus of Looping Sequences for Modelling Microbiological Systems 1-gen-2006 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A Compositional Semantics of Reaction Systems with Restriction 1-gen-2013 Giovanni, Pardini; Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Simone, Tini
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods 1-gen-2014 Barbuti, Roberto; Bove, Pasquale; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni
A Constructive Approach to Static Verification of Program Properties 1-gen-1983 Barbuti, Roberto; Martelli, A.
A decidable notion of timed non-interference 1-gen-2003 Barbuti, Roberto; Tesei, L.
A Formalism for the Description of Protein Interaction 1-gen-2010 Barbuti, Roberto; DEZANI CIANCAGLINI, M; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday 1-gen-2010 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Troina, A; DEZANI CIANCAGLINI, M; Milazzo, Paolo
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs 1-gen-1993 Barbuti, Roberto; Giacobazzi, Roberto; Levi, Giorgio
A mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer 1-gen-2015 Sameen, Sheema; Barbuti, Roberto; Milazzo, Paolo; Cerone, Antonio
A mathematical model for the study of the impact of small commercial fishing on the biodiversity of artificial reefs 1-gen-2018 Barbuti, Roberto; Berni, Paolo; Milazzo, Paolo
A methodology for the stochastic modeling and simulation of sympatric speciation by sexual selection 1-gen-2009 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A Multiple-Valued Logical Semantics for Prolog 1-gen-1996 Barbuti, Roberto; Mancarella, PAOLO MARIA
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security 1-gen-2010 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Gruska, D. P.
A Notion of Non-Interference for Timed Automata 1-gen-2002 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Tesei, L.
A Notion of Non-Interference for Timed Automata 1-gen-2001 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Luca, Tesei
A P Systems Flat Form Preserving Step-by-step Behaviour 1-gen-2008 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S.
A Probabilistic Calculus for Molecular Systems 1-gen-2005 Barbuti, Roberto; Cataudella, S; 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.