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 ISSN 0045-7906.

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 ISSN 0924-090X.

Asante, Mary, Epiphaniou, Gregory, Maple, Carsten, Al-Khateeb, Haider, Bottarelli, Mirko and Zrar Ghafoor, Kayhan (2023) Distributed ledger technologies in supply chain security management : a comprehensive survey. IEEE Transactions on Engineering Management, 70 (2). pp. 713-739. doi:10.1109/TEM.2021.3053655 ISSN 0018-9391.

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 ISSN 0254-5330.

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 ISSN 1860-5974.

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 ISSN 0001-5903.

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 ISSN 0962-8436.

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 ISSN 0304-4149.

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 ISSN 1435-9855.

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 ISSN 2296-634X.

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 ISSN 1471-227X.

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 ISSN 1063-6692.

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 ISSN 0166-5316.

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 ISSN 1077-2626.

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 ISSN 2327-4662.

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 ISSN 0300-9572.

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 ISSN 0163-5808.

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 ISSN 1041-4347.

Conference Item

Bishnu, Arijit, Ghosh, Arijit, Mishra, Gopinath and Paraashar, Manaswi (2022) Counting and sampling from substructures using linear algebraic queries. In: 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Chennai, India, 18–20 Dec 2022. Published in: Leibniz International Proceedings in Informatics (LIPIcs), 250 (8). ISBN 9783959772617. doi:10.4230/LIPIcs.FSTTCS.2022.8 ISSN 1868-8969.

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

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. doi:10.4230/LIPIcs.ICALP.2021.58 ISSN 1868-8969.

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. doi:10.4230/LIPIcs.ESA.2018.26 ISSN 1868-8969.

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. doi:10.4230/LIPIcs.ICALP.2022 ISSN 1868-8969.

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) doi:10.1109/SECONW.2018.8396342 ISSN 2155-5494.

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.