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