Travelled to:
1 × Australia
1 × Canada
1 × USA
Collaborated with:
N.Moreira R.Reis A.Almeida J.Alves
Talks about:
antimirov (2) revisit (2) system (2) rewrit (2) moss (2) increment (1) minimis (1) itar (1) dfa (1) ado (1)
Person: Marco Almeida
DBLP: Almeida:Marco
Contributed to:
Wrote 4 papers:
- CIAA-2010-AlmeidaMR #automaton #incremental
- Incremental DFA Minimisation (MA, NM, RR), pp. 39–48.
- CIAA-2009-AlmeidaAAMR
- FAdo and GUItar (AA, MA, JA, NM, RR), pp. 65–74.
- CIAA-2008-AlmeidaMR #revisited #term rewriting
- Antimirov and Mosses’s Rewrite System Revisited (MA, NM, RR), pp. 46–56.
- CIAA-J-2008-AlmeidaMR09 #revisited #term rewriting
- Antimirov and Mosses’s Rewrite System Revisited (MA, NM, RR), pp. 669–684.