Eva Maia
Eva Maia
Departamento Ciência de Computadores, Faculdade de Ciências, Universidade do Porto
Verified email at dcc.fc.up.pt
Title
Cited by
Cited by
Year
A static type inference for python
E Maia, N Moreira, R Reis
Proc. of DYLA 5 (1), 1, 2012
132012
Incomplete operational transition complexity of regular languages
E Maia, N Moreira, R Reis
Information and Computation 244, 1-22, 2015
82015
Incomplete transition complexity of some basic operations
E Maia, N Moreira, R Reis
International Conference on Current Trends in Theory and Practice of …, 2013
82013
Partial derivative and position bisimilarity automata
E Maia, N Moreira, R Reis
International Conference on Implementation and Application of Automata, 264-277, 2014
72014
Prefix and right-partial derivative automata
E Maia, N Moreira, R Reis
Conference on Computability in Europe, 258-267, 2015
62015
A mesh of automata
S Broda, M Holzer, E Maia, N Moreira, R Reis
Information and Computation 265, 94-111, 2019
42019
Incomplete transition complexity of basic operations on finite languages
E Maia, N Moreira, R Reis
International Conference on Implementation and Application of Automata, 349-356, 2013
32013
On the mother of all automata: the position automaton
S Broda, M Holzer, E Maia, N Moreira, R Reis
International Conference on Developments in Language Theory, 134-146, 2017
22017
Inferência de tipos em Python
E Maia, N Moreira, R Reis
Inference of types in Python]. University of Porto, 2010
22010
The Operational Incomplete Transition Complexity on Finite Languages
EMNMR Reis
2013
On the Incomplete Transition Complexity of some Basic Operations on Regular Languages
EMNMR Reis
2013
Implementation and Application of Automata (CIAA)
J Esparza, OH Ibarra, M De Biasi, A Yakaryılmaz, ULR by Two-Way, ...
The system can't perform the operation now. Try again later.
Articles 1–12