@incollection{HeinerGilbertBreitlingetal., author = {Heiner, Monika and Gilbert, David and Breitling, Rainer and Orton, Richard}, title = {Computation modelling of kinase signalling cascades}, language = {en} } @misc{BreitlingGilbertHeineretal., author = {Breitling, Rainer and Gilbert, David and Heiner, Monika and Orton, Richard}, title = {A structured approach for the engineering of biochemical network models, illustrated for signalling pathways}, series = {Briefings in Bioinformatics}, volume = {9}, journal = {Briefings in Bioinformatics}, number = {5}, issn = {1477-4054}, doi = {10.1093/bib/bbn026}, pages = {404 -- 421}, language = {en} } @incollection{HeinerBreitlingDonaldsonetal., author = {Heiner, Monika and Breitling, Rainer and Donaldson, Robin and Gilbert, David}, title = {Biomodel Engineering - From Structure to Behavior}, series = {Transactions on Computational Systems Biology XII : Special Issue on Modeling Methodologies}, booktitle = {Transactions on Computational Systems Biology XII : Special Issue on Modeling Methodologies}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-642-11711-4}, doi = {10.1007/978-3-642-11712-1}, pages = {1 -- 12}, language = {en} } @inproceedings{HeinerBreitlingGilbertetal., author = {Heiner, Monika and Breitling, Rainer and Gilbert, David and Priami, C.}, title = {Formal Methods in Molecular Biology}, language = {en} } @misc{GilbertBreitlingHeineretal., author = {Gilbert, David and Breitling, Rainer and Heiner, Monika and Donaldson, Robin}, title = {An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways}, language = {en} }