| Publication | Date of Publication | Type |
|---|
Computing preimages and ancestors in reaction systems
Theory and Practice of Natural Computing | 2023-10-16 | Paper |
Characterization and computation of ancestors in reaction systems
Soft Computing | 2022-07-21 | Paper |
Encoding threshold Boolean networks into reaction systems for the analysis of gene regulatory networks
Fundamenta Informaticae | 2021-11-15 | Paper |
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models
Journal of Membrane Computing | 2021-09-14 | Paper |
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation
Theoretical Computer Science | 2021-08-11 | Paper |
Attributed probabilistic P systems and their application to the modelling of social interactions in primates
Software Engineering and Formal Methods | 2021-05-18 | Paper |
Tumour suppression by immune system through stochastic oscillations
Journal of Theoretical Biology | 2019-02-12 | Paper |
Predictors for flat membrane systems
Theoretical Computer Science | 2018-06-18 | Paper |
| Multiset patterns and their application to dynamic causalities in membrane systems | 2018-05-16 | Paper |
Generalized contexts for reaction systems: definition and study of dynamic causalities
Acta Informatica | 2018-04-17 | Paper |
Specialized predictor for reaction systems with context properties
Fundamenta Informaticae | 2017-11-09 | Paper |
Applications of P systems in population biology and ecology: the cases of MPP and APP systems
Membrane Computing | 2017-04-12 | Paper |
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer
Journal of Theoretical Biology | 2016-08-26 | Paper |
A methodology for the stochastic modeling and simulation of sympatric speciation by sexual selection
Journal of Biological Systems | 2016-08-09 | Paper |
Investigating dynamic causalities in reaction systems
Theoretical Computer Science | 2016-03-31 | Paper |
Minimal probabilistic P systems for modelling ecological systems
Theoretical Computer Science | 2015-12-10 | Paper |
Systolic automata and P systems
Computing with New Resources | 2015-09-08 | Paper |
Modelling biochemical pathways with the calculus of looping sequences
New Challenges for Cancer Systems Biomedicine | 2015-07-16 | Paper |
Timed P Automata
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Compositional semantics and behavioural equivalences for reaction systems with restriction
Theoretical Computer Science | 2014-08-29 | Paper |
Spatial calculus of looping sequences
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Simulation of spatial P system models
Theoretical Computer Science | 2014-03-19 | Paper |
An intermediate language for the simulation of biological systems
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
A Compositional Semantics of Reaction Systems with Restriction
Lecture Notes in Computer Science | 2013-08-05 | Paper |
Foundational aspects of multiscale modeling of biological systems with process algebras
Theoretical Computer Science | 2012-05-30 | Paper |
Probabilistic model checking of biological systems with uncertain kinetic rates
Theoretical Computer Science | 2012-03-13 | Paper |
| Maximally parallel probabilistic semantics for multiset rewriting | 2012-02-28 | Paper |
Spatial calculus of looping sequences
Theoretical Computer Science | 2011-12-19 | Paper |
A notion of biological diagnosability inspired by the notion of opacity in systems security
Fundamenta Informaticae | 2011-06-14 | Paper |
| Timed P automata | 2011-06-07 | Paper |
Delay stochastic simulation of biological systems: a purely delayed approach
Lecture Notes in Computer Science | 2011-05-27 | Paper |
Spatial P systems
Natural Computing | 2011-05-23 | Paper |
A formalism for the description of protein interaction. Dedicated to Jerzy Tiuryn on the occasion of his 60th birthday
Fundamenta Informaticae | 2011-05-18 | Paper |
An overview on operational semantics in membrane computing
International Journal of Foundations of Computer Science | 2011-02-23 | Paper |
Membrane systems working in generating and accepting modes: expressiveness and encodings
Membrane Computing | 2011-01-21 | Paper |
Compositional semantics of spiking neural P systems
The Journal of Logic and Algebraic Programming | 2010-08-24 | Paper |
Simulation of Kohn's molecular interaction maps through translation into stochastic CLS+
Perspectives of Systems Informatics | 2010-02-02 | Paper |
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
Lecture Notes in Computer Science | 2009-11-19 | Paper |
Giorgio Levi in Pisa
Theoretical Computer Science | 2009-11-04 | Paper |
Timed P Automata
Fundamenta Informaticae | 2009-09-22 | Paper |
| P systems with transport and diffusion membrane channels | 2009-08-10 | Paper |
An intermediate language for the stochastic simulation of biological systems
Theoretical Computer Science | 2009-08-07 | Paper |
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
Lecture Notes in Computer Science | 2009-07-28 | Paper |
| scientific article; zbMATH DE number 5506889 (Why is no real title available?) | 2009-02-12 | Paper |
Bisimulation Congruences in the Calculus of Looping Sequences
Lecture Notes in Computer Science | 2008-09-11 | Paper |
Bisimulations in calculi modelling membranes
Formal Aspects of Computing | 2008-08-21 | Paper |
Compositional semantics and behavioral equivalences for P systems
Theoretical Computer Science | 2008-05-19 | Paper |
The Calculus of Looping Sequences for Modeling Biological Membranes
Membrane Computing | 2008-03-28 | Paper |
Oracle semantics for Prolog
Information and Computation | 2006-10-10 | Paper |
| scientific article; zbMATH DE number 5051639 (Why is no real title available?) | 2006-09-06 | Paper |
| Abstract interpretation of an object calculus for synchronization optimizations | 2006-06-19 | Paper |
| A probabilistic model for molecular systems | 2006-06-19 | Paper |
Reduced models for efficient CCS verification
Formal Methods in System Design | 2006-02-20 | Paper |
Timed automata with urgent transitions
Acta Informatica | 2004-12-09 | Paper |
Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation
The Computer Journal | 2004-11-19 | Paper |
| scientific article; zbMATH DE number 2104620 (Why is no real title available?) | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 2064461 (Why is no real title available?) | 2004-05-18 | Paper |
Timed automata with non-instantaneous actions
Fundamenta Informaticae | 2003-02-02 | Paper |
Abstract interpretation of operational semantics for secure information flow.
Information Processing Letters | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1799514 (Why is no real title available?) | 2002-09-11 | Paper |
Abstract interpretation of trace semantics for concurrent calculi
Information Processing Letters | 2002-07-25 | Paper |
Selective mu-calculus and formula-based equivalence of transition systems
Journal of Computer and System Sciences | 2000-03-19 | Paper |
Towards a logical semantics for pure Prolog
Science of Computer Programming | 2000-01-04 | Paper |
| scientific article; zbMATH DE number 1487479 (Why is no real title available?) | 1999-01-01 | Paper |
Algebraic computational models of OR-parallel execution of Prolog
Acta Informatica | 1996-09-25 | Paper |
Modelling Prolog Control
Journal Of Logic And Computation | 1994-03-27 | Paper |
A bottom-up polymorphic type inference in logic programming
Science of Computer Programming | 1993-05-16 | Paper |
A transformational approach to negation in logic programming
The Journal of Logic Programming | 1992-06-25 | Paper |
RECOGNIZING NON-FLOUNDERING LOGIC PROGRAMS AND GOALS
International Journal of Foundations of Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4178746 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4033044 (Why is no real title available?) | 1987-01-01 | Paper |
Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions
Journal of Automated Reasoning | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3958704 (Why is no real title available?) | 1986-01-01 | Paper |
