Ivan Korec
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
4
Active years
1973–2014
Best venue rank
B
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | SOFSEM | Deterministic Verification of Integer Matrix Multiplication in Quadratic Time. | Ivan Korec, Jir Wiedermann |
| 1998 | MCU | Real-time generation of primes by a one-dimensional cellular automaton with 9-states. | Ivan Korec |
| 1997 | MFCS | Real-Time Generation of Primes by a One-Dimensional Cellular Automaton with 11 States. | Ivan Korec |
| 1989 | FCT | Semilinear Real-Time Systolic Trellis Automata. | Ivan Korec |
| 1986 | MFCS | Undecidable Problems Concerning Generalized Pascal Triangles of Commutative Algebras. | Ivan Korec |
| 1981 | MFCS | Codings of Nonnegative Integers. | Ivan Korec |
| 1979 | MFCS | Small Universal Minsky Machines. | Ludmila Gregusov, Ivan Korec |
| 1977 | MFCS | Decidability (Undecidability) of Equivalence of Minsky Machines with Components Consisting of at Most Seven (Eight) Instructions. | Ivan Korec |
| 1975 | MFCS | Non-Linear Speed-Up Theorem for Two Register Minsky Machines. | M. Benesov, Ivan Korec |
| 1973 | MFCS | Computational Complexity Based on Expectation of the Time of Computation on Minsky Machines. | Ivan Korec |