Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Moreira, Nelma
27
Ergebnisse:
Artikel (Online) X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
1
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/..
?
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
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 ..:
Broda, Sabine
;
Machiavelo, Antonio
;
Moreira, Nelma
.
ACM SIGACT News. 51 (2020) 1 - p. 38-56 , 2020
Link:
https://dl.acm.org/doi/1..
?
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 Comp..:
Broda, Sabine
;
Machiavelo, Antonio
;
Moreira, Nelma
.
ACM SIGACT News. 51 (2020) 1 - p. 38-56 , 2020
Link:
https://doi.org/10.1145/..
?
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