Roberto Barbuti

Affiliations:
  • University of Pisa, Italy


According to our database1, Roberto Barbuti authored at least 99 papers between 1980 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation.
Theor. Comput. Sci., 2021

Characterization and computation of ancestors in reaction systems.
Soft Comput., 2021

Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks.
Fundam. Informaticae, 2021

2020
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models.
J. Membr. Comput., 2020

2018
Predictors for flat membrane systems.
Theor. Comput. Sci., 2018

Generalized contexts for reaction systems: definition and study of dynamic causalities.
Acta Informatica, 2018

Computing Preimages and Ancestors in Reaction Systems.
Proceedings of the Theory and Practice of Natural Computing - 7th International Conference, 2018

Simulating Gene Regulatory Networks using Reaction Systems.
Proceedings of the 27th International Workshop on Concurrency, 2018

2017
Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems.
Proceedings of the Membrane Computing, 2017

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

Specialized Predictor for Reaction Systems with Context Properties.
Fundam. Informaticae, 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

2015
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

2014
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

2013
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

2012
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 Bioinform., 2012

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

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

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

Spatial P systems.
Nat. Comput., 2011

Foreword.
Nat. Comput., 2011

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

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

A Testing Framework for P Systems
CoRR, 2011

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

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

A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security.
Fundam. Informaticae, 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

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

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

P Systems with Endosomes.
Int. J. Comput. Commun. Control, 2009

Timed P Automata.
Fundam. Informaticae, 2009

P Systems with Transport and Diffusion Membrane Channels.
Fundam. Informaticae, 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

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

2008
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways.
Trans. Comp. Sys. 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. Informaticae, 2008

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

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

2007
An Intermediate Language for the Simulation of Biological Systems.
Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

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

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

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

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

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

Reduced Models for Efficient CCS Verification.
Formal Methods Syst. Des., 2005

2004
Abstract Interpretation Against Races.
Fundam. Informaticae, 2004

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

Timed automata with urgent transitions.
Acta Informatica, 2004

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

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

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

A Notion of Non-Interference for Timed Automata.
Fundam. Informaticae, 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

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

2000
Logic Based Abstractions of Real-Time Systems.
Formal Methods Syst. Des., 2000

1999
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs.
Softw. Pract. Exp., 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

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

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

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

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

1995
Oracle Semantics for Prolog.
Inf. Comput., 1995

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

1993
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

1992
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

1990
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

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

1987
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

1986
Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions.
J. Autom. Reason., 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.
Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

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

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

A Constructive Approach to Static Verification of Program Properties.
Proceedings of the Information Processing 83, 1983

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

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


  Loading...