Journal Article

Ahmadi-Assalemi, Gabriela, al-Khateeb, Haider M., Maple, Carsten, Epiphaniou, Gregory, Hammoudeh, Mohammad, Jahankhani, Hamid and Pillai, Prashant (2021) Optimising driver profiling through behaviour modelling of in-car sensor and global positioning system data. Computers and Electrical Engineering, 91 . 107047. doi:10.1016/j.compeleceng.2021.107047

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

Asante, Mary, Epiphaniou, Gregory, Maple, Carsten, Al-Khateeb, Haider, Bottarelli, Mirko and Zrar Ghafoor, Kayhan (2021) Distributed ledger technologies in supply chain security management : a comprehensive survey. IEEE Transactions on Engineering Management . doi:10.1109/TEM.2021.3053655 (In Press)

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

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

Crellen, Thomas, Pi, Li, Davis, Emma L., Pollington, Timothy M., Lucas, Tim C. D., Ayabina, Diepreye, Borlase, Anna, Toor, Jaspreet, Prem, Kiesha, Medley, Graham F., Klepac, Petra and Hollingsworth, T. Déirdre (2021) Dynamics of SARS-CoV-2 with waning immunity in the UK population. Philosophical Transactions of the Royal Society B: Biological Sciences, 376 (1829). doi:10.1098/rstb.2020.0274

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

Glebov, Roman, Králʼ, Daniel and Volec, Jan (2019) Compactness and finite forcibility of graphons. Journal of the European Mathematical Society, 21 (10). pp. 3199-3223. doi:10.4171/JEMS/901

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

Marconato, A., Schoukens, M., Tiels, K., Widanage, Widanalage Dhammika, Abu-Rmileh, A. and Schoukens, Johan (2014) Comparison of several data-driven non-linear system identification methods on a simplified glucoregulatory system example. IET Control Theory and Applications, 8 (17). pp. 1921-1930. doi:10.1049/iet-cta.2014.0534

Mukhopadhyay, Arpan, Hegde, Nidhi and Lelarge, Marc (2019) Asymptotics of replication and matching in large caching systems. IEEE/ACM Transactions on Networking, 27 (4). pp. 1657-1668. doi:10.1109/TNET.2019.2926235

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 (2019) Power-constrained edge computing with maximum processing capacity for IoT networks. IEEE Internet of Things Journal, 6 (3). pp. 4330-4343. doi:10.1109/JIOT.2018.2875218

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. doi:10.1109/LICS.2017.8005105

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.

Czumaj, Artur, Kontogeorgiou, George and Paterson, Michael S. (2021) Haystack hunting hints and locker room communication. In: 48th International Colloquium on Automata, Languages and Programming (ICALP 2021), Virtual, Scotland, 12-16 Jul 2021. Published in: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), 198 58 : 1-58: 20. ISBN 9783959771955. ISSN 1868-8969. doi:10.4230/LIPIcs.ICALP.2021.58

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

Dixon, Alex, Lazic, Ranko, Murawski, Andrzej S. and Walukiewicz, Igor (2021) Verifying higher-order concurrency with data automata. In: ACM/IEEE LICS 2021 : 36th Annual Symposium on Logic in Computer Science, Virtual conference, 29 Jun - 2 Jul 2021. Published in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ISBN 9781665448963. doi:10.1109/LICS52264.2021.9470691

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

Ghosh, Arijit, Mishra, Gopinath, Raychaudhury, Rahul and Sen, Sayantan (2022) Tolerant bipartiteness testing in dense graphs. In: The 49th EATCS International Colloquium on Automata, Languages and Programming (ICALP), Paris, France, 4-8 Jul 2022. Published in: Leibniz International Proceedings in Informatics (LIPIcs), 229 69:1-69:19. ISBN 9783959772358. ISSN 1868-8969. doi:10.4230/LIPIcs.ICALP.2022

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) pp. 1-9. ISBN 9781509030187. doi:10.1109/LICS.2017.8005092

Kamalakkannan, Kamalavasan, Mudalige, Gihan R., Reguly, Istvan Z. and Fahmy, Suhaib A. (2022) High throughput multidimensional tridiagonal system solvers on FPGAs. In: ACM International Conference on Supercomputing, Virtual, 28-30 Jun 2022. Published in: ICS '22: Proceedings of the 36th ACM International Conference on Supercomputing pp. 1-12. ISBN 9781450392815. doi:10.1145/3524059.3532371

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

Lu, Zhen Jian, Oliveira, Igor C. and Santhanam, Rahul (2021) Pseudodeterministic lagorithms and the structure of probabilistic time. In: STOC 2021: 53rd Annual ACM Symposium on Theory of Computing, Virtual conference, 21-25 Jun 2021. Published in: STOC 2021: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing pp. 303-316. ISBN 9781450380539. doi:10.1145/3406325.3451085

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

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: 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. ISBN 9781509001545. doi:10.1109/CIT/IUCC/DASC/PICOM.2015.322

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. Published in: 2018 IEEE International Conference on Sensing, Communication and Networking (SECON Workshops) ISSN 2155-5494. doi:10.1109/SECONW.2018.8396342

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

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.