Igor Siveroni
Igor Siveroni
University of Engineering and Technology (UTEC)
Verified email at - Homepage
Cited by
Cited by
Estimating the effects of non-pharmaceutical interventions on COVID-19 in Europe
S Flaxman, S Mishra, A Gandy, HJT Unwin, TA Mellan, H Coupland, ...
Nature 584 (7820), 257-261, 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
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
Hospital admission and emergency care attendance risk for SARS-CoV-2 delta (B. 1.617. 2) compared with alpha (B. 1.1. 7) variants of concern: a cohort study
KA Twohig, T Nyberg, A Zaidi, S Thelwall, MA Sinnathamby, S Aliabadi, ...
The Lancet Infectious Diseases 22 (1), 35-42, 2022
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), 2021
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
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), 6189, 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
Exponential growth, high prevalence of SARS-CoV-2, and vaccine effectiveness associated with the Delta variant
P Elliott, D Haw, H Wang, O Eales, CE Walters, KEC Ainslie, C Atchison, ...
Science 374 (6574), eabl9551, 2021
Bayesian phylodynamic inference with complex models
EM Volz, I Siveroni
PLoS computational biology 14 (11), e1006546, 2018
Report 33: Modelling the allocation and impact of a COVID-19 vaccine
A Hogan, P Winskill, O Watson, P Walker, C Whittaker, M Baguelin, ...
Imperial College London, 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
Operational semantics of the java card virtual machine
IA Siveroni
The Journal of Logic and Algebraic Programming 58 (1-2), 3-25, 2004
Genetic evidence for the association between COVID-19 epidemic severity and timing of non-pharmaceutical interventions
M Ragonnet-Cronin, O Boyd, L Geidelberg, D Jorgensen, FF Nascimento, ...
Nature Communications 12 (1), 2188, 2021
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
A UML-based static verification framework for security
I Siveroni, A Zisman, G Spanoudakis
Requirements engineering 15, 95-118, 2010
Property specification and static verification of UML models
I Siveroni, A Zisman, G Spanoudakis
2008 Third International Conference on Availability, Reliability and …, 2008
Combined epidemiological and genomic analysis of nosocomial SARS-CoV-2 infection early in the pandemic and the role of unidentified cases in transmission
LB Snell, CL Fisher, U Taj, O Stirrup, B Merrick, A Alcolea-Medina, ...
Clinical Microbiology and Infection 28 (1), 93-100, 2022
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
The system can't perform the operation now. Try again later.
Articles 1–20