|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Szilvia Gyapay, András Pataricza |
Optimal Trajectory Generation for Petri nets.  |
Acta Cybern.  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Szilvia Varró-Gyapay, Dániel Varró |
Optimization in Graph Transformation Systems Using Petri Net Based Techniques. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer |
Termination Analysis of Model Transformations by Petri Nets. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
Petri nets, model transformation, termination, graph transformation |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay |
Termination Criteria for Model Transformation. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Szilvia Gyapay, Ákos Schmidt, Dániel Varró |
Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Szilvia Gyapay, Dániel Varró, Reiko Heckel |
Graph Transformation with Time. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Szilvia Gyapay, Reiko Heckel, Dániel Varró |
Graph Transformation with Time: Causality and Logical Clocks. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")