Jarkko Kari

According to our database1, Jarkko Kari
  • authored at least 139 papers between 1988 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Preface.
Natural Computing, 2017

Preface / Editorial.
Fundam. Inform., 2017

Post-surjectivity and balancedness of cellular automata over groups.
Discrete Mathematics & Theoretical Computer Science, 2017

Conjugacy of one-dimensional one-sided cellular automata is undecidable.
CoRR, 2017

2016
Piecewise Affine Functions, Sturmian Sequences and Wang Tiles.
Fundam. Inform., 2016

Sub Rosa, A System of Quasiperiodic Rhombic Substitution Tilings with n-Fold Rotational Symmetry.
Discrete & Computational Geometry, 2016

An Algebraic Geometric Approach to Nivat's Conjecture.
CoRR, 2016

Finite generating sets for reversible gate sets under general conservation laws.
CoRR, 2016

Strongly Universal Reversible Gate Sets.
CoRR, 2016

Tutorial on Cellular Automata and Tilings (Tutorial).
Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science, 2016

Strongly Universal Reversible Gate Sets.
Proceedings of the Reversible Computation - 8th International Conference, 2016

An "almost dual" to Gottschalk's Conjecture.
Proceedings of the Cellular Automata and Discrete Complex Systems, 2016

The Group of Reversible Turing Machines.
Proceedings of the Cellular Automata and Discrete Complex Systems, 2016

2015
An Algebraic Geometric Approach to Nivat's Conjecture.
CoRR, 2015

Solving the Induced Subgraph Problem in the Randomized Multiparty Simultaneous Messages Model.
Proceedings of the Structural Information and Communication Complexity, 2015

An Algebraic Geometric Approach to Nivat's Conjecture.
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

An Algebraic Geometric Approach to Multidimensional Words.
Proceedings of the Algebraic Informatics - 6th International Conference, 2015

2014
Non-uniform Cellular Automata.
Theor. Comput. Sci., 2014

Preface.
J. Cellular Automata, 2014

Trace Complexity of Chaotic Reversible Cellular Automata.
CoRR, 2014

Undecidable properties of self-affine sets and multi-tape automata.
CoRR, 2014

Trace Complexity of Chaotic Reversible Cellular Automata.
Proceedings of the Reversible Computation - 6th International Conference, 2014

Undecidable Properties of Self-affine Sets and Multi-tape Automata.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

A Universal Cellular Automaton Without Sensitive Subsystems.
Proceedings of the Cellular Automata and Discrete Complex Systems, 2014

2013
Surjective cellular automata far from the Garden of Eden.
Discrete Mathematics & Theoretical Computer Science, 2013

Tiling Problems on Baumslag-Solitar groups.
Proceedings of the Proceedings Machines, Computations and Universality 2013, 2013

Pattern Generation by Cellular Automata (Invited Talk).
Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

Universal pattern generation by cellular automata.
Proceedings of the International Conference on High Performance Computing & Simulation, 2013

2012
Basic Concepts of Cellular Automata.
Proceedings of the Handbook of Natural Computing, 2012

Universal pattern generation by cellular automata.
Theor. Comput. Sci., 2012

Consistency of multidimensional combinatorial substitutions.
Theor. Comput. Sci., 2012

Preface.
Natural Computing, 2012

On time-symmetry in cellular automata.
J. Comput. Syst. Sci., 2012

Decidability and undecidability in cellular automata.
Int. J. General Systems, 2012

Modified Traffic Cellular Automaton for the Density Classification Task.
Fundam. Inform., 2012

Cellular Automata, the Collatz Conjecture and Powers of 3/2.
Proceedings of the Developments in Language Theory - 16th International Conference, 2012

Consistency of Multidimensional Combinatorial Substitutions.
Proceedings of the Computer Science - Theory and Applications, 2012

2011
Preface.
Theor. Comput. Sci., 2011

On the hierarchy of conservation laws in a cellular automaton.
Natural Computing, 2011

Limit Sets of Stable and Unstable Cellular Automata.
Fundam. Inform., 2011

Consistency of multidimensional combinatorial substitutions
CoRR, 2011

Linear Algebra Based Bounds for One-Dimensional Cellular Automata.
Proceedings of the Descriptional Complexity of Formal Systems, 2011

Snakes and Cellular Automata: Reductions and Inseparability Results.
Proceedings of the Computer Science - Theory and Applications, 2011

A Survey on Picture-Walking Automata.
Proceedings of the Algebraic Foundations in Computer Science, 2011

Conservation Laws and Invariant Measures in Surjective Cellular Automata.
Proceedings of the 17th International Workshop on Cellular Automata and Discrete Complex Systems, 2011

2010
Diversity in the conceptions of information use.
Inf. Res., 2010

2009
Tiling Problem and Undecidability in Cellular Automata.
Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

Preface.
Theor. Comput. Sci., 2009

Preface.
Theor. Comput. Sci., 2009

On post correspondence problem for letter monotonic languages.
Theor. Comput. Sci., 2009

The Undecidability of the Infinite Ribbon Problem: Implications for Computing by Self-Assembly.
SIAM J. Comput., 2009

Informational uses of spiritual information: an analysis of messages reportedly transmitted by extraphysical means.
J. Information Science, 2009

Preface.
Electr. Notes Theor. Comput. Sci., 2009

On Continuous Weighted Finite Automata
CoRR, 2009

Structure of Reversible Cellular Automata.
Proceedings of the Unconventional Computation, 8th International Conference, 2009

Bounds on Non-surjective Cellular Automata.
Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

A Binary Image Scalable Coder Based on Reversible Cellular Automata Transform and Arithmetic Coding.
Proceedings of the 2009 Data Compression Conference (DCC 2009), 2009

Lossy to Lossless Spatially Scalable Depth Map Coding with Cellular Automata.
Proceedings of the 2009 Data Compression Conference (DCC 2009), 2009

2008
Data Compression Codes, Lossy.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Unambiguous Automata.
Mathematics in Computer Science, 2008

Conservation Laws in Rectangular CA.
J. Cellular Automata, 2008

Binary operations on automatic functions.
ITA, 2008

Combinatorics of Conservation Laws.
Bulletin of the EATCS, 2008

On the Undecidability of the Tiling Problem.
Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008

Periodicity and Immortality in Reversible Computing.
Proceedings of the Mathematical Foundations of Computer Science 2008, 2008

A particle displacement representation for conservation laws in two-dimensional cellular automata.
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.
Proceedings of the First Symposium on Cellular Automata "Journées Automates Cellulaires" (JAC 2008), 2008

The Most General Conservation Law for a Cellular Automaton.
Proceedings of the Computer Science, 2008

Non-Linear Subband Coding with Cellular Automata.
Proceedings of the Automata and Formal Languages, 12th International Conference, 2008

2007
A tight linear bound on the synchronization delay of bijective automata.
Theor. Comput. Sci., 2007

A review of the spiritual in information studies.
Journal of Documentation, 2007

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

Conceptualizing the personal outcomes of information.
Inf. Res., 2007

The Tiling Problem Revisited (Extended Abstract).
Proceedings of the Machines, Computations, and Universality, 5th International Conference, 2007

2006
Image Processing Using Finite Automata.
Proceedings of the Recent Advances in Formal Languages and Applications, 2006

User-defined relevance criteria in web searching.
Journal of Documentation, 2006

Facing and bridging gaps in Web searching.
Inf. Process. Manage., 2006

Free-form searching via web sites: Content and moving observed in the context of personal development.
Inf. Process. Manage., 2006

Observations on the Smoothness Properties of Real Functions Computed by Weighted Finite Automata.
Fundam. Inform., 2006

Evolutionary information seeking: A case study of personal development and Internet searching.
First Monday, 2006

2005
Theory of cellular automata: A survey.
Theor. Comput. Sci., 2005

A new dimension sensitive property for cellular automata.
Theor. Comput. Sci., 2005

A Tight Linear Bound on the Neighborhood of Inverse Cellular Automata.
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Reversible Cellular Automata.
Proceedings of the Developments in Language Theory, 9th International Conference, 2005

2004
Preface.
Theor. Comput. Sci., 2004

Conceptions of the Internet in Everyday Life Information Seeking.
J. Information Science, 2004

Web information seeking by pages: an observational study of moving and stopping.
Inf. Res., 2004

A New Dimension Sensitive Property for Cellular Automata.
Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

Rectangles and Squares Recognized by Two-Dimensional Automata.
Proceedings of the Theory Is Forever, 2004

2003
Synchronizing finite automata on Eulerian digraphs.
Theor. Comput. Sci., 2003

2002
Synchronization and Stability of Finite Automata.
J. UCS, 2002

A Note on Synchronized Automata and Road Coloring Problem.
Int. J. Found. Comput. Sci., 2002

Multistage block-matching motion estimation for superresolution video reconstruction.
Proceedings of the Visual Communications and Image Processing 2002, 2002

On the Decidability of Self-Assembly of Infinite Ribbons.
Proceedings of the 43rd Symposium on Foundations of Computer Science (FOCS 2002), 2002

Infinite Snake Tiling Problems.
Proceedings of the Developments in Language Theory, 6th International Conference, 2002

2001
A Counter Example to a Conjecture Concerning Synchronizing Words in Finite Automata.
Bulletin of the EATCS, 2001

New Results on Alternating and Non-deterministic Two-Dimensional Finite-State Automata.
Proceedings of the STACS 2001, 2001

Synchronizing Finite Automata on Eulerian Digraphs.
Proceedings of the Mathematical Foundations of Computer Science 2001, 2001

A Note on Synchronized Automata and Road Coloring Problem.
Proceedings of the Developments in Language Theory, 5th International Conference, 2001

Context-free recombinations.
Proceedings of the Where Mathematics, 2001

2000
Linear Cellular Automata with Multiple State Variables.
Proceedings of the STACS 2000, 2000

1999
On the Circuit Depth of Structurally Reversible Cellular Automata.
Fundam. Inform., 1999

Reversible Molecular Computation in Ciliates.
Proceedings of the Jewels are Forever, 1999

1998
Intensity Controlled Motion Compensation.
Proceedings of the Data Compression Conference, 1998

1997
Video compression by mean-corrected motion compensation of partial quadtrees.
IEEE Trans. Circuits Syst. Video Techn., 1997

Compression of Silhouette-like Images based on WFA.
J. UCS, 1997

Computational Fractal Geometry with WFA.
Acta Inf., 1997

On Aperiodic Sets of Wang Tiles.
Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

1996
Representation of Reversible Cellular Automata with Block Permutations.
Mathematical Systems Theory, 1996

Two Lower Bounds on Distributive Generation of Languages.
Fundam. Inform., 1996

A small aperiodic set of Wang tiles.
Discrete Mathematics, 1996

Finite state transformation of images.
Computers & Graphics, 1996

An Aperiodic Set of Wang Cubes.
Proceedings of the STACS 96, 1996

1995
An Aperiodic Set of Wang Cubes.
J. UCS, 1995

Finite State Transformations of Images.
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

Colored Gauss and Tangent Codes on the Torus.
Proceedings of the Developments in Language Theory II, 1995

Finite State Methods for Compression and Manipulation of Images.
Proceedings of the IEEE Data Compression Conference, 1995

1994
Rice's Theorem for the Limit Sets of Cellular Automata.
Theor. Comput. Sci., 1994

Some Hierarchies for the Communication Complexity Measures of Cooperating Grammar Systems.
Theor. Comput. Sci., 1994

Reversibility and Surjectivity Problems of Cellular Automata.
J. Comput. Syst. Sci., 1994

Arithmetic Coding of Weighted Finite Automata.
ITA, 1994

Image-Data Compression Using Edge-Optimizing Algorithm for WFA Inference.
Inf. Process. Manage., 1994

On the Power of L-Systems in Image Generation.
Acta Inf., 1994

Two Lower Bounds on Distributive Generation of Languages.
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

Parallel Pattern Generation with One-Way Communications.
Proceedings of the Results and Trends in Theoretical Computer Science, 1994

1993
Games played on the plane : Solitaire & Cellular Automata.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

Parametrized Recurrent Systems for Image Generation.
Inf. Process. Lett., 1993

Mechanisms for Pattern Generation.
Complex Systems, 1993

Image compression using weighted finite automata.
Computers & Graphics, 1993

Some Hierarchies for the Communication Complexity Measures of Cooperating Grammar Systems.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Image Compression Using Weighted Finite Automata.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Morphic Images of Gauss Codes.
Proceedings of the Developments in Language Theory, 1993

On the Power of L-Systems in Image Generation.
Proceedings of the Developments in Language Theory, 1993

1992
The Impact of the Number of Cooperating Grammars on the Generative Power.
Theor. Comput. Sci., 1992

The Nilpotency Problem of One-Dimensional Cellular Automata.
SIAM J. Comput., 1992

1990
Games played on the plane: Solitaire and Cellular Automata.
Bulletin of the EATCS, 1990

1989
Observations Concerning a Public-Key Cryptosystem Based on Iterated Morphisms.
Theor. Comput. Sci., 1989

1988
A cryptanalytic observation concerning systems based on language theory.
Discrete Applied Mathematics, 1988

A Cryptosystem Based on Propositional Logic.
Proceedings of the Machines, 1988


  Loading...