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 11-20 of 22 (Search time: 0.04 seconds).
Item hits:
Issue DateTitleAuthor(s)Type
2010Inferência de tipos em PythonEva Maia; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Nacional
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
2015Deciding synchronous Kleene algebra with derivativesSabine Broda; Sílvia Cavadas; Miguel Ferreira; Nelma MoreiraArtigo em Livro de Atas de Conferência Internacional
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
2015Prefix and Right-Partial Derivative AutomataEva Maia; Nelma Moreira; Rogerio ReisArtigo em Livro de Atas de Conferência Internacional
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
2016Formalization of the Pumping Lemma for Context-Free LanguagesMarcus Vinícius Midena Ramos; Ruy de G B d Queiroz; Nelma Moreira; JosÃ(c) Carlos Bacelar AlmeidaArtigo em Revista Científica Internacional
2015Universal Disjunctive Concatenation and StarNelma Moreira; Giovanni Pighizzini; RogÃ(c)rio ReisArtigo em Livro de Atas de Conferência Internacional
2010XML description for automata manipulationsJosé Alves; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Nacional
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

Discover