Roberto Barbuti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
12
Active years
1982–2015
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | SEFM | Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates. | Roberto Barbuti, Alessandro Bompadre, Pasquale Bove, Paolo Milazzo, Giovanni Pardini |
| 2014 | SEFM | A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer. | Sheema Sameen, Roberto Barbuti, Paolo Milazzo, Antonio Cerone |
| 2013 | CiE | A Compositional Semantics of Reaction Systems with Restriction. | Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
| 2013 | SEFM | A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations. | Roberto Barbuti, Pasquale Bove, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini |
| 2012 | SEFM | Modelling Population Dynamics Using Grid Systems. | Roberto Barbuti, Antonio Cerone, Andrea Maggiolo-Schettini, Paolo Milazzo, Suryana Setiawan |
| 2006 | ICTAC | Bisimulation Congruences in the Calculus of Looping Sequences. | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
| 2004 | SAC | Java bytecode verification on Java cards. | Roberto Barbuti, Stefano Cataudella |
| 2002 | SAC | Checking security of Java bytecode by abstract interpretation. | Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco |
| 2002 | SEKE | Fixing the Java bytecode verifier by a suitable type domain. | Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco |
| 1999 | FM | Formula Based Abstractions of Transition Systems for Real-Time Model Checking. | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
| 1997 | FORTE | Selective -calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
| 1996 | ESOP | A Multiple-Valued Logical Semantics for Prolog. | Roberto Barbuti, Paolo Mancarella |
| 1995 | ICLP | Modeling OR-Parallel Execution of Prolog using CHOCS. | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone |
| 1992 | POPL | Modeling Prolog Control. | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi |
| 1991 | SAS | Modelling Prolog Control. | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi |
| 1986 | AIMSA | Cooperating Logic Theories. | Roberto Barbuti, C. D'Ascanio, Franco Turini |
| 1986 | ICLP | Completeness of the SLDNF-resolution for a class of logic programs. | Roberto Barbuti, Maurizio Martelli |
| 1982 | ICLP | Toward an Inductionless Technique for Proving Properties of Logic Programs. | Roberto Barbuti, Pierpaolo Degano, Giorgio Levi |