Artur Miguel Dias

Identifiers

• name variant Artur Miguel Dias 0.60 · backfill

Papers (2)

1. Visualiza\c{c}\~ao e anima\c{c}\~ao de aut\'omatos em Ocsigen Framework cs.FL · 2019 · author #2
2. L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory cs.PL · 2011 · author #2

Mentions

• 1112.3783 #2 · backfill · confidence 0.70 Artur Miguel Dias

Frequent Coauthors

• Ant\'onio Ravara 1 shared papers
• Paulo Moura 1 shared papers
• Rita Macedo 1 shared papers