Skip navigation
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Document Type
Access types
Scientific areas
Scientific areas (cloud format)
Help
Idioma
English
português
Repositório Aberto da Universidade do Porto
Search
Search:
All of DSpace
FCUP - Faculdade de Ciências
FCUP - Artigo em Livro de Atas de Conferência Internacional
FCUP - Artigo em Livro de Atas de Conferência Nacional
FCUP - Artigo em Outras Revistas
FCUP - Artigo em Revista Científica Internacional
FCUP - Artigo em Revista Científica Nacional
FCUP - Capítulo ou Parte de Catálogo
FCUP - Capítulo ou Parte de Livro
FCUP - Capítulo ou Parte de Relatório
FCUP - Catálogo
FCUP - Dissertação
FCUP - Livro
FCUP - Livro de Atas de Conferência Internacional
FCUP - Livro de Atas de Conferência Nacional
FCUP - Outra Publicação em Livro
FCUP - Outra Publicação em Revista Científica Internacional
FCUP - Outra Publicação em Revista Científica Nacional
FCUP - Outras Publicações
FCUP - Patente
FCUP - Poster em Conferência Internacional
FCUP - Poster em Conferência Nacional
FCUP - Publicação Didática
FCUP - Relatório de Estágio
FCUP - Relatório de Projeto
FCUP - Relatório Técnico
FCUP - Resumo de Comunicação em Conferência Internacional
FCUP - Resumo de Comunicação em Conferência Nacional
FCUP - Tese
FCUP - Tese de Licenciatura
FCUP - Trabalho Académico
for
Current filters:
Title
Author
Subject
Date Issued
Document Type
Access types
Scientific areas
identifier
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Document Type
Access types
Scientific areas
identifier
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Document Type
Access types
Scientific areas
identifier
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Document Type
Access types
Scientific areas
identifier
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-7 of 7 (Search time: 0.057 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
Type
2015
Incomplete operational transition complexity of regular languages
Eva Maia
;
Nelma Moreira
;
Rogerio Reis
Artigo em Revista Científica Internacional
2015
Optimal State Reductions of Automata with Partially Specified Behaviors
Nelma Moreira
;
Giovanni Pighizzini
;
Rogerio Reis
Artigo em Livro de Atas de Conferência Internacional
2015
Deciding Kleene algebra terms equivalence in Coq
Nelma Moreira
;
David Pereira
;
Simao Melo de Sousa
Artigo em Revista Científica Internacional
2015
Partial Derivative Automaton for Regular Expressions with Shuffle
Sabine Broda
;
António Machiavelo
;
Nelma Moreira
;
RogÃ(c)rio Reis
Artigo em Livro de Atas de Conferência Internacional
2015
Deciding synchronous Kleene algebra with derivatives
Sabine Broda
;
SÃlvia Cavadas
;
Miguel Ferreira
;
Nelma Moreira
Artigo em Livro de Atas de Conferência Internacional
2015
Prefix and Right-Partial Derivative Automata
Eva Maia
;
Nelma Moreira
;
Rogerio Reis
Artigo em Livro de Atas de Conferência Internacional
2015
Universal Disjunctive Concatenation and Star
Nelma Moreira
;
Giovanni Pighizzini
;
RogÃ(c)rio Reis
Artigo em Livro de Atas de Conferência Internacional
Discover
Author
3
Rogerio Reis
2
Eva Maia
2
Giovanni Pighizzini
2
RogÃ(c)rio Reis
2
Sabine Broda
.
next >
Subject
4
Ciências da computação e da infor...
4
Computer and information sciences
Document Type
5
Artigo em Livro de Atas de Confer...
2
Artigo em Revista Científica Inte...