author = {C.Piazza and M.Antoniotti and V.Mysore and A.Policriti and F.Winkler and B.Mishra.},
title = {{Algorithmic Algebraic Model Checking I: Challenges from Systems Biology}},
booktitle = {{Proceedings Computer Aided Verification (CAV 2005)}},
language = {english},
abstract = {In this paper, we suggest a possible confluence of the theory of hybrid automata and the techniques of algorithmic algebra to create a computational basis for systems biology. We describe a method to compute bounded reachability by combining Taylor polynomials and cylindric algebraic decomposition algorithms. We discuss the power and limitations of the framework we propose and we suggest several possible extensions. We briefly show an application to the study of the DeltaNotch protein signaling system in biology.},
series = {LNCS},
number = {3576},
pages = {5--19},
publisher = {Springer},
isbn_issn = {ISSN 0302-9743, ISBN 3-540-27231-3},
year = {2005},
month = {July},
editor = {K. Etessami and S.K.Rajamani},
refereed = {yes},
institution = {The Univ. of Edinburgh},
length = {15}