| |
| 2008 | ||
|---|---|---|
| 4 | EE | Pavel Strnad, Pavel Loupal: Using taDOM Locking Protocol in a Functional XML Update Language. DATESO 2008 |
| 1973 | ||
| 3 | Pavel Strnad: Turing Machine Recognition. MFCS 1973: 331-332 | |
| 1968 | ||
| 2 | Pavel Strnad: On-line Turing Machine Recognition Information and Control 12(5/6): 442-452 (1968) | |
| 1 | Pavel Strnad: Erratum: ``On-line Turing Machine Recognition'' Information and Control 13(5): 508 (1968) | |
| 1 | Pavel Loupal | [4] |