Juan de Lara

Juan de Lara Jaramillo

	2009
75		Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig: Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. CALCO 2009: 383-397
74		Paolo Bottoni, Esther Guerra, Juan de Lara: Formal Foundation for Pattern-Based Modelling. FASE 2009: 278-293
73		Esther Guerra, Juan de Lara, Fernando Orejas: Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. ICMT 2009: 83-99
72		Juan de Lara, Esther Guerra: Formal Support for QVT-Relations with Coloured Petri Nets. MoDELS 2009: 256-270
71		Pedro Pablo Pérez Velasco, Juan de Lara: Matrix Graph Grammars and Monotone Complex Logics CoRR abs/0902.0850: (2009)
70		Pedro Pablo Pérez Velasco, Juan de Lara Jaramillo: Matrix Graph Grammars with Application Conditions CoRR abs/0902.1809: (2009)
	2008
69		Silvia Teresita Acuña, Marta Gómez, Juan de Lara: Empirical study of how personality, team processes and task characteristics relate to satisfaction and software quality. ESEM 2008: 291-293
68		Juan de Lara, Hans Vangheluwe: Translating Model Simulators to Analysis Models. FASE 2008: 77-92
67		Juan de Lara, Esther Guerra: Pattern-Based Model-to-Model Transformation. ICGT 2008: 426-441
66		Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: Analysing Graph Transformation Rules through OCL. ICMT 2008: 229-244
65		Mabel del V. Sosa, Silvia Teresita Acuña, Juan de Lara: Modelado del proceso de software con enfoque de negocio. Aplicación de los estándares BPMN y UML. JIISIC 2008: 89-96
64		Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations. MoDELS 2008: 37-52
63		José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo: Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude. SLE 2008: 54-73
62		Claudia Ermel, Juan de Lara, Reiko Heckel: Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008). ECEASST 10: (2008)
61		Pedro Pablo Pérez Velasco, Juan de Lara: Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence. Electr. Notes Theor. Comput. Sci. 206: 133-152 (2008)
60		Esther Guerra, Paloma Díaz, Juan de Lara: Visual Specification of Metrics for Domain Specific Visual Languages. Electr. Notes Theor. Comput. Sci. 211: 99-110 (2008)
59		Esther Guerra, Juan de Lara, Paloma Díaz: Visual specification of measurements and redesigns for domain specific visual languages. J. Vis. Lang. Comput. 19(3): 399-425 (2008)
58		Paolo Bottoni, Esther Guerra, Juan de Lara: Enforced generative patterns for the specification of the syntax and semantics of visual languages. J. Vis. Lang. Comput. 19(4): 429-455 (2008)
57		Francisco Pérez, Juan de Lara, Luis Conde, Manuel Alfonseca, Luis Galán, David Raboso: CEST and MEST: Tools for the simulation of radio frequency electric discharges in waveguides. Simulation Modelling Practice and Theory 16(9): 1438-1452 (2008)
	2007
56		Arend Rensink, Alexander Dotor, Claudia Ermel, Stefan Jurack, Ole Kniemeyer, Juan de Lara, Sonja Maier, Tom Staijen, Albert Zündorf: Ludo: A Case Study for Graph Transformation Tools. AGTIVE 2007: 493-513
55		Francisco Pérez Andrés, Juan de Lara, Esther Guerra: Domain Specific Languages with Graphical and Textual Views. AGTIVE 2007: 82-97
54		Mabel del V. Sosa, Silvia Teresita Acuña, Juan de Lara: Enfoque de Metamodelado y Multiformalismo Aplicado al Proceso Software usando AToM3. JIISIC 2007: 367-374
53		Alexandre Muzy, Juan de Lara, Esther Guerra: Designing PRIMA: A Precise Visual Language for Modeling with Agents, in a Physical environment. MSV 2007: 231-238
52		Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman, Hans Vangheluwe: Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools. MoDELS Workshops 2007: 237-246
51		Paolo Bottoni, Juan de Lara, Esther Guerra: Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages. VL/HCC 2007: 163-170
50		Esther Guerra, Juan de Lara, Alessio Malizia: Model Driven Formal Development of Digital Libraries. WEBIST (Selected Papers) 2007: 169-183
49		Esther Guerra, Juan de Lara: Adding Recursion to Graph Transformation. ECEASST 6: (2007)
48		Juan de Lara, Esther Guerra, Paolo Bottoni: Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules. ECEASST 6: (2007)
47		Esther Guerra, Juan de Lara: Event-driven grammars: relating abstract and concrete levels of visual languages. Software and System Modeling 6(3): 317-347 (2007)
46		Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer: Attributed graph transformation with node type inheritance. Theor. Comput. Sci. 376(3): 139-163 (2007)
	2006
45		Francisco Pérez, Juan de Lara: Hacia la Definición de Lenguajes Específico de Dominio con Sintáxis Gráfica y Textual. DSDM 2006
44		Miguel Romero, Juan de Lara: Verificación y Validación en el Ámbito del Desarrollo Basado en Modelos de Interfaces de Usuario. DSDM 2006
43		Pedro Pablo Pérez Velasco, Juan de Lara: Matrix Approach to Graph Transformation: Matching and Sequences. ICGT 2006: 122-137
42		Esther Guerra, Juan de Lara: Model View Management with Triple Graph Transformation Systems. ICGT 2006: 351-366
41		Oswaldo Terán, Juan de Lara, Manuel Alfonseca, José Lisandro Aguilar, Ana C. Muñoz: Simulating Structural Change in Adaptive Organizations. Cybernetics and Systems 37(7): 725-753 (2006)
40		Juan de Lara, Pedro Pablo Pérez Velasco: Petri Nets and Matrix Graph Grammars: Reachability. ECEASST 2: (2006)
	2005
39		Juan de Lara, Gabriele Taentzer: Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation. ACSD 2005: 144-153
38		Juan de Lara, Esther Guerra: Formal Support for Model Driven Development with Graph Transformation Techniques. DSDM 2005
37		Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay: Termination Criteria for Model Transformation. FASE 2005: 49-63
36		Esther Guerra, Paloma Díaz, Juan de Lara: Supporting the Automatic Generation of Advanced Modelling Environments with Graph Transformation Techniques. JISBD 2005: 67-74
35		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
34		Esther Guerra, Paloma Díaz, Juan de Lara: A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views. VL/HCC 2005: 284-286
33		Juan de Lara: Distributed Event Graphs: Formalizing Component-based Modelling and Simulation. Electr. Notes Theor. Comput. Sci. 127(4): 145-162 (2005)
	2004
32		Juan de Lara, Gabriele Taentzer: Automated Model Transformation and Its Validation Using AToM 3 and AGG. Diagrams 2004: 182-198
31		Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer: Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. FASE 2004: 214-228
30		Esther Guerra, Juan de Lara: Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation. ICGT 2004: 54-69
29		Hans Vangheluwe, Juan de Lara: Computer Automated Multi-Paradigm Modelling for Analysis and Design of Traffic Networks. Winter Simulation Conference 2004: 249-258
28		Juan de Lara Jaramillo, Claudia Ermel, Gabriele Taentzer, Karsten Ehrig: Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets. Electr. Notes Theor. Comput. Sci. 109: 17-29 (2004)
27		Juan de Lara, Hans Vangheluwe: Defining visual notations and their manipulation through meta-modelling and graph transformation. J. Vis. Lang. Comput. 15(3-4): 309-330 (2004)
26		Juan de Lara, Hans Vangheluwe, Manuel Alfonseca: Meta-modelling and graph grammars for multi-paradigm modelling in AToM3. Software and System Modeling 3(3): 194-209 (2004)
	2003
25		Juan de Lara, Esther Guerra, Hans Vangheluwe: Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems. AGTIVE 2003: 292-298
24		Esther Guerra, Juan de Lara: A Framework for the Verification of UML Models. Examples Using Petri Nets. JISBD 2003: 325-334
23		Iván Dotú, Juan de Lara: Rapid Prototyping by Means of Meta-Modelling and Graph Grammars. An Example with Constraint Satisfaction Problems. JISBD 2003: 401-410
22		Hans Vangheluwe, Juan de Lara: Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation. Winter Simulation Conference 2003: 595-603
21		Juan de Lara: Meta-Modelling and Graph Transformation for the Simulation of Systems. Bulletin of the EATCS 81: 180-194 (2003)
20		Juan de Lara Jaramillo, Hans Vangheluwe, Manuel Alfonseca Moreno: Using Meta-Modelling and Graph Grammars to Create Modelling Environments. Electr. Notes Theor. Comput. Sci. 72(3): (2003)
19		Juan de Lara, Manuel Alfonseca: Visual Interactive Simulation for Distance Education. Simulation 79(1): 19-34 (2003)
	2002
18		Juan de Lara, Hans Vangheluwe: Using Meta-Modelling and Graph Grammars to Process GPSS Models. ESM 2002: 100-107
17		Manuel Alfonseca, Juan de Lara, Germán Montoro: Teaching Partial Differential Equations through the Internet: an Interactive Approach. ESM 2002: 395-399
16		Juan de Lara, Hans Vangheluwe: AToM3: A Tool for Multi-formalism and Meta-modelling. FASE 2002: 174-188
15		Juan de Lara, Hans Vangheluwe: Using AToM3 as a Meta-Case Tool. ICEIS 2002: 642-649
14		Juan de Lara, Manuel Alfonseca: Hierarchical Visualization in a Simulation-Based Educational Multimedia Web System. ICEIS 2002: 946-953
13		Juan de Lara, Hans Vangheluwe: Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts. ICGT 2002: 239-253
12		Manuel Alfonseca, Juan de Lara: Simulating evolutionary agent communities with OOCSMP. SAC 2002: 11-15
11		Hans Vangheluwe, Juan de Lara: XML-based modeling and simulation: meta-models are models too. Winter Simulation Conference 2002: 597-605
10		Juan de Lara, Manuel Alfonseca: The role of oblivion, memory size and spatial separation in dynamic language games. J. Artificial Societies and Social Simulation 5(2): (2002)
	2001
9		Juan de Lara, Manuel Alfonseca: Agent Oriented Simulation with OOCSMP. An Example in Evolutionary Ant Colonies. IVA 2001: 233-234
8		Manuel Alfonseca, Juan de Lara, Hans Vangheluwe: Web II: web-based simulation of systems described by partial differential equations. Winter Simulation Conference 2001: 629-636
7		Juan de Lara, Manuel Alfonseca: Using Simulation and Virtual Reality for Distance Education. Computers and Education. Towards an Interconnected Society 2001: 199-206
6		Juan de Lara, Manuel Alfonseca: Constructing Simulation-Based Web Documents. IEEE MultiMedia 8(1): 42-49 (2001)
5		Manuel Alfonseca, Rosa M. Carro, Juan de Lara, Alfonso Ortega, Estrella Pulido, Pilar Rodríguez Marín, Carlos Santa Cruz: Spotlight on m&s activities: Web-based Simulation Activities of the Technical School of Computer Science in the Universidad Autónoma of Madrid. Simulation 76(2): 92 (2001)
	2000
4		Manuel Alfonseca, Juan de Lara: Integration of Simulation and Multimedia in Automatically Generated Internet Courses. Computers and Education in the 21st Century 2000: 47-54
3		Juan de Lara, Manuel Alfonseca: Some strategies for the simulation of vocabulary agreement in multi-agent communities. J. Artificial Societies and Social Simulation 3(4): (2000)
	1998
2		Manuel Alfonseca, Enrique Alfonseca, Juan de Lara: Compiling a simulation language in APL. APL 1998: 105-109
1		Manuel Alfonseca, Juan de Lara, Estrella Pulido: Semiautomatic Generation of Educational Courses in the Internet by Means of an Object-Oriented Continuous Simulation Language. ESM 1998: 547-551

Coauthor Index

1	Silvia Teresita Acuña	[54] [65] [69]
2	José Lisandro Aguilar	[41]
3	Enrique Alfonseca	[2]
4	Manuel Alfonseca (Manuel Alfonseca Moreno)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [14] [17] [19] [20] [26] [41] [57]
5	Francisco Pérez Andrés	[55]
6	Roswitha Bardohl	[31] [46]
7	Paolo Bottoni	[48] [51] [58] [74]
8	Jordi Cabot	[64] [66]
9	Rosa M. Carro	[5]
10	Robert Clarisó	[64] [66]
11	Luis Conde	[57]
12	Carlos Santa Cruz	[5]
13	Paloma Díaz (Paloma Díaz-Pérez)	[34] [36] [59] [60]
14	Alexander Dotor	[56]
15	Iván Dotú (Iván Javier Dotú Rodríguez)	[23]
16	Hartmut Ehrig	[31] [35] [37] [46] [75]
17	Karsten Ehrig	[28] [35] [37] [46]
18	Claudia Ermel	[28] [56] [62]
19	Luis Galán	[57]
20	Marta Gómez	[69]
21	Esther Guerra	[24] [25] [30] [34] [36] [38] [42] [47] [48] [49] [50] [51] [53] [55] [58] [59] [60] [63] [64] [66] [67] [72] [73] [74] [75]
22	Reiko Heckel	[62]
23	Stefan Jurack	[56]
24	Ole Kniemeyer	[56]
25	Tihamer Levendovszky	[52]
26	Sonja Maier	[56]
27	Alessio Malizia	[50]
28	Pilar Rodríguez Marín (Pilar Rodríguez)	[5]
29	Germán Montoro	[17]
30	Pieter J. Mosterman	[52]
31	Ana C. Muñoz	[41]
32	Alexandre Muzy	[53]
33	Fernando Orejas	[73] [75]
34	Alfonso Ortega (Alfonso Ortega de la Puente)	[5]
35	Francisco Pérez	[45] [57]
36	Ulrike Prange	[46]
37	Estrella Pulido	[1] [5]
38	David Raboso	[57]
39	Arend Rensink	[56]
40	José Eduardo Rivera	[63]
41	Miguel Romero	[44]
42	Mabel del V. Sosa	[54] [65]
43	Tom Staijen	[56]
44	Gabriele Taentzer	[28] [31] [32] [35] [37] [39] [46]
45	Oswaldo Terán	[41]
46	Antonio Vallecillo	[63]
47	Hans Vangheluwe	[8] [11] [13] [15] [16] [18] [20] [22] [25] [26] [27] [29] [52] [68]
48	Dániel Varró	[35] [37]
49	Szilvia Varró-Gyapay (Szilvia Gyapay)	[35] [37]
50	Pedro Pablo Pérez Velasco	[40] [43] [61] [70] [71]
51	Albert Zündorf	[56]

Colors in the list of coauthors