On-line Turing Machine Recognition - Pavel Strnad (Inf. Control., 1968)

Erratum: "On-line Turing Machine Recognition" - Pavel Strnad (Inf. Control., 1968)

On optimum time bounds for recognition of some sets of words by on-line Turing machines. - Pavel Strnad (Kybernetika, 1969)

Turing Machine Recognition. - Pavel Strnad (MFCS, 1973)

Using taDOM Locking Protocol in a Functional XML Update Language. - Pavel Strnad; Pavel Loupal (DATESO, 2008)

On Benchmarking Transaction Managers. - Pavel Strnad; Michal Valenta (DASFAA Workshops, 2009)

On Indexing in Native XML Database Systems. - Pavel Loupal; Ales Kantor; Ondrej Macek; Pavel Strnad (DATESO, 2012)

Storing XML Data - The ExDB and CellStore Way in the Context of Current Approaches. - Pavel Loupal; Irena Mlýnková; Martin Necaský; Karel Richta; Pavel Strnad (Informatica, 2012)

Synthetic dataset generator for anomaly detection in a university environment. - Pavel Strnad; Lukás Svarc; Petr Berka (Intell. Data Anal., 2023)