| A prolog toolkit for formal languages and automata M Wermelinger, AM Dias ACM SIGCSE Bulletin 37 (3), 330-334, 2005 | 20 | 2005 |
| A service centred approach to concurrent and parallel computing H Paulino, AM Dias, MC Gomes, JC Cunha Faculdade Ciências e Tecnologia, Universidade Nova de Lisboa, Tech. Rep, 2012 | 3 | 2012 |
| L-flat: Logtalk toolkit for formal languages and automata theory P Moura, AM Dias arXiv preprint arXiv:1112.3783, 2011 | 3 | 2011 |
| Visualização e animação de autómatos em Ocsigen Framework R Macedo, AM Dias, A Ravara arXiv preprint arXiv:1907.05384, 55, 2019 | 1 | 2019 |
| Moving from mailing lists to web-based discussion forums AM Dias ACM SIGCSE Bulletin 37 (3), 373-373, 2005 | 1 | 2005 |
| Implementação de um sistema de programação em Lógica Contextual AM Dias Relatório técnico 4, 1990 | 1 | 1990 |
| Visualiza\c {c}\~ ao e anima\c {c}\~ ao de aut\'omatos em Ocsigen Framework R Macedo, AM Dias, A Ravara arXiv preprint arXiv:1907.05384, 2019 | | 2019 |
| Project of super compact racks for the Brazilian Angra 1 and 2 power plants. Projeto de racks supercompactos para as usinas de Angra 1 e 2 AC Berga, AM Dias, HH Sato, MFLT Gomes | | 1994 |
| Design of second Angra-1 reload with partial low-leakage reload A Dias | | |
| Project of super compact racks for the Brazilian Angra 1 and 2 power plants AC Berga, AM Dias, HH Sato, M Gomes | | |
