×

zbMATH — the first resource for mathematics

de Lara, Juan

Compute Distance To:
Author ID: de-lara.juan Recent zbMATH articles by "de Lara, Juan"
Published as: De Lara, J.; De Lara, Juan; de Lara, Juan
Documents Indexed: 29 Publications since 2001, including 2 Books

Publications by Year

Citations contained in zbMATH

15 Publications have been cited 53 times in 30 Documents Cited by Year
Termination criteria for model transformation. Zbl 1119.68344
Ehrig, Hartmut; Ehrig, Karsten; de Lara, Juan; Taentzer, Gabriele; Varró, Dániel; Varró-Gyapay, Szilvia
12
2005
Pattern-based model-to-model transformation. Zbl 1175.68114
de Lara, Juan; Guerra, Esther
8
2008
Attributed graph transformation with node type inheritance. Zbl 1116.68042
de Lara, Juan; Bardohl, Roswitha; Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
7
2007
Correctness, completeness and termination of pattern-based model-to-model transformation. Zbl 1239.68026
Orejas, Fernando; Guerra, Esther; de Lara, Juan; Ehrig, Hartmut
5
2009
Integrating meta-modelling aspects with graph transformation for efficient visual language definition and model manipulation. Zbl 1129.68420
Bardohl, Roswitha; Ehrig, Hartmut; de Lara, Juan; Taentzer, Gabriele
5
2004
Automated model transformation and its validation using AToM\({}^{3}\) and AGG. Zbl 1091.68667
de Lara, Juan; Taentzer, Gabriele
4
2004
AToM\({}^3\): A tool for multi-formalism and meta-modelling. Zbl 1059.68561
de Lara, Juan; Vangheluwe, Hans
3
2002
Towards the flexible reuse of model transformations: a formal approach based on graph transformation. Zbl 1371.68055
de Lara, Juan; Guerra, Esther
2
2014
Graph transformation. 10th international conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18–19, 2017. Proceedings. Zbl 1367.68013
de Lara, Juan (ed.); Plump, Detlef (ed.)
1
2017
A formalisation of deep metamodelling. Zbl 1342.68098
Rossini, Alessandro; de Lara, Juan; Guerra, Esther; Rutle, Adrian; Wolter, Uwe
1
2014
Automating the transformation-based analysis of visual languages. Zbl 1213.68412
de Lara, Juan; Vangheluwe, Hans
1
2010
Model view management with triple graph transformation systems. Zbl 1156.68346
Guerra, Esther; de Lara, Juan
1
2006
Matrix approach to graph transformation: Matching and sequences. Zbl 1156.68436
Pérez Velasco, Pedro Pablo; de Lara, Juan
1
2006
Parallel graph transformation for model simulation applied to timed transition Petri nets. Zbl 1271.68118
De Lara, J.; Ermel, C.; Taentzer, G.; Ehrig, K.
1
2004
Computer aided multi-paradigm modelling to process Petri-nets and statecharts. Zbl 1028.68090
de Lara, Juan; Vangheluwe, Hans
1
2002
Graph transformation. 10th international conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18–19, 2017. Proceedings. Zbl 1367.68013
de Lara, Juan (ed.); Plump, Detlef (ed.)
1
2017
Towards the flexible reuse of model transformations: a formal approach based on graph transformation. Zbl 1371.68055
de Lara, Juan; Guerra, Esther
2
2014
A formalisation of deep metamodelling. Zbl 1342.68098
Rossini, Alessandro; de Lara, Juan; Guerra, Esther; Rutle, Adrian; Wolter, Uwe
1
2014
Automating the transformation-based analysis of visual languages. Zbl 1213.68412
de Lara, Juan; Vangheluwe, Hans
1
2010
Correctness, completeness and termination of pattern-based model-to-model transformation. Zbl 1239.68026
Orejas, Fernando; Guerra, Esther; de Lara, Juan; Ehrig, Hartmut
5
2009
Pattern-based model-to-model transformation. Zbl 1175.68114
de Lara, Juan; Guerra, Esther
8
2008
Attributed graph transformation with node type inheritance. Zbl 1116.68042
de Lara, Juan; Bardohl, Roswitha; Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
7
2007
Model view management with triple graph transformation systems. Zbl 1156.68346
Guerra, Esther; de Lara, Juan
1
2006
Matrix approach to graph transformation: Matching and sequences. Zbl 1156.68436
Pérez Velasco, Pedro Pablo; de Lara, Juan
1
2006
Termination criteria for model transformation. Zbl 1119.68344
Ehrig, Hartmut; Ehrig, Karsten; de Lara, Juan; Taentzer, Gabriele; Varró, Dániel; Varró-Gyapay, Szilvia
12
2005
Integrating meta-modelling aspects with graph transformation for efficient visual language definition and model manipulation. Zbl 1129.68420
Bardohl, Roswitha; Ehrig, Hartmut; de Lara, Juan; Taentzer, Gabriele
5
2004
Automated model transformation and its validation using AToM\({}^{3}\) and AGG. Zbl 1091.68667
de Lara, Juan; Taentzer, Gabriele
4
2004
Parallel graph transformation for model simulation applied to timed transition Petri nets. Zbl 1271.68118
De Lara, J.; Ermel, C.; Taentzer, G.; Ehrig, K.
1
2004
AToM\({}^3\): A tool for multi-formalism and meta-modelling. Zbl 1059.68561
de Lara, Juan; Vangheluwe, Hans
3
2002
Computer aided multi-paradigm modelling to process Petri-nets and statecharts. Zbl 1028.68090
de Lara, Juan; Vangheluwe, Hans
1
2002

Citations by Year