A. Compagnoni
发表
A. Compagnoni,
H. Goguen,
1997
.
Adriana B. Compagnoni,
A. Compagnoni,
1995
.
Benjamin C. Pierce,
Adriana B. Compagnoni,
B. Pierce,
1996,
Mathematical Structures in Computer Science.
David Aspinall,
Adriana B. Compagnoni,
D. Aspinall,
2004,
Journal of Automated Reasoning.
Ricardo Medel,
Adriana Compagnoni,
Eduardo Bonelli,
2005
.
A. Compagnoni,
E. Gunter,
P. Bidinger,
2007
.
Adriana B. Compagnoni,
Philippe Bidinger,
A. Compagnoni,
2007,
Theor. Comput. Sci..
Adriana B. Compagnoni,
Healfdene Goguen,
A. Compagnoni,
2006,
Mathematical Structures in Computer Science.
Adriana B. Compagnoni,
A. Compagnoni,
2004,
Inf. Comput..
Adriana B. Compagnoni,
Healfdene Goguen,
A. Compagnoni,
2003,
Inf. Comput..
Adriana B. Compagnoni,
Healfdene Goguen,
A. Compagnoni,
1999,
CSL.
Adriana B. Compagnoni,
A. Compagnoni,
1994,
CSL.
Eduardo Bonelli,
Adriana B. Compagnoni,
Elsa L. Gunter,
2004,
J. Funct. Program..
Jie Li,
Adriana B. Compagnoni,
Narayan Ganesan,
2016,
IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Livio Bioglio,
Eduardo Bonelli,
Adriana B. Compagnoni,
2013,
CS2Bio.
Ricardo Medel,
Adriana Compagnoni,
Eduardo Bonelli,
2004
.