
Ana Paula Tomás
Faculdade de Ciências da Universidade do Porto
.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2022 | inproceedings
SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings | 2018 | inproceedings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2015 | inproceedings
Principles and Practice of Constraint Programming, Cp 2013 | 2013 | inproceedings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2013 | inproceedings
Advances in Web Based Learning - Icwl 2007 | 2008 | inproceedings
Artificial Intelligence Applications and Innovations | 2006 | inproceedings
9th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2006 | 2006 | inproceedings
Journal of Automated Reasoning | 2005 | article
Computational Science and Its Applications - Iccsa 2004, Pt 3 | 2004 | article
Computational Science and Its Applications - Iccsa 2004, Pt 3 | 2004 | article
Practical Aspects of Declarative Languages, Proceedings | 2003 | article
Computational Science - Iccs 2003, Pt I, Proceedings | 2003 | article
AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002. | 2002 | inproceedings
MICAI 2002: Advances in Artificial Intelligence, Second Mexican International Conference on Artificial Intelligence, Merida, Yucatan, Mexico, April 22-26, 2002, Proceedings | 2002 | inproceedings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2002 | inproceedings
AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002. | 2002 | inproceedings
Progress in Artificial Intelligence, 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997, Proceedings | 1997 | inproceedings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1997 | inproceedings
Rewriting Techniques and Applications | 1997 | article
Journal of Symbolic Computation | 1995 | article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1995 | inproceedings
Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings | 1993 | inproceedings