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 |