dblp.uni-trier.dewww.uni-trier.de

Juan de Lara Vis

Juan de Lara Jaramillo

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
75EEFernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig: Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. CALCO 2009: 383-397
74EEPaolo Bottoni, Esther Guerra, Juan de Lara: Formal Foundation for Pattern-Based Modelling. FASE 2009: 278-293
73EEEsther Guerra, Juan de Lara, Fernando Orejas: Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. ICMT 2009: 83-99
72EEJuan de Lara, Esther Guerra: Formal Support for QVT-Relations with Coloured Petri Nets. MoDELS 2009: 256-270
71EEPedro Pablo Pérez Velasco, Juan de Lara: Matrix Graph Grammars and Monotone Complex Logics CoRR abs/0902.0850: (2009)
70EEPedro Pablo Pérez Velasco, Juan de Lara Jaramillo: Matrix Graph Grammars with Application Conditions CoRR abs/0902.1809: (2009)
2008
69EESilvia 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
68EEJuan de Lara, Hans Vangheluwe: Translating Model Simulators to Analysis Models. FASE 2008: 77-92
67EEJuan de Lara, Esther Guerra: Pattern-Based Model-to-Model Transformation. ICGT 2008: 426-441
66EEJordi 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
64EEJordi 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
63EEJosé Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo: Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude. SLE 2008: 54-73
62EEClaudia 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)
61EEPedro 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)
60EEEsther 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)
59EEEsther 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)
58EEPaolo 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)
57EEFrancisco 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
56EEArend 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
55EEFrancisco 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
52EEJuan de Lara, Tihamer Levendovszky, Pieter J. Mosterman, Hans Vangheluwe: Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools. MoDELS Workshops 2007: 237-246
51EEPaolo Bottoni, Juan de Lara, Esther Guerra: Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages. VL/HCC 2007: 163-170
50EEEsther Guerra, Juan de Lara, Alessio Malizia: Model Driven Formal Development of Digital Libraries. WEBIST (Selected Papers) 2007: 169-183
49EEEsther Guerra, Juan de Lara: Adding Recursion to Graph Transformation. ECEASST 6: (2007)
48EEJuan de Lara, Esther Guerra, Paolo Bottoni: Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules. ECEASST 6: (2007)
47EEEsther Guerra, Juan de Lara: Event-driven grammars: relating abstract and concrete levels of visual languages. Software and System Modeling 6(3): 317-347 (2007)
46EEJuan 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
45EEFrancisco Pérez, Juan de Lara: Hacia la Definición de Lenguajes Específico de Dominio con Sintáxis Gráfica y Textual. DSDM 2006
44EEMiguel Romero, Juan de Lara: Verificación y Validación en el Ámbito del Desarrollo Basado en Modelos de Interfaces de Usuario. DSDM 2006
43EEPedro Pablo Pérez Velasco, Juan de Lara: Matrix Approach to Graph Transformation: Matching and Sequences. ICGT 2006: 122-137
42EEEsther Guerra, Juan de Lara: Model View Management with Triple Graph Transformation Systems. ICGT 2006: 351-366
41EEOswaldo 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)
40EEJuan de Lara, Pedro Pablo Pérez Velasco: Petri Nets and Matrix Graph Grammars: Reachability. ECEASST 2: (2006)
2005
39EEJuan de Lara, Gabriele Taentzer: Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation. ACSD 2005: 144-153
38EEJuan de Lara, Esther Guerra: Formal Support for Model Driven Development with Graph Transformation Techniques. DSDM 2005
37EEHartmut 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
35EEHartmut 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
34EEEsther 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
33EEJuan de Lara: Distributed Event Graphs: Formalizing Component-based Modelling and Simulation. Electr. Notes Theor. Comput. Sci. 127(4): 145-162 (2005)
2004
32EEJuan de Lara, Gabriele Taentzer: Automated Model Transformation and Its Validation Using AToM 3 and AGG. Diagrams 2004: 182-198
31EERoswitha 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
30EEEsther Guerra, Juan de Lara: Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation. ICGT 2004: 54-69
29EEHans Vangheluwe, Juan de Lara: Computer Automated Multi-Paradigm Modelling for Analysis and Design of Traffic Networks. Winter Simulation Conference 2004: 249-258
28EEJuan 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)
27EEJuan 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)
26EEJuan 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
25EEJuan 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
22EEHans 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)
20EEJuan 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)
19EEJuan 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
16EEJuan 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
13EEJuan de Lara, Hans Vangheluwe: Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts. ICGT 2002: 239-253
12EEManuel Alfonseca, Juan de Lara: Simulating evolutionary agent communities with OOCSMP. SAC 2002: 11-15
11EEHans Vangheluwe, Juan de Lara: XML-based modeling and simulation: meta-models are models too. Winter Simulation Conference 2002: 597-605
10EEJuan 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
9EEJuan de Lara, Manuel Alfonseca: Agent Oriented Simulation with OOCSMP. An Example in Evolutionary Ant Colonies. IVA 2001: 233-234
8EEManuel 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
6EEJuan 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
3EEJuan 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
2EEManuel 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)