José Carlos Soares do Espírito Santo
Assistant Professor
University of Minho
jes@math.uminho.pt
(+351) 253604362
.
Publications
Fundamenta Informaticae | 2012
ACM Transactions on Computational Logic | 2011
Theoretical Computer Science | 2011
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2010
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2009