Ivan Korec

19 papers B 9Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2014 B conf
Deterministic Verification of Integer Matrix Multiplication in Quadratic Time.
SOFSEM
Ivan Korec, Jirí Wiedermann
2001 J jnl
A list of arithmetical structures complete with respect to the first-order definability.
Theor. Comput. Sci.
Ivan Korec
1998 — conf
Real-time generation of primes by a one-dimensional cellular automaton with 9-states.
MCU (2)
Ivan Korec
1997 B conf
Real-Time Generation of Primes by a One-Dimensional Cellular Automaton with 11 States.
MFCS
Ivan Korec
1997 J jnl
Theories of Generalized Pascal Triangles.
Ann. Pure Appl. Log.
Ivan Korec
1996 J jnl
Small Universal Register Machines.
Theor. Comput. Sci.
Ivan Korec
1993 J jnl
Definability of Arithmetic Operations from the Order and a Random Relation.
Fundam. Informaticae
Ivan Korec
1993 J jnl
Irrational Speeds of Configurations Growth in Generalized Pascal Triangles.
Theor. Comput. Sci.
Ivan Korec
1989 B conf
Semilinear Real-Time Systolic Trellis Automata.
FCT
Ivan Korec
1987 J jnl
Improvement of Mycielski's inequality for non-natural disjoint covering system of Z.
Discret. Math.
Ivan Korec
1986 B conf
Undecidable Problems Concerning Generalized Pascal Triangles of Commutative Algebras.
MFCS
Ivan Korec
1984 J jnl
Two kinds of processors are sufficient and large operating alphabets are needed for regular trellis automata languages.
Bull. EATCS
Ivan Korec
1981 B conf
Codings of Nonnegative Integers.
MFCS
Ivan Korec
1979 B conf
Small Universal Minsky Machines.
MFCS
Ludmila Gregusová, Ivan Korec
1977 B conf
Decidability (Undecidability) of Equivalence of Minsky Machines with Components Consisting of at Most Seven (Eight) Instructions.
MFCS
Ivan Korec
1977 J jnl
Real-Time Computability of integer part of (abs(alpha) x) and integer part of x
J. Inf. Process. Cybern.
Ivan Korec, Juraj Procházka
1975 J jnl
Model-interpretability into trees and applications.
Arch. Math. Log.
Ivan Korec
1975 B conf
Non-Linear Speed-Up Theorem for Two Register Minsky Machines.
MFCS
M. Benesová, Ivan Korec
1973 B conf
Computational Complexity Based on Expectation of the Time of Computation on Minsky Machines.
MFCS
Ivan Korec