Tuyển tập các báo cáo nghiên cứu khoa học ngành toán học được đăng trên tạp chí toán học quốc tế đề tài: Modeling formalisms in Systems Biology | AMB Express SpringerOpen0 This Provisional PDF corresponds to the article as it appeared upon acceptance. Fully formatted PDF and full text HTML versions will be made available soon. Modeling formalisms in Systems Biology AMB Express 2011 1 45 doi 2191-0855-1-45 Daniel Machado dmachado@ Rafael S Costa rafacosta@ Miguel Rocha mrocha@ Eugenio C Ferreira ecferreira@ Bruce Tidor tidor@ Isabel Rocha irocha@ ISSN 2191-0855 Article type Mini-Review Submission date 18 November 2011 Acceptance date 5 December 2011 Publication date 5 December 2011 Article URL http content 1 1 45 This peer-reviewed article was published immediately upon acceptance. It can be downloaded printed and distributed freely for any purposes see copyright notice below . Articles in AMB Express are listed in PubMed and archived at PubMed Central. For information about publishing your research in AMB Express go to http authors instructions For information about other SpringerOpen publications go to http 2011 Machado et al. licensee Springer. This is an open access article distributed under the terms of the Creative Commons Attribution License http licenses by which permits unrestricted use distribution and reproduction in any medium provided the original work is properly cited. Modeling formalisms in Systems Biology Daniel Machado 1 Rafael S. Costa1 Miguel Rocha2 Eugénio C. Ferreira1 Bruce Tidor3 and Isabel Rocha1 1IBB-Institute for Biotechnology and Bioengineering Centre of Biological Engineering University of Minho Campus de Gualtar 4710-057 Braga Portugal 2Department of Informatics CCTC University of Minho Campus de Gualtar 4710-057 Braga Portugal 3Department of Biological Engineering Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge MA 02139 USA Email Daniel Machado - .