Extending formal language hierarchies to higher dimensions
ACM Computing Surveys (CSUR)
The #a = #b Pictures Are Recognizable
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Characterizations of recognizable picture series
Theoretical Computer Science
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
Electronic Notes in Theoretical Computer Science (ENTCS)
Finite state automata representing two-dimensional subshifts
Theoretical Computer Science
Formal language characterizations of P, NP, and Pspace
Journal of Automata, Languages and Combinatorics
Finite state automata representing two-dimensional subshifts
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
Recognizable vs. regular picture languages
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
A brief excursion inside the class of tiling recognizable two-dimensional languages
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Weighted picture automata and weighted logics
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
IWCIA'04 Proceedings of the 10th international conference on Combinatorial Image Analysis
On recognizable infinite array languages
IWCIA'04 Proceedings of the 10th international conference on Combinatorial Image Analysis
Online tessellation automaton recognizing various classes of convex polyominoes
CompIMAGE'10 Proceedings of the Second international conference on Computational Modeling of Objects Represented in Images
Hi-index | 5.24 |