Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Nelma Resende Araujo Moreira
AuthID:
R-000-DGK
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (59)
Article (43)
Editorial Material (8)
Proceedings (8)
Unpublished (8)
Book Chapter (2)
Note (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
-
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:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Confirmed Publications: 129
1
TITLE:
25th International Conference on Developments in Language Theory (DLT 2021): Preface
AUTHORS:
Moreira, Nelma
;
Reis, Rogerio
;
PUBLISHED:
2023
,
SOURCE:
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE,
VOLUME:
34,
ISSUE:
2&3
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
Unpaywall
IN MY:
ORCID
|
DBLP
2
TITLE:
Approximate NFA universality and related problems motivated by information theory
AUTHORS:
Stavros Konstantinidis
; Mitja Mastnak;
Nelma Moreira
; Rogério Reis;
PUBLISHED:
2023
,
SOURCE:
Theor. Comput. Sci.,
VOLUME:
972
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
3
TITLE:
Approximate NFA universality and related problems motivated by information theory & nbsp;
Full Text
AUTHORS:
Konstantinidis, Stavros
; Mastnak, Mitja;
Moreira, Nelma
;
Reis, Rogerio
;
PUBLISHED:
2023
,
SOURCE:
THEORETICAL COMPUTER SCIENCE,
VOLUME:
972
INDEXED IN:
Scopus
WOS
CrossRef
Unpaywall
IN MY:
ORCID
4
TITLE:
Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions
AUTHORS:
Sabine Broda
;
António Machiavelo
;
Nelma Moreira
;
Rogério Reis
;
PUBLISHED:
2023
,
SOURCE:
Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings,
VOLUME:
14151
INDEXED IN:
DBLP
CrossRef
IN MY:
ORCID
5
TITLE:
Location automata for synchronised shuffle expressions
AUTHORS:
Broda, Sabine
;
Machiavelo, Antonio
;
Moreira, Nelma
;
Reis, Rogerio
;
PUBLISHED:
2023
,
SOURCE:
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,
VOLUME:
132
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
Unpaywall
IN MY:
ORCID
|
DBLP
6
TITLE:
On the average complexity of partial derivative transducers *,**,***
Full Text
AUTHORS:
Konstantinidis, Stavros
;
Machiavelo, Antonio
;
Moreira, Nelma
;
Reis, Rogerio
;
PUBLISHED:
2023
,
SOURCE:
THEORETICAL COMPUTER SCIENCE,
VOLUME:
956
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
7
TITLE:
Approximate NFA Universality and Related Problems Motivated by Information Theory
AUTHORS:
Stavros Konstantinidis
; Mitja Mastnak;
Nelma Moreira
;
Rogério Reis
;
PUBLISHED:
2022
,
SOURCE:
CoRR,
VOLUME:
abs/2202.01594
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
8
TITLE:
Approximate NFA Universality Motivated by Information Theory
AUTHORS:
Konstantinidis, Stavros
; Mastnak, Mitja;
Moreira, Nelma
;
Reis, Rogerio
;
PUBLISHED:
2022
,
SOURCE:
24th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS)
in
DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2022,
VOLUME:
13439
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
9
TITLE:
Location automata for regular expressions with shuffle and intersection
Full Text
AUTHORS:
Sabine Broda
;
António Machiavelo
;
Nelma Moreira
;
Rogério Reis
;
PUBLISHED:
2022
,
SOURCE:
Information and Computation
INDEXED IN:
Scopus
CrossRef
:
1
IN MY:
ORCID
10
TITLE:
Manipulation of Regular Expressions Using Derivatives: An Overview
AUTHORS:
Moreira, Nelma
;
Reis, Rogerio
;
PUBLISHED:
2022
,
SOURCE:
26th International Conference on Implementation and Application of Automata (CIAA)
in
IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2022),
VOLUME:
13266
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
Add to Marked List
Check All
Export All
BibTex
EndNote
CSV
RIS
ISI
APA
Print All
PDF
HTML
Page 1 of 13. Total results: 129.
<<
<
1
2
3
4
5
6
7
8
9
>
>>
© 2023 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service