R. Bonato
发表
C. Retoré,
R. Bonato,
2001
.
R. Bonato,
2005
.
Maxime Amblard,
Benoît Sagot,
Reinhard Muskens,
2006
.
Maxime Amblard,
Benoît Sagot,
Richard Moot,
2006
.
Roberto Bonato,
R. Bonato,
2005,
LACL.
Christian Retoré,
Roberto Bonato,
C. Retoré,
2013,
Categories and Types in Logic, Language, and Physics.
Paolo Giorgini,
Valentino Meduri,
Carlo Riccucci,
2007,
15th IEEE International Requirements Engineering Conference (RE 2007).
Roberto Bonato,
R. Bonato,
2006,
ArXiv.
R. Bonato,
2005
.
Roberto Bonato,
R. Bonato,
2006
.