P. Severi
发表
P. Severi,
1996
.
Torben Æ. Mogensen,
Andrei P. Nemytykh,
Sergei M. Abramov,
1997
.
Paula Severi,
Femke van Raamsdonk,
P. Severi,
1995
.
Paula Severi,
Femke van Raamsdonk,
Bryan So,
1999
.
Erik Poll,
Paula Severi,
E. Poll,
1994,
LFCS.
P. Severi,
F. D. Vries,
2005
.
P. Severi,
Regina Motz,
Edelweis Rohrer,
2015,
Journal of Web Semantics.
C. Correo,
P. Severi,
2007
.
P. Severi,
2007
.
P. Severi,
Edelweis Rohrer,
2016
.
Paula Severi,
Mariangiola Dezani-Ciancaglini,
M. Dezani-Ciancaglini,
2019,
Fundam. Informaticae.
Paula Severi,
Aart Middeldorp,
Jan Willem Klop,
2002
.
Paula Severi,
P. Severi,
2018,
ArXiv.
Paula Severi,
P. Severi,
2017,
FoSSaCS.
Emilio Tuosto,
Luca Padovani,
Paula Severi,
2016,
Log. Methods Comput. Sci..
Paula Severi,
Fer-Jan de Vries,
P. Severi,
2012,
ICFP.
Paula Severi,
Fer-Jan de Vries,
P. Severi,
2013,
TLCA.
Paula Severi,
Fer-Jan de Vries,
P. Severi,
2011,
WoLLIC.
Paula Severi,
Fer-Jan de Vries,
P. Severi,
2002,
RTA.
Paula Severi,
Fer-Jan de Vries,
P. Severi,
2012,
RTA.
Paula Severi,
Alexander Kurz,
Fer-Jan de Vries,
2013,
Log. Methods Comput. Sci..
Paula Severi,
Hongwei Xi,
Femke van Raamsdonk,
1999,
Inf. Comput..
W. Ferrer,
P. G. Severi,
P. Severi,
1993
.
Paula Severi,
P. Severi,
1995
.
Paula Severi,
Fabio Alessi,
P. Severi,
2008,
SOFSEM.
Ian Mackie,
Paula Severi,
Nora Szasz,
2002
.
Paula Severi,
Regina Motz,
Edelweis Rohrer,
2019,
KGSWC.
Michael Rathjen,
M. Dezani-Ciancaglini,
F. Honsell,
2014
.