Jarkko Kari

Proceedings of the Cellular Automata and Discrete Complex Systems, 2018

2017

Finite generating sets for reversible gate sets under general conservation laws.

[BibT_eX]

[DOI]

Tim Boykett

Theor. Comput. Sci., 2017

Cellular automata and powers of <i>p</i>∕<i>q</i>.

[BibT_eX]

[DOI]

Johan Kopra

RAIRO Theor. Informatics Appl., 2017

Preface / Editorial.

[BibT_eX]

[DOI]

Jérôme Durand-Lose

Benedek Nagy

Fundam. Informaticae, 2017

Post-surjectivity and balancedness of cellular automata over groups.

[BibT_eX]

[DOI]

Silvio Capobianco

Discret. Math. Theor. Comput. Sci., 2017

2016

Piecewise Affine Functions, Sturmian Sequences and Wang Tiles.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

Sub Rosa, A System of Quasiperiodic Rhombic Substitution Tilings with n-Fold Rotational Symmetry.

[BibT_eX]

[DOI]

Markus Rissanen

Discret. Comput. Geom., 2016

Tutorial on Cellular Automata and Tilings (Tutorial).

[BibT_eX]

[DOI]

Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science, 2016

Strongly Universal Reversible Gate Sets.

[BibT_eX]

[DOI]

Tim Boykett

Proceedings of the Reversible Computation - 8th International Conference, 2016

An "almost dual" to Gottschalk's Conjecture.

[BibT_eX]

[DOI]

Silvio Capobianco

Proceedings of the Cellular Automata and Discrete Complex Systems, 2016

The Group of Reversible Turing Machines.

[BibT_eX]

[DOI]

Sebastián Barbieri

Proceedings of the Cellular Automata and Discrete Complex Systems, 2016

2015

Solving the Induced Subgraph Problem in the Randomized Multiparty Simultaneous Messages Model.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2015

An Algebraic Geometric Approach to Multidimensional Words.

[BibT_eX]

[DOI]

Michal Szabados

Proceedings of the Algebraic Informatics - 6th International Conference, 2015

2014

Non-uniform Cellular Automata.

[BibT_eX]

[DOI]

Sukanta Das

Enrico Formenti

Theor. Comput. Sci., 2014

Preface.

[BibT_eX]

[DOI]

Martin Kutrib

Andreas Malcher

J. Cell. Autom., 2014

Trace Complexity of Chaotic Reversible Cellular Automata.

[BibT_eX]

[DOI]

Ilkka Törmä

Proceedings of the Reversible Computation - 6th International Conference, 2014

Undecidable Properties of Self-affine Sets and Multi-tape Automata.

[BibT_eX]

[DOI]

Timo Jolivet

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

A Universal Cellular Automaton Without Sensitive Subsystems.

[BibT_eX]

[DOI]

Proceedings of the Cellular Automata and Discrete Complex Systems, 2014

2013

Surjective cellular automata far from the Garden of Eden.

[BibT_eX]

[DOI]

Silvio Capobianco

Pierre Guillon

Discret. Math. Theor. Comput. Sci., 2013

Tiling Problems on Baumslag-Solitar groups.

[BibT_eX]

[DOI]

Nathalie Aubrun

Proceedings of the Proceedings Machines, Computations and Universality 2013, 2013

Pattern Generation by Cellular Automata (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

2012

Basic Concepts of Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Natural Computing, 2012

Universal pattern generation by cellular automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Consistency of multidimensional combinatorial substitutions.

[BibT_eX]

[DOI]

Timo Jolivet

Theor. Comput. Sci., 2012

Preface.

[BibT_eX]

[DOI]

Ion Petre

Nat. Comput., 2012

On time-symmetry in cellular automata.

[BibT_eX]

[DOI]

Anahí Gajardo

Andrés Moreira

J. Comput. Syst. Sci., 2012

Decidability and undecidability in cellular automata.

[BibT_eX]

[DOI]

Int. J. Gen. Syst., 2012

Modified Traffic Cellular Automaton for the Density Classification Task.

[BibT_eX]

[DOI]

Bastien Le Gloannec

Fundam. Informaticae, 2012

Cellular Automata, the Collatz Conjecture and Powers of 3/2.

[BibT_eX]

[DOI]

Proceedings of the Developments in Language Theory - 16th International Conference, 2012

2011

On the hierarchy of conservation laws in a cellular automaton.

[BibT_eX]

[DOI]

Enrico Formenti

Nat. Comput., 2011

Limit Sets of Stable and Unstable Cellular Automata.

[BibT_eX]

[DOI]

Alexis Ballier

Pierre Guillon

Fundam. Informaticae, 2011

Linear Algebra Based Bounds for One-Dimensional Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the Descriptional Complexity of Formal Systems, 2011

Snakes and Cellular Automata: Reductions and Inseparability Results.

[BibT_eX]

[DOI]

Proceedings of the Computer Science - Theory and Applications, 2011

A Survey on Picture-Walking Automata.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Foundations in Computer Science, 2011

Conservation Laws and Invariant Measures in Surjective Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the 17th International Workshop on Cellular Automata and Discrete Complex Systems, 2011

2010

Diversity in the conceptions of information use.

[BibT_eX]

[DOI]

Inf. Res., 2010

2009

Tiling Problem and Undecidability in Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

Preface.

[BibT_eX]

[DOI]

Natasa Jonoska

Theor. Comput. Sci., 2009

On post correspondence problem for letter monotonic languages.

[BibT_eX]

[DOI]

Vesa Halava

Yuri V. Matiyasevich

Theor. Comput. Sci., 2009

The Undecidability of the Infinite Ribbon Problem: Implications for Computing by Self-Assembly.

[BibT_eX]

[DOI]

SIAM J. Comput., 2009

Informational uses of spiritual information: an analysis of messages reportedly transmitted by extraphysical means.

[BibT_eX]

[DOI]

Pedro Paulo Balbi de Oliveira

J. Inf. Sci., 2009

Preface.

[BibT_eX]

[DOI]

Proceedings of the 15th International Workshop on Cellular Automata and Discrete Complex Systems, 2009

On Continuous Weighted Finite Automata

[BibT_eX]

[DOI]

Alexandr Kazda

Paula Steinby

CoRR, 2009

Structure of Reversible Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation, 8th International Conference, 2009

Bounds on Non-surjective Cellular Automata.

[BibT_eX]

[DOI]

Pascal Vanier

Thomas Zeume

Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

A Binary Image Scalable Coder Based on Reversible Cellular Automata Transform and Arithmetic Coding.

[BibT_eX]

[DOI]

Proceedings of the 2009 Data Compression Conference (DCC 2009), 2009

Lossy to Lossless Spatially Scalable Depth Map Coding with Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the 2009 Data Compression Conference (DCC 2009), 2009

Some Undecidable Dynamical Properties for One-Dimensional Reversible Cellular Automata.

[BibT_eX]

[DOI]

Ville Lukkarila

Proceedings of the Algorithmic Bioprocesses, 2009

Towards positive information science?

[BibT_eX]

[DOI]

Proceedings of the Thriving on Diversity: Information Opportunities in a Pluralistic World, 2009

2008

Data Compression Codes, Lossy.

[BibT_eX]

[DOI]

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Unambiguous Automata.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2008

Conservation Laws in Rectangular CA.

[BibT_eX]

[DOI]

Tim Boykett

J. Cell. Autom., 2008

Binary operations on automatic functions.

[BibT_eX]

[DOI]

Juhani Karhumäki

Joachim Kupke

RAIRO Theor. Informatics Appl., 2008

Combinatorics of Conservation Laws.

[BibT_eX]

Bull. EATCS, 2008

On the Undecidability of the Tiling Problem.

[BibT_eX]

[DOI]

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

Periodicity and Immortality in Reversible Computing.

[BibT_eX]

[DOI]

Nicolas Ollinger

Proceedings of the Mathematical Foundations of Computer Science 2008, 2008

A particle displacement representation for conservation laws in two-dimensional cellular automata.

[BibT_eX]

Proceedings of the First Symposium on Cellular Automata "Journées Automates Cellulaires" (JAC 2008), 2008

Undecidable properties on the dynamics of reversible one-dimensional cellular automata.

[BibT_eX]

Proceedings of the First Symposium on Cellular Automata "Journées Automates Cellulaires" (JAC 2008), 2008

The Most General Conservation Law for a Cellular Automaton.

[BibT_eX]

[DOI]

Enrico Formenti

Proceedings of the Computer Science, 2008

Informational uses of information: A theoretical synthesis.

[BibT_eX]

[DOI]

Proceedings of the People Transforming Information - Information Transforming People, 2008

Non-Linear Subband Coding with Cellular Automata.

[BibT_eX]

Carlos Cruz-Reyes

Proceedings of the Automata and Formal Languages, 12th International Conference, 2008

2007

A tight linear bound on the synchronization delay of bijective automata.

[BibT_eX]

[DOI]

Eugen Czeizler

Theor. Comput. Sci., 2007

A review of the spiritual in information studies.

[BibT_eX]

[DOI]

J. Documentation, 2007

Information and higher things in life: Addressing the pleasurable and the profound in information science.

[BibT_eX]

[DOI]

Jenna Hartel

J. Assoc. Inf. Sci. Technol., 2007

Conceptualizing the personal outcomes of information.

[BibT_eX]

[DOI]

Inf. Res., 2007

The Tiling Problem Revisited (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Machines, Computations, and Universality, 5th International Conference, 2007

2006

Image Processing Using Finite Automata.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Formal Languages and Applications, 2006

User-defined relevance criteria in web searching.

[BibT_eX]

[DOI]

Reijo Savolainen

J. Documentation, 2006

Facing and bridging gaps in Web searching.

[BibT_eX]

[DOI]

Reijo Savolainen

Inf. Process. Manag., 2006

Free-form searching via web sites: Content and moving observed in the context of personal development.

[BibT_eX]

[DOI]

Inf. Process. Manag., 2006

Observations on the Smoothness Properties of Real Functions Computed by Weighted Finite Automata.

[BibT_eX]

[DOI]

Manfred Droste

Paula Steinby

Fundam. Informaticae, 2006

Evolutionary information seeking: A case study of personal development and Internet searching.

[BibT_eX]

[DOI]

First Monday, 2006

2005

Theory of cellular automata: A survey.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

A new dimension sensitive property for cellular automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

A Tight Linear Bound on the Neighborhood of Inverse Cellular Automata.

[BibT_eX]

[DOI]

Eugen Czeizler

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Reversible Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the Developments in Language Theory, 9th International Conference, 2005

2004

Preface.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

Conceptions of the Internet in Everyday Life Information Seeking.

[BibT_eX]

[DOI]

Reijo Savolainen

J. Inf. Sci., 2004

Web information seeking by pages: an observational study of moving and stopping.

[BibT_eX]

[DOI]

Inf. Res., 2004

Rectangles and Squares Recognized by Two-Dimensional Automata.

[BibT_eX]

[DOI]

Cristopher Moore

Proceedings of the Theory Is Forever, 2004

2003

Synchronizing finite automata on Eulerian digraphs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

2002

Synchronization and Stability of Finite Automata.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2002

A Note on Synchronized Automata and Road Coloring Problem.

[BibT_eX]

[DOI]

Juhani Karhumäki

Int. J. Found. Comput. Sci., 2002

Multistage block-matching motion estimation for superresolution video reconstruction.

[BibT_eX]

Li Hong

Roberto Sannino

Proceedings of the Visual Communications and Image Processing 2002, 2002

On the Decidability of Self-Assembly of Infinite Ribbons.

[BibT_eX]

[DOI]

Proceedings of the 43rd Symposium on Foundations of Computer Science (FOCS 2002), 2002

Infinite Snake Tiling Problems.

[BibT_eX]

[DOI]

Proceedings of the Developments in Language Theory, 6th International Conference, 2002

2001

A Counter Example to a Conjecture Concerning Synchronizing Words in Finite Automata.

[BibT_eX]

Bull. EATCS, 2001

New Results on Alternating and Non-deterministic Two-Dimensional Finite-State Automata.

[BibT_eX]

[DOI]

Cristopher Moore

Proceedings of the STACS 2001, 2001

Context-free recombinations.

[BibT_eX]

Lila Kari

Proceedings of the Where Mathematics, 2001

2000

Linear Cellular Automata with Multiple State Variables.

[BibT_eX]

[DOI]

Proceedings of the STACS 2000, 2000

1999

On the Circuit Depth of Structurally Reversible Cellular Automata.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1999

Reversible Molecular Computation in Ciliates.

[BibT_eX]

Lila Kari

Laura F. Landweber

Proceedings of the Jewels are Forever, 1999

1998

Intensity Controlled Motion Compensation.

[BibT_eX]

[DOI]

Mihai Gavrilescu

Proceedings of the Data Compression Conference, 1998

1997

Digital Images and Formal Languages.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Formal Languages, Volume 3: Beyond Words., 1997

Video compression by mean-corrected motion compensation of partial quadtrees.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. Video Technol., 1997

Compression of Silhouette-like Images based on WFA.

[BibT_eX]

[DOI]

Vladimir Valenta

J. Univers. Comput. Sci., 1997

Computational Fractal Geometry with WFA.

[BibT_eX]

[DOI]

Acta Informatica, 1997

On Aperiodic Sets of Wang Tiles.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

1996

Representation of Reversible Cellular Automata with Block Permutations.

[BibT_eX]

[DOI]

Math. Syst. Theory, 1996

Two Lower Bounds on Distributive Generation of Languages.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1996

A small aperiodic set of Wang tiles.

[BibT_eX]

[DOI]

Discret. Math., 1996

Finite state transformation of images.

[BibT_eX]

[DOI]

Comput. Graph., 1996

1995

An Aperiodic Set of Wang Cubes.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1995

Finite State Transformations of Images.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

Colored Gauss and Tangent Codes on the Torus.

[BibT_eX]

Valtteri Niemi

Proceedings of the Developments in Language Theory II, 1995

Finite State Methods for Compression and Manipulation of Images.

[BibT_eX]

[DOI]

Proceedings of the IEEE Data Compression Conference, 1995

1994

Rice's Theorem for the Limit Sets of Cellular Automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1994

Some Hierarchies for the Communication Complexity Measures of Cooperating Grammar Systems.

[BibT_eX]

[DOI]

Juraj Hromkovic

Lila Kari

Theor. Comput. Sci., 1994

Reversibility and Surjectivity Problems of Cellular Automata.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1994

Arithmetic Coding of Weighted Finite Automata.

[BibT_eX]

[DOI]

Pasi Fränti

RAIRO Theor. Informatics Appl., 1994

Image-Data Compression Using Edge-Optimizing Algorithm for WFA Inference.

[BibT_eX]

[DOI]

Inf. Process. Manag., 1994

On the Power of L-Systems in Image Generation.

[BibT_eX]

[DOI]

Acta Informatica, 1994

Parallel Pattern Generation with One-Way Communications.

[BibT_eX]

[DOI]

Proceedings of the Results and Trends in Theoretical Computer Science, 1994

1993

Games played on the plane : Solitaire & Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

Parametrized Recurrent Systems for Image Generation.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1993

Mechanisms for Pattern Generation.

[BibT_eX]

[DOI]

Complex Syst., 1993

Image compression using weighted finite automata.

[BibT_eX]

[DOI]

Comput. Graph., 1993

Morphic Images of Gauss Codes.

[BibT_eX]

Valtteri Niemi

Proceedings of the Developments in Language Theory, 1993

1992

The Impact of the Number of Cooperating Grammars on the Generative Power.

[BibT_eX]

[DOI]

Lila Santean

Theor. Comput. Sci., 1992

The Nilpotency Problem of One-Dimensional Cellular Automata.

[BibT_eX]

[DOI]

SIAM J. Comput., 1992

1990

Games played on the plane: Solitaire and Cellular Automata.

[BibT_eX]

Bull. EATCS, 1990

1989

Observations Concerning a Public-Key Cryptosystem Based on Iterated Morphisms.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1989

1988

A cryptanalytic observation concerning systems based on language theory.

[BibT_eX]

[DOI]

Discret. Appl. Math., 1988

A Cryptosystem Based on Propositional Logic.

[BibT_eX]

[DOI]