Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Juan de Lara

Backwards Reasoning for Model Transformations: Method and Applications

Journal of Systems and Software
HardwareInformation SystemsArchitectureSoftware
2016English

Streaming Model Transformations: Scenarios, Challenges and Initial Solutions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Matrix Graph Grammars With Application Conditions

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

An Algebraic Semantics for QVT-Relations Check-Only Transformations

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2012English

Ann: A Domain-Specific Language for the Effective Design and Validation of Java Annotations

Computer Languages, Systems and Structures
Computer NetworksSoftwareCommunications
2016English

A Visual Specification Language for Model-To-Model Transformations

2010English

Efficient Model Partitioning for Distributed Model Transformations

2016English

Two-Level Evolution of Foraging Agent Communities

BioSystems
StatisticsGeneticsProbabilityMolecular BiologyBiochemistryApplied MathematicsSimulationMedicineModeling
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy