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 Araújo Moreira
AuthID:
R-000-DGK
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (54)
Article (36)
Proceedings (7)
Unpublished (7)
Editorial Material (5)
Book Chapter (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
-
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
Publicações Confirmadas: 110
1
TÍTULO:
Location Based Automata for Expressions with Shuffle
AUTORES:
Sabine Broda
;
António Machiavelo
;
Nelma Moreira
;
Rogério Reis
;
FONTE:
Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings,
VOLUME:
12638,
PUBLICAÇÃO:
2021
INDEXADO EM:
DBLP
CrossRef
NO MEU:
DBLP
2
TÍTULO:
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
AUTORES:
Emil Sekerinski
;
Nelma Moreira
;
José N Oliveira
; Daniel Ratiu; Riccardo Guidotti; Marie Farrell;
Matt Luckcuck
;
Diego Marmsoler
; José Campos; Troy Astarte;
Laure Gonnord
; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
FONTE:
FM Workshops (1),
VOLUME:
12232,
PUBLICAÇÃO:
2020
INDEXADO EM:
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
3
TÍTULO:
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
AUTORES:
Emil Sekerinski
;
Nelma Moreira
;
José N Oliveira
; Daniel Ratiu; Riccardo Guidotti; Marie Farrell;
Matt Luckcuck
;
Diego Marmsoler
; José Campos; Troy Astarte;
Laure Gonnord
; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
FONTE:
FM Workshops (2),
VOLUME:
12233,
PUBLICAÇÃO:
2020
INDEXADO EM:
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
4
TÍTULO:
Guest Column: Analytic Combinatorics and Descriptional Complexity of Regular Languages on Average
Full Text
AUTORES:
Sabine Broda
;
António Machiavelo
;
Nelma Moreira
;
Rogério Reis
;
FONTE:
SIGACT News,
VOLUME:
51,
NÚMERO:
1,
PUBLICAÇÃO:
2020
INDEXADO EM:
DBLP
NO MEU:
ORCID
|
DBLP
5
TÍTULO:
On the Average State Complexity of Partial Derivative Transducers
AUTORES:
Stavros Konstantinidis
;
António Machiavelo
;
Nelma Moreira
;
Rogério Reis
;
FONTE:
46th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2020
in
SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings,
VOLUME:
12011,
PUBLICAÇÃO:
2020
INDEXADO EM:
Scopus
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
6
TÍTULO:
Partial derivatives of regular expressions over alphabet-invariant and user-defined labels
Full Text
AUTORES:
Konstantinidis, S
;
Nelma Moreira
;
Reis, R
;
FONTE:
Theoretical Computer Science,
PUBLICAÇÃO:
2020
INDEXADO EM:
Scopus
CrossRef
NO MEU:
ORCID
7
TÍTULO:
Regular Expressions and Transducers Over Alphabet-Invariant and User-Defined Labels
AUTORES:
Konstantinidis, S
;
Nelma Moreira
;
Reis, R
; Young, J;
FONTE:
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE,
VOLUME:
31,
NÚMERO:
8,
PUBLICAÇÃO:
2020
INDEXADO EM:
Scopus
WOS
CrossRef
:
1
NO MEU:
ORCID
8
TÍTULO:
The computational power of parsing expression grammars
AUTORES:
Bruno Loff
;
Nelma Moreira
;
Rogerio Reis
;
FONTE:
JOURNAL OF COMPUTER AND SYSTEM SCIENCES,
VOLUME:
111,
PUBLICAÇÃO:
2020
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
9
TÍTULO:
A mesh of automata
AUTORES:
Sabine Broda
; Markus Holzer;
Eva Maia
;
Nelma Moreira
;
Rogerio Reis
;
FONTE:
INFORMATION AND COMPUTATION,
VOLUME:
265,
PUBLICAÇÃO:
2019
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
2
NO MEU:
ORCID
|
DBLP
10
TÍTULO:
On Average Behaviour of Regular Expressions in Strong Star Normal Form
Full Text
AUTORES:
Sabine Broda
;
Antonio Machiavelo
;
Nelma Moreira
;
Rogerio Reis
;
FONTE:
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE,
VOLUME:
30,
NÚMERO:
6-7,
PUBLICAÇÃO:
2019
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
1
NO MEU:
ORCID
|
DBLP
Adicionar à lista
Marked
Marcar Todas
Exportar Todas
BibTex
EndNote
CSV
RIS
ISI
APA
Imprimir todas
PDF
HTML
Página 1 de 11. Total de resultados: 110.
<<
<
1
2
3
4
5
6
7
8
9
>
>>
© 2021 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service