Computational Complexity Based on Expectation of the Time of Computation on Minsky Machines. - Ivan Korec (MFCS, 1973)

Non-Linear Speed-Up Theorem for Two Register Minsky Machines. - M. Benesová; Ivan Korec (MFCS, 1975)

Model-interpretability into trees and applications. - Ivan Korec (Arch. Math. Log., 1975)

Decidability (Undecidability) of Equivalence of Minsky Machines with Components Consisting of at Most Seven (Eight) Instructions. - Ivan Korec (MFCS, 1977)

Real-Time Computability of integer part of (abs(alpha) x) and integer part of xalpha. - Ivan Korec; Juraj Procházka (J. Inf. Process. Cybern., 1977)

Small Universal Minsky Machines. - Ludmila Gregusová; Ivan Korec (MFCS, 1979)

Codings of Nonnegative Integers. - Ivan Korec (MFCS, 1981)

Two kinds of processors are sufficient and large operating alphabets are needed for regular trellis automata languages. - Ivan Korec (Bull. EATCS, 1984)

Undecidable Problems Concerning Generalized Pascal Triangles of Commutative Algebras. - Ivan Korec (MFCS, 1986)

Improvement of Mycielski's inequality for non-natural disjoint covering system of Z. - Ivan Korec (Discret. Math., 1987)

Semilinear Real-Time Systolic Trellis Automata. - Ivan Korec (FCT, 1989)

Definability of Arithmetic Operations from the Order and a Random Relation. - Ivan Korec (Fundam. Informaticae, 1993)

Irrational Speeds of Configurations Growth in Generalized Pascal Triangles. - Ivan Korec (Theor. Comput. Sci., 1993)

Small Universal Register Machines. - Ivan Korec (Theor. Comput. Sci., 1996)

Real-Time Generation of Primes by a One-Dimensional Cellular Automaton with 11 States. - Ivan Korec (MFCS, 1997)

Theories of Generalized Pascal Triangles. - Ivan Korec (Ann. Pure Appl. Log., 1997)

Real-time generation of primes by a one-dimensional cellular automaton with 9-states. - Ivan Korec (MCU (2), 1998)

A list of arithmetical structures complete with respect to the first-order definability. - Ivan Korec (Theor. Comput. Sci., 2001)

Deterministic Verification of Integer Matrix Multiplication in Quadratic Time. - Ivan Korec; Jirí Wiedermann (SOFSEM, 2014)