Matrix Approach to Graph Transformation: Matching and Sequences. - Pedro Pablo Pérez Velasco; Juan de Lara (ICGT, 2006)

Petri Nets and Matrix Graph Grammars: Reachability. - Juan de Lara; Pedro Pablo Pérez Velasco (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence. - Pedro Pablo Pérez Velasco; Juan de Lara (PROLE, 2007)

Matrix Graph Grammars - Pedro Pablo Pérez Velasco (CoRR, 2008)

A Reformulation of Matrix Graph Grammars with Boolean Complexes. - Pedro Pablo Pérez Velasco; Juan de Lara (Electron. J. Comb., 2009)

Matrix Graph Grammars and Monotone Complex Logics - Pedro Pablo Pérez Velasco; Juan de Lara (CoRR, 2009)

Matrix Graph Grammars as a Model of Computation - Pedro Pablo Pérez Velasco (CoRR, 2009)

Matrix Graph Grammars: Transformation of Restrictions - Pedro Pablo Pérez Velasco (CoRR, 2009)

Matrix Graph Grammars with Application Conditions. - Pedro Pablo Pérez Velasco; Juan de Lara (Fundam. Informaticae, 2010)