Browsing by Author Nelma Moreira

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 24  next >
Issue DateTitleAuthor(s)Type
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
2015Deciding Kleene algebra terms equivalence in CoqNelma Moreira; David Pereira; Simao Melo de SousaArtigo em Revista Científica Internacional
2015Deciding synchronous Kleene algebra with derivativesSabine Broda; Sílvia Cavadas; Miguel Ferreira; Nelma MoreiraArtigo em Livro de Atas de Conferência Internacional
2016Formalization of the Pumping Lemma for Context-Free LanguagesMarcus Vinícius Midena Ramos; Ruy de G B d Queiroz; Nelma Moreira; José Carlos Bacelar AlmeidaArtigo em Revista Científica Internacional
2016Generating error control codes with automata and transducersKonstantinidis, S; 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
2016Implementation of Code Properties via TransducersKonstantinidis, S; Meijer, C; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Internacional
2015Incomplete operational transition complexity of regular languagesEva Maia; Nelma Moreira; Rogerio ReisArtigo em Revista Científica Internacional
2010Incremental DFA Minimisation.Marco Almeida; Nelma Moreira; Rogério 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
2010On the Average Number of States of Partial Derivative AutomataBroda, S; António Machiavelo; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Internacional
2010On the average size of pd automata: an analytic combinatorics approachSabine Broda; António Machiavelo; Nelma Moreira; Rogério ReisRelatório Técnico
2016On the dissimilarity operation on finite languagesCâmpeanu, C; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Internacional
2016On the State Complexity of Partial Derivative Automata For Regular Expressions with IntersectionBastos, R; Broda, S; Machiavelo, A; 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
2010Partial Derivative Automata Formalized in Coq.José Bacelar Almeida; Nelma Moreira; David Pereira; Simão Melo de SousaArtigo em Livro de Atas de Conferência 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
2016Position Automaton Construction for Regular Expressions with IntersectionBroda, S; Machiavelo, A; 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
2010Small nfas from regular expressions: Some experimental resultsHugo Gouveia; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Internacional