Igor Siveroni
Cited by
Cited by
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
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, ...
Evaluating the effects of SARS-CoV-2 spike mutation D614G on transmissibility and pathogenicity
E Volz, V Hill, JT McCrone, A Price, D Jorgensen, Á O’Toole, J Southgate, ...
Cell 184 (1), 64-75. e11, 2021
State-level tracking of COVID-19 in the United States
HJT Unwin, S Mishra, VC Bradley, A Gandy, TA Mellan, H Coupland, ...
Nature communications 11 (1), 1-9, 2020
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
Constraint systems for useless variable elimination
M Wand, I Siveroni
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 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
Bayesian phylodynamic inference with complex models
EM Volz, I Siveroni
PLoS computational biology 14 (11), e1006546, 2018
Changes in symptomatology, reinfection, and transmissibility associated with the SARS-CoV-2 variant B. 1.1. 7: an ecological study
MS Graham, CH Sudre, A May, M Antonelli, B Murray, T Varsavsky, ...
The Lancet Public Health 6 (5), e335-e345, 2021
Operational semantics of the java card virtual machine
IA Siveroni
The Journal of Logic and Algebraic Programming 58 (1-2), 3-25, 2004
Report 33: modelling the allocation and impact of a COVID-19 vaccine
A Hogan, P Winskill, O Watson, P Walker, C Whittaker, M Baguelin, ...
Property specification and static verification of UML models
I Siveroni, A Zisman, G Spanoudakis
2008 Third International Conference on Availability, Reliability and …, 2008
A UML-based static verification framework for security
I Siveroni, A Zisman, G Spanoudakis
Requirements engineering 15 (1), 95-118, 2010
A proposal for the JCVMLe operational semantics
I Siveroni, C Hankin
SECSAFE-ICSTM-001-2.2, October, 2001
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, ...
Genomic epidemiology of a densely sampled COVID-19 outbreak in China
L Geidelberg, O Boyd, D Jorgensen, I Siveroni, FF Nascimento, ...
Virus evolution 7 (1), veaa102, 2021
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
Recurrent emergence of SARS-CoV-2 spike deletion H69/V70 and its role in the Alpha variant B. 1.1. 7
B Meng, SA Kemp, G Papa, R Datir, IATM Ferreira, S Marelli, WT Harvey, ...
Cell reports 35 (13), 109292, 2021
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
Additive uncorrelated relaxed clock models for the dating of genomic epidemiology phylogenies
X Didelot, I Siveroni, EM Volz
Molecular Biology and Evolution 38 (1), 307-317, 2021
The system can't perform the operation now. Try again later.
Articles 1–20