Download REFERENCES

REFERENCES
[1] Executable Cell Biology. Jasmin Fisher
and Thomas A Henzinger. Nature
Biotechnology, volume 25 number 11
november 2007.
[2] Representing Biomolecular Processes
with Computer Process Algebra: Pi
Calculus programs of Signal Transduction
pathways. Aviv Regev, William Silverman
and Ehud Shapiro. American Association
for Artificial Intelligence (www.aaai.org).
[3] Anna Tramontano. The Ten Most
Wanted
Solutions
in
Protein
Bioinformatics.
Anna
Tramontano
Chapman
&
Hall/CRC;
ISBN:
1584884916; 216pp.; 2005.
[4] Representation and simulation of
biochemical processes using the pi-calculus
process algebra. A Regev, W Silverman, E
Shapiro.
2001.
http://www.wisdom.weizmann.ac.il/~udi/pa
pers/pi_calculus.pdf
[5]
Timed
Concurrent
Constraint
Programming in Systems Biology. A.
Arbelaez,
J.
Gutierrez,
J.
Perez.
http://avispa.puj.edu.co
[6]
Timed
Concurrent
Constraint
Programming for Analysing Biological
Systems. J. Gutierrez, J. Perez, C. Rueda
and
F.
Valencia.
http://www.elsevier.nl/locate/entcs
[7] Modelamiento de Sistemas Biológicos
usando Cálculos de Procesos Concurrentes.
J. Gutierrez, J. Perez, C. Rueda. Epiciclos.
Cali (Colombia), diciembre de 2005.
[8] A Calculus for Modelling, Simulating
and
Analysing
Compartmentalized
Biological Systems.
R. Mardare and A. Ihekwaba. Computation
in Modern Science and Engineering:
Proceedings of the International Conference
on Computational Methods in Science and
Engineering 2007 (iccmse 2007): Vol. 2,
parts A and B.
AIP conference
proceedings, Vol 963, pp. 642-646 (2007).
[9] Systems Biology: Looking at
opportunities and challenges in applying
systems theory to molecular and cell
biology. O. Wolkenhauer, H. Kitano and KH Cho. IEEE Control Systems Magazine,
August 2003.
[10] Computing in Molecular Biology:
Mapping and Interpreting Biological
Information. E. Lander, R. Langridge and
D. Saccocio.
IEEE Control Systems
Magazine, November 1991.
[11]
Computational
Approaches
to
Discovering Semantics in Molecular
Biology. R. Lipton, T. Marr and D. Welsh.
Proceedings ot the IEE, Vol. 77, No. 7, July
1989.
[12] Resolving G protein-coupled receptor
signaling mechanics in vivo using
fluorescent biosensors. C. Johnston, D.
Siderovski. CellScience Reviews, Vol.2,
No. 3, 2006.
[13] Rules for Modeling SignalTransduction Systems. W. Hlavacek, J.
Faeder, M. Blinov, R. Posner, M. Hucka,
W. Fontana. Sciences STKE, 2006.
[14] The Complexity of Complexes in
Signal Transduction. William S. Hlavacek,
James R. Faeder, Michael L. Blinov, Alan
S.
Perelson,Byron
Goldstein.
Biotechnology and Bioengineering, Vol.
84, No. 7, December 30, 2003, 783-794 pp.
[15] Formal Methods for Biochemical
Signalling Pathways. Mu.y Calder, Stephen
Gilmore, Jane Hillston and Vladislav
Vyshemirsky.
http://homepages.inf.ed.ac.uk/jeh/papers.ht
ml