Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[2]
Hilfe
Suche: Author="Kari, Jarkko"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Undecidable properties of self-affine sets and multi-tape automata
Timo Jolivet
,
Jarkko Kari
Lecture Notes in Computer Science
8634
, 2014, pp. 352-364
On time-symmetry in cellular automata
Anahí Gajardo
,
Jarkko Kari
,
Andrés Moreira
Journal of Computer and System Sciences
78
(4), 2012, pp. 1115-1126
Consistency of multidimensional combinatorial substitutions
Timo Jolivet
,
Jarkko Kari
Lecture Notes in Computer Science
7353
, 2012, pp. 205-216
Consistency of multidimensional combinatorial substitutions
Timo Jolivet
,
Jarkko Kari
Theoretical Computer Science
454
, 2012, pp. 178-188
Universal pattern generation by cellular automata
Jarkko Kari
Theoretical Computer Science
429
, 2012, pp. 180-184
The undecidability of the infinite ribbon problem: Implications for computing by self-assembly
Leonard Adleman
,
Jarkko Kari
,
Lila Kari
,
Dustin Reishus
,
Petr Sosik
SIAM Journal on Computing
38
(6), 2009, pp. 2356-2381
On post correspondence problem for letter monotonic languages
Vesa Halava
,
Jarkko Kari
,
Yuri Matiyasevich
Theoretical Computer Science
410
(30-32), 2009, pp. 2957-2960
Bounds on non-surjective cellular automata
Jarkko Kari
,
Pascal Vanier
,
Thomas Zeume
Lecture Notes in Computer Science
5734
, 2009, pp. 439-450
Periodicity and immortality in reversible computing
Jarkko Kari
,
Nicolas Ollinger
Lecture Notes in Computer Science
5162
, 2008, pp. 419-430
A tight linear bound on the synchronization delay of bijective automata
Eugen Czeizler
,
Jarkko Kari
Theoretical Computer Science
380
(1-2), 2007, pp. 23-36
A new dimension sensitive property for cellular automata
Vincent Bernardi
,
Bruno Durand
,
Enrico Formenti
,
Jarkko Kari
Theoretical Computer Science
345
(2-3), 2005, pp. 235-247
A tight linear bound on the neighborhood of inverse cellular automata
Eugen Czeizler
,
Jarkko Kari
Lecture Notes in Computer Science
3580
, 2005, pp. 410-420
Theory of cellular automata: A survey
Jarkko Kari
Theoretical Computer Science
334
(1-3), 2005, pp. 3-33
A new dimension sensitive property for cellular automata
Vincent Bernardi
,
Bruno Durand
,
Enrico Formenti
,
Jarkko Kari
Lecture Notes in Computer Science
3153
, 2004, pp. 416-426
Synchronizing finite automata on Eulerian digraphs
Jarkko Kari
Theoretical Computer Science
295
(1-3), 2003, pp. 223-232
On the decidability of self-assembly of infinite ribbons
Leonard Adleman
,
Jarkko Kari
,
Lila Kari
,
Dustin Reishus
Proceedings of the 43rd Annual IEEE Symposium on Foundations of Computer Science, FOCS'2002 (Vancouver, BC, Canada, November 16-19, 2002)
, 2002, pp. 530-537
A note on synchronized automata and road coloring problem
Karel Culik II
,
Juhani Karhumäki
,
Jarkko Kari
International Journal of Foundations of Computer Science
13
(3), 2002, pp. 459-471
New results on alternating and non-deterministic two-dimensional finite-state automata
Jarkko Kari
,
Cristopher Moore
Lecture Notes in Computer Science
2010
, 2001, pp. 396-406
Synchronizing finite automata on Eulerian digraphs
Jarkko Kari
Lecture Notes in Computer Science
2136
, 2001, pp. 432-438
Linear cellular automata with multiple state variables
Jarkko Kari
Lecture Notes in Computer Science
1770
, 2000, pp. 110-121
Computational fractal geometry with WFA
Karel Culik II
,
Jarkko Kari
Acta Informatica
34
(2), 1997, pp. 151-166
On aperiodic sets of Wang tiles
Karel Culik
,
Jarkko Kari
Lecture Notes in Computer Science
1337
, 1997, pp. 153-162
An aperiodic set of Wang cubes
Karel Culik III
,
Jarkko Kari
Lecture Notes in Computer Science
1046
, 1996, pp. 137-146
Finite state transformations of images
Karel Culik
,
Jarkko Kari
Lecture Notes in Computer Science
944
, 1995, pp. 51-62
On the power of
L
-systems in image generation
Karel Culik II
,
Jarkko Kari
Acta Informatica
31
, 1994, pp. 761-773
Seiten 1
2
>