Roberto Barbuti

107 papers A* 1A 1B 3C 4Misc 3Journal 60Unranked 32

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