2009 | ||
---|---|---|
6 | EE | Pedro Pablo Pérez Velasco, Juan de Lara: Matrix Graph Grammars and Monotone Complex Logics CoRR abs/0902.0850: (2009) |
5 | EE | Pedro Pablo Pérez Velasco, Juan de Lara Jaramillo: Matrix Graph Grammars with Application Conditions CoRR abs/0902.1809: (2009) |
2008 | ||
4 | EE | Pedro Pablo Pérez Velasco: Matrix Graph Grammars CoRR abs/0801.1245: (2008) |
3 | EE | Pedro Pablo Pérez Velasco, Juan de Lara: Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence. Electr. Notes Theor. Comput. Sci. 206: 133-152 (2008) |
2006 | ||
2 | EE | Pedro Pablo Pérez Velasco, Juan de Lara: Matrix Approach to Graph Transformation: Matching and Sequences. ICGT 2006: 122-137 |
1 | EE | Juan de Lara, Pedro Pablo Pérez Velasco: Petri Nets and Matrix Graph Grammars: Reachability. ECEASST 2: (2006) |
1 | Juan de Lara (Juan de Lara Jaramillo) | [1] [2] [3] [5] [6] |