R. Pollack
发表
Matthew Z. Weaver,
Olivier Savary Bélanger,
A. Appel,
2016
.
Jonathan M. Smith,
Benjamin C. Pierce,
J. Gregory Morrisett,
2011,
PLOS '11.
Randy Pollack,
Masahiko Sato,
M. Sato,
2010
.
R. Pollack,
2010
.
Alberto Momigliano,
Randy Pollack,
A. Momigliano,
2005
.
Andrew W. Appel,
Arthur Charguéraud,
Hervé Grall,
2007
.
R. Pollack,
Dep. Matemática,
S. Basu,
2022
.
Randy Pollack,
Masahiko Sato,
Wilmer Ricciotti,
2012,
Journal of Automated Reasoning.
Arthur Charguéraud,
Benjamin C. Pierce,
Stephanie Weirich,
2008,
POPL '08.
Randy Pollack,
Masahiko Sato,
M. Sato,
2010,
J. Symb. Comput..
Randy Pollack,
R. Pollack,
1994,
TYPES.
Thierry Coquand,
Makoto Takeyama,
Randy Pollack,
2003,
Fundam. Informaticae.
J. P. Boender,
R. M. Amadio,
N. Ayache,
2013,
FOPARA.
Benjamin C. Pierce,
Catalin Hritcu,
David Pichardie,
2014,
J. Comput. Secur..
Herman Geuvers,
Freek Wiedijk,
Randy Pollack,
2002,
J. Symb. Comput..
Herman Geuvers,
Freek Wiedijk,
Randy Pollack,
2002
.
Randy Pollack,
R. Pollack,
2006
.
B. Pierce,
R. Pollack,
Benoît Montagu,
2013,
2013 IEEE 26th Computer Security Foundations Symposium.