| |
| 1996 | ||
|---|---|---|
| 11 | EE | Karel Culík: An aperiodic set of 13 Wang tiles. Discrete Mathematics 160(1-3): 245-251 (1996) |
| 1983 | ||
| 10 | Karel Culík: On Formal and Informal Proofs for Program Correctness. SIGPLAN Notices 18(1): 23-28 (1983) | |
| 1982 | ||
| 9 | Karel Culík: An Advanced Programming Language Definition and Domain Correctness of Programs. SIGPLAN Notices 17(8): 57-66 (1982) | |
| 1978 | ||
| 8 | Karel Culík: Synchronized parallel computation and slowdown of translators. Mathematical Studies of Information Processing 1978: 67-105 | |
| 7 | Karel Culík: Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes. POPL 1978: 176-184 | |
| 1976 | ||
| 6 | Karel Culík: Mathematical Theory of Serial Computers. Fachtagung über Programmiersprachen 1976: 203-234 | |
| 1973 | ||
| 5 | Karel Culík: Main Degrees of Complexity of Computer Programs and Computable Functions (Abstract). GI Jahrestagung 1973: 151-153 | |
| 4 | Karel Culík: Equivalences of Parallel Courses of Algorithmic Nets and Precedence Flow Diagrams. MFCS 1973: 27-38 | |
| 3 | Karel Culík, Michael A. Arbib: Sequential and Jumping Machines and their Relation to Computers Acta Inf. 2: 162-171 (1973) | |
| 1965 | ||
| 2 | Karel Culík: Axiomatic System for Phrase Structure Grammars. I Information and Control 8(5): 493-502 (1965) | |
| 1962 | ||
| 1 | Karel Culík: On Some Axiomatic Systems for Formal Grammars and Languages. IFIP Congress 1962: 313-317 | |
| 1 | Michael A. Arbib | [3] |