Karel II Culik

From MaRDI portal


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
Cellular automata, \(\omega{} \omega\)-regular sets, and sofic systems
Discrete Applied Mathematics
1992-06-26Paper
scientific article; zbMATH DE number 19758 (Why is no real title available?)
 
1992-06-26Paper
Splicing semigroups of dominoes and DNA
Discrete Applied Mathematics
1992-06-25Paper
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
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
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
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
scientific article; zbMATH DE number 4125033 (Why is no real title available?)
 
1989-01-01Paper
HDTOL matching of computations of multitape automata
Acta Informatica
1989-01-01Paper
scientific article; zbMATH DE number 4211531 (Why is no real title available?)
 
1989-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
scientific article; zbMATH DE number 4074492 (Why is no real title available?)
 
1988-01-01Paper
On totalistic systolic networks
Information Processing Letters
1988-01-01Paper
Fault-tolerant schemes for some systolic systems
International Journal of Computer Mathematics
1987-01-01Paper
scientific article; zbMATH DE number 4053049 (Why is no real title available?)
 
1987-01-01Paper
scientific article; zbMATH DE number 4070331 (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
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 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
scientific article; zbMATH DE number 3940751 (Why is no real title available?)
 
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
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
The ω sequence problem for DOL systems is decidable
Journal of the ACM
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
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
Context-free complexity of finite languages
Theoretical Computer Science
1984-01-01Paper
Iterative tree automata
Theoretical Computer Science
1984-01-01Paper
scientific article; zbMATH DE number 3878386 (Why is no real title available?)
 
1984-01-01Paper
Transductions and the parallel generation of languages
International Journal of Computer Mathematics
1983-01-01Paper
Properties of Finite and Pushdown Transducers
SIAM Journal on Computing
1983-01-01Paper
scientific article; zbMATH DE number 3839348 (Why is no real title available?)
 
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
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
Programmable finite automata for VLSI†
International Journal of Computer Mathematics
1983-01-01Paper
Dominoes over a free monoid
Theoretical Computer Science
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
scientific article; zbMATH DE number 3763321 (Why is no real title available?)
 
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
scientific article; zbMATH DE number 3885293 (Why is no real title available?)
 
1981-01-01Paper
scientific article; zbMATH DE number 3750326 (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
Test sets for homomorphism equivalence on context free languages
Information and Control
1980-01-01Paper
scientific article; zbMATH DE number 3710436 (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
scientific article; zbMATH DE number 3692684 (Why is no real title available?)
 
1980-01-01Paper
A homomorphic characterization of time and space complexity classes of languages†
International Journal of Computer Mathematics
1980-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
scientific article; zbMATH DE number 3714963 (Why is no real title available?)
 
1979-01-01Paper
GROWING CELLULAR SYSTEMS: GENERATION OF GRAPHS BY PARALLEL REWRITING
International Journal of General Systems
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
scientific article; zbMATH DE number 3673546 (Why is no real title available?)
 
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
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
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
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
A model for the formal definition of programming languages
International Journal of Computer Mathematics
1973-01-01Paper
LR-regular grammars - an extension of LR(k) grammars
Journal of Computer and System Sciences
1973-01-01Paper
Abstract families of relations
Journal of Computer and System Sciences
1971-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
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 mapping
 
1965-01-01Paper


Research outcomes over time


This page was built for person: Karel II Culik