The Library
Browse by Warwick Author
Up a level |
Number of items: 20.
2020
Davies, Eleanor and Kalvala, Sara (2020) Postcondition-preserving fusion of postorder tree transformations. In: CC 2020, San Diego, CA, 22β23 Feb 2020. Published in: Proceedings of the 29th International Conference on Compiler Construction (CC β20) pp. 191-200. ISBN 9781450371209. doi:10.1145/3377555.3377884
2018
Kinnunen, PΓ€ivi, Butler, Matthew, Morgan, Michael, Nylen, Aletta, Peters, Anne-Kathrin, Sinclair, Jane, Kalvala, Sara and Pesonen, Erkki (2018) Understanding initial undergraduate expectations and identity in computing studies. European Journal of Engineering Education, 43 (2). pp. 201-218. doi:10.1080/03043797.2016.1146233 ISSN 0304-3797 .
2016
Sinclair, Jane and Kalvala, Sara (2016) Student engagement in massive open online courses. International Journal of Learning Technology (IJLT), 11 (3). doi:10.1504/IJLT.2016.079035 ISSN 1477-8386.
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.
Konur, Savas, Fellermann, Harold, Mierla, Laurentiu M., Sanassy, Daven, Ladroue, Christophe, Kalvala, Sara, Gheorghe, Marian and Krasnogor, Natalio (2016) An integrated in silico simulation and biomatter compilation approach to cellular computation. In: Adamatzky, Andrew , (ed.) Advances in Unconventional Computing : Prototypes, Models and Algorithms. Emergence, Complexity and Computation (22-23). Switzerland : Springer, pp. 655-676. ISBN 9783319339207
2015
Butler, Matthew, Sinclair, Jane, Morgan, Michael and Kalvala, Sara (2015) Comparing international indicators of student engagement for computer science. In: ACSW '16 , Canberra, Australia, 2-5 Feb 2016. Published in: Proceedings of the Australasian Computer Science Week Multiconference p. 6. ISBN 9781450340427 .
Sinclair, Jane and Kalvala, Sara (2015) Exploring societal factors affecting the experience and engagement of first year female computer science undergraduates. In: Koli Calling : International Conference on Computing Education Research, Koli, Finland, 19-22 Nov 2015. Published in: Koli Calling '15 Proceedings of the 15th Koli Calling Conference on Computing Education Research pp. 107-116. ISBN 9781450340205 . doi:10.1145/2828959.2828979
Sinclair, Jane and Kalvala, Sara (2015) Engagement measures in massive open online courses. In: 4th International Workshop, LTEC 2015, Maribor, Slovenia, 24-28 Aug 2015. Published in: Learning Technology for Education in Cloud : 4th International Workshop, LTEC 2015, Maribor, Slovenia, August 24-28, 2015, Proceedings, 533 pp. 3-15. ISBN 9783319226286. doi:10.1007/978-3-319-22629-3_1 ISSN 1865-0929.
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
Sinclair, Jane, Butler, Matthew, Morgan, Michael and Kalvala, Sara (2015) Measures of student engagement in Computer Science. In: ITICSE '15, Vilnius, Lithuania, 4-8 Jul 2015 . Published in: ITiCSE '15 Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education 242-247 . ISBN 9781450334402. doi:10.1145/2729094.2742586
2014
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
2011
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
2010
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.
2009
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.
Orchard, Dominic, Gover, Jonathan, Herrington, Lee Lewis, Lohr, James, Stead, Duncan, Young, Cathy and Kalvala, Sara (2009) Β΅Cell - interdisciplinary research in modelling and simulation of cell spatial behaviour. Reinvention: a journal of undergraduate research, Vol.2 (No.1). ISSN 1755-7429.
Holmes, Antony B., Kalvala, Sara and Whitworth, David E. (2009) Myxobacteria motility : a novel 3D model of rippling behaviour in myxococcus xanthus. Systemics and Informatics World Network, Vol.6 . pp. 65-70. doi:tai: cosiwn.2009.04.020 ISSN 2044-7272.
Rossello, M. R., Griffiths, Nathan, Kalvala, Sara, Wellington, E. M. H. and Gaze, William H. (2009) Networking strategies in streptomyces coelicolor. In: 2nd International Conference on Bioinformatics and Systems Biology (BSB 2009), Leipzig, Germany, 23-25 March 2009 (Unpublished)
Warburton, Richard and Kalvala, Sara (2009) From specification to optimisation: an architecture for optimisation of Java bytecode. In: 18th International Conference on Compiler Construction, York, England, MAR 22-29, 2009. Published in: Lecture Notes in Computer Science, 5501 pp. 17-31. ISBN 978-3-642-00721-7. doi:10.1007/978-3-642-00722-4 ISSN 0302-9743.
2008
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 Thu Apr 18 20:09:41 2024 BST.