N. Carvalho
发表
M. Duarte,
P. Chave,
L. Rosa,
2010
.
Jorge Sousa Pinto,
Nuno Carvalho,
Aaron Tomb,
2014,
NASA Formal Methods.
Luís E. T. Rodrigues,
Filipe Araújo,
Nuno Carvalho,
2005,
Fourth IEEE International Symposium on Network Computing and Applications.
Roberto Palmieri,
Luís E. T. Rodrigues,
Paolo Romano,
2014,
J. Comput. Syst. Sci..
Luís E. T. Rodrigues,
Paolo Romano,
Nuno Carvalho,
2009,
2009 15th IEEE Pacific Rim International Symposium on Dependable Computing.
Luís E. T. Rodrigues,
José Pereira,
Nuno Carvalho,
2007,
Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007).
Luís E. T. Rodrigues,
João P. Cachopo,
Paolo Romano,
2010,
OPSR.
Luís E. T. Rodrigues,
Nuno A. Carvalho,
Carlos Torrão,
2009,
OTM Conferences.
Rui Oliveira,
João Leitão,
José Pereira,
2010
.
Luís E. T. Rodrigues,
José Pereira,
Nuno Carvalho,
2007,
37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).
Luís E. T. Rodrigues,
Filipe Araújo,
Nuno Carvalho,
2006,
26th IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW'06).
Luís E. T. Rodrigues,
José Pereira,
Nuno Carvalho,
2010,
Replication.
Luís E. T. Rodrigues,
José Pereira,
Nuno Carvalho,
2007,
J. Univers. Comput. Sci..
Nuno Carvalho,
N. Carvalho,
2010,
MDS '10.
Luís E. T. Rodrigues,
Paolo Romano,
Nuno Carvalho,
2010,
Middleware.
Luís E. T. Rodrigues,
João P. Cachopo,
Paolo Romano,
2009,
QSHINE.
Paolo Romano,
Luís Rodrigues,
Nuno Carvalho,
2008,
LADIS '08.
Luís E. T. Rodrigues,
Paolo Romano,
Nuno Carvalho,
2011,
2011 IEEE 10th International Symposium on Network Computing and Applications.