| 2006 |
|---|
| 8 | EE | Dániel Varró,
Szilvia Varró-Gyapay,
Hartmut Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Termination Analysis of Model Transformations by Petri Nets.
ICGT 2006: 260-274 |
| 7 | EE | Szilvia Gyapay,
András Pataricza:
Optimal Trajectory Generation for Petri nets.
Acta Cybern. 17(2): (2006) |
| 6 | EE | Szilvia Varró-Gyapay,
Dániel Varró:
Optimization in Graph Transformation Systems Using Petri Net Based Techniques.
ECEASST 2: (2006) |
| 2005 |
|---|
| 5 | EE | Hartmut Ehrig,
Karsten Ehrig,
Juan de Lara,
Gabriele Taentzer,
Dániel Varró,
Szilvia Varró-Gyapay:
Termination Criteria for Model Transformation.
FASE 2005: 49-63 |
| 4 | EE | Hartmut Ehrig,
Karsten Ehrig,
Gabriele Taentzer,
Juan de Lara,
Dániel Varró,
Szilvia Varró-Gyapay:
Termination Criteria for Model Transformation.
Transformation Techniques in Software Engineering 2005 |
| 2004 |
|---|
| 3 | EE | Szilvia Gyapay,
Ákos Schmidt,
Dániel Varró:
Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time.
Electr. Notes Theor. Comput. Sci. 109: 137-147 (2004) |
| 2003 |
|---|
| 2 | EE | Szilvia Gyapay,
Dániel Varró,
Reiko Heckel:
Graph Transformation with Time.
Fundam. Inform. 58(1): 1-22 (2003) |
| 2002 |
|---|
| 1 | EE | Szilvia Gyapay,
Reiko Heckel,
Dániel Varró:
Graph Transformation with Time: Causality and Logical Clocks.
ICGT 2002: 120-134 |
