BIOCHAM. Available at http://contraintes.inria.fr/BIOCHAM/
Rajeev Alur
Calin Belta
Vijay Kumar
Max Mintz
2001
Hybrid Modeling and Simulation of Biomolecular Networks
Hybrid Systems: Computation and Control
LNCS
2034
Springer
19–32
10.1007/3-540-45351-2_6
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.1.1.77.4707
Sara Capecchi
Angelo Troina
2010
Types for BioAmbients
From Biology To Concurrency and back
EPTCS
19
103–115
10.4204/EPTCS.19.7
Luca Cardelli
2005
Brane Calculi. Interactions of Biological Membranes
Computational Methods in Systems Biology (CMSB'04)
LNCS
3082
Springer
257–280
10.1.1.105.8399
Nathalie Chabrier-Rivier
Marc Chiaverini
Vincent Danos
François Fages
Vincent Schachter
2004
Modeling and Querying Biomolecular Interaction Networks
Theoretical Computer Science
325
25–44
10.1016/j.tcs.2004.03.063
Michele Curti
Pierpaolo Degano
Corrado Priami
Cosima Tatiana Baldari
2004
Modelling Biochemical Pathways through enhanced π-calculus
Theoretical Computer Science
325
1
111–140
10.1016/j.tcs.2004.03.066
Vincent Danos
Jér^ome Feret
Walter Fontana
Russ Harmer
Jean Krivine
2009
Rule-Based Modelling and Model Perturbation
Transactions on Computational Systems Biology XI
11
116–137
10.1007/978-3-642-04186-0_6
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 Required/Excluded Elements in CLS
Developments in Computational Models (DCM'09)
EPTCS
9
38–48
10.4204/EPTCS.9.5
Daniel D\'ıaz-Pernil
Ignacio Pérez-Hurtado
Mario J. Pérez-Jiménez
Agustin Riscos-Núñez
2008
A P-Lingua Programming Environment for Membrane Computing
Workshop on Membrane Computing
187–203
10.1007/978-3-540-95885-7_14
François Fages
Sylvain Soliman
2008
Abstract interpretation and types for systems biology
Theoretical Computer Science
403
1
52–70
10.1016/j.tcs.2008.04.024
Jochen S. Hub
Bert L. de Groot
2008
Mechanism of selectivity in aquaporins and aquaglyceroporins
Proceedings of National Academy of Sciences of the USA
105
1198––1203
10.1073/pnas.0707662104
Atsushi Igarashi
Benjamin C. Pierce
Philip Wadler
2001
Featherweight Java: a minimal core calculus for Java and GJ
ACM Transactions on Programming Languages and System
23
396–450
10.1145/503502.503505
Aneil Mallavarapu
Matthew Thomson
Benjamin Ullian
Jeremy Gunawardena
little b
http://www.littleb.org
Hiroshi Matsuno
Atsushi Doi
Masao Nagasaki
Satoru Miyano
2000
Hybrid Petri Net Representation of Gene Regulatory Networks
Pacific Symposium on Biocomputing (PSB'00)
World Scientific Press
341–352
Gheorghe Păun
2002
Membrane Computing. An Introduction
Springer
Michael Pedersen
Gordon D. Plotkin
2010
A Language for Biochemical Systems: Design and Formal Specification
Transactions on Computational Systems Biology
12
77–145
10.1007/978-3-642-11712-1
Corrado Priami
Paola Quaglia
2005
Beta Binders for Biological Interactions
Computational Methods in Systems Biology (CMSB'04)
LNCS
3082
20–33
10.1007/978-3-540-25974-9_3
Aviv Regev
Ekaterina M. Panina
William Silverman
Luca Cardelli
Ehud Shapiro
2004
BioAmbients: An Abstraction for Biological Compartments
Theoretical Computer Science
325
141–167
10.1016/j.tcs.2004.03.061
Aviv Regev
William Silverman
Ehud Shapiro
2001
Representation and Simulation of Biochemical Processes using the Pi-Calculus Process Algebra
Pacific Symposium on Biocomputing (PCB'01)
6
459–470