| Report 13: Estimating the number of infections and the impact of non-pharmaceutical interventions on COVID-19 in 11 European countries S Flaxman, S Mishra, A Gandy, H Unwin, H Coupland, T Mellan, H Zhu, ... | 257 | 2020 |
| BEAST 2.5: An advanced software platform for Bayesian evolutionary analysis R Bouckaert, TG Vaughan, J Barido-Sottani, S Duchêne, M Fourment, ... PLoS computational biology 15 (4), e1006650, 2019 | 189 | 2019 |
| Constraint systems for useless variable elimination M Wand, I Siveroni Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999 | 54 | 1999 |
| Proactive and reactive runtime service discovery: A framework and its evaluation A Zisman, G Spanoudakis, J Dooley, I Siveroni IEEE Transactions on Software Engineering 39 (7), 954-974, 2012 | 40 | 2012 |
| Operational semantics of the java card virtual machine IA Siveroni The Journal of Logic and Algebraic Programming 58 (1-2), 3-25, 2004 | 31 | 2004 |
| Property specification and static verification of UML models I Siveroni, A Zisman, G Spanoudakis 2008 Third International Conference on Availability, Reliability and …, 2008 | 27 | 2008 |
| A UML-based static verification framework for security I Siveroni, A Zisman, G Spanoudakis Requirements engineering 15 (1), 95-118, 2010 | 23 | 2010 |
| Bayesian phylodynamic inference with complex models EM Volz, I Siveroni PLoS computational biology 14 (11), e1006546, 2018 | 19 | 2018 |
| A proposal for the JCVMLe operational semantics I Siveroni, C Hankin SECSAFE-ICSTM-001-2.2, October, 2001 | 18 | 2001 |
| Evidence of initial success for China exiting COVID-19 social distancing policy after achieving containment KEC Ainslie, CE Walters, H Fu, S Bhatia, H Wang, X Xi, M Baguelin, ... Wellcome Open Research 5, 2020 | 15 | 2020 |
| Tempus fugit: How to plug it A Di Pierro, C Hankin, I Siveroni, H Wiklicky The Journal of Logic and Algebraic Programming 72 (2), 173-190, 2007 | 11 | 2007 |
| Report 11: Evidence of initial success for China exiting COVID-19 social distancing policy after achieving containment K Ainslie, C Walters, H Fu, S Bhatia, H Wang, M Baguelin, S Bhatt, ... | 7 | 2020 |
| Filling out the gaps: A padding algorithm for transforming out timing leaks I Siveroni Electronic Notes in Theoretical Computer Science 153 (2), 241-257, 2006 | 7 | 2006 |
| A Formal Specification of the Java Card Firewall I Siveroni, T Jensen, M Eluard | 6 | 2001 |
| Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings I Siveroni Springer-Verlag Berlin Heidelberg, 2005 | 5 | 2005 |
| SecSafe I Siveroni Web page: http://www. doc. ic. ac. uk/siveroni/secsafe, 2003 | 5 | 2003 |
| Static Analysis: 12th International Symposium, SAS 2005, London,[Imperial College], UK, September 7-9, 2005-Proceedings C Hankin Springer, 2005 | 4 | 2005 |
| Towards verification of well-formed transactions in Java Card bytecode RR Hansen, IA Siveroni Electronic Notes in Theoretical Computer Science 141 (1), 145-162, 2005 | 2 | 2005 |
| Report 23: State-level tracking of COVID-19 in the United States H Unwin, S Mishra, VC Bradley, A Gandy, M Vollmer, T Mellan, ... | 2 | |
| Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings C Hankin, I Siveroni Springer, 2005 | 1 | 2005 |
