Roberto Barbuti

According to our database1, Roberto Barbuti
  • authored at least 95 papers between 1980 and 2016.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 




Investigating dynamic causalities in reaction systems.
Theor. Comput. Sci., 2016

Specialized Predictor for Reaction Systems with Context Properties.
Fundam. Inform., 2016

Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems.
Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

Minimal probabilistic P systems for modelling ecological systems.
Theor. Comput. Sci., 2015

Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates.
Proceedings of the Software Engineering and Formal Methods, 2015

Specialized Predictor for Reaction Systems with Context Properties.
Proceedings of the 24th International Workshop on Concurrency, 2015

Compositional semantics and behavioural equivalences for reaction systems with restriction.
Theor. Comput. Sci., 2014

Simulation of Spatial P system models.
Theor. Comput. Sci., 2014

A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer.
Proceedings of the Software Engineering and Formal Methods, 2014

Systolic Automata and P Systems.
Proceedings of the Computing with New Resources, 2014

A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations.
Proceedings of the Software Engineering and Formal Methods, 2013

A Compositional Semantics of Reaction Systems with Restriction.
Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

Probabilistic model checking of biological systems with uncertain kinetic rates.
Theor. Comput. Sci., 2012

Foundational aspects of multiscale modeling of biological systems with process algebras.
Theor. Comput. Sci., 2012

Fine-tuning anti-tumor immunotherapies via stochastic simulations.
BMC Bioinformatics, 2012

Modelling Population Dynamics Using Grid Systems.
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach.
Trans. Computational Systems Biology, 2011

Spatial Calculus of Looping Sequences.
Theor. Comput. Sci., 2011

Spatial P systems.
Natural Computing, 2011

Natural Computing, 2011

An Overview on Operational Semantics in Membrane Computing.
Int. J. Found. Comput. Sci., 2011

Maximally Parallel Probabilistic Semantics for Multiset Rewriting.
Fundam. Inform., 2011

A Testing Framework for P Systems
CoRR, 2011

Compositional semantics of spiking neural P systems.
J. Log. Algebr. Program., 2010

A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday.
Fundam. Inform., 2010

A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security.
Fundam. Inform., 2010

A Model for Configuration Management of Open Software Systems
CoRR, 2010

Aspects of multiscale modelling in a process algebra for biological systems
Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

Modelling the Dynamics of an Aedes albopictus Population
Proceedings of the Proceedings First Workshop on Applications of Membrane computing, 2010

An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.
Comput. J., 2010

Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings.
Proceedings of the Membrane Computing, 2010

An intermediate language for the stochastic simulation of biological systems.
Theor. Comput. Sci., 2009

Giorgio Levi in Pisa.
Theor. Comput. Sci., 2009

Timed P Automata.
Fundam. Inform., 2009

P Systems with Transport and Diffusion Membrane Channels.
Fundam. Inform., 2009

Timed P Automata.
Electr. Notes Theor. Comput. Sci., 2009

Spatial Calculus of Looping Sequences.
Electr. Notes Theor. Comput. Sci., 2009

A Process Calculus for Molecular Interaction Maps
Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems
Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates.
Proceedings of the Reachability Problems, 3rd International Workshop, 2009

Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+.
Proceedings of the Perspectives of Systems Informatics, 2009

Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways.
Trans. Computational Systems Biology, 2008

Compositional semantics and behavioral equivalences for P Systems.
Theor. Comput. Sci., 2008

A P Systems Flat Form Preserving Step-by-step Behaviour.
Fundam. Inform., 2008

Bisimulations in calculi modelling membranes.
Formal Asp. Comput., 2008

An Intermediate Language for the Simulation of Biological Systems.
Electr. Notes Theor. Comput. Sci., 2008

The Calculus of Looping Sequences.
Proceedings of the Formal Methods for Computational Systems Biology, 2008

The Calculus of Looping Sequences for Modeling Biological Membranes.
Proceedings of the Membrane Computing, 8th International Workshop, 2007

Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level.
Proceedings of the Bioinformatics Research and Applications, Third International Symposium, 2007

A Calculus of Looping Sequences for Modelling Microbiological Systems.
Fundam. Inform., 2006

Bisimulation Congruences in the Calculus of Looping Sequences.
Proceedings of the Theoretical Aspects of Computing, 2006

A Probabilistic Model for Molecular Systems.
Fundam. Inform., 2005

Abstract Interpretation of an Object Calculus for Synchronization Optimizations.
Fundam. Inform., 2005

Reduced Models for Efficient CCS Verification.
Formal Methods in System Design, 2005

Abstract Interpretation Against Races.
Fundam. Inform., 2004

Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation.
Comput. J., 2004

Timed automata with urgent transitions.
Acta Inf., 2004

Java bytecode verification on Java cards.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A Decidable Notion of Timed Non-Interference.
Fundam. Inform., 2003

Abstract interpretation of operational semantics for secure information flow.
Inf. Process. Lett., 2002

A Notion of Non-Interference for Timed Automata.
Fundam. Inform., 2002

Fixing the Java bytecode verifier by a suitable type domain.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Checking security of Java bytecode by abstract interpretation.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Timed Automata with non-Instantaneous Actions.
Fundam. Inform., 2001

Logic Based Abstractions of Real-Time Systems.
Formal Methods in System Design, 2000

LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs.
Softw., Pract. Exper., 1999

Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems.
J. Comput. Syst. Sci., 1999

Abstract Interpretation of Trace Semantics for Concurrent Calculi.
Inf. Process. Lett., 1999

Formula Based Abstractions of Transition Systems for Real-Time Model Checking.
Proceedings of the FM'99 - Formal Methods, 1999

Towards a Logical Semantics for Pure Prolog.
Sci. Comput. Program., 1998

Algebraic Computational Models of OR-Parallel Execution of Prolog.
Acta Inf., 1997

Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997

A Multiple-Valued Logical Semantics for Prolog.
Proceedings of the Programming Languages and Systems, 1996

Oracle Semantics for Prolog.
Inf. Comput., 1995

Modeling OR-Parallel Execution of Prolog using CHOCS.
Proceedings of the Logic Programming, 1995

A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs.
ACM Trans. Program. Lang. Syst., 1993

Modelling Prolog Control.
J. Log. Comput., 1993

La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli.
Proceedings of the 8th Italian Conference on Logic Programming, 1993

A Bottom-Up Polymorphic Type Inference in Logic Programming.
Sci. Comput. Program., 1992

Modeling Prolog Control.
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

Oracle Semantics for Prolog.
Proceedings of the Algebraic and Logic Programming, 1992

Modelling Prolog Control.
Proceedings of the Actes JTASPEFL'91 (Bordeaux), 1991

A Transformational Approach to Negation in Logic Programming.
J. Log. Program., 1990

Recognizing Non-Floundering Logic Programs and Goals.
Int. J. Found. Comput. Sci., 1990

A Tool to Check the Non-Floundering Logic Programs and Goals.
Proceedings of the Programming Language Implementation and Logic Programming, 1988

Intensional Negation of Logic Programs: Examples and Implementation Techniques.
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions.
J. Autom. Reasoning, 1986

Completeness of the SLDNF-resolution for a class of logic programs.
Proceedings of the Third International Conference on Logic Programming, 1986

Cooperating Logic Theories.
Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

LEAF: A Language which Integrates Logic, Equations and Functions.
Logic Programming: Functions, Relations, and Equations, 1986

On the Integration of Logic Programming and Functional Programming.
Proceedings of the 1984 International Symposium on Logic Programming, 1984

A Structured Approach to Static Semantics Correctness.
Sci. Comput. Program., 1983

A Constructive Approach to Static Verification of Program Properties.
IFIP Congress, 1983

Toward an Inductionless Technique for Proving Properties of Logic Programs.
Proceedings of the First International Logic Programming Conference, 1982

Static Type Checking for Languages with Parametric Types and Polymorphic Procedures.
Proceedings of the International Symposium on Programming, 1980