Alexandra Silva
发表
Roberto Bruni,
Simon Bliudze,
Davide Grohmann,
2010,
ICE.
Vincent Danos,
Fredrik Dahlqvist,
Ilias Garnier,
2018,
MFPS.
Sam Staton,
Carla Umbach,
Peter Sutton,
2019,
Lecture Notes in Computer Science.
Justin Hsu,
Nate Foster,
Dexter Kozen,
2019,
Proc. ACM Program. Lang..
Paul Brunet,
Alexandra Silva,
2019,
ICALP.
Ivan Lanese,
Ana Sokolova,
Marco Carbone,
2012
.
Dexter Kozen,
Alexandra Silva,
Todd Schmid,
2021,
ICALP.
Jurriaan Rot,
Alexandra Silva,
Todd Schmid,
2021,
Electronic Proceedings in Theoretical Computer Science.
Jurriaan Rot,
Nate Foster,
Dexter Kozen,
2022
.
David Walker,
Nick Giannarakis,
Alexandra Silva,
2021,
Proc. ACM Program. Lang..
Loris D'Antoni,
Alexandra Silva,
Tiago Ferreira,
2021,
SIGCOMM.
Jurriaan Rot,
Alexandra Silva,
Todd Schmid,
2021,
MFPS.
Matteo Sammartino,
Alexandra Silva,
Gerco van Heerdt,
2021,
Electronic Proceedings in Theoretical Computer Science.
Mark Bickford,
Dexter Kozen,
Alexandra Silva,
2022,
J. Log. Algebraic Methods Program..
Justin Hsu,
Simon Docherty,
Alexandra Silva,
2020,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Jurriaan Rot,
Alexandra Silva,
Gerco van Heerdt,
2021,
FoSSaCS.
Jean-Baptiste Jeannin,
Dexter Kozen,
Alexandra Silva,
2012
.
Filippo Bonchi,
Alexandra Silva,
Alexandra Silva,
2011
.
Marcello M. Bonsangue,
Filippo Bonchi,
Jan Rutten,
2010
.
Marcello M. Bonsangue,
Jan Rutten,
Alexandra Silva,
2007
.