Travelled to:1 × Canada
1 × Germany
Collaborated with:N.Moreira R.Reis
Talks about:incomplet (1) bisimilar (1) automata (1) transit (1) partial (1) languag (1) complex (1) posit (1) finit (1) deriv (1)
Person: Eva Maia
DBLP: Maia:Eva
Contributed to:
20142013Wrote 2 papers:
- CIAA-2014-MaiaMR #automaton #similarity
- Partial Derivative and Position Bisimilarity Automata (EM, NM, RR), pp. 264–277.
- CIAA-2013-MaiaMR #complexity #finite
- Incomplete Transition Complexity of Basic Operations on Finite Languages (EM, NM, RR), pp. 349–356.