Artur Miguel Dias

According to our database, Artur Miguel Dias authored at least 4 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Visualização e animação de autómatos em Ocsigen Framework.

Rita Macedo, Artur Miguel Dias, António Ravara

CoRR, 2019

2011

L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory

Paulo Moura, Artur Miguel Dias

CoRR, 2011

2005

A prolog toolkit for formal languages and automata.

Michel Wermelinger, Artur Miguel Dias

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

Moving from mailing lists to web-based discussion forums.

Artur Miguel Dias

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005