# 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]