Roberto Barbuti

Roberta Gori

Theor. Comput. Sci., 2021

Characterization and computation of ancestors in reaction systems.

[BibT_eX]

[DOI]

Soft Comput., 2021

Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2021

2020

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

[BibT_eX]

[DOI]

J. Membr. Comput., 2020

2018

Predictors for flat membrane systems.

[BibT_eX]

[DOI]

Roberta Gori

Theor. Comput. Sci., 2018

Generalized contexts for reaction systems: definition and study of dynamic causalities.

[BibT_eX]

[DOI]

Acta Informatica, 2018

Computing Preimages and Ancestors in Reaction Systems.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Natural Computing - 7th International Conference, 2018

Simulating Gene Regulatory Networks using Reaction Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th International Workshop on Concurrency, 2018

2017

Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems.

[BibT_eX]

[DOI]

Roberta Gori

Proceedings of the Membrane Computing, 2017

2016

Investigating dynamic causalities in reaction systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Specialized Predictor for Reaction Systems with Context Properties.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

2015

Minimal probabilistic P systems for modelling ecological systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2015

2014

Compositional semantics and behavioural equivalences for reaction systems with restriction.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Simulation of Spatial P system models.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2014

Systolic Automata and P Systems.

[BibT_eX]

[DOI]

Proceedings of the Computing with New Resources, 2014

2013

A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations.

[BibT_eX]

[DOI]

Pasquale Bove

Proceedings of the Software Engineering and Formal Methods, 2013

A Compositional Semantics of Reaction Systems with Restriction.

[BibT_eX]

[DOI]

Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

2012

Probabilistic model checking of biological systems with uncertain kinetic rates.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Foundational aspects of multiscale modeling of biological systems with process algebras.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Fine-tuning anti-tumor immunotherapies via stochastic simulations.

[BibT_eX]

[DOI]

Alberto d'Onofrio

BMC Bioinform., 2012

Modelling Population Dynamics Using Grid Systems.

[BibT_eX]

[DOI]

Antonio Cerone

Suryana Setiawan

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.

[BibT_eX]

[DOI]

Trans. Comp. Sys. Biology, 2011

Spatial Calculus of Looping Sequences.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Spatial P systems.

[BibT_eX]

[DOI]

Nat. Comput., 2011

Foreword.

[BibT_eX]

[DOI]

Giuditta Franco

Gheorghe Paun

Nat. Comput., 2011

An Overview on Operational Semantics in Membrane Computing.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2011

Maximally Parallel Probabilistic Semantics for Multiset Rewriting.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

A Testing Framework for P Systems

[BibT_eX]

[DOI]

Diletta Romana Cacciagrano

CoRR, 2011

2010

Compositional semantics of spiking neural P systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Mariangiola Dezani-Ciancaglini

Fundam. Informaticae, 2010

A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security.

[BibT_eX]

[DOI]

Damas P. Gruska

Fundam. Informaticae, 2010

A Model for Configuration Management of Open Software Systems

[BibT_eX]

[DOI]

Giovanni A. Cignoni

CoRR, 2010

Aspects of multiscale modelling in a process algebra for biological systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

Modelling the Dynamics of an Aedes albopictus Population

[BibT_eX]

[DOI]

Thomas Anung Basuki

Antonio Cerone

Elisabetta Rossi

Proceedings of the Proceedings First Workshop on Applications of Membrane computing, 2010

An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.

[BibT_eX]

[DOI]

Comput. J., 2010

Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2010

2009

An intermediate language for the stochastic simulation of biological systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

Giorgio Levi in Pisa.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

P Systems with Endosomes.

[BibT_eX]

[DOI]

Int. J. Comput. Commun. Control, 2009

Timed P Automata.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

P Systems with Transport and Diffusion Membrane Channels.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

A Process Calculus for Molecular Interaction Maps

[BibT_eX]

[DOI]

Aureliano Rama

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

[BibT_eX]

[DOI]

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+.

[BibT_eX]

[DOI]

Daniela Lepri

Aureliano Rama

Proceedings of the Perspectives of Systems Informatics, 2009

2008

Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways.

[BibT_eX]

[DOI]

Paolo Tiberi

Trans. Comp. Sys. Biology, 2008

Compositional semantics and behavioral equivalences for P Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

A P Systems Flat Form Preserving Step-by-step Behaviour.

[BibT_eX]

Fundam. Informaticae, 2008

Bisimulations in calculi modelling membranes.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2008

The Calculus of Looping Sequences.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Computational Systems Biology, 2008

2007

An Intermediate Language for the Simulation of Biological Systems.

[BibT_eX]

[DOI]

Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

The Calculus of Looping Sequences for Modeling Biological Membranes.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 8th International Workshop, 2007

Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level.

[BibT_eX]

[DOI]

Proceedings of the Bioinformatics Research and Applications, Third International Symposium, 2007

2006

A Calculus of Looping Sequences for Modelling Microbiological Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

Bisimulation Congruences in the Calculus of Looping Sequences.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2006

2005

A Probabilistic Model for Molecular Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2005

Abstract Interpretation of an Object Calculus for Synchronization Optimizations.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2005

Reduced Models for Efficient CCS Verification.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2005

2004

Abstract Interpretation Against Races.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation.

[BibT_eX]

[DOI]

Comput. J., 2004

Timed automata with urgent transitions.

[BibT_eX]

[DOI]

Acta Informatica, 2004

Java bytecode verification on Java cards.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

2003

A Decidable Notion of Timed Non-Interference.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

2002

Abstract interpretation of operational semantics for secure information flow.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2002

A Notion of Non-Interference for Timed Automata.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2002

Fixing the Java bytecode verifier by a suitable type domain.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Checking security of Java bytecode by abstract interpretation.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

2001

Timed Automata with non-Instantaneous Actions.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2001

2000

Logic Based Abstractions of Real-Time Systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2000

1999

LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1999

Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1999

Abstract Interpretation of Trace Semantics for Concurrent Calculi.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1999

Formula Based Abstractions of Transition Systems for Real-Time Model Checking.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

1998

Towards a Logical Semantics for Pure Prolog.

[BibT_eX]

[DOI]

Paolo Mancarella

Sci. Comput. Program., 1998

1997

Algebraic Computational Models of OR-Parallel Execution of Prolog.

[BibT_eX]

[DOI]

Acta Informatica, 1997

Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems.

[BibT_eX]

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996

A Multiple-Valued Logical Semantics for Prolog.

[BibT_eX]

[DOI]

Paolo Mancarella

Proceedings of the Programming Languages and Systems, 1996

1995

Oracle Semantics for Prolog.

[BibT_eX]

[DOI]

Inf. Comput., 1995

Modeling OR-Parallel Execution of Prolog using CHOCS.

[BibT_eX]

Proceedings of the Logic Programming, 1995

1993

A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs.

[BibT_eX]

[DOI]

Roberto Giacobazzi

Giorgio Levi

ACM Trans. Program. Lang. Syst., 1993

Modelling Prolog Control.

[BibT_eX]

[DOI]

J. Log. Comput., 1993

La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli.

[BibT_eX]

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

A Bottom-Up Polymorphic Type Inference in Logic Programming.

[BibT_eX]

[DOI]

Roberto Giacobazzi

Sci. Comput. Program., 1992

Modeling Prolog Control.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Log. Program., 1990

Recognizing Non-Floundering Logic Programs and Goals.

[BibT_eX]

[DOI]

Maurizio Martelli

Int. J. Found. Comput. Sci., 1990

1988

A Tool to Check the Non-Floundering Logic Programs and Goals.

[BibT_eX]

[DOI]

Maurizio Martelli

Proceedings of the Programming Language Implementation and Logic Programming, 1988

1987

Intensional Negation of Logic Programs: Examples and Implementation Techniques.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Autom. Reason., 1986

Completeness of the SLDNF-resolution for a class of logic programs.

[BibT_eX]

[DOI]

Maurizio Martelli

Proceedings of the Third International Conference on Logic Programming, 1986

Cooperating Logic Theories.

[BibT_eX]

C. D'Ascanio

Franco Turini

Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

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

[BibT_eX]

Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1984

On the Integration of Logic Programming and Functional Programming.

[BibT_eX]

Proceedings of the 1984 International Symposium on Logic Programming, 1984

1983

A Structured Approach to Static Semantics Correctness.

[BibT_eX]

[DOI]

Alberto Martelli

Sci. Comput. Program., 1983

A Constructive Approach to Static Verification of Program Properties.

[BibT_eX]

Alberto Martelli

Proceedings of the Information Processing 83, 1983

1982

Toward an Inductionless Technique for Proving Properties of Logic Programs.

[BibT_eX]

Pierpaolo Degano

Giorgio Levi

Proceedings of the First International Logic Programming Conference, 1982

1980

Static Type Checking for Languages with Parametric Types and Polymorphic Procedures.

[BibT_eX]

[DOI]