Nelma Moreira

Algebra
Computational Mathematics
Semigroups, Automata and Languages

Faculdade de Ciências da Universidade do Porto

.
ORCID CiênciaID Scopus GScholar Mr. Author ID Authenticus ID

Publications

Add new publicationAdd Preprint

2019

Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

Locators: DOI

MVM Ramos

JCB Bacelar Almeida

RJGB De Queiroz

2018

Automata for regular expressions with shuffle

Information and Computation

Locators: DOI

Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs

DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018

Locators: DOI

M Ferreira

Position automata for semi-extended expressions

Journal of Automata, Languages and Combinatorics

RANDOMIZED GENERATION OF ERROR CONTROL CODES WITH AUTOMATA AND TRANSDUCERS

RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS

Locators: DOI

S Konstantinidis

Regular Expressions and Transducers over Alphabet-Invariant and User-Defined Labels

IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2018

Locators: DOI

S Konstantinidis

J Young

Symbolic Manipulation of Code Properties

Journal of Automata, Languages and Combinatorics

S Konstantinidis

C Meijer

The Computational Power of Parsing Expression Grammars

Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

Locators: DOI

B Loff

2017

A Survey on Operational State Complexity

Journal of Automata, Languages and Combinatorics

Yuan Gao

Sheng Yu

On the Average Complexity of Partial Derivative Automata for Semi-extended Expressions

Journal of Automata, Languages and Combinatorics

R Bastos

A Machiavelo

On the Average Complexity of Strong Star Normal Form

DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2017

Locators: DOI

S Broda

A Machiavelo

On the Mother of All Automata: The Position Automaton

DEVELOPMENTS IN LANGUAGE THEORY, DLT 2017

Locators: DOI

S Broda

M Holzer

E Maia

The Role of Theory in Computer Science - Essays Dedicated to Janusz Brzozowski

Stavros Konstantinidis

Jeffrey Shallit

2016

Automata serialization for manipulation and drawing

OpenAccess Series in Informatics

Locators: DOI

M. Ferreira

Channels with Synchronization/Substitution Errors and Computation of Error Control Codes

CoRR

S Konstantinidis

Distinguishability Operations and Closures

FUNDAMENTA INFORMATICAE

Locators: DOI

C Campeanu

Formalization of the pumping lemma for context-free languages

Journal of Formalized Reasoning

M.V.M. Ramos

R.J.G.B. De Queiroz

J.C.B. Almeida

Generating error control codes with automata and transducers

Eighth Workshop on Non-Classical Models of Automata and Applications, NCMA 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings

S Konstantinidis

Implementation of Code Properties via Transducers

Implementation and Application of Automata

Locators: DOI

S Konstantinidis

C Meijer

On the dissimilarity operation on finite languages

Eighth Workshop on Non-Classical Models of Automata and Applications, NCMA 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings

C Câmpeanu