Biblio
Found 13 results
In Press
Bisimulations in Calculi Modelling Membranes,
, Formal Aspects of Computing, (In Press)
Abstract
Compositional Semantics and Behavioral Equivalences for P Systems,
, Theoretical Computer Science, (In Press)
Abstract
2008
An Intermediate Language for Simulation of Biological Systems,
, Int. Workshop From Biology to Concurrency and Back (FBTC'07), Volume 194, p.19-34, (2008)
Abstract
2007
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level,
, Int. Symposium on Bioinformatics Research and Applications, Volume 4463, p.638-649, (2007)
Abstract
Qualitative and Quantitative Formal Modeling of Biological Systems,
, Dipartimento di Informatica, (2007)
Abstract
The Calculus of Looping Sequences for Modeling Biological Membranes,
, 8th Int. Workshop on Membrane Computing (WMC8), Volume 4860, p.54-76, (2007)
Abstract
Test Proceeding Article,
, Nowhere Conference, (2007)
Abstract
2006
A Calculus of Looping Sequences form Modelling Microbiological Systems,
, Fundamenta Informaticae, Volume 72, Issue 1-3, p.21-35, (2006)
Abstract
Bisimulation Congruences in the Calculus of Looping Sequences,
, Int. Colloquium on Theoretical Aspects of Computing (ICTAC'06), Volume 4281, p.93-107, (2006)
Abstract
Test Article,
, Information and Computation, (2006)
The effects of EFG-receptor density on multiscale tumor growth patterns,
, Journal of Theoretical Biology, Volume 238, p.771-779, (2006)
2005
A Probabilistic Model for Molecular Systems,
, Fundamenta Informaticae, Volume 67, Issue 1-3, p.13-27, (2005)
Abstract
2002
Emerging Patterns in Tumor Systems: Simulating the Dynamics of Multicellular Clusters with an Agent-based Spatial Agglomeration Model,
, Journal of Theoretical Biology, Volume 219, p.343-370, (2002)