E-LIB Suche - Ergebnisse für: Konstantinidis, Stavros

1

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/..

2

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/..

3

Descriptional Complexity of Formal Systems (DCFS 2019):

Jirásková, Galina ; Konstantinidis, Stavros
Information and Computation. 284 (2022) - p. 104686 , 2022

Link: https://doi.org/10.1016/..

4

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/..

5

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/..

6

Special section on Descriptional Complexity of Formal Syste..:

Konstantinidis, Stavros ; Pighizzini, Giovanni
Theoretical Computer Science. 798 (2019) - p. 1 , 2019

Link: https://doi.org/10.1016/..

7

Transducer descriptions of DNA code properties and undecida..:

Kari, Lila ; Konstantinidis, Stavros ; Kopecki, Steffen
Information and Computation. 259 (2018) - p. 237-258 , 2018

Link: https://doi.org/10.1016/..

8

Efficient Algorithms for Computing the Inner Edit Distance ..:

Kari, Lila ; Konstantinidis, Stavros ; Kopecki, Steffen.
Algorithms. 11 (2018) 11 - p. 165 , 2018

Link: https://doi.org/10.3390/..

9

Additive methods for genomic signatures:

Karamichalis, Rallis ; Kari, Lila ; Konstantinidis, Stavros..
BMC Bioinformatics. 17 (2016) 1 - p. , 2016

Link: https://doi.org/10.1186/..

10

An investigation into inter- and intragenomic variations of..:

Karamichalis, Rallis ; Kari, Lila ; Konstantinidis, Stavros.
BMC Bioinformatics. 16 (2015) 1 - p. , 2015

Link: https://doi.org/10.1186/..

11

Implementation and Application of Automata (CIAA 2013):

Konstantinidis, Stavros
Theoretical Computer Science. 578 (2015) - p. 1 , 2015

Link: https://doi.org/10.1016/..

12

On the maximality of languages with combined types of code ..:

Kari, Lila ; Konstantinidis, Stavros ; Kopecki, Steffen
Theoretical Computer Science. 550 (2014) - p. 79-89 , 2014

Link: https://doi.org/10.1016/..

13

Computing maximal Kleene closures that are embeddable in a ..:

Konstantinidis, Stavros ; Santean, Nicolae
Natural Computing. 12 (2013) 2 - p. 211-222 , 2013

Link: https://doi.org/10.1007/..

14

On the definition of stochastic λ-transducers:

Konstantinidis, Stavros ; Santean, Nicolae
International Journal of Computer Mathematics. 86 (2009) 8 - p. 1300-1310 , 2009

Link: https://doi.org/10.1080/..

15

State-complexity hierarchies of uniform languages of alphab..:

Brzozowski, Janusz ; Konstantinidis, Stavros
Theoretical Computer Science. 410 (2009) 35 - p. 3223-3235 , 2009

Link: https://doi.org/10.1016/..