Journal Article

Ahmadi-Assalemi, Gabriela, al-Khateeb, Haider M., Maple, Carsten, Epiphaniou, Gregory, Hammoudeh, Mohammad, Jahankhani, Hamid and Pillai, Prashant (2020) Optimising driver profiling through behaviour modelling of in-car sensor and global positioning system data. Computers and Electrical Engineering . (In Press)

Allafi, Walid, zajic, Ivan, Uddin, Kotub, Zhonghua, Shen, Marco, James and Burnham, Keith (2018) Design of delayed fractional state variable filter for parameter estimation of fractional nonlinear models. Nonlinear Dynamics . pp. 1-17. doi:10.1007/s11071-018-4519-0

Böhm, Martin, Jeż, Łukasz, Sgall, Jiří and Veselý, Pavel (2019) On packet scheduling with adversarial jamming and speedup. Annals of Operations Research . doi:10.1007/s10479-019-03153-x (In Press)

Chistikov, Dmitry, Czerwiński, Wojciech , Hofman, Piotr , Pilipczuk, Michał and Wehar, Michael (2019) Shortest paths in one-counter systems. Logical Methods in Computer Science, 15 (1). 19:1-19:28. doi:10.23638/LMCS-15(1:19)2019

Chistikov, Dmitry, Dimitrova, Rayna and Majumdar, Rupak (2017) Approximate counting in SMT and value estimation for probabilistic programs. ACTA Informatica, 54 (8). pp. 729-764. doi:10.1007/s00236-017-0297-2

Ernst, Philip A., Kendall, W. S., Roberts, Gareth O. and Rosenthal, Jeff S. (2019) MEXIT : Maximal un-coupling times for stochastic processes. Stochastic Processes and their Applications, 129 (2). pp. 355-380. doi:10.1016/j.spa.2018.03.001

Franciosa, Pasquale, Palit, Arnab, Gerbino, Salvatore and Ceglarek, Darek (2019) A novel hybrid shell element formulation (QUAD+ and TRIA+) : a benchmarking and comparative study. Finite Elements in Analysis and Design, 166 (15). 103319. doi:10.1016/j.finel.2019.103319

Glebov, Roman, Králʼ, Daniel and Volec, Jan (2019) Compactness and finite forcibility of graphons. Journal of the European Mathematical Society . (In Press)

Jacomin, Anne-Claire, Gul, Lejla, Sudhakar, Padhmanand, Korcsmaros, Tamas and Nezis, Ioannis P. (2018) What we learned from big data for autophagy research. Frontiers in Cell and Developmental Biology, 6 . 92. doi:10.3389/fcell.2018.00092

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. doi:10.1186/s12873-015-0038-1

Mukhopadhyay, Arpan, Hegde, Nidhi and Lelarge, Marc (2019) Asymptotics of replication and matching in large caching systems. IEEE/ACM Transactions on Networking . doi:10.1109/TNET.2019.2926235 (In Press)

Mukhopadhyay, Arpan, Karthik, A., Mazumdar, Ravi R. and Guillemin, Fabrice (2015) Mean field and propagation of chaos in multi-class heterogeneous loss models. Performance Evaluation, 91 . pp. 117-131. doi:10.1016/j.peva.2015.06.008

Nguyen, Phong H., Turkay, Cagatay, Andrienko, Gennady, Andrienko, Natalia, Thonnard, Olivier and Zouaoui, Jihane (2019) Understanding user behaviour through action sequences : from the usual to the unusual. IEEE Transactions on Visualization and Computer Graphics, 25 (9). doi:10.1109/TVCG.2018.2859969

Qin, Min, Chen, Li, Zhao, Nan, Chen, Yunfei, Yu, F. Richard and Wei, Guo (2018) Power-constrained edge computing with maximum processing capacity for IoT networks. IEEE Internet of Things Journal . doi:10.1109/JIOT.2018.2875218 (In Press)

Smith, Christopher Matthew, Wilson, Mark H., Hartley-Sharpe, Christopher, Gwinnutt, Carl, Dicker, Bridget and Perkins, Gavin D. (2017) The use of trained volunteers in the response to out-of-hospital cardiac arrest – the GoodSAM Experience. Resuscitation, 121 . pp. 123-126. doi:10.1016/j.resuscitation.2017.10.020

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. doi:10.1145/2627692.2627706

Zhao, Wayne Xin, Li, Sui, He, Yulan, Chang, Edward Y., Wen, Ji-Rong and Li, Xiaoming (2016) Connecting social media to e-commerce : cold-start product recommendation using microblogging information. IEEE Transactions on Knowledge and Data Engineering, 28 (5). pp. 1147-1159. doi:10.1109/TKDE.2015.2508816

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) ISBN 9781509030187. (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. ISBN 9781450339735.

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. ISSN 0302-9743. doi:10.1007/978-3-319-40189-8_8

Englert, Matthias, Mezlaf, David and Westermann, Matthias (2018) Online makespan scheduling with job migration on uniform machines. In: 26th Annual European Symposium on Algorithms (ESA 2018), Helsinki, Finland, 20-24 Aug 2018. Published in: 26th Annual European Symposium on Algorithms (ESA 2018), 112 pp. 1-14. ISBN 9783959770811. ISSN 1868-8969. doi:10.4230/LIPIcs.ESA.2018.26

Fairbrother, Jake and Leeke, Matthew (2018) On basis variables for efficient error detection. In: 15th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC'17), Florida, USA, 6-10 Nov 2017. Published in: 2017 IEEE 15th International Dependable, Autonomic and Secure Computing, 15th Intl Conf on Pervasive Intelligence & Computing, 3rd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress(DASC/PiCom/DataCom/CyberSciTech) ISBN 9781538619568. doi:10.1109/DASC-PICom-DataCom-CyberSciTec.2017.82

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: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)). ISBN 9781509030187. doi:10.1109/LICS.2017.8005092

Kochina, Elena, Liakata, Maria and Zubiaga, Arkaitz (2018) All-in-one : multi-task learning for rumour verification. In: 27th International Conference on Computational Linguistics , Santa Fe, New Mexico, USA, 20-26 Aug 2018. Published in: Proceedings of the 27th International Conference on Computational Linguistics pp. 3402-3413. ISBN 9781948087506.

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

Le, Anhtuan and Maple, Carsten (2019) A simplified approach for dynamic security risk management in connected and autonomous vehicles. In: Living in the Internet of Things (IoT 2019), London, 1-2 May 2019. Published in: Living in the Internet of Things (IoT 2019) ISBN 9781839530890. doi:10.1049/cp.2019.0140

Marchant, James M. 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), 10642 pp. 187-202. ISBN 9783319716817. doi:10.1007/978-3-319-71682-4_12 (In Press)

Marchant, James M., 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 M., 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. ISBN 9783319254203. doi:10.1007/978-3-319-25420-3_10

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. doi:10.1109/CIT/IUCC/DASC/PICOM.2015.322 (In Press)

Wang, Yiran, Noel, Adam and Yang, Nan (2018) A new simulation algorithm for absorbing receiver in molecular communication. In: IEEE International Conference on Sensing, Communication and Networking (SECON) Workshops 2018, Hong Kong, China, 11-13 Jun 2018 (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.

Pilgram, Paul Theo (1983) Translating lucid data flow into message passing actors. PhD thesis, University of Warwick.

Pizzoferrato, Andrea (2018) Large scale dynamics and fluctuations in non-equilibrium stochastic particle systems. PhD thesis, University of Warwick.

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