E-LIB Suche - Ergebnisse für: Orejas, Fernando

1

Unification of drags and confluence of drag rewriting:

Jouannaud, Jean-Pierre ; Orejas, Fernando
Journal of Logical and Algebraic Methods in Programming. 131 (2023) - p. 100845 , 2023

Link: https://doi.org/10.1016/..

2

A navigational logic for reasoning about graph properties:

Navarro, Marisa ; Orejas, Fernando ; Pino, Elvira.
Journal of Logical and Algebraic Methods in Programming. 118 (2021) - p. 100616 , 2021

Link: https://doi.org/10.1016/..

3

Transformation rules with nested application conditions: Cr..:

Lambers, Leen ; Orejas, Fernando
Theoretical Computer Science. 884 (2021) - p. 44-67 , 2021

Link: https://doi.org/10.1016/..

4

A logic-based incremental approach to graph repair featurin..:

Schneider, Sven ; Lambers, Leen ; Orejas, Fernando
International Journal on Software Tools for Technology Transfer. 23 (2021) 3 - p. 369-410 , 2021

Link: https://doi.org/10.1007/..

5

Preface to the special issue on the 12th International Conf..:

Guerra, Esther ; Orejas, Fernando
Journal of Logical and Algebraic Methods in Programming. 115 (2020) - p. 100576 , 2020

Link: https://doi.org/10.1016/..

6

Unfolding Symbolic Attributed Graph Grammars:

, In: Graph Transformation; Lecture Notes in Computer Science,

Ghaffari Saadat, Maryam ; Heckel, Reiko ; Orejas, Fernando - p. 75-90 , 2020

Link: https://doi.org/10.1007/..

7

Incremental Concurrent Model Synchronization using Triple G..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Orejas, Fernando ; Pino, Elvira ; Navarro, Marisa - p. 273-293 , 2020

Link: https://doi.org/10.1007/..

8

Initial Conflicts for Transformation Rules with Nested Appl..:

, In: Graph Transformation; Lecture Notes in Computer Science,

Lambers, Leen ; Orejas, Fernando - p. 109-127 , 2020

Link: https://doi.org/10.1007/..

9

A Logic-Based Incremental Approach to Graph Repair:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Schneider, Sven ; Lambers, Leen ; Orejas, Fernando - p. 151-167 , 2019

Link: https://doi.org/10.1007/..

10

Graph Transformation: 12th International Conference, ICGT 2..

Theoretical Computer Science and General Issues, 11629

Guerra, Esther ; Orejas, Fernando - 1st ed. 2019 . , 2019

Link: https://doi.org/10.1007/..

11

Institutions for navigational logics for graphical structur..:

Orejas, Fernando ; Pino, Elvira ; Navarro, Marisa.
Theoretical Computer Science. 741 (2018) - p. 19-24 , 2018

Link: https://doi.org/10.1016/..

12

Automated reasoning for attributed graph properties:

Schneider, Sven ; Lambers, Leen ; Orejas, Fernando
International Journal on Software Tools for Technology Transfer. 20 (2018) 6 - p. 705-737 , 2018

Link: https://doi.org/10.1007/..

13

Amalgamation of domain specific languages with behaviour:

Durán, Francisco ; Moreno-Delgado, Antonio ; Orejas, Fernando.
Journal of Logical and Algebraic Methods in Programming. 86 (2017) 1 - p. 208-235 , 2017

Link: https://doi.org/10.1016/..

14

Hartmut Ehrig (1944–2016):

Heckel, Reiko ; Corradini, Andrea ; Kreowski, Hans-Jörg.... (2016) - p. 15-17

Link: http://bulletin.eatcs.or..

15

-adhesive transformation systems with nested application co..:

EHRIG, HARTMUT ; GOLAS, ULRIKE ; HABEL, ANNEGRET..
Mathematical Structures in Computer Science. 24 (2014) 4 - p. , 2014

Link: https://doi.org/10.1017/..