![]() | ![]() |
Juan de Lara Jaramillo
List of publications from the DBLP Bibliography Server - FAQ
2009 | ||
---|---|---|
70 | EE | Paolo Bottoni, Esther Guerra, Juan de Lara: Formal Foundation for Pattern-Based Modelling. FASE 2009: 278-293 |
69 | EE | Pedro Pablo Pérez Velasco, Juan de Lara: Matrix Graph Grammars and Monotone Complex Logics CoRR abs/0902.0850: (2009) |
68 | EE | Pedro Pablo Pérez Velasco, Juan de Lara Jaramillo: Matrix Graph Grammars with Application Conditions CoRR abs/0902.1809: (2009) |
2008 | ||
67 | EE | 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 |
66 | EE | Juan de Lara, Hans Vangheluwe: Translating Model Simulators to Analysis Models. FASE 2008: 77-92 |
65 | EE | Juan de Lara, Esther Guerra: Pattern-Based Model-to-Model Transformation. ICGT 2008: 426-441 |
64 | EE | Jordi 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 | |
62 | EE | 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 |
61 | EE | 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 |
60 | EE | 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) |
59 | EE | 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) |
58 | EE | 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) |
57 | EE | 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) |
56 | EE | 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) |
55 | EE | 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 | ||
54 | EE | 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 |
53 | EE | Francisco 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 | |
50 | EE | 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 |
49 | EE | 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 |
48 | EE | Esther Guerra, Juan de Lara, Alessio Malizia: Model Driven Formal Development of Digital Libraries. WEBIST (Selected Papers) 2007: 169-183 |
47 | EE | Esther Guerra, Juan de Lara: Adding Recursion to Graph Transformation. ECEASST 6: (2007) |
46 | EE | Juan de Lara, Esther Guerra, Paolo Bottoni: Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules. ECEASST 6: (2007) |
45 | EE | 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) |
44 | EE | 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 | ||
43 | EE | 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 |
42 | EE | Miguel Romero, Juan de Lara: Verificación y Validación en el Ámbito del Desarrollo Basado en Modelos de Interfaces de Usuario. DSDM 2006 |
41 | EE | Pedro Pablo Pérez Velasco, Juan de Lara: Matrix Approach to Graph Transformation: Matching and Sequences. ICGT 2006: 122-137 |
40 | EE | Esther Guerra, Juan de Lara: Model View Management with Triple Graph Transformation Systems. ICGT 2006: 351-366 |
39 | EE | 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) |
38 | EE | Juan de Lara, Pedro Pablo Pérez Velasco: Petri Nets and Matrix Graph Grammars: Reachability. ECEASST 2: (2006) |
2005 | ||
37 | EE | Juan de Lara, Gabriele Taentzer: Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation. ACSD 2005: 144-153 |
36 | EE | Juan de Lara, Esther Guerra: Formal Support for Model Driven Development with Graph Transformation Techniques. DSDM 2005 |
35 | EE | Hartmut 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 | |
33 | EE | 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 |
32 | EE | 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 |
31 | EE | Juan de Lara: Distributed Event Graphs: Formalizing Component-based Modelling and Simulation. Electr. Notes Theor. Comput. Sci. 127(4): 145-162 (2005) |
2004 | ||
30 | EE | Juan de Lara, Gabriele Taentzer: Automated Model Transformation and Its Validation Using AToM 3 and AGG. Diagrams 2004: 182-198 |
29 | EE | 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 |
28 | EE | Esther Guerra, Juan de Lara: Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation. ICGT 2004: 54-69 |
27 | EE | Hans Vangheluwe, Juan de Lara: Computer Automated Multi-Paradigm Modelling for Analysis and Design of Traffic Networks. Winter Simulation Conference 2004: 249-258 |
26 | EE | 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) |
25 | EE | 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) |
24 | EE | 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 | ||
23 | EE | Juan 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 | |
20 | EE | 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 |
19 | Juan de Lara: Meta-Modelling and Graph Transformation for the Simulation of Systems. Bulletin of the EATCS 81: 180-194 (2003) | |
18 | EE | 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) |
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 | |
15 | EE | Juan 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 | |
12 | EE | Juan de Lara, Hans Vangheluwe: Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts. ICGT 2002: 239-253 |
11 | EE | Manuel Alfonseca, Juan de Lara: Simulating evolutionary agent communities with OOCSMP. SAC 2002: 11-15 |
10 | EE | Hans Vangheluwe, Juan de Lara: XML-based modeling and simulation: meta-models are models too. Winter Simulation Conference 2002: 597-605 |
9 | EE | 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 | ||
8 | EE | Juan de Lara, Manuel Alfonseca: Agent Oriented Simulation with OOCSMP. An Example in Evolutionary Ant Colonies. IVA 2001: 233-234 |
7 | EE | 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 |
6 | Juan de Lara, Manuel Alfonseca: Using Simulation and Virtual Reality for Distance Education. Computers and Education. Towards an Interconnected Society 2001: 199-206 | |
5 | EE | Juan 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 | |
3 | EE | 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 | EE | 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 |