Karel II Culik

From MaRDI portal
(Redirected from Person:582130)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Parallel pattern generation with one-way communications
Lecture Notes in Computer Science
2024-01-29Paper
Iterative devices generating infinite words
STACS 92
2022-08-18Paper
On the equivalence problem for deterministic multitape automata and transducers
STACS 89
2022-08-16Paper
Finite state transformations of images
Automata, Languages and Programming
2019-01-10Paper
An aperiodic set of Wang cubes
STACS 96
2017-11-16Paper
Aspects of Molecular Computing
Lecture Notes in Computer Science
2009-05-14Paper
A NOTE ON SYNCHRONIZED AUTOMATA AND ROAD COLORING PROBLEM
International Journal of Foundations of Computer Science
2005-06-22Paper
scientific article; zbMATH DE number 2087221 (Why is no real title available?)2004-08-11Paper
scientific article; zbMATH DE number 2081044 (Why is no real title available?)2004-08-04Paper
scientific article; zbMATH DE number 1542853 (Why is no real title available?)2001-02-26Paper
scientific article; zbMATH DE number 1419242 (Why is no real title available?)2000-07-20Paper
scientific article; zbMATH DE number 718623 (Why is no real title available?)2000-06-21Paper
scientific article; zbMATH DE number 1408355 (Why is no real title available?)2000-02-29Paper
ITERATIVE DEVICES GENERATING INFINITE WORDS
International Journal of Foundations of Computer Science
1998-11-02Paper
scientific article; zbMATH DE number 1101596 (Why is no real title available?)1998-02-22Paper
Computational fractal geometry with WFA
Acta Informatica
1997-12-14Paper
Implementing Daubechies wavelet transform with weighted finite automata
Acta Informatica
1997-11-18Paper
scientific article; zbMATH DE number 1047876 (Why is no real title available?)1997-11-09Paper
scientific article; zbMATH DE number 1067870 (Why is no real title available?)1997-09-29Paper
scientific article; zbMATH DE number 978199 (Why is no real title available?)1997-02-13Paper
An aperiodic set of 13 Wang tiles
Discrete Mathematics
1997-01-14Paper
scientific article; zbMATH DE number 919592 (Why is no real title available?)1996-08-25Paper
Iterative weighted finite transductions
Acta Informatica
1995-12-14Paper
On the power of L-systems in image generation
Acta Informatica
1995-08-27Paper
Weighted finite transducers in image processing
Discrete Applied Mathematics
1995-05-17Paper
Finite Automata Computing Real Functions
SIAM Journal on Computing
1994-10-17Paper
Parametrized recurrent systems for image generation
Information Processing Letters
1994-09-25Paper
L-systems and mutually recursive function systems
Acta Informatica
1994-06-02Paper
scientific article; zbMATH DE number 512841 (Why is no real title available?)1994-04-07Paper
ENCODING IMAGES AS WORDS AND LANGUAGES
International Journal of Algebra and Computation
1993-11-01Paper
Affine automata and related techniques for generation of complex images
Theoretical Computer Science
1993-10-28Paper
scientific article; zbMATH DE number 176926 (Why is no real title available?)1993-05-18Paper
scientific article; zbMATH DE number 176767 (Why is no real title available?)1993-05-18Paper
Rational and affine expressions for image description
Discrete Applied Mathematics
1993-05-16Paper
The topological entropy of cellular automata is uncomputable
Ergodic Theory and Dynamical Systems
1993-02-18Paper
An efficient solution of the firing mob problem
Theoretical Computer Science
1992-06-28Paper
scientific article; zbMATH DE number 19758 (Why is no real title available?)1992-06-26Paper
Cellular automata, \(\omega{} \omega\)-regular sets, and sofic systems
Discrete Applied Mathematics
1992-06-26Paper
Splicing semigroups of dominoes and DNA
Discrete Applied Mathematics
1992-06-25Paper
scientific article; zbMATH DE number 4206036 (Why is no real title available?)1990-01-01Paper
scientific article; zbMATH DE number 4213505 (Why is no real title available?)1990-01-01Paper
Computation theoretic aspects of cellular automata
Physica D
1990-01-01Paper
Loops in automata and HDTOL relations
RAIRO - Theoretical Informatics and Applications
1990-01-01Paper
Formal languages and global cellular automaton behavior
Physica D
1990-01-01Paper
New techniques for proving the decidability of equivalence problem
Theoretical Computer Science
1990-01-01Paper
scientific article; zbMATH DE number 4125033 (Why is no real title available?)1989-01-01Paper
scientific article; zbMATH DE number 4211531 (Why is no real title available?)1989-01-01Paper
On the Limit Sets of Cellular Automata
SIAM Journal on Computing
1989-01-01Paper
Variations of the firing squad problem and applications
Information Processing Letters
1989-01-01Paper
HDTOL matching of computations of multitape automata
Acta Informatica
1989-01-01Paper
scientific article; zbMATH DE number 4074492 (Why is no real title available?)1988-01-01Paper
scientific article; zbMATH DE number 4058892 (Why is no real title available?)1988-01-01Paper
scientific article; zbMATH DE number 4083010 (Why is no real title available?)1988-01-01Paper
On totalistic systolic networks
Information Processing Letters
1988-01-01Paper
scientific article; zbMATH DE number 4070331 (Why is no real title available?)1987-01-01Paper
scientific article; zbMATH DE number 4074491 (Why is no real title available?)1987-01-01Paper
scientific article; zbMATH DE number 4030988 (Why is no real title available?)1987-01-01Paper
scientific article; zbMATH DE number 4045201 (Why is no real title available?)1987-01-01Paper
scientific article; zbMATH DE number 4037263 (Why is no real title available?)1987-01-01Paper
scientific article; zbMATH DE number 4053049 (Why is no real title available?)1987-01-01Paper
The Equivalence Problem for Single-Valued Two-Way Transducers (on NPDTOL Languages) is Decidable
SIAM Journal on Computing
1987-01-01Paper
Fault-tolerant schemes for some systolic systems
International Journal of Computer Mathematics
1987-01-01Paper
scientific article; zbMATH DE number 3940751 (Why is no real title available?)1986-01-01Paper
scientific article; zbMATH DE number 4003554 (Why is no real title available?)1986-01-01Paper
The equivalence of finite valued transducers (on HDT0L languages) is decidable
Theoretical Computer Science
1986-01-01Paper
Systolic trellis automata: Stability, decidability and complexity
Information and Control
1986-01-01Paper
Synchronizable deterministic pushdown automata and the decidability of their equivalence
Acta Informatica
1986-01-01Paper
Real-time, pseudo real-time, and linear-time ITA
Theoretical Computer Science
1986-01-01Paper
Iterative tree arrays with logarithmic depth<sup>†</sup>
International Journal of Computer Mathematics
1986-01-01Paper
A note on the equivalence problem of rational formal power series
Information Processing Letters
1986-01-01Paper
Topological transformations as a tool in the design of systolic networks
Theoretical Computer Science
1985-01-01Paper
scientific article; zbMATH DE number 3872685 (Why is no real title available?)1984-01-01Paper
scientific article; zbMATH DE number 3911718 (Why is no real title available?)1984-01-01Paper
scientific article; zbMATH DE number 3878386 (Why is no real title available?)1984-01-01Paper
Systolic trellis automatata †
International Journal of Computer Mathematics
1984-01-01Paper
On extendibility of unavoidable sets
Discrete Applied Mathematics
1984-01-01Paper
On real-time cellular automata and trellis automata
Acta Informatica
1984-01-01Paper
Systolic trellis automatat†
International Journal of Computer Mathematics
1984-01-01Paper
Context-free complexity of finite languages
Theoretical Computer Science
1984-01-01Paper
Iterative tree automata
Theoretical Computer Science
1984-01-01Paper
The ω sequence problem for DOL systems is decidable
Journal of the ACM
1984-01-01Paper
scientific article; zbMATH DE number 3839348 (Why is no real title available?)1983-01-01Paper
scientific article; zbMATH DE number 3866597 (Why is no real title available?)1983-01-01Paper
scientific article; zbMATH DE number 3931098 (Why is no real title available?)1983-01-01Paper
Properties of Finite and Pushdown Transducers
SIAM Journal on Computing
1983-01-01Paper
Systolic automata for VLSI on balanced trees
Acta Informatica
1983-01-01Paper
On a family of L languages resulting from systolic tree automata
Theoretical Computer Science
1983-01-01Paper
Systems of equations over a free monoid and Ehrenfeucht's conjecture
Discrete Mathematics
1983-01-01Paper
Folding of the plane and the design of systolic arrays
Information Processing Letters
1983-01-01Paper
Ambiguity and decision problems concerning number systems
Information and Control
1983-01-01Paper
Programmable finite automata for VLSI†
International Journal of Computer Mathematics
1983-01-01Paper
Transductions and the parallel generation of languages<sup>†</sup>
International Journal of Computer Mathematics
1983-01-01Paper
scientific article; zbMATH DE number 3763321 (Why is no real title available?)1982-01-01Paper
scientific article; zbMATH DE number 3858451 (Why is no real title available?)1982-01-01Paper
scientific article; zbMATH DE number 3757709 (Why is no real title available?)1982-01-01Paper
A note on some tree similarity measures
Information Processing Letters
1982-01-01Paper
Test sets for context free languages and algebraic systems of equations over a free monoid
Information and Control
1982-01-01Paper
On infinite words obtained by iterating morphisms
Theoretical Computer Science
1982-01-01Paper
A homomorphic characterization of regular languages
Discrete Applied Mathematics
1982-01-01Paper
Tree correspondence problems
Journal of Computer and System Sciences
1982-01-01Paper
Dominoes over a free monoid
Theoretical Computer Science
1982-01-01Paper
scientific article; zbMATH DE number 3750326 (Why is no real title available?)1981-01-01Paper
scientific article; zbMATH DE number 3885293 (Why is no real title available?)1981-01-01Paper
Concise description of finite languages
Theoretical Computer Science
1981-01-01Paper
Equivalence problems for mappings on infinite strings
Information and Control
1981-01-01Paper
A note on recurrent words
Information and Control
1981-01-01Paper
Dense multiway trees
ACM Transactions on Database Systems
1981-01-01Paper
scientific article; zbMATH DE number 3710436 (Why is no real title available?)1980-01-01Paper
scientific article; zbMATH DE number 3692684 (Why is no real title available?)1980-01-01Paper
Test sets and checking words for homomorphism equivalence
Journal of Computer and System Sciences
1980-01-01Paper
A homomorphic characterization of time and space complexity classes of languages†
International Journal of Computer Mathematics
1980-01-01Paper
Test sets for homomorphism equivalence on context free languages
Information and Control
1980-01-01Paper
scientific article; zbMATH DE number 3673546 (Why is no real title available?)1979-01-01Paper
scientific article; zbMATH DE number 3714963 (Why is no real title available?)1979-01-01Paper
scientific article; zbMATH DE number 3640897 (Why is no real title available?)1979-01-01Paper
A Purely Homomorphic Characterization of Recursively Enumerable Sets
Journal of the ACM
1979-01-01Paper
Some decidability results about regular and pushdown translations
Information Processing Letters
1979-01-01Paper
Homomorphism equivalence on etol languages†
International Journal of Computer Mathematics
1979-01-01Paper
Doubly deterministic tabled OL systems
International Journal of Computer & Information Sciences
1979-01-01Paper
Interactive L systems with almost interactionless behaviour
Information and Control
1979-01-01Paper
Secure information storage and retrieval using new results in cryptography
Information Processing Letters
1979-01-01Paper
A mathematical investigation of propagating graph 0L systems
Information and Control
1979-01-01Paper
GROWING CELLULAR SYSTEMS: GENERATION OF GRAPHS BY PARALLEL REWRITING
International Journal of General Systems
1979-01-01Paper
On two-symbol complete EOL forms
Theoretical Computer Science
1978-01-01Paper
On the decidability of homomorphism equivalence for languages
Journal of Computer and System Sciences
1978-01-01Paper
The ultimate equivalence problem for DOL systems
Acta Informatica
1978-01-01Paper
Speed-varying OL systems
Information Sciences
1978-01-01Paper
Propagating chain-free normal forms for EOL systems
Information and Control
1978-01-01Paper
Isomorphism, form equivalence and sequence equivalence of PDOL forms
Theoretical Computer Science
1978-01-01Paper
The decidability of v-local catenativity and of other properties of DOL systems
Information Processing Letters
1978-01-01Paper
String representations of graphs
International Journal of Computer Mathematics
1978-01-01Paper
scientific article; zbMATH DE number 3550191 (Why is no real title available?)1977-01-01Paper
scientific article; zbMATH DE number 3566740 (Why is no real title available?)1977-01-01Paper
The decidability of the equivalence problem for DOL-systems
Information and Control
1977-01-01Paper
Tree controlled grammars
Computing
1977-01-01Paper
On the decidability of the sequence equivalence problem for DOL-systems
Theoretical Computer Science
1977-01-01Paper
PARALLEL GRAPH GENERATING AND GRAPH RECURRENCE SYSTEMS FOR MULTICELLULAR DEVELOPMENT†
International Journal of General Systems
1976-01-01Paper
scientific article; zbMATH DE number 3481860 (Why is no real title available?)1975-01-01Paper
scientific article; zbMATH DE number 3516654 (Why is no real title available?)1975-01-01Paper
scientific article; zbMATH DE number 3463191 (Why is no real title available?)1974-01-01Paper
scientific article; zbMATH DE number 3451468 (Why is no real title available?)1974-01-01Paper
On some families of languages related to developmental systems
International Journal of Computer Mathematics
1974-01-01Paper
LR-regular grammars - an extension of LR(k) grammars
Journal of Computer and System Sciences
1973-01-01Paper
A model for the formal definition of programming languages
International Journal of Computer Mathematics
1973-01-01Paper
scientific article; zbMATH DE number 3359796 (Why is no real title available?)1971-01-01Paper
Classification of noncounting events
Journal of Computer and System Sciences
1971-01-01Paper
Abstract families of relations
Journal of Computer and System Sciences
1971-01-01Paper
scientific article; zbMATH DE number 3309208 (Why is no real title available?)1970-01-01Paper
scientific article; zbMATH DE number 3271515 (Why is no real title available?)1968-01-01Paper
scientific article; zbMATH DE number 3241280 (Why is no real title available?)1967-01-01Paper
scientific article; zbMATH DE number 3248814 (Why is no real title available?)1967-01-01Paper
Construction of the automaton mapping1965-01-01Paper


Research outcomes over time


This page was built for person: Karel II Culik