P. Rossum
发表
Marco Bozzano,
Roberto Bruttomesso,
Alessandro Cimatti,
2005,
TACAS.
Marco Bozzano,
Roberto Bruttomesso,
Alessandro Cimatti,
2005,
CADE.
Marco Bozzano,
Roberto Bruttomesso,
Alessandro Cimatti,
2006,
Inf. Comput..
Bart Jacobs,
Flavio D. Garcia,
Ronny Wichers Schreur,
2008,
ESORICS.
Miguel E. Andr,
A. Sokolova,
P. Rossum,
2010
.
E. Poll,
P. Rossum,
M. V. Eekelen,
2011
.
Flavio D. Garcia,
P. Rossum,
2012
.
J. Hoepman,
P. Rossum,
L. Chmielewski,
2009,
ArXiv.
P. Rossum,
Ugo de'Liguoro,
2022
.
P. Rossum,
H. Derksen,
A. V. D. Essen,
2001
.
P. Rossum,
2001
.
P. Rossum,
W. T. Sanders,
David Webster,
1992,
Ancient Mesoamerica.
J. S. Raad,
P. Rossum,
G. Somsen,
1989
.
Flavio D. Garcia,
Peter van Rossum,
David Galindo,
2008,
ISPEC.
Flavio D. Garcia,
Peter van Rossum,
P. Rossum,
2006,
Theor. Comput. Sci..
Gebhardt,
D. DeMets,
A. Capucci,
1998
.
Flavio D. Garcia,
Ronny Wichers Schreur,
Peter van Rossum,
2009,
2009 30th IEEE Symposium on Security and Privacy.
P. Rossum,
A. Essen,
2001
.
P. Rossum,
2001
.
P. Rossum,
A. Essen,
2001
.
P. Rossum,
A. Essen,
2004
.
P. Rossum,
J. Deveney,
J. K. Deveney,
2004
.
P. Rossum,
D. Finston,
2004
.
Mário S. Alvim,
Catuscia Palamidessi,
Peter van Rossum,
2010,
IFIP TCS.
Marco Bozzano,
Roberto Bruttomesso,
Alessandro Cimatti,
2005,
CAV.
Wolter Pieters,
Flavio D. Garcia,
Ichiro Hasuo,
2005,
FMSE '05.
Marco Bozzano,
Roberto Bruttomesso,
Alessandro Cimatti,
2005,
Journal of Automated Reasoning.
V. Shpilrain,
P. Rossum,
Jietai Yu,
2004
.
E. Poll,
P. Rossum,
M. V. Eekelen,
2008
.
Jaap-Henk Hoepman,
Peter van Rossum,
Lukasz Chmielewski,
2009,
OTM Conferences.
Jaap-Henk Hoepman,
Peter van Rossum,
Lukasz Chmielewski,
2009
.
S. Kobourov,
E. Poll,
Petra Mutzel,
1998
.
Flavio D. Garcia,
Peter van Rossum,
P. Rossum,
2010,
CARDIS.
G. Mancia,
P. Rossum,
G. Villa,
2000
.
Flavio D. Garcia,
Peter van Rossum,
P. Rossum,
2006,
IWSEC.
Flavio D. Garcia,
Peter van Rossum,
P. Rossum,
2006,
IACR Cryptol. ePrint Arch..
Flavio D. Garcia,
Peter van Rossum,
P. Rossum,
2006,
IACR Cryptol. ePrint Arch..
Ana Sokolova,
Catuscia Palamidessi,
Peter van Rossum,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.