Artur Miguel Dias

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 1

Top Topics

Genetic Algorithm

Data Processing

Computer Networks

Framework Enables

Top Venues

Publications

Rita Macedo, Artur Miguel Dias, António Ravara
Visualização e animação de autómatos em Ocsigen Framework. CoRR (2019)
Paulo Moura, Artur Miguel Dias
L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory CoRR (2011)
Michel Wermelinger, Artur Miguel Dias
A prolog toolkit for formal languages and automata. ITiCSE (2005)
Artur Miguel Dias
Moving from mailing lists to web-based discussion forums. ITiCSE (2005)