The Library
Browse by Warwick Author
Up a level |
Number of items: 8.
Engineering and Physical Sciences Research Council (EPSRC)
Sayyid, Faiz and Kalvala, Sara (2016) On the importance of modelling the internal spatial dynamics of biological cells. Biosystems, 145 . pp. 53-66. doi:10.1016/j.biosystems.2016.05.012 ISSN 0303-2647.
Ladroue, Christophe and Kalvala, Sara (2015) Constraint-based genetic compilation. In: Dediu, Adrian-Horia and HernΓ‘ndez-Quiroz, Francisco and Marin-Vide, Carlos and Rosenblueth, David A., (eds.) Algorithms for Computational Biology : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings. Lecture Notes in Computer Science, 9199 . Springer, pp. 25-38. ISBN 9783319212326
Sanassy, Daven, Fellermann, Harold, Krasnogor, Natalio, Konur, Savas, Mierla, Laurentiu M., Gheorghe, Marian, Ladroue, Christophe and Kalvala, Sara (2014) Modelling and stochastic simulation of synthetic biological Boolean gates. In: 2014 IEEE International Conference on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS), Paris, 20-22 Aug 2014. Published in: High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS) pp. 404-408. ISBN 9781479961221. doi:10.1109/HPCC.2014.68
Kalvala, Sara and Warburton, Richard (2011) A formal approach to fixing bugs. In: Simao, A. and Morgan, C., (eds.) Formal methods, foundations and applications. Lecture Notes in Computer Science, Volume 7021 . Berlin: Springer-Verlag, pp. 172-187. ISBN 9783642250316
Holmes, Antony, Kalvala, Sara and Whitworth, David E. (2010) Spatial simulations of myxobacterial development. PLoS Computational Biology, Vol.6 (No.2). e1000686. doi:10.1371/journal.pcbi.1000686 ISSN 1553-734X.
Warburton, Richard and Kalvala, Sara (2009) Towards the automated correction of bugs. University of Warwick. Department of Computer Science. (Unpublished)
Kalvala, Sara, Warburton, Richard and Lacey, David (2009) Program transformations using temporal logic side conditions. ACM Transactions on Programming Languages and Systems, Volume 31 (Number 4). Article number 14. doi:10.1145/1516507.1516509 ISSN 0164-0925.
Kalvala, Sara, Warburton, Richard and Lacey, David (2008) Program transformations using temporal logic side conditions. University of Warwick. Department of Computer Science. (Unpublished)
This list was generated on Sat Apr 20 02:05:48 2024 BST.