Roberto Barbuti

Publication Activity (10 Years)

Years Active: 1980-2021
Publications (10 Years): 12

Top Venues

Theor. Comput. Sci.

SEFM Workshops

Fundam. Informaticae

CS&P

Publications

Roberto Barbuti, Pasquale Bove, Roberta Gori, Damas P. Gruska, Francesca Levi, Paolo Milazzo
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks. Fundam. Informaticae 179 (2) (2021)
Roberto Barbuti, Roberta Gori, Paolo Milazzo
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation. Theor. Comput. Sci. 881 (2021)
Roberto Barbuti, Anna Bernasconi, Roberta Gori, Paolo Milazzo
Characterization and computation of ancestors in reaction systems. Soft Comput. 25 (3) (2021)
Roberto Barbuti, Roberta Gori, Paolo Milazzo, Lucia Nasti
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models. J. Membr. Comput. 2 (3) (2020)
Roberto Barbuti, Anna Bernasconi, Roberta Gori, Paolo Milazzo
Computing Preimages and Ancestors in Reaction Systems. TPNC (2018)
Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
Generalized contexts for reaction systems: definition and study of dynamic causalities. Acta Informatica 55 (3) (2018)
Roberto Barbuti, Roberta Gori, Paolo Milazzo
Predictors for flat membrane systems. Theor. Comput. Sci. 736 (2018)
Roberto Barbuti, Pasquale Bove, Roberta Gori, Francesca Levi, Paolo Milazzo
Simulating Gene Regulatory Networks using Reaction Systems. CS&P (2018)
Roberto Barbuti, Roberta Gori, Paolo Milazzo
Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems. Int. Conf. on Membrane Computing (2017)
Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
Specialized Predictor for Reaction Systems with Context Properties. Fundam. Informaticae 147 (2-3) (2016)
Roberto Barbuti, Pasquale Bove, Paolo Milazzo, Giovanni Pardini
Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems. Int. Conf. on Membrane Computing (2016)
Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
Investigating dynamic causalities in reaction systems. Theor. Comput. Sci. 623 (2016)
Roberto Barbuti, Alessandro Bompadre, Pasquale Bove, Paolo Milazzo, Giovanni Pardini
Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates. SEFM Workshops (2015)
Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
Specialized Predictor for Reaction Systems with Context Properties. CS&P (2015)
Roberto Barbuti, Pasquale Bove, Paolo Milazzo, Giovanni Pardini
Minimal probabilistic P systems for modelling ecological systems. Theor. Comput. Sci. 608 (2015)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Simone Tini
Systolic Automata and P Systems. Computing with New Resources (2014)
Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Compositional semantics and behavioural equivalences for reaction systems with restriction. Theor. Comput. Sci. 551 (2014)
Sheema Sameen, Roberto Barbuti, Paolo Milazzo, Antonio Cerone
A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer. SEFM Workshops (2014)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
Simulation of Spatial P system models. Theor. Comput. Sci. 529 (2014)
Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
A Compositional Semantics of Reaction Systems with Restriction. CiE (2013)
Roberto Barbuti, Pasquale Bove, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations. SEFM Workshops (2013)
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Foundational aspects of multiscale modeling of biological systems with process algebras. Theor. Comput. Sci. 431 (2012)
Roberto Barbuti, Antonio Cerone, Andrea Maggiolo-Schettini, Paolo Milazzo, Suryana Setiawan
Modelling Population Dynamics Using Grid Systems. SEFM Satellite Events (2012)
Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena
Probabilistic model checking of biological systems with uncertain kinetic rates. Theor. Comput. Sci. 419 (2012)
Giulio Caravagna, Roberto Barbuti, Alberto d'Onofrio
Fine-tuning anti-tumor immunotherapies via stochastic simulations. BMC Bioinform. 13 (S-4) (2012)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei
Spatial P systems. Nat. Comput. 10 (1) (2011)
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach. Trans. Comp. Sys. Biology 13 (2011)
Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
A Testing Framework for P Systems CoRR (2011)
Roberto Barbuti, Giuditta Franco, Gheorghe Paun
Foreword. Nat. Comput. 10 (1) (2011)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
Spatial Calculus of Looping Sequences. Theor. Comput. Sci. 412 (43) (2011)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
An Overview on Operational Semantics in Membrane Computing. Int. J. Found. Comput. Sci. 22 (1) (2011)
Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena
Maximally Parallel Probabilistic Semantics for Multiset Rewriting. Fundam. Informaticae 112 (1) (2011)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Compositional semantics of spiking neural P systems. J. Log. Algebraic Methods Program. 79 (6) (2010)
Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, Paolo Milazzo
A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday. Fundam. Informaticae 103 (1-4) (2010)
Roberto Barbuti, Nicoletta De Francesco, Luca Tesei
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. Comput. J. 53 (6) (2010)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings. Int. Conf. on Membrane Computing (2010)
Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini
Aspects of multiscale modelling in a process algebra for biological systems MeCBIC (2010)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Damas P. Gruska
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security. Fundam. Informaticae 102 (1) (2010)
Roberto Barbuti, Giovanni A. Cignoni, Paolo Milazzo
A Model for Configuration Management of Open Software Systems CoRR (2010)
Thomas Anung Basuki, Antonio Cerone, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Elisabetta Rossi
Modelling the Dynamics of an Aedes albopictus Population AMCA-POP (2010)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
P Systems with Transport and Diffusion Membrane Channels. Fundam. Informaticae 93 (1-3) (2009)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
Timed P Automata. Electron. Notes Theor. Comput. Sci. 227 (2009)
Roberto Barbuti
Giorgio Levi in Pisa. Theor. Comput. Sci. 410 (46) (2009)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
Spatial Calculus of Looping Sequences. Electron. Notes Theor. Comput. Sci. 229 (1) (2009)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
Timed P Automata. Fundam. Informaticae 94 (1) (2009)
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo
P Systems with Endosomes. Int. J. Comput. Commun. Control 4 (3) (2009)
Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. Ershov Memorial Conference (2009)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama
A Process Calculus for Molecular Interaction Maps MeCBIC (2009)
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo
An intermediate language for the stochastic simulation of biological systems. Theor. Comput. Sci. 410 (33-34) (2009)
Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems COMPMOD (2009)
Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. RP (2009)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
A P Systems Flat Form Preserving Step-by-step Behaviour. Fundam. Informaticae 87 (1) (2008)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Compositional semantics and behavioral equivalences for P Systems. Theor. Comput. Sci. 395 (1) (2008)
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo
An Intermediate Language for the Simulation of Biological Systems. Electron. Notes Theor. Comput. Sci. 194 (3) (2008)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
Bisimulations in calculi modelling membranes. Formal Aspects Comput. 20 (4-5) (2008)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Paolo Tiberi, Angelo Troina
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways. Trans. Comp. Sys. Biology 9 (2008)
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
The Calculus of Looping Sequences. SFM (2008)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
The Calculus of Looping Sequences for Modeling Biological Membranes. Workshop on Membrane Computing (2007)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level. ISBRA (2007)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
A Calculus of Looping Sequences for Modelling Microbiological Systems. Fundam. Informaticae 72 (1-3) (2006)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
Bisimulation Congruences in the Calculus of Looping Sequences. ICTAC (2006)
Roberto Barbuti, Stefano Cataudella
Abstract Interpretation of an Object Calculus for Synchronization Optimizations. Fundam. Informaticae 67 (1-3) (2005)
Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
A Probabilistic Model for Molecular Systems. Fundam. Informaticae 67 (1-3) (2005)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Reduced Models for Efficient CCS Verification. Formal Methods Syst. Des. 26 (3) (2005)
Roberto Barbuti, Stefano Cataudella, Luca Tesei
Abstract Interpretation Against Races. Fundam. Informaticae 60 (1-4) (2004)
Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. Comput. J. 47 (1) (2004)
Roberto Barbuti, Luca Tesei
Timed automata with urgent transitions. Acta Informatica 40 (5) (2004)
Roberto Barbuti, Stefano Cataudella
Java bytecode verification on Java cards. SAC (2004)
Roberto Barbuti, Luca Tesei
A Decidable Notion of Timed Non-Interference. Fundam. Informaticae 54 (2-3) (2003)
Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco
Fixing the Java bytecode verifier by a suitable type domain. SEKE (2002)
Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
Abstract interpretation of operational semantics for secure information flow. Inf. Process. Lett. 83 (2) (2002)
Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
Checking security of Java bytecode by abstract interpretation. SAC (2002)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei
A Notion of Non-Interference for Timed Automata. Fundam. Informaticae 51 (1-2) (2002)
Roberto Barbuti, Nicoletta De Francesco, Luca Tesei
Timed Automata with non-Instantaneous Actions. Fundam. Informaticae 47 (3-4) (2001)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Logic Based Abstractions of Real-Time Systems. Formal Methods Syst. Des. 17 (3) (2000)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. Softw. Pract. Exp. 29 (12) (1999)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems. J. Comput. Syst. Sci. 59 (3) (1999)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Abstract Interpretation of Trace Semantics for Concurrent Calculi. Inf. Process. Lett. 70 (2) (1999)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Formula Based Abstractions of Transition Systems for Real-Time Model Checking. World Congress on Formal Methods (1999)
Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone
Towards a Logical Semantics for Pure Prolog. Sci. Comput. Program. 32 (1-3) (1998)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. FORTE (1997)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone
Algebraic Computational Models of OR-Parallel Execution of Prolog. Acta Informatica 34 (6) (1997)
Roberto Barbuti, Paolo Mancarella
A Multiple-Valued Logical Semantics for Prolog. ESOP (1996)
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher
Oracle Semantics for Prolog. Inf. Comput. 122 (2) (1995)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone
Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP (1995)
Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs. ACM Trans. Program. Lang. Syst. 15 (1) (1993)
Roberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi
La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. GULP (1993)
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
Modelling Prolog Control. J. Log. Comput. 3 (6) (1993)
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
Modeling Prolog Control. POPL (1992)
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher
Oracle Semantics for Prolog. ALP (1992)
Roberto Barbuti, Roberto Giacobazzi
A Bottom-Up Polymorphic Type Inference in Logic Programming. Sci. Comput. Program. 19 (3) (1992)
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
Modelling Prolog Control. JTASPEFT/WSA (1991)
Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini
A Transformational Approach to Negation in Logic Programming. J. Log. Program. 8 (3) (1990)
Roberto Barbuti, Maurizio Martelli
Recognizing Non-Floundering Logic Programs and Goals. Int. J. Found. Comput. Sci. 1 (2) (1990)
Roberto Barbuti, Maurizio Martelli
A Tool to Check the Non-Floundering Logic Programs and Goals. PLILP (1988)
Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini
Intensional Negation of Logic Programs: Examples and Implementation Techniques. TAPSOFT, Vol.2 (1987)
Roberto Barbuti, Maurizio Martelli
Completeness of the SLDNF-resolution for a class of logic programs. ICLP (1986)
C. Aquilano, Roberto Barbuti, P. Bocchetti, Maurizio Martelli
Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions. J. Autom. Reason. 2 (2) (1986)
Roberto Barbuti, C. D'Ascanio, Franco Turini
Cooperating Logic Theories. AIMSA (1986)
Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli
On the Integration of Logic Programming and Functional Programming. SLP (1984)

Roberto Barbuti.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Roberto Barbuti