| Publication | Date of Publication | Type |
|---|
Time domain analytical bounds to the homogenized viscous kernels of linear viscoelastic composites
European Journal of Mechanics. A. Solids | 2023-09-15 | Paper |
| Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems | 2023-04-13 | Paper |
Encoding threshold Boolean networks into reaction systems for the analysis of gene regulatory networks
Fundamenta Informaticae | 2021-11-15 | 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 |
| An analysis for causal properties of membrane interactions | 2016-04-26 | Paper |
Investigating dynamic causalities in reaction systems
Theoretical Computer Science | 2016-03-31 | Paper |
A Global Occurrence Counting Analysis for Brane Calculi
Logic-Based Program Synthesis and Transformation | 2016-02-05 | Paper |
Causal static analysis for brane calculi
Theoretical Computer Science | 2015-06-10 | Paper |
Controlling interference in ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Approximating probabilistic behaviors of biological systems using abstract interpretation
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
An analysis for proving probabilistic termination of biological systems
Theoretical Computer Science | 2013-02-19 | 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 |
Abstract interpretation based verification of temporal properties for BioAmbients
Information and Computation | 2010-08-19 | Paper |
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
Lecture Notes in Computer Science | 2009-11-19 | Paper |
An Analysis for Proving Temporal Properties of Biological Systems
Programming Languages and Systems | 2008-05-06 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2006-10-20 | Paper |
A typed encoding of boxed into safe ambients
Acta Informatica | 2006-05-26 | Paper |
On abstract interpretation of mobile ambients
Information and Computation | 2004-11-23 | Paper |
| scientific article; zbMATH DE number 1953025 (Why is no real title available?) | 2003-07-25 | Paper |
Compositional Verification of Quantitative Properties of Statecharts
Journal Of Logic And Computation | 2003-04-06 | Paper |
| scientific article; zbMATH DE number 1832231 (Why is no real title available?) | 2002-11-19 | Paper |
| scientific article; zbMATH DE number 1696438 (Why is no real title available?) | 2002-07-08 | Paper |
A symbolic semantics for abstract model checking
Science of Computer Programming | 2001-02-11 | Paper |
| scientific article; zbMATH DE number 1456952 (Why is no real title available?) | 2000-06-07 | Paper |
| scientific article; zbMATH DE number 1444724 (Why is no real title available?) | 2000-05-09 | Paper |
A compositional \(\mu\)-calculus proof system for statecharts processes
Theoretical Computer Science | 1999-04-28 | Paper |
| scientific article; zbMATH DE number 1222405 (Why is no real title available?) | 1998-11-11 | Paper |
