Articles with public access mandates - Fernando OrejasLearn more
Available somewhere: 24
-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
H Ehrig, U Golas, A Habel, L Lambers, F Orejas
Mathematical Structures in Computer Science 24 (4), 240406, 2014
Mandates: German Research Foundation
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence
H Ehrig, U Golas, A Habel, L Lambers, F Orejas
Fundamenta Informaticae 118 (1-2), 35-63, 2012
Mandates: German Research Foundation
Model synchronization based on triple graph grammars: correctness, completeness and invertibility
F Hermann, H Ehrig, F Orejas, K Czarnecki, Z Diskin, Y Xiong, ...
Software & Systems Modeling 14, 241-269, 2015
Mandates: National Natural Science Foundation of China, Government of Spain
Lazy graph transformation
F Orejas, L Lambers
Fundamenta Informaticae 118 (1-2), 65-96, 2012
Mandates: German Research Foundation
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs
U Golas, L Lambers, H Ehrig, F Orejas
Theoretical Computer Science 424, 46-68, 2012
Mandates: German Research Foundation
A logic-based incremental approach to graph repair
S Schneider, L Lambers, F Orejas
International Conference on Fundamental Approaches to Software Engineering …, 2019
Mandates: Government of Spain
Attribute handling for bidirectional model transformations: The triple graph grammar case
L Lambers, S Hildebrandt, H Giese, F Orejas
Electronic Communications of the EASST 49, 2012
Mandates: German Research Foundation
On propagation-based concurrent model synchronization
F Orejas, A Boronat, H Ehrig, F Hermann, H Schölzel
Electronic Communications of the EASST 57, 2013
Mandates: Government of Spain
Amalgamation of domain specific languages with behaviour
F Durán, A Moreno-Delgado, F Orejas, S Zschaler
Journal of Logical and Algebraic Methods in Programming 86 (1), 208-235, 2017
Mandates: Government of Spain
Formal analysis of model transformations based on triple graph grammars
F Hermann, H Ehrig, U Golas, F Orejas
Mathematical Structures in Computer Science 24 (4), 240408, 2014
Mandates: German Research Foundation
Inter-modelling with patterns
E Guerra, J de Lara, F Orejas
Software & Systems Modeling 12, 145-174, 2013
Mandates: Government of Spain
Initial conflicts and dependencies: critical pairs revisited
L Lambers, K Born, F Orejas, D Strüber, G Taentzer
Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig …, 2018
Mandates: German Research Foundation, European Commission
Correctness of incremental model synchronization with triple graph grammars
F Orejas, E Pino
Theory and Practice of Model Transformations: 7th International Conference …, 2014
Mandates: Government of Spain
Behaviour protection in modular rule-based system specifications
F Durán, F Orejas, S Zschaler
International Workshop on Algebraic Development Techniques, 24-49, 2012
Mandates: Government of Spain
A navigational logic for reasoning about graph properties
M Navarro, F Orejas, E Pino, L Lambers
Journal of logical and algebraic methods in programming 118, 100616, 2021
Mandates: Government of Spain
Towards a navigational logic for graphical structures
L Lambers, M Navarro, F Orejas, E Pino
Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig …, 2018
Mandates: Government of Spain
Institutions for navigational logics for graphical structures
F Orejas, E Pino, M Navarro, L Lambers
Theoretical Computer Science 741, 19-24, 2018
Mandates: Government of Spain
Semantics of structured normal logic programs
E Pasarella, F Orejas, E Pino, M Navarro
The Journal of Logic and Algebraic Programming 81 (5), 559-584, 2012
Mandates: Government of Spain
Satisfiability of constraint specifications on XML documents
M Navarro, F Orejas, E Pino
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …, 2015
Mandates: Government of Spain
Many-valued institutions for constraint specification
CE Chiriţă, JL Fiadeiro, F Orejas
International Conference on Fundamental Approaches to Software Engineering …, 2016
Mandates: Government of Spain
Publication and funding information is determined automatically by a computer program