Claudio Hermida
发表
Edmund Robinson,
Claudio Hermida,
Uday Reddy,
2020,
ArXiv.
James Worrell,
Claudio Hermida,
Franck van Breugel,
2005
.
Claudio Hermida,
Robert D. Tennent,
R. D. Tennent,
2009,
MFPS.
Claudio Hermida,
C. Hermida,
2011,
Inf. Comput..
James Worrell,
Claudio Hermida,
Franck van Breugel,
2007,
Theor. Comput. Sci..
Claudio Hermida,
John Power,
Michael Makkai,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Claudio Hermida,
Marta Bunge,
M. Bunge,
2011
.
Claudio Hermida,
Robert D. Tennent,
2012,
Theor. Comput. Sci..
Claudio Hermida,
Uday S. Reddy,
Edmund P. Robinson,
2014,
WACT.
Claudio Hermida,
Robert D. Tennent,
2007,
Theor. Comput. Sci..
James Worrell,
Claudio Hermida,
Franck van Breugel,
2013,
Theor. Comput. Sci..
James Worrell,
Claudio Hermida,
Franck van Breugel,
2005,
ICALP.
Claudio Hermida,
Uday S. Reddy,
Edmund P. Robinson,
2019,
MFPS.
Bart Jacobs,
Claudio Hermida,
Bart Jacobs,
1995,
Math. Struct. Comput. Sci..
Bart Jacobs,
Claudio Hermida,
B. Jacobs,
1994,
CSL.
Claudio Hermida,
Paulo Mateus,
2003,
Theor. Comput. Sci..
Claudio Hermida,
C. Hermida,
1993,
CST.
Claudio Hermida,
C. Hermida,
1992,
COMPASS/ADT.
Claudio Hermida,
Paulo Mateus,
P. Mateus,
2004,
Theor. Comput. Sci..
Bart Jacobs,
Claudio Hermida,
B. Jacobs,
1998,
Inf. Comput..
Claudio Hermida,
C. Hermida,
2004,
Appl. Categorical Struct..
Claudio Hermida,
John Power,
1995,
CONCUR.
Claudio Hermida,
John Power,
Michael Makkai,
2000
.
Claudio Hermida,
C. Hermida,
1999
.
Claudio Hermida,
John Power,
Michael Makkai,
2002
.
Claudio Hermida,
2000
.