| Publication | Date of Publication | Type |
|---|
| Computing preimages and ancestors in reaction systems | 2023-10-16 | Paper |
| Characterization and computation of ancestors in reaction systems | 2022-07-21 | Paper |
| Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks | 2021-11-15 | Paper |
| A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models | 2021-09-14 | Paper |
| Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation | 2021-08-11 | Paper |
| Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates | 2021-05-18 | Paper |
| Tumour suppression by immune system through stochastic oscillations | 2019-02-12 | Paper |
| Predictors for flat membrane systems | 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 | 2018-04-17 | Paper |
| Specialized Predictor for Reaction Systems with Context Properties | 2017-11-09 | Paper |
| Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems | 2017-04-12 | Paper |
| Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer | 2016-08-26 | Paper |
| A METHODOLOGY FOR THE STOCHASTIC MODELING AND SIMULATION OF SYMPATRIC SPECIATION BY SEXUAL SELECTION | 2016-08-09 | Paper |
| Investigating dynamic causalities in reaction systems | 2016-03-31 | Paper |
| Minimal probabilistic P systems for modelling ecological systems | 2015-12-10 | Paper |
| Systolic Automata and P Systems | 2015-09-08 | Paper |
| Modelling Biochemical Pathways with the Calculus of Looping Sequences | 2015-07-16 | Paper |
| Timed P Automata | 2015-03-19 | Paper |
| Compositional semantics and behavioural equivalences for reaction systems with restriction | 2014-08-29 | Paper |
| Spatial Calculus of Looping Sequences | 2014-03-21 | Paper |
| Simulation of spatial P system models | 2014-03-19 | Paper |
| An Intermediate Language for the Simulation of Biological Systems | 2014-01-17 | Paper |
| A Compositional Semantics of Reaction Systems with Restriction | 2013-08-05 | Paper |
| Foundational aspects of multiscale modeling of biological systems with process algebras | 2012-05-30 | Paper |
| Probabilistic model checking of biological systems with uncertain kinetic rates | 2012-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3117552 | 2012-02-28 | Paper |
| Spatial calculus of looping sequences | 2011-12-19 | Paper |
| A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security | 2011-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3005245 | 2011-06-07 | Paper |
| Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach | 2011-05-27 | Paper |
| Spatial P systems | 2011-05-23 | Paper |
| A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday | 2011-05-18 | Paper |
| AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING | 2011-02-23 | Paper |
| Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings | 2011-01-21 | Paper |
| Compositional semantics of spiking neural P systems | 2010-08-24 | Paper |
| Simulation of Kohn’s Molecular Interaction Maps through Translation into Stochastic CLS+ | 2010-02-02 | Paper |
| Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates | 2009-11-19 | Paper |
| Giorgio Levi in Pisa | 2009-11-04 | Paper |
| Timed P Automata | 2009-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5192921 | 2009-08-10 | Paper |
| An intermediate language for the stochastic simulation of biological systems | 2009-08-07 | Paper |
| Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways | 2009-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601853 | 2009-02-12 | Paper |
| Bisimulation Congruences in the Calculus of Looping Sequences | 2008-09-11 | Paper |
| Bisimulations in calculi modelling membranes | 2008-08-21 | Paper |
| Compositional semantics and behavioral equivalences for P systems | 2008-05-19 | Paper |
| The Calculus of Looping Sequences for Modeling Biological Membranes | 2008-03-28 | Paper |
| Oracle semantics for Prolog | 2006-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5486047 | 2006-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5472931 | 2006-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5472932 | 2006-06-19 | Paper |
| Reduced models for efficient CCS verification | 2006-02-20 | Paper |
| Timed automata with urgent transitions | 2004-12-09 | Paper |
| Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation | 2004-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818730 | 2004-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461952 | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2775857 | 2003-02-02 | Paper |
| Abstract interpretation of operational semantics for secure information flow. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3146271 | 2002-09-11 | Paper |
| Abstract interpretation of trace semantics for concurrent calculi | 2002-07-25 | Paper |
| Selective mu-calculus and formula-based equivalence of transition systems | 2000-03-19 | Paper |
| Towards a logical semantics for pure Prolog | 2000-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4493883 | 1999-01-01 | Paper |
| Algebraic computational models of OR-parallel execution of Prolog | 1996-09-25 | Paper |
| Modelling Prolog Control | 1994-03-27 | Paper |
| A bottom-up polymorphic type inference in logic programming | 1993-05-16 | Paper |
| A transformational approach to negation in logic programming | 1992-06-25 | Paper |
| RECOGNIZING NON-FLOUNDERING LOGIC PROGRAMS AND GOALS | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3201746 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3773305 | 1987-01-01 | Paper |
| Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727360 | 1986-01-01 | Paper |
