- MODELLING AGENTS WITH UML: AN EXAMPLE IN BUILDING SECURITY EVALUTION
- Translating Model Simulators to Analysis Models
- Under consideration for publication in Formal Aspects of Computing Automating the
- Multi-Agent Simulation of an Educational Collaborative Web System lvaro Barbero, Mario Salvador Gonzlez-Rodrguez, Juan de Lara, Manuel Alfonseca
- Teaching Partial Differential Equations through the Internet: an interactive approach
- An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations
- Meta-Modelling Hybrid Formalisms Simon Lacoste-Julien, Hans Vangheluwe, Juan de Lara, and Pieter J. Mosterman
- ON SOME PROPERTIES OF ARTIFICIAL FORAGING ANT COMMUNITIES
- CEST and MEST: Tools for the Simulation of Radio Frequency Electric Discharges in Waveguides
- Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation
- Using Simulation and Virtual Reality for Distance Juan de Lara, Manuel Alfonseca
- Agent Oriented Simulation with OOCSMP. An example in evolutionay ant colonies.
- HIERARCHICAL VISUALIZATION IN A SIMULATION-BASED EDUCATIONAL MULTIMEDIA WEB SYSTEM
- Towards a New Algebraic Approach to Graph Transformation.
- Attributed Typed Triple Graph Transformation with Inheritance in the Double Pushout Approach
- Integration of Simulation and Multimedia in Automatically Generated Internet Courses
- Developing adaptive web courses based on simulation: A thick client Manuel Alfonseca, Juan de Lara, Alfonso Ortega1
- Proceedings of the 2004 Winter Simulation Conference R. Ingalls, M. Rossetti, J. Smith, B. Peters, eds.
- Model View Management with Triple Graph Transformation Systems
- Using Matrix Graph Grammars for the Analysis of Behavioural Specications: Sequential and Parallel Independence
- Metamodel-based definition of interaction with visual environments
- Simulacin Educativa Mediante Meta-Modelado y Gramticas de Grafos
- Our system for constructing Web
- Proceedings of the 2001 Winter Simulation Conference B. A. Peters, J. S. Smith, D. J. Medeiros, and M. W. Rohrer, eds.
- Attributed Graph Transformation with Node Type Inheritance
- Simulating evolutionary agent communities with OOCSMP Manuel Alfonseca
- Software and Systems Modeling manuscript No. (will be inserted by the editor)
- Fundamenta Informaticae XXI (2010) 133 1 An Algebraic Semantics for QVT-Relations Check-only
- Software and Systems Modeling manuscript No. (will be inserted by the editor)
