Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Nelma Resende Araujo Moreira
AuthID:
R-000-DGK
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (60)
Article (44)
Editorial Material (8)
Proceedings (8)
Unpublished (7)
Book Chapter (2)
Note (1)
Article in Press (1)
Book (1)
Year Start - End:
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 132
31
TÃTULO:
On Average Behaviour of Regular Expressions in Strong Star Normal Form
Full Text
AUTORES:
Sabine Broda
;
Antonio Machiavelo
;
Nelma Moreira
;
Rogerio Reis
;
PUBLICAÇÃO:
2019
,
FONTE:
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE,
VOLUME:
30,
NÚMERO:
6-7
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
9
NO MEU:
ORCID
|
DBLP
|
CIÊNCIAVITAE
32
TÃTULO:
Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels
AUTORES:
Stavros Konstantinidis
;
Nelma Moreira
; João Pires;
Rogério Reis
;
PUBLICAÇÃO:
2019
,
FONTE:
24th International Conference on Implementation and Application of Automata, CIAA 2019
in
Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings,
VOLUME:
11601
INDEXADO EM:
Scopus
DBLP
CrossRef
:
1
NO MEU:
ORCID
|
DBLP
|
CIÊNCIAVITAE
33
TÃTULO:
Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages
AUTORES:
Marcus V M Ramos
;
Jose Carlos B Bacelar Almeida
;
Nelma Moreira
;
Ruy J G B de Queiroz
;
PUBLICAÇÃO:
2019
,
FONTE:
13th Workshop on Logical and Semantic Frameworks with Applications (LSFA)
in
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,
VOLUME:
344
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
|
CIÊNCIAVITAE
34
TÃTULO:
Automata for regular expressions with shuffle
Full Text
AUTORES:
Sabine Broda
;
Antonio Machiavelo
;
Nelma Moreira
;
Rogerio Reis
;
PUBLICAÇÃO:
2018
,
FONTE:
INFORMATION AND COMPUTATION,
VOLUME:
259,
NÚMERO:
Part
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
14
NO MEU:
ORCID
|
DBLP
|
CIÊNCIAVITAE
35
TÃTULO:
Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs
AUTORES:
Miguel Ferreira;
Nelma Moreira
;
Rogerio Reis
;
PUBLICAÇÃO:
2018
,
FONTE:
20th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS)
in
DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018,
VOLUME:
10952
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
2
NO MEU:
ORCID
|
DBLP
|
CIÊNCIAVITAE
36
TÃTULO:
Position Automata for Semi-extended Expressions
AUTORES:
Sabine Broda
;
António Machiavelo
;
Nelma Moreira
;
Rogério Reis
;
PUBLICAÇÃO:
2018
,
FONTE:
Journal of Automata, Languages and Combinatorics,
VOLUME:
23,
NÚMERO:
1-3
INDEXADO EM:
Scopus
DBLP
NO MEU:
ORCID
|
DBLP
|
CIÊNCIAVITAE
37
TÃTULO:
RANDOMIZED GENERATION OF ERROR CONTROL CODES WITH AUTOMATA AND TRANSDUCERS
AUTORES:
Stavros Konstantinidis
;
Nelma Moreira
;
Rogerio Reis
;
PUBLICAÇÃO:
2018
,
FONTE:
8th Workshop on Non-Classical Models of Automata and Applications (NCMA)
in
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS,
VOLUME:
52,
NÚMERO:
2-4
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
2
NO MEU:
ORCID
|
DBLP
|
CIÊNCIAVITAE
38
TÃTULO:
Regular Expressions and Transducers over Alphabet-Invariant and User-Defined Labels
AUTORES:
Stavros Konstantinidis
;
Nelma Moreira
;
Rogerio Reis
; Joshua Young;
PUBLICAÇÃO:
2018
,
FONTE:
23rd International Conference on Implementation and Application of Automata (CIAA)
in
IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2018,
VOLUME:
10977
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
3
NO MEU:
ORCID
|
DBLP
|
CIÊNCIAVITAE
39
TÃTULO:
Symbolic Manipulation of Code Properties
AUTORES:
Stavros Konstantinidis
;
Casey Meijer
;
Nelma Moreira
;
Rogério Reis
;
PUBLICAÇÃO:
2018
,
FONTE:
Journal of Automata, Languages and Combinatorics,
VOLUME:
23,
NÚMERO:
1-3
INDEXADO EM:
Scopus
DBLP
NO MEU:
ORCID
|
DBLP
|
CIÊNCIAVITAE
40
TÃTULO:
The Computational Power of Parsing Expression Grammars
AUTORES:
Bruno Loff
;
Nelma Moreira
;
Rogério Reis
;
PUBLICAÇÃO:
2018
,
FONTE:
22nd International Conference on Developments in Language Theory, DLT 2018
in
Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings,
VOLUME:
11088
INDEXADO EM:
Scopus
DBLP
CrossRef
:
3
NO MEU:
ORCID
|
DBLP
|
CIÊNCIAVITAE
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 4 de 14. Total de resultados: 132.
<<
<
1
2
3
4
5
6
7
8
9
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2024 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service