Annabelle McIver
发表
Carroll Morgan,
Annabelle McIver,
1997
.
Carroll Morgan,
Annabelle McIver,
2004
.
Annabelle McIver,
1998
.
A. D. Gordon,
G. Barthe,
J. Katoen,
2015
.
Son Hoang,
Annabelle McIver,
Ukachukwu Ndukwu,
2011
.
E. Troubitsyna,
Carroll Morgan,
Annabelle McIver,
1998
.
Carroll Morgan,
Annabelle McIver,
1996
.
Programming Research Group Probabilistic Predicate Transformers Probabilistic Predicate Transformers
Karen Seidel,
Annabelle McIver,
1995
.
G. Struth,
Annabelle McIver,
T. Rabehaja,
2012
.
Annabelle McIver,
Carroll Morgan,
Carroll Morgan,
2004
.
Carroll Morgan,
M. Alvim,
S. Tixeuil,
2020,
Encyclopedia of the UN Sustainable Development Goals.
Mário S. Alvim,
Konstantinos Chatzikokolakis,
Annabelle McIver,
2020,
Information Security and Cryptography.
Ming Ding,
C. Palamidessi,
Annabelle McIver,
2022,
2022 IEEE 35th Computer Security Foundations Symposium (CSF).
A formal quantitative study of privacy in the publication of official educational censuses in Brazil
M. Alvim,
Annabelle McIver,
Gabriel H. Nunes,
2022,
Anais do XXXV Concurso de Teses e Dissertações (CTD 2022).
Carroll Morgan,
M. Alvim,
Annabelle McIver,
2022,
Proc. Priv. Enhancing Technol..
Mário S. Alvim,
Konstantinos Chatzikokolakis,
Annabelle McIver,
2020
.
Mário S. Alvim,
Konstantinos Chatzikokolakis,
Annabelle McIver,
2020
.
Mário S. Alvim,
Konstantinos Chatzikokolakis,
Annabelle McIver,
2020
.
Mário S. Alvim,
Konstantinos Chatzikokolakis,
Annabelle McIver,
2020
.
Mário S. Alvim,
Konstantinos Chatzikokolakis,
Annabelle McIver,
2020
.
Mário S. Alvim,
Konstantinos Chatzikokolakis,
Annabelle McIver,
2020,
The Science of Quantitative Information Flow.
J. Hurd,
Carroll Morgan,
Annabelle McIver,
2005,
Theor. Comput. Sci..
M. Dras,
Annabelle McIver,
Natasha Fernandes,
2022,
ArXiv.
Annabelle McIver,
Carroll Morgan,
Jifeng He,
2004,
ICFEM.
Annabelle McIver,
Jifeng He,
Karen Seidel,
1997,
Sci. Comput. Program..
Annabelle McIver,
Carroll Morgan,
Karen Seidel,
1996,
TOPL.
Annabelle McIver,
Matt Bower,
M. Bower,
2011,
ITiCSE '11.
Annabelle McIver,
Joost-Pieter Katoen,
Friedrich Gretz,
2013,
QEST.
Annabelle McIver,
Joost-Pieter Katoen,
Carroll Morgan,
2010,
SAS.
Annabelle McIver,
Carroll Morgan,
Carroll Morgan,
2004,
Monographs in Computer Science.
Annabelle McIver,
Carroll Morgan,
Carroll Morgan,
2007,
TOCL.
Annabelle McIver,
Annabelle McIver,
2006,
ICTAC.
Annabelle McIver,
Carroll Morgan,
Carroll Morgan,
2003,
ArXiv.
Annabelle McIver,
Annabelle McIver,
2006,
FM.
Annabelle McIver,
Carroll Morgan,
Jeff W. Sanders,
1996,
Formal Aspects of Computing.
Annabelle McIver,
Carroll Morgan,
Larissa Meinicke,
2011,
Mathematical Structures in Computer Science.
Annabelle McIver,
Carroll Morgan,
Carroll Morgan,
2019,
APLAS.
Annabelle McIver,
Annabelle McIver,
2019,
MPC.
Georg Struth,
Annabelle McIver,
Carroll Morgan,
2019,
The Art of Modelling Computational Systems.
Annabelle McIver,
Carroll Morgan,
Tahiry M. Rabehaja,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Annabelle McIver,
Carroll Morgan,
Larissa Meinicke,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Annabelle McIver,
1990
.
Annabelle McIver,
Mark Dras,
Natasha Fernandes,
2018,
POST.
Annabelle McIver,
Carroll Morgan,
Carroll Morgan,
1974,
Lecture Notes in Computer Science.
Annabelle McIver,
Tjark Weber,
Tjark Weber,
2005,
LPAR.
Annabelle McIver,
Carroll Morgan,
Natasha Fernandes,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Annabelle McIver,
Andrei Voronkov,
Ansgar Fehnker,
2015,
Lecture Notes in Computer Science.
Annabelle McIver,
Ansgar Fehnker,
Rob J. van Glabbeek,
2013,
ArXiv.
Annabelle McIver,
Hamid Jahanian,
Annabelle McIver,
2020,
ICFEM.
Annabelle McIver,
Ukachukwu Ndukwu,
Annabelle McIver,
2010,
QAPL.
Georg Struth,
Annabelle McIver,
Tahiry M. Rabehaja,
2011,
RAMiCS.
Carroll Morgan,
M. Alvim,
C. Palamidessi,
2020,
The Science of Quantitative Information Flow.
Georg Struth,
Annabelle McIver,
Tahiry M. Rabehaja,
2013,
QAPL.
Annabelle McIver,
Ansgar Fehnker,
Rob J. van Glabbeek,
2012,
ESOP.
Annabelle McIver,
Carroll Morgan,
C. Gonzalia,
2008,
J. Log. Algebraic Methods Program..
Annabelle McIver,
Joost-Pieter Katoen,
Carroll Morgan,
2017,
Proc. ACM Program. Lang..
Annabelle McIver,
Nils Jansen,
Joost-Pieter Katoen,
2015,
MFPS.
Annabelle McIver,
Joost-Pieter Katoen,
Friedrich Gretz,
2014,
Perform. Evaluation.
Mário S. Alvim,
Annabelle McIver,
Carroll Morgan,
2019,
Theor. Comput. Sci..
Georg Struth,
Annabelle McIver,
Tahiry M. Rabehaja,
2013,
ArXiv.
Georg Struth,
Annabelle McIver,
Tahiry M. Rabehaja,
2018,
Theor. Comput. Sci..
Georg Struth,
Annabelle McIver,
Tahiry M. Rabehaja,
2016,
ICTAC.
Annabelle McIver,
Carroll Morgan,
Carroll Morgan,
2010,
Reflections on the Work of C. A. R. Hoare.
Mário S. Alvim,
Annabelle McIver,
Arthur Américo,
2018,
FM.
Annabelle McIver,
Peter Höfner,
P. Höfner,
2014,
J. Log. Algebraic Methods Program..
Annabelle McIver,
Mark Dras,
Natasha Fernandes,
2018,
FM.
Mário S. Alvim,
Annabelle McIver,
Geoffrey Smith,
2016,
2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Mário S. Alvim,
Annabelle McIver,
Geoffrey Smith,
2014,
2014 IEEE 27th Computer Security Foundations Symposium.
Annabelle McIver,
Carroll Morgan,
Larissa Meinicke,
2010,
ICALP.
Annabelle McIver,
Carroll Morgan,
Carroll Morgan,
2003
.
Annabelle McIver,
Carroll Morgan,
Carroll Morgan,
2020,
ISoLA.
Annabelle McIver,
Natasha Fernandes,
Parastoo Sadeghi,
2022,
2210.12916.
P. Sadeghi,
Annabelle McIver,
Natasha Fernandes,
2022,
ArXiv.
Annabelle McIver,
Geoffrey Smith,
Carroll Morgan,
2014,
POST.
Annabelle McIver,
Ansgar Fehnker,
Matthias Fruth,
2009,
Methods, Models and Tools for Fault Tolerance.
Annabelle McIver,
Ansgar Fehnker,
A. Fehnker,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Annabelle McIver,
Carroll Morgan,
Larissa Meinicke,
2009,
FM.
Annabelle McIver,
Orieta Celiku,
Annabelle McIver,
2004,
Nord. J. Comput..
Mário S. Alvim,
Annabelle McIver,
Natasha Fernandes,
2020,
CONCUR.
Annabelle McIver,
Carroll Morgan,
Tahiry M. Rabehaja,
2017,
FORTE.
Annabelle McIver,
Carroll Morgan,
Tahiry M. Rabehaja,
2016,
ArXiv.
Annabelle McIver,
Carroll Morgan,
Carroll Morgan,
2016,
ArXiv.
Annabelle McIver,
Carroll Morgan,
Carroll Morgan,
2005,
Inf. Process. Lett..
Annabelle McIver,
Carroll Morgan,
Carroll Morgan,
2006,
RODIN Book.
Annabelle McIver,
Gerhard Goos,
Juris Hartmanis,
2019,
FM.
Annabelle McIver,
Yiannis Papadopoulos,
Hamid Jahanian,
2020,
IMBSA.
Annabelle McIver,
Carroll Morgan,
J. W. Sanders,
1997
.
Annabelle McIver,
Carroll Morgan,
Carroll Morgan,
2011,
Formal Aspects of Computing.
Annabelle McIver,
Carroll Morgan,
Carroll Morgan,
2009,
FM.
Annabelle McIver,
Ansgar Fehnker,
Rob J. van Glabbeek,
2015,
ArXiv.
Annabelle McIver,
Carroll Morgan,
Carroll Morgan,
2003,
Theor. Comput. Sci..
Annabelle McIver,
Carroll Morgan,
Carroll Morgan,
1999,
Log. J. IGPL.
Annabelle McIver,
Carroll Morgan,
Carroll Morgan,
2001,
CATS.
Annabelle McIver,
Carroll Morgan,
Carroll Morgan,
2001,
Theor. Comput. Sci..
Mário S. Alvim,
Annabelle McIver,
Gabriel H. Nunes,
2024,
2406.15309.
Annabelle McIver,
Nils Jansen,
Joost-Pieter Katoen,
2015,
MFPS.
Mário S. Alvim,
Carroll Morgan,
C. Palamidessi,
2020,
The Science of Quantitative Information Flow.
M. Dras,
Annabelle McIver,
Natasha Fernandes,
2022,
ArXiv.
Mário S. Alvim,
Carroll Morgan,
Annabelle McIver,
2023,
CCS.