Institution
Turku Centre for Computer Science
Facility•Turku, Finland•
About: Turku Centre for Computer Science is a facility organization based out in Turku, Finland. It is known for research contribution in the topics: Decidability & Word (group theory). The organization has 382 authors who have published 1027 publications receiving 19560 citations.
Papers published on a yearly basis
Papers
More filters
TL;DR: A quadratic upper bound for the neighborhood size of the inverse automaton of some types of one-dimensional reversible cellular automata is given, and it is shown that this bound can be lowered in some particular cases.
17 citations
TL;DR: It is shown that every minimal palindromic word is abelian unbordered, that is, no proper suffix of the word can be obtained by permuting the letters of a proper prefix.
16 citations
Book•
15 Jan 200916 citations
TL;DR: This paper represents and analyzes two important quantum algorithms – Finding the hidden subgroup and Grover search and mentions some pieces of ``Fact'' and ``Folklore'' associated to quantum computing.
Abstract: We represent and analyze two important quantum algorithms – Finding the hidden subgroup and Grover search. As the analysis goes on, we mention some pieces of ``Fact'' and ``Folklore'' associated to quantum computing.
16 citations
TL;DR: It is proved that the generalized Post Correspondence Problem (GPCP) is decidable for marked morphisms and gives as a corollary a shorter proof for the decidability of the binary PCP.
Abstract: We prove that the generalized Post Correspondence Problem (GPCP) is decidable for marked morphisms. This result gives as a corollary a shorter proof for the decidability of the binary PCP, proved in 1982 by Ehrenfeucht, Karhumaki and Rozenberg.
16 citations
Authors
Showing all 383 results
| Name | H-index | Papers | Citations |
|---|---|---|---|
| José A. Teixeira | 101 | 1414 | 47329 |
| Cunsheng Ding | 61 | 254 | 11116 |
| Jun'ichi Tsujii | 59 | 389 | 15985 |
| Arto Salomaa | 56 | 374 | 17706 |
| Tero Aittokallio | 52 | 271 | 8689 |
| Risto Lahdelma | 48 | 149 | 6637 |
| Hannu Tenhunen | 45 | 819 | 11661 |
| Mats Gyllenberg | 44 | 204 | 8029 |
| Sampo Pyysalo | 42 | 153 | 8839 |
| Olli Polo | 42 | 140 | 5303 |
| Pasi Liljeberg | 40 | 306 | 6959 |
| Tapio Salakoski | 38 | 231 | 7271 |
| Filip Ginter | 37 | 156 | 7294 |
| Robert Fullér | 37 | 152 | 5848 |
| Juha Plosila | 35 | 342 | 4917 |