Fernando Orejas
Universidad Politécnica de Cataluña
H-index: 32
Europe-Spain
Top articles of Fernando Orejas
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Drag rewriting | Nachum Dershowitz Jean-Pierre Jouannaud Fernando Orejas | 2023/6/1 | |
Unification of drags and confluence of drag rewriting | Journal of Logical and Algebraic Methods in Programming | Jean-Pierre Jouannaud Fernando Orejas | 2023/2/1 |
A logic-based incremental approach to graph repair featuring delta preservation | International Journal on Software Tools for Technology Transfer | Sven Schneider Leen Lambers Fernando Orejas | 2021/6 |
A navigational logic for reasoning about graph properties | Journal of Logical and Algebraic Methods in Programming | Marisa Navarro Fernando Orejas Elvira Pino Leen Lambers | 2021/1/1 |
Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality | Theoretical Computer Science | Leen Lambers Fernando Orejas | 2021/9/7 |
Incremental Concurrent Model Synchronization using Triple Graph Grammars. | Fernando Orejas Elvira Pino Marisa Navarro | 2020/4/17 | |
Unfolding Symbolic Attributed Graph Grammars | Maryam Ghaffari Saadat Reiko Heckel Fernando Orejas | 2020 | |
Preface to the special issue on the 12th International Conference on Graph Transformation | Esther Guerra Fernando Orejas | 2020/10/1 | |
Initial conflicts for transformation rules with nested application conditions | Leen Lambers Fernando Orejas | 2020/6/23 | |
Unification of drags | RISC-Linz | Jean-Pierre Jouannaud Fernando Orejas | 2020/5/4 |
