Amalgamation of graph transformations: a synchronization mechanism
Journal of Computer and System Sciences
Parallel and distributed derivations in the single-pushout approach
Theoretical Computer Science - Special issue on selected papers of the International Workshop on Computing by Graph Transformation, Bordeaux, France, March 21–23, 1991
Algebraic approach to single-pushout graph transformation
Theoretical Computer Science - Special issue on selected papers of the International Workshop on Computing by Graph Transformation, Bordeaux, France, March 21–23, 1991
Parallel high-level replacement systems
Theoretical Computer Science
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Simulations between cellular automata on Cayley graphs
Theoretical Computer Science
Hyperbolic Recognition by Graph Automata
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
A universal cellular automaton in the hyperbolic plane
Theoretical Computer Science
A decision procedure for unitary linear quantum cellular automata
FOCS '96 Proceedings of the 37th Annual Symposium on Foundations of Computer Science
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Description and simulation of dynamic mobility networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations
Language and Automata Theory and Applications
Mobile Agents Implementing Local Computations in Graphs
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Autonomous units and their semantics: the parallel case
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Asynchronous graph-rewriting automata and simulation of synchronous execution
ECAL'07 Proceedings of the 9th European conference on Advances in artificial life
On the completeness of quantum computation models
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
A graph-based developmental swarm representation and algorithm
ANTS'10 Proceedings of the 7th international conference on Swarm intelligence
Unitarity plus causality implies localizability
Journal of Computer and System Sciences
Applying causality principles to the axiomatization of probabilistic cellular automata
CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
Multi-resolution cellular automata for real computation
CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
Self-description for construction and execution in graph rewriting automata
ECAL'05 Proceedings of the 8th European conference on Advances in Artificial Life
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Information and Computation
| Hi-index | 0.00 |
We extend the theory of Cellular Automata to arbitrary, time-varying graphs.