M. Abadi
发表
M. Abadi,
1997
.
M. Abadi,
P. Barham,
M. Isard,
2013,
SOSP.
B. Lampson,
M. Abadi,
M. Burrows,
1991,
TOCS.
Martín Abadi,
Michael Isard,
Derek Gordon Murray,
2016,
Commun. ACM.
Martín Abadi,
Cédric Fournet,
Georges Gonthier,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Martín Abadi,
Cédric Fournet,
Bruno Blanchet,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Martín Abadi,
Cédric Fournet,
Bruno Blanchet,
2004,
TSEC.
Martín Abadi,
Gordon D. Plotkin,
M. Abadi,
1993,
TLCA.
Martín Abadi,
Michael Isard,
Timothy L. Harris,
2008,
POPL '08.
Martín Abadi,
M. Abadi,
1997,
TACS.
Martín Abadi,
Butler W. Lampson,
Michael Burrows,
1993,
SOSP '93.
Ted Wobber,
Martín Abadi,
Michael Burrows,
2005,
TOIT.
Yinglian Xie,
Antoine Delignat-Lavaud,
Ted Wobber,
2014,
NDSS.
Mihai Budiu,
Úlfar Erlingsson,
Martín Abadi,
2009,
TSEC.
Martín Abadi,
Leslie Lamport,
L. Lamport,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Martín Abadi,
Luca Cardelli,
M. Abadi,
1996,
Monographs in Computer Science.
Martín Abadi,
M. Abadi,
1997,
Proceedings 10th Computer Security Foundations Workshop.
Martín Abadi,
Joan Feigenbaum,
Joe Kilian,
1987,
Proceeding Structure in Complexity Theory.
Martín Abadi,
Michael Burrows,
Roger M. Needham,
1989,
Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.
Martín Abadi,
Fang Yu,
Stefan Savage,
2010,
Hotnets-IX.
Martín Abadi,
Roger M. Needham,
M. Abadi,
1994,
IEEE Trans. Software Eng..
Martín Abadi,
Derek Gordon Murray,
Frank McSherry,
2013,
FMOODS/FORTE.
Martín Abadi,
George C. Necula,
Úlfar Erlingsson,
2006,
OSDI '06.
M. Abadi,
K. McMillan,
M. Felleisen,
2017
.
Martín Abadi,
Luca Cardelli,
Gordon D. Plotkin,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
M. Abadi,
2007
.
Martín Abadi,
Gordon D. Plotkin,
Dimitrios Vytiniotis,
2019
.
Martín Abadi,
Ted Wobber,
M. Abadi,
2004,
FORTE.
M. Abadi,
G. Plotkin,
Jérémy Planul,
2016
.
Martín Abadi,
M. Abadi,
1987
.
M. Abadi,
R. Stata,
1998,
POPL '98.
Phokion G. Kolaitis,
Stephen R. Mahaney,
J. Feigenbaum,
2007
.
Martín Abadi,
Luca Cardelli,
M. Abadi,
1996
.
Martín Abadi,
Ankur Taly,
Himabindu Pucha,
2015,
Programming Languages with Applications to Biology and Security.
L. Lamport,
M. Abadi,
P. Wolper,
2000
.
M. Abadi,
2011
.
Martín Abadi,
Joan Feigenbaum,
Joe Kilian,
1987,
Symposium on the Theory of Computing.
Martín Abadi,
Michael Burrows,
Roger M. Needham,
1989,
Distributed Computing And Cryptography.
Martín Abadi,
Takayasu Ito,
M. Abadi,
1991,
Lecture Notes in Computer Science.
M. Abadi,
2002,
Privacy Enhancing Technologies.
Martín Abadi,
Dieter Gollmann,
Roberto Gorrieri,
1998,
CSFW.
M. Abadi,
B. Blanchet,
2005,
JACM.
M. Abadi,
C. Fournet,
2002,
Theor. Comput. Sci..
M. Abadi,
1997
.
Martín Abadi,
Luca Cardelli,
Florian Matthes,
1994
.
Martín Abadi,
Takayasu Ito,
M. Abadi,
1997
.
Martín Abadi,
Cédric Fournet,
M. Abadi,
2001,
POPL '01.
Martín Abadi,
Luca Cardelli,
M. Abadi,
1995,
Theory Pract. Object Syst..
Martín Abadi,
Gordon Plotkin,
Jérémy Planul,
2014
.
Martín Abadi,
Andrew Los Altos Birrell,
Butler Cambridge Lampson,
1993
.
Martín Abadi,
M. Abadi,
1990,
Theor. Comput. Sci..
Martín Abadi,
M. Abadi,
2013
.
Martín Abadi,
Butler W. Lampson,
Michael Burrows,
1993
.
Martín Abadi,
Jean-Jacques Lévy,
Luca Cardelli,
1989,
POPL '90.
Martín Abadi,
Bogdan Warinschi,
Mathieu Baudet,
2006
.
Martín Abadi,
M. Abadi,
1990
.
Martín Abadi,
Úlfar Erlingsson,
M. Abadi,
2007
.
Luca Cardelli,
Roberto M. Amadio,
Martin Abadi,
2019,
WWW.
M. Abadi,
G. Plotkin,
Frank McSherry,
2014
.
M. Abadi,
L. Cardelli,
1994,
ESOP.
Martín Abadi,
Bogdan Warinschi,
M. Abadi,
2005,
PODS '05.
Martín Abadi,
Cédric Fournet,
Bruno Blanchet,
2016,
J. ACM.
Martín Abadi,
Gordon D. Plotkin,
Jérémy Planul,
2013,
MFPS.
Bruno Blanchet,
Hubert Comon-Lundh,
Martín Abadi,
2009,
CAV.
Martín Abadi,
Phillip Rogaway,
P. Rogaway,
2000,
Journal of Cryptology.
Martín Abadi,
Bogdan Warinschi,
M. Abadi,
2005,
ICALP.
Martín Abadi,
Véronique Cortier,
M. Abadi,
2005,
18th IEEE Computer Security Foundations Workshop (CSFW'05).
Martín Abadi,
Véronique Cortier,
M. Abadi,
2004,
Theor. Comput. Sci..
Martín Abadi,
Jan Jürjens,
M. Abadi,
2001,
TACS.
Martín Abadi,
Bruno Blanchet,
M. Abadi,
2001,
Theor. Comput. Sci..
Martín Abadi,
Phillip Rogaway,
P. Rogaway,
2001,
Journal of Cryptology.
Martín Abadi,
Cédric Fournet,
M. Abadi,
2001,
POPL '01.
Martín Abadi,
M. Abadi,
2000,
CRYPTO.
Martín Abadi,
Joan Feigenbaum,
Andrei Z. Broder,
1988,
CRYPTO.
Martín Abadi,
Joan Feigenbaum,
J. Feigenbaum,
1990,
Journal of Cryptology.
Phokion G. Kolaitis,
Stephen R. Mahaney,
G. Neiger,
1996
.
Martín Abadi,
Joseph Y. Halpern,
M. Abadi,
1989,
30th Annual Symposium on Foundations of Computer Science.
Martin Abadi,
Gordon Plotkin,
M. Abadi,
2020,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Martín Abadi,
Michael Burrows,
Roger M. Needham,
1989,
Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.
Martín Abadi,
Gordon D. Plotkin,
Frank McSherry,
2015,
FoSSaCS.
Martín Abadi,
Pierre Wolper,
Leslie Lamport,
1989,
ICALP.
Martín Abadi,
Anindya Banerjee,
Jon G. Riecke,
1999,
POPL '99.
Martín Abadi,
Michael Burrows,
Roger M. Needham,
1990,
TOCS.
Martín Abadi,
Fang Yu,
Yinglian Xie,
2013,
ASIA CCS '13.
Martín Abadi,
George C. Necula,
Nathan Whitehead,
2004,
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Martín Abadi,
Leslie Lamport,
L. Lamport,
1995,
TOPL.
Martín Abadi,
Benjamin C. Pierce,
Gordon D. Plotkin,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Martín Abadi,
Jean-Jacques Lévy,
Luca Cardelli,
1989,
POPL '90.
M. Abadi,
1997
.
Martín Abadi,
Cormac Flanagan,
M. Abadi,
1999,
ESOP.
Martín Abadi,
Úlfar Erlingsson,
Mihai Budiu,
2006,
ASID '06.
Martín Abadi,
James R. Larus,
Galen C. Hunt,
2005
.
Martín Abadi,
Luca Cardelli,
M. Abadi,
1995,
TOPL.
Martín Abadi,
Luca Cardelli,
Ramesh Viswanathan,
1996,
POPL '96.
Martín Abadi,
John Lamping,
M. Abadi,
1994,
Theory Pract. Object Syst..
Martín Abadi,
Luca Cardelli,
M. Abadi,
1994,
TACS.
Martín Abadi,
Andrew D. Gordon,
M. Abadi,
1997,
CCS '97.
Martín Abadi,
Michael Burrows,
Roger M. Needham,
1988,
TARK.
Martín Abadi,
Jean-Jacques Lévy,
Georges Gonthier,
1992,
POPL '92.
Martín Abadi,
Dan Boneh,
Gil Segev,
2013,
IACR Cryptol. ePrint Arch..
Martín Abadi,
Stephan Merz,
M. Abadi,
1996,
NATO ASI DPD.
Martín Abadi,
Yinglian Xie,
Ted Wobber,
2013,
HotOS.
Martín Abadi,
Butler W. Lampson,
Michael Burrows,
1991,
TOPL.
Martín Abadi,
Leslie Lamport,
L. Lamport,
1989,
TOPL.
Martín Abadi,
K. Rustan M. Leino,
M. Abadi,
1997,
Verification: Theory and Practice.
Martín Abadi,
M. Abadi,
1998,
ICALP.
Martín Abadi,
Stephan Merz,
Leslie Lamport,
2016,
Formal Systems Specification.
Martín Abadi,
Leslie Lamport,
L. Lamport,
1994,
PODC '94.
Martín Abadi,
Leslie Lamport,
L. Lamport,
1991,
TOPL.
Martín Abadi,
Ross McIlroy,
Timothy L. Harris,
2011,
OOPSLA '11.
Martín Abadi,
Cédric Fournet,
Bruno Blanchet,
2016
.
Martín Abadi,
Boon Thau Loo,
M. Abadi,
2007,
NetDB.
Martín Abadi,
Fang Yu,
Yinglian Xie,
2009,
SIGCOMM '09.
Martín Abadi,
Roger M. Needham,
M. Abadi,
1994,
Proceedings of 1994 IEEE Computer Society Symposium on Research in Security and Privacy.
Martín Abadi,
Stephen N. Freund,
Cormac Flanagan,
2006,
TOPL.
Martín Abadi,
Luca Cardelli,
Benjamin C. Pierce,
1995,
Journal of Functional Programming.
Martín Abadi,
M. Abadi,
1994,
Journal of Functional Programming.
Martín Abadi,
Zohar Manna,
M. Abadi,
1986,
CADE.
Martín Abadi,
Boon Thau Loo,
Wenchao Zhou,
2009,
2009 IEEE 25th International Conference on Data Engineering.
Martín Abadi,
M. Abadi,
1989,
Theor. Comput. Sci..
Martín Abadi,
M. Abadi,
1999,
FoSSaCS.
M. Abadi,
R. Stata,
Raymie Stata,
1999,
TOPL.
Martín Abadi,
Luca Cardelli,
Benjamin C. Pierce,
1989,
POPL '89.
Martín Abadi,
Fang Yu,
Yinglian Xie,
2011,
WWW.
Martín Abadi,
Gavin M. Bierman,
Mads Torgersen,
2014,
ECOOP.
Martín Abadi,
Úlfar Erlingsson,
Mihai Budiu,
2005,
CCS '05.
Martín Abadi,
Gordon D. Plotkin,
M. Abadi,
2009,
POPL '09.
Martín Abadi,
Cédric Fournet,
M. Abadi,
2003,
NDSS.
Martín Abadi,
Andrew D. Gordon,
M. Abadi,
1997,
CONCUR.
Martín Abadi,
Zohar Manna,
M. Abadi,
1990,
JACM.
Martín Abadi,
Neal Glew,
M. Abadi,
2002,
WWW.
Martín Abadi,
M. Abadi,
2007,
FOSAD.
P. Rogaway,
M. Abadi,
2007,
Journal of Cryptology.
Martín Abadi,
Mark R. Tuttle,
M. Abadi,
1991,
PODC '91.
Martín Abadi,
Cédric Fournet,
Georges Gonthier,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Martín Abadi,
Andrew D. Gordon,
M. Abadi,
1998,
Nord. J. Comput..
M. Abadi,
R. Needham,
2004
.
Martín Abadi,
Michael Burrows,
Edward Wobber,
1994,
TOCS.
Martín Abadi,
Luca Cardelli,
Florian Matthes,
1993,
DBPL.
M. Abadi,
A. Chaudhuri,
2006,
FORTE.
Martín Abadi,
Bogdan Warinschi,
Mathieu Baudet,
2006,
J. Comput. Secur..
Martín Abadi,
Avik Chaudhuri,
M. Abadi,
2005,
FMSE '05.
Martín Abadi,
Cédric Fournet,
M. Abadi,
2002,
ISSS.
Martín Abadi,
Bruno Blanchet,
M. Abadi,
2002,
POPL '02.
Martín Abadi,
M. Abadi,
2007
.
Martín Abadi,
Timothy L. Harris,
M. Abadi,
2009,
CONCUR.
Martín Abadi,
Michael Isard,
M. Abadi,
2015,
FORTE.
Martín Abadi,
Michael Isard,
M. Abadi,
2015,
NFM.
Martín Abadi,
Michael Isard,
M. Abadi,
2015,
POST.
Martín Abadi,
M. Abadi,
2015,
FASE.
Martín Abadi,
M. Abadi,
2003,
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Martín Abadi,
Butler W. Lampson,
Edward P. Wobber,
1991,
SOSP '91.
Martín Abadi,
Michael Burrows,
Edward Wobber,
1996,
Proceedings 1996 IEEE Symposium on Security and Privacy.
Martín Abadi,
Zohar Manna,
M. Abadi,
1989,
J. Symb. Comput..
M. Abadi,
G. Plotkin,
B. Pierce,
1991,
TOPL.
Martín Abadi,
Nathan Whitehead,
Jordan Johnson,
2007,
ATVA.
Martín Abadi,
Nathan Whitehead,
M. Abadi,
2005,
LPAR.
Leslie Lamport,
L. Lamport,
M. Abadi,
2022
.
Martín Abadi,
Daniel R. Simon,
Ted Wobber,
2007,
EuroSys '07.
Martín Abadi,
Zohar Manna,
M. Abadi,
1985,
Logic of Programs.
Martín Abadi,
Michael Burrows,
Ted Wobber,
2003,
ASIAN.
Martín Abadi,
Cédric Fournet,
Ricardo Corin,
2006,
APLAS.
Martín Abadi,
M. Abadi,
1999,
JACM.
Martín Abadi,
Marcelo P. Fiore,
M. Abadi,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
M. Abadi,
G. Plotkin,
2020,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Martín Abadi,
Fang Yu,
Yinglian Xie,
2012,
NDSS.
Martín Abadi,
Luca Cardelli,
Pierre-Louis Curien,
1993,
POPL '93.
Martín Abadi,
Deepak Garg,
M. Abadi,
2008,
FoSSaCS.
Martín Abadi,
Luca Cardelli,
M. Abadi,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Martín Abadi,
Gordon D. Plotkin,
M. Abadi,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
M. Abadi,
A. Gordon,
1997,
CCS '97.
B. Lampson,
M. Abadi,
M. Burrows,
1992,
TOCS.
Martín Abadi,
Arnar Birgisson,
Frank McSherry,
2011,
PLAS '11.
Martín Abadi,
M. Abadi,
1997,
IEEE Trans. Software Eng..
M. Abadi,
M. Burrows,
R. Needham,
1990,
TOCS.
Martín Abadi,
Stephan Merz,
M. Abadi,
1995,
MFCS.
M. Abadi,
B. Blanchet,
2001,
FoSSaCS.
Martín Abadi,
Cédric Fournet,
Georges Gonthier,
2000,
POPL '00.
Martín Abadi,
Cédric Fournet,
Georges Gonthier,
1999,
FSTTCS.
Phokion G. Kolaitis,
Moshe Y. Vardi,
Stephen R. Mahaney,
1997,
Chic. J. Theor. Comput. Sci..