Ivan Korec

According to our database, Ivan Korec authored at least 19 papers between 1973 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Deterministic Verification of Integer Matrix Multiplication in Quadratic Time.

Ivan Korec, Jirí Wiedermann

Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014

2001

A list of arithmetical structures complete with respect to the first-order definability.

Ivan Korec

Theor. Comput. Sci., 2001

1998

Real-time generation of primes by a one-dimensional cellular automaton with 9-states.

Ivan Korec

Proceedings of the International Colloquium Universal Machines and Computations, 1998

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 11 States.

Ivan Korec

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

1996

Small Universal Register Machines.

Ivan Korec

Theor. Comput. Sci., 1996

1993

Irrational Speeds of Configurations Growth in Generalized Pascal Triangles.

Ivan Korec

Theor. Comput. Sci., 1993

Definability of Arithmetic Operations from the Order and a Random Relation.

Ivan Korec

Fundam. Informaticae, 1993

1989

Semilinear Real-Time Systolic Trellis Automata.

Ivan Korec

Proceedings of the Fundamentals of Computation Theory, 1989

1987

Improvement of Mycielski's inequality for non-natural disjoint covering system of Z.

Ivan Korec

Discret. Math., 1987

1986

Undecidable Problems Concerning Generalized Pascal Triangles of Commutative Algebras.

Ivan Korec

Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

1984

Two kinds of processors are sufficient and large operating alphabets are needed for regular trellis automata languages.

Ivan Korec

Bull. EATCS, 1984

1981

Codings of Nonnegative Integers.

Ivan Korec

Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

1979

Small Universal Minsky Machines.

Ludmila Gregusová, Ivan Korec

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

1977

Real-Time Computability of integer part of (abs(alpha) x) and integer part of x^alpha.

Ivan Korec, Juraj Procházka

J. Inf. Process. Cybern., 1977

Decidability (Undecidability) of Equivalence of Minsky Machines with Components Consisting of at Most Seven (Eight) Instructions.

Ivan Korec

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

1975

Model-interpretability into trees and applications.

Ivan Korec

Arch. Math. Log., 1975

Non-Linear Speed-Up Theorem for Two Register Minsky Machines.

M. Benesová, Ivan Korec

Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

1973

Computational Complexity Based on Expectation of the Time of Computation on Minsky Machines.

Ivan Korec

Proceedings of the Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, 1973