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

Juan de Lara

Juan de Lara Jaramillo

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

2009
70EEPaolo Bottoni, Esther Guerra, Juan de Lara: Formal Foundation for Pattern-Based Modelling. FASE 2009: 278-293
69EEPedro Pablo Pérez Velasco, Juan de Lara: Matrix Graph Grammars and Monotone Complex Logics CoRR abs/0902.0850: (2009)
68EEPedro Pablo Pérez Velasco, Juan de Lara Jaramillo: Matrix Graph Grammars with Application Conditions CoRR abs/0902.1809: (2009)
2008
67EESilvia 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
66EEJuan de Lara, Hans Vangheluwe: Translating Model Simulators to Analysis Models. FASE 2008: 77-92
65EEJuan de Lara, Esther Guerra: Pattern-Based Model-to-Model Transformation. ICGT 2008: 426-441
64EEJordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: Analysing Graph Transformation Rules through OCL. ICMT 2008: 229-244
63 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
62EEJordi 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
61EEJosé Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo: Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude. SLE 2008: 54-73
60EEClaudia 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)
59EEPedro 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)
58EEEsther 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)
57EEEsther 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)
56EEPaolo 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)
55EEFrancisco 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
54EEArend 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
53EEFrancisco Pérez Andrés, Juan de Lara, Esther Guerra: Domain Specific Languages with Graphical and Textual Views. AGTIVE 2007: 82-97
52 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
51 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
50EEJuan de Lara, Tihamer Levendovszky, Pieter J. Mosterman, Hans Vangheluwe: Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools. MoDELS Workshops 2007: 237-246
49EEPaolo Bottoni, Juan de Lara, Esther Guerra: Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages. VL/HCC 2007: 163-170
48EEEsther Guerra, Juan de Lara, Alessio Malizia: Model Driven Formal Development of Digital Libraries. WEBIST (Selected Papers) 2007: 169-183
47EEEsther Guerra, Juan de Lara: Adding Recursion to Graph Transformation. ECEASST 6: (2007)
46EEJuan de Lara, Esther Guerra, Paolo Bottoni: Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules. ECEASST 6: (2007)
45EEEsther Guerra, Juan de Lara: Event-driven grammars: relating abstract and concrete levels of visual languages. Software and System Modeling 6(3): 317-347 (2007)
44EEJuan 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
43EEFrancisco Pérez, Juan de Lara: Hacia la Definición de Lenguajes Específico de Dominio con Sintáxis Gráfica y Textual. DSDM 2006
42EEMiguel Romero, Juan de Lara: Verificación y Validación en el Ámbito del Desarrollo Basado en Modelos de Interfaces de Usuario. DSDM 2006
41EEPedro Pablo Pérez Velasco, Juan de Lara: Matrix Approach to Graph Transformation: Matching and Sequences. ICGT 2006: 122-137
40EEEsther Guerra, Juan de Lara: Model View Management with Triple Graph Transformation Systems. ICGT 2006: 351-366
39EEOswaldo 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)
38EEJuan de Lara, Pedro Pablo Pérez Velasco: Petri Nets and Matrix Graph Grammars: Reachability. ECEASST 2: (2006)
2005
37EEJuan de Lara, Gabriele Taentzer: Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation. ACSD 2005: 144-153
36EEJuan de Lara, Esther Guerra: Formal Support for Model Driven Development with Graph Transformation Techniques. DSDM 2005
35EEHartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay: Termination Criteria for Model Transformation. FASE 2005: 49-63
34 Esther Guerra, Paloma Díaz, Juan de Lara: Supporting the Automatic Generation of Advanced Modelling Environments with Graph Transformation Techniques. JISBD 2005: 67-74
33EEHartmut 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
32EEEsther 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
31EEJuan de Lara: Distributed Event Graphs: Formalizing Component-based Modelling and Simulation. Electr. Notes Theor. Comput. Sci. 127(4): 145-162 (2005)
2004
30EEJuan de Lara, Gabriele Taentzer: Automated Model Transformation and Its Validation Using AToM 3 and AGG. Diagrams 2004: 182-198
29EERoswitha 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
28EEEsther Guerra, Juan de Lara: Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation. ICGT 2004: 54-69
27EEHans Vangheluwe, Juan de Lara: Computer Automated Multi-Paradigm Modelling for Analysis and Design of Traffic Networks. Winter Simulation Conference 2004: 249-258
26EEJuan 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)
25EEJuan 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)
24EEJuan 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
23EEJuan de Lara, Esther Guerra, Hans Vangheluwe: Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems. AGTIVE 2003: 292-298
22 Esther Guerra, Juan de Lara: A Framework for the Verification of UML Models. Examples Using Petri Nets. JISBD 2003: 325-334
21 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
20EEHans 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
19 Juan de Lara: Meta-Modelling and Graph Transformation for the Simulation of Systems. Bulletin of the EATCS 81: 180-194 (2003)
18EEJuan 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)
2002
17 Juan de Lara, Hans Vangheluwe: Using Meta-Modelling and Graph Grammars to Process GPSS Models. ESM 2002: 100-107
16 Manuel Alfonseca, Juan de Lara, Germán Montoro: Teaching Partial Differential Equations through the Internet: an Interactive Approach. ESM 2002: 395-399
15EEJuan de Lara, Hans Vangheluwe: AToM3: A Tool for Multi-formalism and Meta-modelling. FASE 2002: 174-188
14 Juan de Lara, Hans Vangheluwe: Using AToM3 as a Meta-Case Tool. ICEIS 2002: 642-649
13 Juan de Lara, Manuel Alfonseca: Hierarchical Visualization in a Simulation-Based Educational Multimedia Web System. ICEIS 2002: 946-953
12EEJuan de Lara, Hans Vangheluwe: Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts. ICGT 2002: 239-253
11EEManuel Alfonseca, Juan de Lara: Simulating evolutionary agent communities with OOCSMP. SAC 2002: 11-15
10EEHans Vangheluwe, Juan de Lara: XML-based modeling and simulation: meta-models are models too. Winter Simulation Conference 2002: 597-605
9EEJuan 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
8EEJuan de Lara, Manuel Alfonseca: Agent Oriented Simulation with OOCSMP. An Example in Evolutionary Ant Colonies. IVA 2001: 233-234
7EEManuel Alfonseca, Juan de Lara, Hans Vangheluwe: Web II: web-based simulation of systems described by partial differential equations. Winter Simulation Conference 2001: 629-636
6 Juan de Lara, Manuel Alfonseca: Using Simulation and Virtual Reality for Distance Education. Computers and Education. Towards an Interconnected Society 2001: 199-206
5EEJuan de Lara, Manuel Alfonseca: Constructing Simulation-Based Web Documents. IEEE MultiMedia 8(1): 42-49 (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 [52] [63] [67]
2José Lisandro Aguilar [39]
3Enrique Alfonseca [2]
4Manuel Alfonseca (Manuel Alfonseca Moreno) [1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [13] [16] [18] [24] [39] [55]
5Francisco Pérez Andrés [53]
6Roswitha Bardohl [29] [44]
7Paolo Bottoni [46] [49] [56] [70]
8Jordi Cabot [62] [64]
9Robert Clarisó [62] [64]
10Luis Conde [55]
11Paloma Díaz [32] [34] [57] [58]
12Alexander Dotor [54]
13Iván Dotú [21]
14Hartmut Ehrig [29] [33] [35] [44]
15Karsten Ehrig [26] [33] [35] [44]
16Claudia Ermel [26] [54] [60]
17Luis Galán [55]
18Marta Gómez [67]
19Esther Guerra [22] [23] [28] [32] [34] [36] [40] [45] [46] [47] [48] [49] [51] [53] [56] [57] [58] [61] [62] [64] [65] [70]
20Reiko Heckel [60]
21Stefan Jurack [54]
22Ole Kniemeyer [54]
23Tihamer Levendovszky [50]
24Sonja Maier [54]
25Alessio Malizia [48]
26Germán Montoro [16]
27Pieter J. Mosterman [50]
28Ana C. Muñoz [39]
29Alexandre Muzy [51]
30Francisco Pérez [43] [55]
31Ulrike Prange [44]
32Estrella Pulido [1]
33David Raboso [55]
34Arend Rensink [54]
35José Eduardo Rivera [61]
36Miguel Romero [42]
37Mabel del V. Sosa [52] [63]
38Tom Staijen [54]
39Gabriele Taentzer [26] [29] [30] [33] [35] [37] [44]
40Oswaldo Terán [39]
41Antonio Vallecillo [61]
42Hans Vangheluwe [7] [10] [12] [14] [15] [17] [18] [20] [23] [24] [25] [27] [50] [66]
43Dániel Varró [33] [35]
44Szilvia Varró-Gyapay (Szilvia Gyapay) [33] [35]
45Pedro Pablo Pérez Velasco [38] [41] [59] [68] [69]
46Albert Zündorf [54]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)