Didelot, X.;
SIVERONI, I. A.; Volz, E.(2021).
Additive Uncorrelated Relaxed Clock Models for the Dating of Genomic Epidemiology Phylogenies. Molecular Biology and Evolution. Volumen: 38(1). (pp. 307 - 317).
Volz, E. y
SIVERONI, I. A.(2018).
Bayesian phylodynamic inference with complex models. PLoS Computational Biology. Volumen: 14.
SIVERONI, I. A.(2008).
Property specification and Static Verification of UML models. En
ARES 2008 - 3rd International Conference on Availability, Security, and Reliability. (pp. 96 - 103). IEEE Computer Society.
Di Pierro, A.; Hankin, C.;
SIVERONI, I. A.; Wiklicky, H.(2007).
Tempus fugit: How to plug it. Journal of Logic and Algebraic Programming. Volumen: 72. (pp. 173 - 190).
SIVERONI, I. A.(2006).
Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks. Electronic Notes in Theoretical Computer Science. Volumen: 153. (pp. 241 - 257).
Hansen, R. R. y
SIVERONI, I. A.(2005).
Towards verification of well-formed transactions in java card bytecode. Electronic Notes in Theoretical Computer Science. Volumen: 141. (pp. 145 - 162).
SIVERONI, I. A.(2004).
Operational semantics of the Java Card Virtual Machine. Journal of Logic and Algebraic Programming. Volumen: 58. (pp. 3 - 25).
Wand, M. y
SIVERONI, I. A.(1999).
Constraint systems for useless variable elimination. En
26th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, POPL'99. (pp. 291 - 302). ACM.
