| |
Theory and Practice of Model Transformations (2009), pp. 67-82.
|
| |
Software & Systems Modeling (2009)
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 211 (28 April 2008), pp. 261-269.
|
| |
«UML» 2000 — The Unified Modeling Language (2000), pp. 323-337.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 195 (18 January 2008), pp. 95-111.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 127, No. 1. (30 March 2005), pp. 167-180.
|
| |
Information and Computation, Vol. 205, No. 5. (May 2007), pp. 733-782.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 44, No. 4. (July 2001), pp. 41-51.
|
| |
Model-Driven Software Development (2005), pp. 91-117.
|
| |
In Proceedings of the Second International Workshop on Graph and Model Transformation, Brighton, United Kingdom, Vol. 4 (2006)
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 152 (27 March 2006), pp. 3-22.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 203, No. 1. (28 March 2008), pp. 135-148.
|
| |
Applications of Graph Transformations with Industrial Relevance (2008), pp. 442-455.
|
| |
Applications of Graph Transformations with Industrial Relevance (2008), pp. 540-565.
by Dániel Varró, Márk Asztalos, Dénes Bisztray, et al.Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell
|
| |
Applications of Graph Transformations with Industrial Relevance (2008), pp. 493-513.
|
| |
Concurrency, Graphs and Models (2008), pp. 37-56.
|
| |
Graph Transformations (2008), pp. 274-288.
|
| |
Graph Transformations (2008), pp. 508-510.
|
| |
Graph Transformations (2008), pp. 162-177.
|
| |
Graph Transformations (2008), pp. 194-210.
|
| |
Graph Transformations (2008), pp. 1-17.
|
| |
Theoretical Aspects of Computing - ICTAC 2008 (2008), pp. 305-318.
|
| |
Theory and Practice of Model Transformations (2008), pp. 229-244.
|
| |
J. Syst. Softw., Vol. 82, No. 2. (February 2009), pp. 292-306.
|
| |
Concurrency, Graphs and Models (2008), pp. 16-36.
|
| |
Concurrency, Graphs and Models (2008), pp. 57-75.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2007), Vol. 213, No. 1. (5 May 2008), pp. 23-38.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2007), Vol. 213, No. 1. (5 May 2008), pp. 3-21.
|
| |
In VLHCC '07: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (2007), pp. 171-174.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2006), Vol. 211 (28 April 2008), pp. 171-179.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2006), Vol. 211 (28 April 2008), pp. 241-250.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2006), Vol. 211 (28 April 2008), pp. 51-62.
|
| |
Applications of Graph Transformations with Industrial Relevance (2000), pp. 333-341.
|
| |
Graph Transformations (2006), pp. 61-76.
|
| |
Objects, Agents, and Features (2004), pp. 81-97.
|
| |
Graph Transformations (2004), pp. 431-433.
|
| |
Graph Transformations (2004), pp. 96-111.
|
| |
«UML» 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools (2001), pp. 241-256.
|
| |
Integrated Formal Methods (2002), pp. 11-28.
|
| |
Graph Transformation (2002), pp. 402-429.
|
| |
Formal Methods in Software and Systems Modeling (2005), pp. 101-115.
|
| |
In SEKE (2007), pp. 232-237.
|
| |
Mathematical Structures in Computer Science, Vol. 15, No. 04. (2005), pp. 773-819.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), Vol. 148, No. 1. (1 February 2006), pp. 19-40.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop on Visual Languages and Formal Methods (VLFM 2004), Vol. 127, No. 4. (21 April 2005), pp. 17-33.
|
| |
Applications of Graph Transformations with Industrial Relevance In Applications of Graph Transformations with Industrial Relevance (2004), pp. 446-453.
|
| |
Formal Aspects of Computing, Vol. 21, No. 1-2. (February 2009), pp. 103-131.
|
| |
Visual Languages and Human-Centric Computing, 2005 IEEE Symposium on In VLHCC '05: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05) (2005), pp. 125-133.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Third International Workshop on Software Verification and Validation (SVV 2005), Vol. 157, No. 1. (16 May 2006), pp. 39-59.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the International Workshop on Graph and Model Transformation (GraMoT 2005), Vol. 152 (27 March 2006), pp. 207-222.
|
CiteULike
leonardo's CiteULike
Search
Export
