The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Juan de Lara: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Juan de Lara, Gabriele Taentzer
    Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:144-153 [Conf]
  2. Juan de Lara, Esther Guerra, Hans Vangheluwe
    Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    AGTIVE, 2003, pp:292-298 [Conf]
  3. Manuel Alfonseca, Enrique Alfonseca, Juan de Lara
    Compiling a simulation language in APL. [Citation Graph (0, 0)][DBLP]
    APL, 1998, pp:105-109 [Conf]
  4. Hartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, Szilvia Varró-Gyapay
    Termination Criteria for Model Transformation. [Citation Graph (0, 0)][DBLP]
    Transformation Techniques in Software Engineering, 2005, pp:- [Conf]
  5. Juan de Lara, Gabriele Taentzer
    Automated Model Transformation and Its Validation Using AToM 3 and AGG. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2004, pp:182-198 [Conf]
  6. Manuel Alfonseca, Juan de Lara, Germán Montoro
    Teaching Partial Differential Equations through the Internet: an Interactive Approach. [Citation Graph (0, 0)][DBLP]
    ESM, 2002, pp:395-399 [Conf]
  7. Manuel Alfonseca, Juan de Lara, Estrella Pulido
    Semiautomatic Generation of Educational Courses in the Internet by Means of an Object-Oriented Continuous Simulation Language. [Citation Graph (0, 0)][DBLP]
    ESM, 1998, pp:547-551 [Conf]
  8. Juan de Lara, Hans Vangheluwe
    Using Meta-Modelling and Graph Grammars to Process GPSS Models. [Citation Graph (0, 0)][DBLP]
    ESM, 2002, pp:100-107 [Conf]
  9. Juan de Lara, Hans Vangheluwe
    AToM3: A Tool for Multi-formalism and Meta-modelling. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:174-188 [Conf]
  10. Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer
    Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:214-228 [Conf]
  11. Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay
    Termination Criteria for Model Transformation. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:49-63 [Conf]
  12. Esther Guerra, Juan de Lara
    Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:54-69 [Conf]
  13. Esther Guerra, Juan de Lara
    Model View Management with Triple Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:351-366 [Conf]
  14. Juan de Lara, Hans Vangheluwe
    Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts. [Citation Graph (0, 0)][DBLP]
    ICGT, 2002, pp:239-253 [Conf]
  15. Pedro Pablo Pérez Velasco, Juan de Lara
    Matrix Approach to Graph Transformation: Matching and Sequences. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:122-137 [Conf]
  16. Juan de Lara, Manuel Alfonseca
    Hierarchical Visualization in a Simulation-Based Educational Multimedia Web System. [Citation Graph (0, 0)][DBLP]
    ICEIS, 2002, pp:946-953 [Conf]
  17. Juan de Lara, Hans Vangheluwe
    Using AToM3 as a Meta-Case Tool. [Citation Graph (0, 0)][DBLP]
    ICEIS, 2002, pp:642-649 [Conf]
  18. Juan de Lara, Manuel Alfonseca
    Agent Oriented Simulation with OOCSMP. An Example in Evolutionary Ant Colonies. [Citation Graph (0, 0)][DBLP]
    IVA, 2001, pp:233-234 [Conf]
  19. Mabel del V. Sosa, Silvia Teresita Acuña, Juan de Lara
    Enfoque de Metamodelado y Multiformalismo Aplicado al Proceso Software usando AToM3. [Citation Graph (0, 0)][DBLP]
    JIISIC, 2007, pp:367-374 [Conf]
  20. Iván Dotú, Juan de Lara
    Rapid Prototyping by Means of Meta-Modelling and Graph Grammars. An Example with Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    JISBD, 2003, pp:401-410 [Conf]
  21. Esther Guerra, Juan de Lara
    A Framework for the Verification of UML Models. Examples Using Petri Nets. [Citation Graph (0, 0)][DBLP]
    JISBD, 2003, pp:325-334 [Conf]
  22. Esther Guerra, Paloma Díaz, Juan de Lara
    Supporting the Automatic Generation of Advanced Modelling Environments with Graph Transformation Techniques. [Citation Graph (0, 0)][DBLP]
    JISBD, 2005, pp:67-74 [Conf]
  23. Manuel Alfonseca, Juan de Lara
    Simulating evolutionary agent communities with OOCSMP. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:11-15 [Conf]
  24. Esther Guerra, Paloma Díaz, Juan de Lara
    A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views. [Citation Graph (0, 0)][DBLP]
    VL/HCC, 2005, pp:284-286 [Conf]
  25. Manuel Alfonseca, Juan de Lara, Hans Vangheluwe
    Web II: web-based simulation of systems described by partial differential equations. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2001, pp:629-636 [Conf]
  26. Hans Vangheluwe, Juan de Lara
    XML-based modeling and simulation: meta-models are models too. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2002, pp:597-605 [Conf]
  27. Hans Vangheluwe, Juan de Lara
    Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2003, pp:595-603 [Conf]
  28. Hans Vangheluwe, Juan de Lara
    Computer Automated Multi-Paradigm Modelling for Analysis and Design of Traffic Networks. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2004, pp:249-258 [Conf]
  29. Juan de Lara
    Meta-Modelling and Graph Transformation for the Simulation of Systems. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2003, v:81, n:, pp:180-194 [Journal]
  30. Juan de Lara
    Distributed Event Graphs: Formalizing Component-based Modelling and Simulation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:4, pp:145-162 [Journal]
  31. Juan de Lara, Manuel Alfonseca
    Constructing Simulation-Based Web Documents. [Citation Graph (0, 0)][DBLP]
    IEEE MultiMedia, 2001, v:8, n:1, pp:42-49 [Journal]
  32. Juan de Lara, Manuel Alfonseca
    Some strategies for the simulation of vocabulary agreement in multi-agent communities. [Citation Graph (0, 0)][DBLP]
    J. Artificial Societies and Social Simulation, 2000, v:3, n:4, pp:- [Journal]
  33. Juan de Lara, Manuel Alfonseca
    The role of oblivion, memory size and spatial separation in dynamic language games. [Citation Graph (0, 0)][DBLP]
    J. Artificial Societies and Social Simulation, 2002, v:5, n:2, pp:- [Journal]
  34. Juan de Lara, Hans Vangheluwe, Manuel Alfonseca
    Meta-modelling and graph grammars for multi-paradigm modelling in AToM3. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2004, v:3, n:3, pp:194-209 [Journal]
  35. Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
    Attributed graph transformation with node type inheritance. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:376, n:3, pp:139-163 [Journal]
  36. Juan de Lara, Hans Vangheluwe
    Defining visual notations and their manipulation through meta-modelling and graph transformation. [Citation Graph (0, 0)][DBLP]
    J. Vis. Lang. Comput., 2004, v:15, n:3-4, pp:309-330 [Journal]

  37. Ludo: A Case Study for Graph Transformation Tools. [Citation Graph (, )][DBLP]


  38. Domain Specific Languages with Graphical and Textual Views. [Citation Graph (, )][DBLP]


  39. Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. [Citation Graph (, )][DBLP]


  40. Formal Foundation for Pattern-Based Modelling. [Citation Graph (, )][DBLP]


  41. Translating Model Simulators to Analysis Models. [Citation Graph (, )][DBLP]


  42. Pattern-Based Model-to-Model Transformation. [Citation Graph (, )][DBLP]


  43. Graph Transformation for Domain-Specific Discrete Event Time Simulation. [Citation Graph (, )][DBLP]


  44. Modelado del proceso de software con enfoque de negocio. Aplicación de los estándares BPMN y UML. [Citation Graph (, )][DBLP]


  45. Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools. [Citation Graph (, )][DBLP]


  46. An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations. [Citation Graph (, )][DBLP]


  47. Inter-modelling: From Theory to Practice. [Citation Graph (, )][DBLP]


  48. Formal Support for QVT-Relations with Coloured Petri Nets. [Citation Graph (, )][DBLP]


  49. Generic Meta-modelling with Concepts, Templates and Mixin Layers. [Citation Graph (, )][DBLP]


  50. transML: A Family of Languages to Model Model Transformations. [Citation Graph (, )][DBLP]


  51. Designing PRIMA: A Precise Visual Language for Modeling with Agents, in a Physical environment. [Citation Graph (, )][DBLP]


  52. Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages. [Citation Graph (, )][DBLP]


  53. Model Driven Formal Development of Digital Libraries. [Citation Graph (, )][DBLP]


  54. Deep Meta-modelling with MetaDepth. [Citation Graph (, )][DBLP]


  55. Empirical study of how personality, team processes and task characteristics relate to satisfaction and software quality. [Citation Graph (, )][DBLP]


  56. Analysing Graph Transformation Rules through OCL. [Citation Graph (, )][DBLP]


  57. Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. [Citation Graph (, )][DBLP]


  58. Synthesis of OCL Pre-conditions for Graph Transformation Rules. [Citation Graph (, )][DBLP]


  59. Hacia la Definición de Lenguajes Específico de Dominio con Sintáxis Gráfica y Textual. [Citation Graph (, )][DBLP]


  60. Verificación y Validación en el Ámbito del Desarrollo Basado en Modelos de Interfaces de Usuario. [Citation Graph (, )][DBLP]


  61. Formal Support for Model Driven Development with Graph Transformation Techniques. [Citation Graph (, )][DBLP]


  62. Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude. [Citation Graph (, )][DBLP]


  63. Simulating Structural Change in Adaptive Organizations. [Citation Graph (, )][DBLP]


  64. Matrix Graph Grammars and Monotone Complex Logics [Citation Graph (, )][DBLP]


  65. An Algebraic Formalization of the GoF Design Patterns [Citation Graph (, )][DBLP]


  66. Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence. [Citation Graph (, )][DBLP]


  67. Visual Specification of Metrics for Domain Specific Visual Languages. [Citation Graph (, )][DBLP]


Search in 0.085secs, Finished in 0.087secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002