Stavros Konstantinidis
AuthID: R-006-FKP
1
TITLE: On the difference set of two transductions Full Text
AUTHORS: Konstantinidis, Stavros; Moreira, Nelma ; Reis, Rogerio ; Sebej, Juraj;
PUBLISHED: 2024, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1016
AUTHORS: Konstantinidis, Stavros; Moreira, Nelma ; Reis, Rogerio ; Sebej, Juraj;
PUBLISHED: 2024, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1016
INDEXED IN: 
WOS 
DBLP
WOS DBLP2
TITLE: On the average complexity of partial derivative transducers *,**,*** Full Text
AUTHORS: Konstantinidis, Stavros; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 956
AUTHORS: Konstantinidis, Stavros; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 956
3
TITLE: Approximate NFA Universality and Related Problems Motivated by Information Theory
AUTHORS: Stavros Konstantinidis; Mitja Mastnak; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2202.01594
AUTHORS: Stavros Konstantinidis; Mitja Mastnak; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2202.01594
INDEXED IN: DBLP
DBLP4
TITLE: Approximate NFA Universality Motivated by Information Theory
AUTHORS: Konstantinidis, Stavros; Mastnak, Mitja; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2022, SOURCE: 24th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2022, VOLUME: 13439
AUTHORS: Konstantinidis, Stavros; Mastnak, Mitja; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2022, SOURCE: 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
TITLE: Partial derivatives of regular expressions over alphabet-invariant and user-defined labels Full Text
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2021, SOURCE: Theor. Comput. Sci., VOLUME: 870
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2021, SOURCE: Theor. Comput. Sci., VOLUME: 870
6
TITLE: Alternation in two-way finite automata Full Text
AUTHORS: Konstantinidis, S; Moreira, N; Reis, R ;
PUBLISHED: 2021, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 870
AUTHORS: Konstantinidis, S; Moreira, N; Reis, R ;
PUBLISHED: 2021, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 870
INDEXED IN: WOS
WOS7
TITLE: On the size of partial derivatives and the word membership problem Full Text
AUTHORS: Konstantinidis, S; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2021, SOURCE: ACTA INFORMATICA, VOLUME: 58, ISSUE: 4
AUTHORS: Konstantinidis, S; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2021, SOURCE: ACTA INFORMATICA, VOLUME: 58, ISSUE: 4
8
TITLE: Partial Derivative Automaton by Compressing Regular Expressions
AUTHORS: Konstantinidis, Stavros; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2021, SOURCE: 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021, VOLUME: 13037
AUTHORS: Konstantinidis, Stavros; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2021, SOURCE: 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021, VOLUME: 13037
9
TITLE: Regular Expressions and Transducers Over Alphabet-Invariant and User-Defined Labels Full Text
AUTHORS: Konstantinidis, S; Moreira, N ; Reis, R ; Young, J;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 31, ISSUE: 8
AUTHORS: Konstantinidis, S; Moreira, N ; Reis, R ; Young, J;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 31, ISSUE: 8
10
TITLE: On the Average State Complexity of Partial Derivative Transducers
AUTHORS: Konstantinidis, S; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2020, SOURCE: 46th International Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) in SOFSEM 2020: THEORY AND PRACTICE OF COMPUTER SCIENCE, VOLUME: 12011
AUTHORS: Konstantinidis, S; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2020, SOURCE: 46th International Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) in SOFSEM 2020: THEORY AND PRACTICE OF COMPUTER SCIENCE, VOLUME: 12011
