BARBUTI, ROBERTO Statistiche
BARBUTI, ROBERTO
DIPARTIMENTO DI INFORMATICA
,Il Museo di Storia naturale e del Territorio in Dalla Galleria pisana al Museo di Storia Naturale e del Territorio
2009-01-01 Landini, Walter; Barbuti, Roberto; Battaglini, S.
A BOTTOM-UP POLYMORPHIC TYPE INFERENCE IN LOGIC PROGRAMMING
1992-01-01 Barbuti, Roberto; Giacobazzi, Roberto
A Calculus of Looping Sequences for Modelling Microbiological Systems
2006-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A Compositional Semantics of Reaction Systems with Restriction
2013-01-01 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
2014-01-01 Barbuti, Roberto; Bove, Pasquale; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni
A Constructive Approach to Static Verification of Program Properties
1983-01-01 Barbuti, Roberto; Martelli, A.
A decidable notion of timed non-interference
2003-01-01 Barbuti, Roberto; Tesei, L.
A Formalism for the Description of Protein Interaction
2010-01-01 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
2010-01-01 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
1993-01-01 Barbuti, Roberto; Giacobazzi, Roberto; Levi, Giorgio
A mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer
2015-01-01 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
2018-01-01 Barbuti, Roberto; Berni, Paolo; Milazzo, Paolo
A methodology for the stochastic modeling and simulation of sympatric speciation by sexual selection
2009-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A Multiple-Valued Logical Semantics for Prolog
1996-01-01 Barbuti, Roberto; Mancarella, PAOLO MARIA
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security
2010-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Gruska, D. P.
A Notion of Non-Interference for Timed Automata
2002-01-01 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Tesei, L.
A Notion of Non-Interference for Timed Automata
2001-01-01 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Luca, Tesei
A P Systems Flat Form Preserving Step-by-step Behaviour
2008-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S.
A Probabilistic Calculus for Molecular Systems
2005-01-01 Barbuti, Roberto; Cataudella, S; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A probabilistic model for molecular systems
2005-01-01 Barbuti, Roberto; Cataudella, S; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
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. |