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
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-10 of 22 (Search time: 0.029 seconds).
previous
1
2
3
next
Item hits:
Issue Date
Title
Author(s)
Type
2010
Testing equivalence of regular languages
Marco Almeida
;
Nelma Moreira
;
Rogério Reis
Artigo em Revista Científica Internacional
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
2016
Implementation of Code Properties via Transducers
Konstantinidis, S
;
Meijer, C
;
Nelma Moreira
;
Rogério 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
2010
Small nfas from regular expressions: Some experimental results
Hugo Gouveia
;
Nelma Moreira
;
Rogério Reis
Artigo em Livro de Atas de Conferência Internacional
2010
GUItar and FAgoo: Graphical interface for automata visualization, editing, and interaction
André Almeida
;
Nelma Moreira
;
Rogério Reis
Artigo em Livro de Atas de Conferência Nacional
2010
On the average size of pd automata: an analytic combinatorics approach
Sabine Broda
;
António Machiavelo
;
Nelma Moreira
;
Rogério Reis
Relatório Técnico
2016
Generating error control codes with automata and transducers
Konstantinidis, S
;
Nelma Moreira
;
Rogério Reis
Artigo em Livro de Atas de Conferência Internacional
Discover
Author
13
Rogério Reis
4
António Machiavelo
3
Broda, S
3
Eva Maia
3
Rogerio Reis
.
next >
Subject
12
Ciência de computadores, Ciências...
12
Computer science, Computer and in...
4
Ciências da computação e da infor...
4
Computer and information sciences
Document Type
13
Artigo em Livro de Atas de Confer...
4
Artigo em Revista Científica Inte...
3
Artigo em Livro de Atas de Confer...
1
Capítulo ou Parte de Relatório
1
Relatório Técnico
.
next >
Date issued
6
2016
7
2015
9
2010