1. Repositório Aberto da Universidade do Porto

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 22 (Search time: 0.029 seconds).
Item hits:
Issue DateTitleAuthor(s)Type
2010Testing equivalence of regular languagesMarco Almeida; Nelma Moreira; Rogério ReisArtigo em Revista Científica Internacional
2015Incomplete operational transition complexity of regular languagesEva Maia; Nelma Moreira; Rogerio ReisArtigo em Revista Científica Internacional
2015Optimal State Reductions of Automata with Partially Specified BehaviorsNelma Moreira; Giovanni Pighizzini; Rogerio ReisArtigo em Livro de Atas de Conferência Internacional
2016Implementation of Code Properties via TransducersKonstantinidis, S; Meijer, C; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Internacional
2015Deciding Kleene algebra terms equivalence in CoqNelma Moreira; David Pereira; Simao Melo de SousaArtigo em Revista Científica Internacional
2015Partial Derivative Automaton for Regular Expressions with ShuffleSabine Broda; António Machiavelo; Nelma Moreira; RogÃ(c)rio ReisArtigo em Livro de Atas de Conferência Internacional
2010Small nfas from regular expressions: Some experimental resultsHugo Gouveia; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Internacional
2010GUItar and FAgoo: Graphical interface for automata visualization, editing, and interactionAndré Almeida; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Nacional
2010On the average size of pd automata: an analytic combinatorics approachSabine Broda; António Machiavelo; Nelma Moreira; Rogério ReisRelatório Técnico
2016Generating error control codes with automata and transducersKonstantinidis, S; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Internacional

Discover