Karel Culík

Karel Culík: An aperiodic set of 13 Wang tiles. Discrete Mathematics 160(1-3): 245-251 (1996)

Duncan A. Buell, David A. Carlson, Yuan-Chieh Chow, Karel Culík, Narsingh Deo, Raphael A. Finkel, Elias N. Houstis, Elaine M. Jacob Son, Zvi M. Kedem, Janusz S. Kowalik, Philip Kuekes, Joanne L. Martin, George A. Michael, Neil s. Ostlund, Jerry Potter, D. K. Pradhan, Michael J. Quinn, G. W. Stewart, Quentin F. Stout, Layne Watson, Jon Webb: Parallel algorithms and architectures report of a workshop. The Journal of Supercomputing 1(3): 301-325 (1988)

Karel Culík: On Formal and Informal Proofs for Program Correctness. SIGPLAN Notices 18(1): 23-28 (1983)

Karel Culík: An Advanced Programming Language Definition and Domain Correctness of Programs. SIGPLAN Notices 17(8): 57-66 (1982)

Karel Culík: Synchronized parallel computation and slowdown of translators. Mathematical Studies of Information Processing 1978: 67-105

Karel Culík: Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes. POPL 1978: 176-184

Karel Culík: Mathematical Theory of Serial Computers. Fachtagung über Programmiersprachen 1976: 203-234

Karel Culík, Michael A. Arbib: Sequential and Jumping Machines and their Relation to Computers. Acta Inf. 2: 162-171 (1973)

Karel Culík: Main Degrees of Complexity of Computer Programs and Computable Functions (Abstract). GI Jahrestagung 1973: 151-153

Karel Culík: Equivalences of Parallel Courses of Algorithmic Nets and Precedence Flow Diagrams. MFCS 1973: 27-38

Karel Culík: Axiomatic System for Phrase Structure Grammars. I. Information and Control 8(5): 493-502 (1965)

Karel Culík: Machine Translation and Connectedness between Phrases. COLING 1965

Karel Culík: On Some Axiomatic Systems for Formal Grammars and Languages. IFIP Congress 1962: 313-317