• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

From Computer Science to Biology and Back

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

Abstract:

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:

@ARTICLE{jMePe15a,
  title = {From Computer Science to Biology and Back},
  author = {Merelli, Emanuela and Petre, Ion},
  journal = {Theoretical Computer Science},
  volume = {608},
  number = {1},
  publisher = {Elsevier},
  pages = {2–3},
  year = {2015},
  ISSN = {0304-3975},
}

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

Publication Forum rating of this publication: level 2

Edit publication