Stavros Konstantinidis
AuthID: R-006-FKP
1
TÃTULO: On the difference set of two transductions Full Text
AUTORES: Konstantinidis, Stavros; Moreira, Nelma ; Reis, Rogerio ; Sebej, Juraj;
PUBLICAÇÃO: 2024, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1016
AUTORES: Konstantinidis, Stavros; Moreira, Nelma ; Reis, Rogerio ; Sebej, Juraj;
PUBLICAÇÃO: 2024, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1016
INDEXADO EM: 
WOS 
DBLP
WOS DBLP2
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
AUTORES: Konstantinidis, Stavros; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLICAÇÃO: 2023, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 956
3
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
AUTORES: Stavros Konstantinidis; Mitja Mastnak; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2202.01594
INDEXADO EM: DBLP
DBLP4
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
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
5
TÃTULO: On the size of partial derivatives and the word membership problem Full Text
AUTORES: Konstantinidis, S; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2021, FONTE: ACTA INFORMATICA, VOLUME: 58, NÚMERO: 4
AUTORES: Konstantinidis, S; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2021, FONTE: ACTA INFORMATICA, VOLUME: 58, NÚMERO: 4
6
TÃTULO: Partial Derivative Automaton by Compressing Regular Expressions
AUTORES: Konstantinidis, Stavros; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLICAÇÃO: 2021, FONTE: 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021, VOLUME: 13037
AUTORES: Konstantinidis, Stavros; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLICAÇÃO: 2021, FONTE: 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021, VOLUME: 13037
7
TÃTULO: Regular Expressions and Transducers Over Alphabet-Invariant and User-Defined Labels Full Text
AUTORES: Konstantinidis, S; Moreira, N ; Reis, R ; Young, J;
PUBLICAÇÃO: 2020, FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 31, NÚMERO: 8
AUTORES: Konstantinidis, S; Moreira, N ; Reis, R ; Young, J;
PUBLICAÇÃO: 2020, FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 31, NÚMERO: 8
8
TÃTULO: On the Average State Complexity of Partial Derivative Transducers
AUTORES: Konstantinidis, S; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2020, FONTE: 46th International Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) in SOFSEM 2020: THEORY AND PRACTICE OF COMPUTER SCIENCE, VOLUME: 12011
AUTORES: Konstantinidis, S; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2020, FONTE: 46th International Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) in SOFSEM 2020: THEORY AND PRACTICE OF COMPUTER SCIENCE, VOLUME: 12011
9
TÃTULO: Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels
AUTORES: Stavros Konstantinidis; Nelma Moreira ; João Pires; Rogério Reis ;
PUBLICAÇÃO: 2019, FONTE: 24th International Conference on Implementation and Application of Automata, CIAA 2019 in Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, VOLUME: 11601
AUTORES: Stavros Konstantinidis; Nelma Moreira ; João Pires; Rogério Reis ;
PUBLICAÇÃO: 2019, FONTE: 24th International Conference on Implementation and Application of Automata, CIAA 2019 in Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, VOLUME: 11601
10
TÃTULO: Symbolic Manipulation of Code Properties
AUTORES: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2018, FONTE: Journal of Automata, Languages and Combinatorics, VOLUME: 23, NÚMERO: 1-3
AUTORES: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2018, FONTE: Journal of Automata, Languages and Combinatorics, VOLUME: 23, NÚMERO: 1-3
INDEXADO EM: 
Scopus DBLP
Scopus DBLP