Travelled to:
1 × Australia
1 × Denmark
1 × France
1 × Germany
1 × Italy
1 × Portugal
1 × USA
3 × Canada
Collaborated with:
N.Moreira A.Machiavelo M.Almeida S.Broda E.Maia I.Amorim J.J.Morais J.Bell J.A.Brzozowski A.Almeida J.Alves
Talks about:
automata (6) partial (5) deriv (5) complex (4) averag (4) antimirov (2) glushkov (2) transit (2) revisit (2) regular (2)
Person: Rogério Reis
DBLP: Reis:Rog=eacute=rio
Facilitated 2 volumes:
Contributed to:
Wrote 14 papers:
- CIAA-2014-AmorimMR #canonical #finite #linear #transducer #using
- Counting Equivalent Linear Finite Transducers Using a Canonical Form (IA, AM, RR), pp. 70–83.
- CIAA-2014-MaiaMR #automaton #similarity
- Partial Derivative and Position Bisimilarity Automata (EM, NM, RR), pp. 264–277.
- ICALP-v2-2014-BellBMR #complexity #symmetry
- Symmetric Groups and Quotient Complexity of Boolean Operations (JB, JAB, NM, RR), pp. 1–12.
- CIAA-2013-MaiaMR #complexity #finite
- Incomplete Transition Complexity of Basic Operations on Finite Languages (EM, NM, RR), pp. 349–356.
- DLT-2011-BrodaMMR #automaton #complexity
- The Average Transition Complexity of Glushkov and Partial Derivative Automata (SB, AM, NM, RR), pp. 93–104.
- DLT-J-2011-BrodaMMR12 #automaton #on the
- On the Average Size of Glushkov and Partial derivative Automata (SB, AM, NM, RR), pp. 969–984.
- CIAA-2010-AlmeidaMR #automaton #incremental
- Incremental DFA Minimisation (MA, NM, RR), pp. 39–48.
- DLT-2010-BrodaMMR #automaton #on the
- On the Average Number of States of Partial Derivative Automata (SB, AM, NM, RR), pp. 112–123.
- DLT-J-2010-BrodaMMR11 #approach #automaton #combinator #complexity #on the
- On the Average State Complexity of Partial derivative Automata: an analytic Combinatorics Approach (SB, AM, NM, RR), pp. 1593–1606.
- 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.
- CIAA-2005-MoraisMR #automaton #regular expression
- Acyclic Automata with Easy-to-Find Short Regular Expressions (JJM, NM, RR), pp. 349–350.
- ITiCSE-2005-MoreiraR #interactive
- Interactive manipulation of regular objects with FAdo (NM, RR), pp. 335–339.