Daniel de Carvalho
发表
Manuel Mazzara,
JooYoung Lee,
Adil Khan,
2017,
ICL.
Manuel Mazzara,
Daniel de Carvalho,
Alexandr Basov,
2018,
2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA).
Daniel de Carvalho,
2005,
Electron. Notes Theor. Comput. Sci..
Lorenzo Tortora de Falco,
Daniel de Carvalho,
L. Falco,
2013,
Inf. Comput..
Jakob Grue Simonsen,
Daniel de Carvalho,
2014,
RTA-TLCA.
Manuel Mazzara,
Daniel de Carvalho,
Alexandr Basov,
2018,
2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA).
Manuel Mazzara,
Daniel de Carvalho,
Alexandr Basov,
2018
.
Lorenzo Tortora de Falco,
Daniel de Carvalho,
L. Falco,
2010,
Ann. Pure Appl. Log..
Manuel Mazzara,
Alexander Tchitchigin,
Larisa Safina,
2017
.
Michele Pagani,
Lorenzo Tortora de Falco,
Daniel de Carvalho,
2011,
Theor. Comput. Sci..
Daniel de Carvalho,
2016,
CSL.
Daniel de Carvalho,
D. Carvalho,
2009,
Mathematical Structures in Computer Science.
Daniel de Carvalho,
D. Carvalho,
2017,
Log. Methods Comput. Sci..
Daniel de Carvalho,
2006
.