Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Moreira, Nelma
27  Ergebnisse:
Artikel (Online) X
Personensuche X
?
1

On the average complexity of partial derivative transducers:

Konstantinidis, Stavros ; Machiavelo, António ; Moreira, Nelma.
Theoretical Computer Science.  956 (2023)  - p. 113830 , 2023
Link: https://doi.org/10.1016/..
 
?
2

Approximate NFA universality and related problems motivated..:

Konstantinidis, Stavros ; Mastnak, Mitja ; Moreira, Nelma.
Theoretical Computer Science.  972 (2023)  - p. 114076 , 2023
Link: https://doi.org/10.1016/..
 
?
3

Location automata for regular expressions with shuffle and ..:

Broda, Sabine ; Machiavelo, António ; Moreira, Nelma.
Information and Computation.  295 (2023)  - p. 104917 , 2023
Link: https://doi.org/10.1016/..
 
?
4

Location automata for synchronised shuffle expressions:

Broda, Sabine ; Machiavelo, António ; Moreira, Nelma.
Journal of Logical and Algebraic Methods in Programming.  132 (2023)  - p. 100847 , 2023
Link: https://doi.org/10.1016/..
 
?
5

On the size of partial derivatives and the word membership ..:

Konstantinidis, Stavros ; Machiavelo, António ; Moreira, Nelma.
Acta Informatica.  58 (2021)  4 - p. 357-375 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Partial derivatives of regular expressions over alphabet-in..:

Konstantinidis, Stavros ; Moreira, Nelma ; Reis, Rogério
Theoretical Computer Science.  870 (2021)  - p. 103-120 , 2021
Link: https://doi.org/10.1016/..
 
?
7

Guest Column: Analytic Combinatorics and Descriptional Comp..:

Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma.
ACM SIGACT News.  51 (2020)  1 - p. 38-56 , 2020
Link: https://doi.org/10.1145/..
 
?
8

The computational power of parsing expression grammars:

Loff, Bruno ; Moreira, Nelma ; Reis, Rogério
Journal of Computer and System Sciences.  111 (2020)  - p. 1-21 , 2020
Link: https://doi.org/10.1016/..
 
?
9

Guest Column : Analytic Combinatorics and Descriptional ..:

Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma.
ACM SIGACT News.  51 (2020)  1 - p. 38-56 , 2020
Link: https://dl.acm.org/doi/1..
 
?
10

A mesh of automata:

Broda, Sabine ; Holzer, Markus ; Maia, Eva..
Information and Computation.  265 (2019)  - p. 94-111 , 2019
Link: https://doi.org/10.1016/..
 
?
11

Some Applications of the Formalization of the Pumping Lemma..:

Ramos, Marcus V.M. ; Bacelar Almeida, José Carlos ; Moreira, Nelma.
Electronic Notes in Theoretical Computer Science.  344 (2019)  - p. 151-167 , 2019
Link: https://doi.org/10.1016/..
 
?
12

Automata for regular expressions with shuffle:

Broda, Sabine ; Machiavelo, António ; Moreira, Nelma.
Information and Computation.  259 (2018)  - p. 162-173 , 2018
Link: https://doi.org/10.1016/..
 
?
13

Optimal state reductions of automata with partially specifi..:

Moreira, Nelma ; Pighizzini, Giovanni ; Reis, Rogério
Theoretical Computer Science.  658 (2017)  - p. 235-245 , 2017
Link: https://doi.org/10.1016/..
 
?
14

Incomplete operational transition complexity of regular lan..:

Maia, Eva ; Moreira, Nelma ; Reis, Rogério
Information and Computation.  244 (2015)  - p. 1-22 , 2015
Link: https://doi.org/10.1016/..
 
?
15

Deciding Kleene algebra terms equivalence in Coq:

Moreira, Nelma ; Pereira, David ; Melo de Sousa, Simão
Journal of Logical and Algebraic Methods in Programming.  84 (2015)  3 - p. 377-401 , 2015
Link: https://doi.org/10.1016/..
 
1-15