Extending formal language hierarchies to higher dimensions
ACM Computing Surveys (CSUR)
Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures
Theoretical Computer Science
Uniform and nonuniform recognizability
Theoretical Computer Science
The monadic quantifier alternation hierarchy over grids and graphs
Information and Computation - Special issue: LICS'97
Theoretical Computer Science - The art of theory
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)
Perfectly quilted rectangular snake tilings
Theoretical Computer Science
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Picture Languages: From Wang Tiles to 2D Grammars
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
Formal language characterizations of P, NP, and Pspace
Journal of Automata, Languages and Combinatorics
Recognizability of Polyhexes by Tiling and Wang Systems
ISVC '09 Proceedings of the 5th International Symposium on Advances in Visual Computing: Part II
Tiling systems over infinite pictures and their acceptance conditions
DLT'02 Proceedings of the 6th international conference on Developments in language theory
On the complexity of unary tiling-recognizable picture languages
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
Tiling automaton: a computational model for recognizable two-dimensional languages
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
Tiling recognizable two-dimensional languages
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
Recognizable vs. regular picture languages
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
Deterministic and Unambiguous Families within Recognizable Two-dimensional Languages
Fundamenta Informaticae
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
Comparing necessary conditions for recognizability of two-dimensional languages
CAI'11 Proceedings of the 4th international conference on Algebraic informatics
Weighted picture automata and weighted logics
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Subshifts as models for MSO logic
Information and Computation
Hi-index | 0.00 |