Where academic tradition
meets the exciting future

From Computer Science to Biology and Back

Emanuela Merelli, Ion Petre (Eds.), From Computer Science to Biology and Back. Theoretical Computer Science 608(1), 2015.


This special issue is devoted to the theory and applications of formal methods in biology. This is a fast-developing area of computer science encompassing a broad range of research directions including, but not limited to: modeling, analysis and simulation tools for biology; quantitative and qualitative modeling frameworks; spatial languages and calculi; model checking; abstract interpretation; type systems; prediction of biological behavior from incomplete information; complex networks; biomolecular dynamics; emergence of properties in complex biological and medical systems; tools for parallel, distributed, and multi-resolution simulation methods.

BibTeX entry:

  title = {From Computer Science to Biology and Back},
  journal = {Theoretical Computer Science},
  volume = {608},
  number = {1},
  editor = {Merelli, Emanuela and Petre, Ion},
  publisher = {Elsevier},
  year = {2015},
  ISSN = {978-88-85675; 978-2-8101; 978-},

Belongs to TUCS Research Unit(s): Computational Biomodeling Laboratory (Combio Lab)

Publication Forum rating of this publication: level 2

Edit publication