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-10 of 13 (Search time: 0.036 seconds).
previous
1
2
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-08-07
Leveraging Diversity and Spatial Connectivity in Multi-hop Vehicular Networks
Rui Manuel Pacheco Meireles
Tese
2015-11-13
Tensor-based Event Detection
Hadi Fanaee Tork
Tese
2015-06-11
Improving Variable Selection and Mammography-based Machine Learning Classifiers for Breast Cancer CADx
Noel Pérez Pérez
Tese
2015-05-08
Multithreaded Tabling for Logic Programming
Miguel João Gonçalves Areias
Tese
2015-12-04
Linear Logic and Coordination for Parallel Programming
Flávio Manuel Fernandes Cruz
Tese
2015
Prefix and Right-Partial Derivative Automata
Eva Maia
;
Nelma Moreira
;
Rogerio Reis
Artigo em Livro de Atas de Conferência Internacional
2015-11-10
Real-time Motion Capture Facial Animation
Catarina Alexandre Nunes Runa Miranda
Tese
Discover
Author
4
Nelma Moreira
3
Rogerio Reis
2
Eva Maia
1
Alexander Medvedev
1
Catarina Alexandre Nunes Runa Mir...
.
next >
Subject
13
Computer and information sciences
Document Type
8
Tese
3
Artigo em Revista Científica Inte...
2
Artigo em Livro de Atas de Confer...