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 mod- eling frameworks; spatial languages and calculi; model checking; abstract in- terpretation; type systems; prediction of biological behavior from incomplete information; complex networks; biomolecular dynamics; emergence of proper- ties in complex biological and medical systems; tools for parallel, distributed, and multi-resolution simulation methods.

From Computer Science to Biology and Back

MERELLI, Emanuela;
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 mod- eling frameworks; spatial languages and calculi; model checking; abstract in- terpretation; type systems; prediction of biological behavior from incomplete information; complex networks; biomolecular dynamics; emergence of proper- ties in complex biological and medical systems; tools for parallel, distributed, and multi-resolution simulation methods.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11581/392031
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact