We stand with Ukraine  

Artur Miguel Dias

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2006
2008
2010
2012
2014
2016
2018
0
1
2
3
1
1
2

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Visualização e animação de autómatos em Ocsigen Framework.
[BibTeX]
[DOI]
Rita Macedo
,
Artur Miguel Dias
,
António Ravara
CoRR, 2019

2011
L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory
[BibTeX]
[DOI]
Paulo Moura
,
Artur Miguel Dias
CoRR, 2011

2005
A prolog toolkit for formal languages and automata.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Artur Miguel Dias
Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005


  Loading...