E-LIB Suche - Ergebnisse für: Moreira, Nelma

1

Location automata for regular expressions with shuffle and ..:

Broda, Sabine ; Machiavelo, António ; Moreira, Nelma.
Information and Computation. 295 (2023) - p. 104917 , 2023

2

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/..

3

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/..

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

Developments in Language Theory: 25th International Confere..

Theoretical Computer Science and General Issues, 12811

Moreira, Nelma ; Reis, Rogério - 1st ed. 2021 . , 2021

Link: https://doi.org/10.1007/..

7

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/..

8

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..

9

Formal Methods. FM 2019 International Workshops: Porto, Por..

Programming and Software Engineering, 12233

Sekerinski, Emil ; Moreira, Nelma ; Oliveira, José N... - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

10

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/..

11

Formal Methods. FM 2019 International Workshops: Porto, Por..

Programming and Software Engineering, 12232

Sekerinski, Emil ; Moreira, Nelma ; Oliveira, José N... - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

12

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/..

13

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/..

14

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/..

15

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/..