Bogdan Aman
Mariangiola Dezani-Ciancaglini
Angelo Troina
2009
Type Disciplines for Analysing Biologically Relevant Properties
Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'08)
ENTCS
227
Elsevier
97–111
10.1016/j.entcs.2008.12.106
Roberto Barbuti
Mariangiola Dezani-Ciancaglini
Andrea Maggiolo-Schettini
Paolo Milazzo
Angelo Troina
2010
A Formalism for the Description of Protein Interaction
Fundamenta Informaticae
104
1-4
1–29
10.3233/FI-2010-316
Roberto Barbuti
Andrea Maggiolo-Schettini
Paolo Milazzo
2006
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level
International Symposium on Bioinformatics Research and Applications (ISBRA'07)
LNBI
4463
Springer
638–649
10.1007/978-3-540-72031-7_58
Roberto Barbuti
Andrea Maggiolo-Schettini
Paolo Milazzo
Angelo Troina
2006
Bisimulation Congruences in the Calculus of Looping Sequences
International Colloquium on Theoretical Aspects of Computing (ICTAC'06)
LNCS
4281
Springer
93–107
10.1007/11921240_7
Roberto Barbuti
Andrea Maggiolo-Schettini
Paolo Milazzo
Angelo Troina
2006
A Calculus of Looping Sequences for Modelling Microbiological Systems
Fundamenta Informaticæ
72
1–3
21–35
10.3233/FI-2006-79
Roberto Barbuti
Andrea Maggiolo-Schettini
Paolo Milazzo
Angelo Troina
2007
The Calculus of Looping Sequences for Modeling Biological Membranes
Workshop on Membrane Computing
LNCS
4860
Springer
54–76
10.1007/978-3-540-77312-2_4
Roberto Barbuti
Andrea Maggiolo-Schettini
Paolo Milazzo
Angelo Troina
2008
Bisimulations in Calculi Modelling Membranes
Formal Aspects of Computing
20
4-5
351–377
10.1007/s00165-008-0071-x
Livio Bioglio
2011
Enumerated type semantics for the calculus of looping sequences
RAIRO - Theoretical Informatics and Applications
45
01
35–58
10.1051/ita/2011010
Livio Bioglio
Mariangiola Dezani-Ciancaglini
Paola Giannini
Angelo Troina
2012
Typed stochastic semantics for the calculus of looping sequences
Theoretical Computer Science
431
165–180
10.1016/j.tcs.2011.12.062
Nadia Busi
2007
Using Well-structured Transition Systems to Decide Divergence for Catalytic P Systems
Theoretical Computer Science
372
125–135
10.1016/j.tcs.2006.11.021
Vincent Danos
Cosimo Laneve
2004
Formal Molecular Biology
Theoretical Computer Science
325
69–110
10.1016/j.tcs.2004.03.065
Mariangiola Dezani-Ciancaglini
Paola Giannini
Angelo Troina
2009
A Type System for a Stochastic CLS
Proc. of 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC), Bologna, Italy
11
EPTCS
91–105
10.4204/EPTCS.11.6
Mariangiola Dezani-Ciancaglini
Paola Giannini
Angelo Troina
2009
A Type System for Required/Excluded Elements in CLS
Developments in Computational Models (DCM'09)
EPTCS
9
38–48
10.4204/EPTCS.9.5
Pavel Dolezal
Vladimir Likic
Jan Tachezy
Trevor Lithgow
2006
Evolution of the Molecular Machines for Protein Import into Mitochondria
Science
313
5785
314–318
10.1126/science.1127895
Paolo Milazzo
2007
Qualitative and Quantitative Formal Modeling of Biological Systems
University of Pisa
Nicolas Oury
Gordon Plotkin
2012
Multi-Level Modelling via Stochastic Multi-Level Multiset Rewriting
Mathematical Structures in Computer Science.
To appear
Gheorghe Păun
2002
Membrane Computing. An Introduction
Springer