Ivana Štefáneková

1996

Ivana Štefáneková:
Some properties of zerotesting bounded one-way multicounter machines,
1996. [bibtex]

1991

Andrej Bebják and Ivana Štefáneková:
Separation of deterministic, nondeterministic and alternating complexity classes,
Theoretical Computer Science, 1991, 297 - 311. [bibtex]

1990

Ivana Štefáneková:
Some properties of zerotesting bounded one-way multicounter machines,
Proceedings of Mathematical Foundations of Computer Science, Springer Verlag, 1990, volume 452 of Lecture Notes in Computer Science, 195 - 201. [bibtex]

1989

Dana Pardubská and Ivana Štefáneková:
Nondeterministic multicounter machines and complementation,
Theoretical Computer Science, 1989, 111 - 113. [bibtex]

1988

Andrej Bebják and Ivana Štefáneková:
Nondeterminism is essential for reversal-bounded two-way multihead finite automata,
Kybernetika, 1988, 65 - 71. [bibtex]

Andrej Bebják and Ivana Štefáneková:
Relation between one-time-only braching programs and real-time branching programs,
Computers and Artificial Intelligence, 1988, 107 - 111. [bibtex]