Journal Article

Chistikov, Dmitry, Dimitrova, Rayna and Majumdar, Rupak. (2017) Approximate counting in SMT and value estimation for probabilistic programs. ACTA Informatica . ISSN 0001-5903 (In Press)

Lusczek, Elizabeth R., Vincente, Tyrone, Lexcen, Daniel, Kulkarni, Vishwesh V., Mulier, Kristine and Beilman, Greg. (2015) Metabolic networks in a porcine model of trauma and hemorrhagic shock demonstrate different control mechanism with carbohydrate pre-feed. BMC Emergency Medicine, 15 (13). pp. 1-7. ISSN 1471-227X

Sawlekar, Rucha, Montefusco, Francesco, Kulkarni, Vishwesh V. and Bates, Declan. (2016) Biomolecular implementation of a quasi sliding mode feedback controller based on DNA strand displacement reactions. IEEE Transactions on NanoBioscience, 15 (5). pp. 443-454. ISSN 1536-1241

Wandelt, Sebastian, Wang, Jiaying, Leser, Ulf, Deng, Dong, Gerdjikov, Stefan, Mishra, Shashwat, Mitankin, Petar, Patil, Manish, Siragusa, Enrico, Tiskin, Alexander and Wang, Wei. (2014) State-of-the-art in string similarity search and join. SIGMOD Record, Volume 43 (Number 1). pp. 64-76. ISSN 0163-5808

Conference Item

Colcombet, Thomas , Jurdzinski, Marcin, Lazic, Ranko and Schmitz, Sylvain (2017) Perfect half space games. In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Reykjavik, Iceland, 20-23 Jun 2017. Published in: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (In Press)

Crosby, Henry James, Davis, Paul and Jarvis, Stephen A. (2015) Exploring new data sources to improve UK land parcel valuation. In: UrbanGIS, Seattle, 3 Nov 2015. Published in: UrbanGIS'15 Proceedings of the 1st International ACM SIGSPATIAL Workshop on Smart Cities and Urban Analytics (1). pp. 32-35.

Dean, Walter (2016) Squeezing feasibility. In: 12th Conference on Computability in Europe, CiE 2016 : Pursuit of the Universal, Paris, France, 27 Jun - 1 Jul 2016. Published in: Pursuit of the Universal. CiE 2016. , 9709 pp. 78-88.

Ivanov, Ivan, Lee, Sang-Woo, Watson, Tim and Maple, Carsten (2016) Cyber security standards and issues in V2X communications. In: 63rd International Conference on Vehicular, Mobile and Wearable Technology (ICVMWT), Seoul, South Korea, 18-19 Jan 2017

Jurdzinski, Marcin and Lazic, Ranko (2017) Succinct progress measures for solving parity games. In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Reykjavik, Iceland, 20-23 Jun 2017. Published in: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (In Press)

Kulkarni, Vishwesh V. and Raman, Karthik (2016) Fast identification of synthetic lethals using quadratic programming. In: Synthetic Biology UK 2016, Edinburgh, 14-16 Nov 2016. Published in: Synthetic Biology UK 2016

Marchant, J. and Griffiths, Nathan (2017) Convention emergence in partially observable topologies. In: International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN@AAMAS 2017), Sao Paulo, Brazil, 8-9 May 2017. Published in: Proceedings of the International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN@AAMAS 2017) (In Press)

Marchant, James, Griffiths, Nathan and Leeke, Matthew (2015) Convention emergence and influence in dynamic topologies. In: 14th International Conference on Autonomous Agents and Multiagent Systems, Istanbul, Turkey, 4-8 May 2015. Published in: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems pp. 1785-1786.

Marchant, James, Griffiths, Nathan, Leeke, Matthew and Franks, Henry P. W. (2015) Destabilising conventions using temporary interventions. In: The 17th International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2014) , Paris, France, 6 May 2014, 9372 pp. 148-163.

Miles, Simon and Griffiths, Nathan (2015) Accounting for circumstances in reputation assessment. In: 14th International Conference on Autonomous Agents and Multiagent Systems, Istanbul, Turkey, 4-8 May 2015. Published in: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems pp. 1653-1654.

Thomason, Alasdair, Griffiths, Nathan and Sanchez Silva, Victor (2015) Parameter optimisation for location extraction and prediction applications. In: 13th IEEE International Conference on Pervasive Intelligence and Computing, Liverpool, UK, 26-28 Oct 2015. Published in: Proceedings of the 2015 IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing pp. 2173-2180. (In Press)

Book

Kulkarni, Vishwesh V. and Stan, Guy-Bart and Raman, Karthik, eds. (2014) A systems theoretic approach to systems and synthetic biology II : analysis and design of cellular systems. London, UK: Springer Verlag. ISBN 9789401790475

Thesis or Dissertation

Azhar, Faisal (2015) Marker-less human body part detection, labelling and tracking for human activity recognition. PhD thesis, University of Warwick.

Kestner, Simon (1974) The information rate and other parameters of probabilistic context free grammars and their parsers. PhD thesis, University of Warwick.

Spina, Sandro (2015) Graph-based segmentation and scene understanding for context-free point clouds. PhD thesis, University of Warwick.