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
New Results on Alternating and Non-deterministic Two-Dimensional Finite-State Automata
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
The #a = #b Pictures Are Recognizable
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Interactive Systems: From Folklore to Mathematics
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
DNA '00 Revised Papers from the 6th International Workshop on DNA-Based Computers: DNA Computing
The monadic quantifier alternation hierarchy over grids and graphs
Information and Computation - Special issue: LICS'97
Two-dimensional cellular automata and deterministic on-line tessalation automata
Theoretical Computer Science
Two techniques in the area of the star problem in trace monoids
Theoretical Computer Science
A note on identities of two-dimensional languages
Discrete Applied Mathematics
Theoretical Computer Science - The art of theory
Tile rewriting grammars and picture languages
Theoretical Computer Science - The art of theory
Collage of two-dimensional words
Theoretical Computer Science - The art of theory
New operations and regular expressions for two-dimensional languages over one-letter alphabet
Theoretical Computer Science - The art of theory
Picture languages: tiling systems versus tile rewriting grammars
Theoretical Computer Science - In honour of Professor Christian Choffrut on the occasion of his 60th birthday
Tissue-like P Systems with Active Membranes for Picture Generation
Fundamenta Informaticae
Axiomatisation and decidability of multi-dimensional Duration Calculus
Information and Computation
Axiomatizing the identities of binoid languages
Theoretical Computer Science
Interactive Systems with Registers and Voices
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Characterizations of recognizable picture series
Theoretical Computer Science
Acta Cybernetica
A SAT-based parser and completer for pictures specified by tiling
Pattern Recognition
Journal of Visual Languages and Computing
A CKY parser for picture grammars
Information Processing Letters
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
Electronic Notes in Theoretical Computer Science (ENTCS)
Slender Siromoney matrix languages
Information and Computation
On Complexity of Two Dimensional Languages Generated by Transducers
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
Regional Languages and Tiling: A Unifying Approach to Picture Grammars
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
ISVC '08 Proceedings of the 4th International Symposium on Advances in Visual Computing, Part II
Different Types of Linear Fuzzy Cellular Automata and their Applications
Fundamenta Informaticae - Membrane Computing
Framed Versus Unframed Two-Dimensional Languages
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Deterministic and unambiguous two-dimensional languages over one-letter alphabet
Theoretical Computer Science
Picture Languages Generated by Assembling Tiles
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Lattices of local two-dimensional languages
Theoretical Computer Science
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Highly Undecidable Problems about Recognizability by Tiling Systems
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Array P Systems and t.Communication
Fundamenta Informaticae - Machines, Computations and Universality, Part I
Networks of Evolutionary Picture Processors with Filtered Connections
UC '09 Proceedings of the 8th International Conference on Unconventional Computation
Picture Languages: From Wang Tiles to 2D Grammars
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
Pure 2D picture grammars and languages
Discrete Applied Mathematics
Finite state automata representing two-dimensional subshifts
Theoretical Computer Science
A computational model for tiling recognizable two-dimensional languages
Theoretical Computer Science
Formal language characterizations of P, NP, and Pspace
Journal of Automata, Languages and Combinatorics
Picture Recognizability with Automata Based on Wang Tiles
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
A note on identities of two-dimensional languages
Discrete Applied Mathematics
Tiling systems over infinite pictures and their acceptance conditions
DLT'02 Proceedings of the 6th international conference on Developments in language theory
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Computing languages by (Bounded) local sets
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Existential heap abstraction entailment is undecidable
SAS'03 Proceedings of the 10th international conference on Static analysis
On the complexity of unary tiling-recognizable picture languages
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
From determinism to non-determinism in recognizable two-dimensional languages
DLT'07 Proceedings of the 11th international conference on Developments in language theory
Finite state automata representing two-dimensional subshifts
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
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 two-dimensional languages over one-letter alphabet
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
Recognizable picture languages and polyominoes
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
Pure 2D picture grammars (P2DPG) and P2DPG with regular control
IWCIA'08 Proceedings of the 12th international conference on Combinatorial image analysis
Deterministic and Unambiguous Families within Recognizable Two-dimensional Languages
Fundamenta Informaticae
Transducer generated arrays of robotic nano-arms
Natural Computing: an international journal
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
A note on a tree-based 2D indexing
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Proceedings of the 13th International Conference on Humans and Computers
Shuffle on trajectories over finite array languages
IWCIA'11 Proceedings of the 14th international conference on Combinatorial image analysis
Comparing necessary conditions for recognizability of two-dimensional languages
CAI'11 Proceedings of the 4th international conference on Algebraic informatics
Classification of string languages via tiling recognizable picture languages
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Simulations over two-dimensional on-line tessellation automata
DLT'11 Proceedings of the 15th international conference on Developments in language theory
Towards more expressive 2D deterministic automata
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
A logic-based tool for semantic information extraction
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Weighted picture automata and weighted logics
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Nested pebbles and transitive closure
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
A calculus for shapes in time and space
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
IWCIA'04 Proceedings of the 10th international conference on Combinatorial Image Analysis
2D and 3d pictural networks of evolutionary processors
IWINAC'05 Proceedings of the First international work-conference on the Interplay Between Natural and Artificial Computation conference on Artificial Intelligence and Knowledge Engineering Applications: a bioinspired approach - Volume Part II
Regular expressions for two-dimensional languages over one-letter alphabet
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Splicing array grammar systems
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Automata on directed graphs: edge versus vertex marking
ICGT'06 Proceedings of the Third international conference on Graph Transformations
CompIMAGE'10 Proceedings of the Second international conference on Computational Modeling of Objects Represented in Images
Collage of iso-picture languages and P-systems
CompIMAGE'10 Proceedings of the Second international conference on Computational Modeling of Objects Represented in Images
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
A survey on picture-walking automata
Algebraic Foundations in Computer Science
Simulating two-dimensional recognizability by pushdown and queue automata
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
On two-dimensional pattern matching by finite automata
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
A P system model with pure context-free rules for picture array generation
Mathematical and Computer Modelling: An International Journal
Picture Languages Generated by Assembling Tiles
Fundamenta Informaticae - Theory that Counts: To Oscar Ibarra on His 70th Birthday
Array P Systems and t.Communication
Fundamenta Informaticae - Machines, Computations and Universality, Part I
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Highly Undecidable Problems about Recognizability by Tiling Systems
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Two-dimensional sgraffito automata
DLT'12 Proceedings of the 16th international conference on Developments in Language Theory
Different Types of Linear Fuzzy Cellular Automata and their Applications
Fundamenta Informaticae - Membrane Computing
Interactive Systems with Registers and Voices
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Tissue-like P Systems with Active Membranes for Picture Generation
Fundamenta Informaticae
CIAA'12 Proceedings of the 17th international conference on Implementation and Application of Automata
A tiling system for the class of L-convex polyominoes
Theoretical Computer Science
Subshifts as models for MSO logic
Information and Computation
On the power of permitting features in cooperating context-free array grammar systems
Discrete Applied Mathematics
Comparing two-dimensional one-marker automata to sgraffito automata
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
Hi-index | 0.01 |