( en | de | ru )

 

Disambiguation of "de Lara, Juan"

Author of the publication

copydeleteadd this publication to your clipboard
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.

, , , and . CALCO, volume 5728 of Lecture Notes in Computer Science, page 383-397. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hsiao-Mei Juan

Alexander Juan

Pere Juan i Tous

María Elena Juan Pardo

Camilo Ernesto Lara Martinez

 

Other publications of authors with the same name

Termination Criteria for Model Transformation, , , , , and . 3442, page 49--63. (2005)Attributed graph transformation with node type inheritance, , , , , and . Theoretical Computer Science, 376 (3): 139--163 (May 2007)Ludo: A Case Study for Graph Transformation Tools, , , , , , , , and . Agtive, (2007)A Visual Language for Modelling and Simulation of Networks of Evolutionary Processors., , and . PAAMS (Special Sessions and Workshops), volume 71 of Advances in Intelligent and Soft Computing, page 411-418. Springer, (2010)A modelling language for the effective design of Java annotations., and . SAC, page 2087-2092. ACM, (2015)Preface of the Fourth International Workshop on Graph-Based Tools, GraBaTs 2010., and . ECEASST, (2010)Verification and validation of declarative model-to-model transformations through invariants., , , and . J. Syst. Softw., 83 (2): 283-302 (2010)Pattern-Based Model-to-Model Transformation., and . ICGT, volume 5214 of Lecture Notes in Computer Science, page 426-441. Springer, (2008)Inter-modelling: From Theory to Practice., , , and . MoDELS (1), volume 6394 of Lecture Notes in Computer Science, page 376-391. Springer, (2010)Formal Support for QVT-Relations with Coloured Petri Nets., and . MoDELS, volume 5795 of Lecture Notes in Computer Science, page 256-270. Springer, (2009)