Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 24 (Search time: 0.002 seconds).
Item hits:
Issue DateTitleAuthor(s)Type
2016Position Automaton Construction for Regular Expressions with IntersectionBroda, S; António Machiavelo; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Internacional
2010Testing equivalence of regular languagesMarco Almeida; Nelma Moreira; Rogério ReisArtigo em Revista Científica Internacional
2015Partial Derivative Automaton for Regular Expressions with ShuffleSabine Broda; António Machiavelo; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Internacional
2015Prefix and Right-Partial Derivative AutomataEva Maia; Nelma Moreira; Rogerio ReisArtigo em Livro de Atas de Conferência Internacional
2010A tool for automatic model extraction of Ada/SPARK programsAndré Carvalho; Nuno Silva; Simão Melo de Sousa; Nelma MoreiraCapítulo ou Parte de Relatório
2015Incomplete operational transition complexity of regular languagesEva Maia; Nelma Moreira; Rogerio ReisArtigo em Revista Científica Internacional
2016On the State Complexity of Partial Derivative Automata For Regular Expressions with IntersectionBastos, R; Broda, S; António Machiavelo; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Internacional
2015Optimal State Reductions of Automata with Partially Specified BehaviorsNelma Moreira; Giovanni Pighizzini; Rogerio ReisArtigo em Livro de Atas de Conferência Internacional
2010Inferência de tipos em PythonEva Maia; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Nacional
2016Implementation of Code Properties via TransducersKonstantinidis, S; Meijer, C; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Internacional