Juan de Lara

Available identifiers

zbMath Open de-lara.juanMaRDI QIDQ465489

List of research outcomes

Publication	Date of Publication	Type
Lifted structural invariant analysis of Petri net product lines	2022-11-16	Paper
Multi-level Model Product Lines	2022-10-13	Paper
Language family engineering with product lines of multi-level models	2022-01-11	Paper
Extensible structural analysis of Petri net product lines	2021-06-14	Paper
Pattern-based Rewriting through Abstraction	2017-03-16	Paper
A formalisation of deep metamodelling	2016-08-05	Paper
Towards the flexible reuse of model transformations: a formal approach based on graph transformation	2014-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q2871854	2014-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q2847842	2013-09-11	Paper
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation	2012-06-01	Paper
https://portal.mardi4nfdi.de/entity/Q2882461	2012-05-04	Paper
Controlling Reuse in Pattern-Based Model-to-Model Transformations	2010-11-26	Paper
Graph Transformation for Domain-Specific Discrete Event Time Simulation	2010-10-04	Paper
Automating the transformation-based analysis of visual languages	2010-05-28	Paper
Matrix Graph Grammars with Application Conditions	2010-05-25	Paper
A reformulation of matrix graph grammars with Boolean complexes	2010-03-26	Paper
Matrix Approach to Graph Transformation: Matching and Sequences	2008-11-27	Paper
Model View Management with Triple Graph Transformation Systems	2008-11-27	Paper
Pattern-Based Model-to-Model Transformation	2008-11-20	Paper
Fundamental Approaches to Software Engineering	2007-11-28	Paper
Graph Transformations	2007-06-21	Paper
Attributed graph transformation with node type inheritance	2007-05-23	Paper
SIMULATING STRUCTURAL CHANGE IN ADAPTIVE ORGANIZATIONS	2007-02-15	Paper
Diagrammatic Representation and Inference	2005-12-27	Paper
Fundamental Approaches to Software Engineering	2005-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4665726	2005-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738324	2004-08-11	Paper
Distributed Simulation of Ecosystems for the Internet	2004-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q4444445	2004-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q4438782	2003-12-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Juan de Lara