Karel Culík

	1996
12		Karel Culík: An aperiodic set of 13 Wang tiles. Discrete Mathematics 160(1-3): 245-251 (1996)
	1988
11		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)
	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

Coauthor Index

1	Michael A. Arbib	[3]
2	Duncan A. Buell	[11]
3	David A. Carlson	[11]
4	Yuan-Chieh Chow	[11]
5	Narsingh Deo	[11]
6	Raphael A. Finkel	[11]
7	Elias N. Houstis	[11]
8	Zvi M. Kedem	[11]
9	Janusz S. Kowalik	[11]
10	Philip Kuekes	[11]
11	Joanne L. Martin	[11]
12	George A. Michael	[11]
13	Neil s. Ostlund	[11]
14	Jerry Potter	[11]
15	D. K. Pradhan	[11]
16	Michael J. Quinn	[11]
17	Elaine M. Jacob Son	[11]
18	G. W. Stewart	[11]
19	Quentin F. Stout	[11]
20	Layne Watson	[11]
21	Jon Webb	[11]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page