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
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:
Sort by:
Title
Issue date
Author
Submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 20 of 22
next >
Issue Date
Title
Author(s)
Type
2010
A tool for automatic model extraction of Ada/SPARK programs
André Carvalho
;
Nuno Silva
;
Simão Melo de Sousa
;
Nelma Moreira
Capítulo ou Parte de Relatório
2015
Deciding Kleene algebra terms equivalence in Coq
Nelma Moreira
;
David Pereira
;
Simao Melo de Sousa
Artigo em Revista Científica 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
2016
Formalization of the Pumping Lemma for Context-Free Languages
Marcus VinÃcius Midena Ramos
;
Ruy de G B d Queiroz
;
Nelma Moreira
;
JosÃ(c) Carlos Bacelar Almeida
Artigo em Revista Científica Internacional
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
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
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
Incomplete operational transition complexity of regular languages
Eva Maia
;
Nelma Moreira
;
Rogerio Reis
Artigo em Revista Científica Internacional
2010
Inferência de tipos em Python
Eva Maia
;
Nelma Moreira
;
Rogério Reis
Artigo em Livro de Atas de Conferência Nacional
2010
On the Average Number of States of Partial Derivative Automata
Broda, S
;
António Machiavelo
;
Nelma Moreira
;
Rogério Reis
Artigo em Livro de Atas de Conferência Internacional
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
On the dissimilarity operation on finite languages
Câmpeanu, C
;
Nelma Moreira
;
Rogério Reis
Artigo em Livro de Atas de Conferência Internacional
2016
On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection
Bastos, R
;
Broda, S
;
António Machiavelo
;
Nelma Moreira
;
Rogério Reis
Artigo em Livro de Atas de Conferência 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
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
2016
Position Automaton Construction for Regular Expressions with Intersection
Broda, S
;
António Machiavelo
;
Nelma Moreira
;
Rogério Reis
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
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
State Elimination Ordering Strategies: Some Experimental Results
Nelma Moreira
;
Nabais, D
;
Rogério Reis
Artigo em Livro de Atas de Conferência Internacional
2010
Testing equivalence of regular languages
Marco Almeida
;
Nelma Moreira
;
Rogério Reis
Artigo em Revista Científica Internacional