11
TÍTULO: Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions
AUTORES: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLICAÇÃO: 2023, FONTE: 27th International Conference of the Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2023, VOLUME: 14151
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
12
TÍTULO: Location automata for regular expressions with shuffle and intersection  Full Text
AUTORES: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLICAÇÃO: 2023, FONTE: INFORMATION AND COMPUTATION, VOLUME: 295
INDEXADO EM: Scopus WOS CrossRef: 5
13
TÍTULO: Location automata for regular expressions with shuffle and intersection PDF
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2023, FONTE: Inf. Comput., VOLUME: 295, NÚMERO: Part B
INDEXADO EM: DBLP arXiv
14
TÍTULO: Location automata for synchronised shuffle expressions
AUTORES: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 132
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Unpaywall
15
TÍTULO: On the average complexity of partial derivative transducers *,**,***  Full Text
AUTORES: Konstantinidis, Stavros; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLICAÇÃO: 2023, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 956
INDEXADO EM: Scopus WOS DBLP CrossRef
16
TÍTULO: Approximate NFA Universality and Related Problems Motivated by Information Theory
AUTORES: Stavros Konstantinidis; Mitja Mastnak; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2202.01594
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
17
TÍTULO: Approximate NFA Universality Motivated by Information Theory
AUTORES: Konstantinidis, Stavros; Mastnak, Mitja; Moreira, Nelma ; Reis, Rogerio ;
PUBLICAÇÃO: 2022, FONTE: 24th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2022, VOLUME: 13439
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
18
TÍTULO: Manipulation of Regular Expressions Using Derivatives: An Overview
AUTORES: Moreira, Nelma ; Reis, Rogerio ;
PUBLICAÇÃO: 2022, FONTE: 26th International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2022), VOLUME: 13266
INDEXADO EM: Scopus WOS DBLP CrossRef
19
TÍTULO: Alternation in two-way finite automata  Full Text
AUTORES: Konstantinidis, S; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2021, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 870
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
Página 2 de 14. Total de resultados: 132.