On the power of conditional specifications. - Fernando Orejas (ACM SIGPLAN Notices, 1979)

On the Representation of Data Types. - Fernando Orejas (ICFPC, 1981)

Even more on advice on structuring compilers and proving them correct: changing an arrow. - Fernando Orejas (ACM SIGPLAN Notices, 1981)

Some Results on Finite Specifiability of Parameterized Data Types. - Fernando Orejas (ADT, 1983)

Characterizing Composability of Abstract Implementations. - Fernando Orejas (FCT, 1983)

Passing Compatibility is almost Persistency. - Fernando Orejas (ADT, 1984)

On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems. - Marisa Navarro; Fernando Orejas (EUROSAM, 1984)

A Proof System for Verifying Composability of Abstract Implementations. - Fernando Orejas (Semantics of Data Types, 1984)

A Proof-Theoretic Characterization of Persistency for Parameterized Specifications with Boolean Constraints. - Fernando Orejas (ADT, 1986)

Role of Abstraction in Program Development - Response. - Fernando Orejas (IFIP Congress, 1986)

Initial Behaviour Semantics for Algebraic Specifications. - Pilar Nivela; Fernando Orejas (ADT, 1987)

Parameterized Horn Clause Specifications: Proof Theory and Correctness. - Marisa Navarro; Fernando Orejas (TAPSOFT, Vol.1, 1987)

A Characterization of Passing Compatibility for Parameterized Specifications. - Fernando Orejas (Theor. Comput. Sci., 1987)

The Specification Language for the GESTALT Environment. - Silvia Clerici; Fernando Orejas; Pere Botella (ADT, 1988)

A Module Concept within the Initial Behaviour Framework. - Pilar Nivela; Fernando Orejas (ADT, 1988)

Term Rewriting Methods for Partial Specifications. - Fernando Orejas; Ana Sánchez; Marisa Navarro; Pilar Nivela; Ricardo Pena (ADT, 1988)

Semantical Constructions for Categories of Behavioural Specifications. - Fernando Orejas; Pilar Nivela; Hartmut Ehrig (Categorial Methods in Computer Science, 1988)

Development of Algebraic Specifications with Constraints. - Fernando Orejas; Vera Sacristán; Silvia Clerici (Categorial Methods in Computer Science, 1988)

GSBL: An Algebraic Specification Language Based on Inheritance. - Silvia Clerici; Fernando Orejas (ECOOP, 1988)

On Recent Trends in Algebraic Specification. - Hartmut Ehrig; Peter Pepper; Fernando Orejas (ICALP, 1989)

The Specification Language GSBL. - Silvia Clerici; Fernando Orejas (ADT, 1990)

Clausal Rewriting: Applications and Implementation. - Robert Nieuwenhuis; Fernando Orejas (ADT, 1990)

Constraints for Behavioural Specifications. - Fernando Orejas; Pilar Nivela (ADT, 1990)

TRIP: An Implementation of Clausal Rewriting. - Robert Nieuwenhuis; Fernando Orejas; Albert Rubio (CADE, 1990)

Clausal Rewriting. - Robert Nieuwenhuis; Fernando Orejas (CTRS, 1990)

Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. - Hartmut Ehrig; Michael Baldamus; Felix Cornelius; Fernando Orejas (AMAST, 1991)

New Concepts of Amalgamation and Extension for a General Theory of Specifications. - Hartmut Ehrig; Michael Baldamus; Fernando Orejas (COMPASS/ADT, 1991)

Implementation and Behavioural Equivalence: A Survey. - Fernando Orejas; Marisa Navarro; Ana Sánchez (COMPASS/ADT, 1991)

Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms. - Hartmut Ehrig; Michael Baldamus; Fernando Orejas (Bull. EATCS, 1991)

Semantic Constructions in the Specification Language GLIDER. - Silvia Clerici; Rosa M. Jiménez; Fernando Orejas (COMPASS/ADT, 1992)

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development. - Hartmut Ehrig; Bernd Mahr; Ingo Claßen; Fernando Orejas (Comput. J., 1992)

Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications. - Hartmut Ehrig; Bernd Mahr; Ingo Claßen; Fernando Orejas (Comput. J., 1992)

Program Development: Completion Subsystem. - Hubert Bertling; Harald Ganzinger; Renate Schäfers; Robert Nieuwenhuis; Fernando Orejas (PROSPECTRA Book, 1993)

Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages. - Hartmut Ehrig; Rosa M. Jiménez; Fernando Orejas (TAPSOFT, 1993)

Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications. - Marisa Navarro; Fernando Orejas; Jean-Luc Rémy (Acta Informatica, 1993)

Characterizing Confusion. - Marisa Navarro; Fernando Orejas; Ana Sánchez (Bull. EATCS, 1993)

New Concepts for Amalgamation and Extension in the Framework of Specification Logics. - Hartmut Ehrig; Michael Baldamus; Fernando Orejas (Current Trends in Theoretical Computer Science, 1993)

Dynamic Abstract Data Types Based on Algebraic Graph Transformations. - Hartmut Ehrig; Michael Löwe; Fernando Orejas (COMPASS/ADT, 1994)

Algebraic Methods in the Compositional Analysis of Logic Programs. - Fernando Orejas; Elvira Pino; Hartmut Ehrig (MFCS, 1994)

Dynamic Abstract Data Types: An informal Proposal. - Hartmut Ehrig; Fernando Orejas (Bull. EATCS, 1994)

Class-Sort Polymorphism in GLIDER. - Silvia Clerici; Rosa M. Jiménez; Fernando Orejas (COMPASS/ADT, 1995)

Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. - Hartmut Ehrig; Hans-Jörg Kreowski; Fernando Orejas (Bull. EATCS, 1995)

Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages. - Rosa M. Jiménez; Fernando Orejas; Hartmut Ehrig (Math. Struct. Comput. Sci., 1995)

A Guided Tour through the ICARUS Project. - Eric Dubois 001; Jacques Hagelstein; Axel van Lamsweerde; Fernando Orejas; Jeanine Souquières; Pierre L. Wodon (ACM SIGSOFT Softw. Eng. Notes, 1995)

On the Correctness of Modular Systems. - Marisa Navarro; Fernando Orejas; Ana Sánchez (Theor. Comput. Sci., 1995)

Algebraic Methods for the Study of Module Constructs in Logic Programming. - Fernando Orejas (APPIA-GULP-PRODE, 1996)

Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results. - Fernando Orejas; Marisa Navarro; Ana Sánchez (Math. Struct. Comput. Sci., 1996)

A Monotonic Declarative Semantics for Normal Logic Programs. - Paqui Lucio; Fernando Orejas; Elvira Pino (APPIA-GULP-PRODE, 1997)

Institutions for Logic Programming. - Fernando Orejas; Elvira Pino; Hartmut Ehrig (Theor. Comput. Sci., 1997)

Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. - Hartmut Ehrig; Reiko Heckel; Mercè Llabrés; Fernando Orejas; Julia Padberg; Grzegorz Rozenberg (TAGT, 1998)

Integration Paradigm for Data Type and Process Specification Techniques. - Hartmut Ehrig; Fernando Orejas (Bull. EATCS, 1998)

An Algebraic Framework for Higher-Order Modules. - Rosa M. Jiménez; Fernando Orejas (World Congress on Formal Methods, 1999)

Semantic Definitions for Normal Open Programs. - Fernando Orejas; Elvira Pino (ICLP, 1999)

A General Algebraic Framework for Studying Modular Systems. - Fernando Orejas; Elvira Pino (WADT, 1999)

From Basic Views and Aspects to Integration of Specification Formalisms. - Hartmut Ehrig; Julia Padberg; Fernando Orejas (Bull. EATCS, 1999)

An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs. - Paqui Lucio; Fernando Orejas; Elvira Pino (J. Log. Program., 1999)

Abstract and behaviour module specifications. - Felix Cornelius; Michael Baldamus; Hartmut Ehrig; Fernando Orejas (Math. Struct. Comput. Sci., 1999)

Structuring and Modularity. - Fernando Orejas (Algebraic Foundations of Systems Specification, 1999)

Constructive negation without subsidiary trees. - Edelmira Pasarella; Elvira Pino; Fernando Orejas (WFLP, 2000)

Dynamic Abstract Data Types: An Informal Proposal in 1994. - Hartmut Ehrig; Fernando Orejas (Current Trends in Theoretical Computer Science, 2001)

Integration Paradigm for Data Type and Process Specification Techniques. - Hartmut Ehrig; Fernando Orejas (Current Trends in Theoretical Computer Science, 2001)

From Basic Views and Aspects to Integration of Specification Formalisms. - Hartmut Ehrig; Julia Padberg; Fernando Orejas (Current Trends in Theoretical Computer Science, 2001)

Semantics of Normal Logic Programs with Embedded Implications. - Fernando Orejas; Edelmira Pasarella; Elvira Pino (ICLP, 2001)

Tight and Loose Semantics for Transformation Systems. - Fernando Orejas; Hartmut Ehrig; Elvira Pino (WADT, 2001)

A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques. - Hartmut Ehrig; Fernando Orejas (GT-VMT@ICALP, 2001)

A Generic Component Framework for System Modeling. - Hartmut Ehrig; Fernando Orejas; Benjamin Braatz; Markus Klein 001; Martti Piirainen (FASE, 2002)

Foreword Volume 72. - Hartmut Ehrig; Fernando Orejas (Electron. Notes Theor. Comput. Sci., 2002)

A Component Framework Based on High-Level Replacement Systems. - Hartmut Ehrig; Fernando Orejas; Benjamin Braatz; Markus Klein 001; Martti Piirainen (GT-VMT@ICGT, 2002)

A Transformation-Based Component Framework for a Generic Integrated Modeling Technique. - Hartmut Ehrig; Fernando Orejas; Benjamin Braatz; Markus Klein 001; Martti Piirainen (Trans. SDPS, 2002)

Concurrency and Loose Semantics of Open Graph Transformation Systems. - Reiko Heckel; Mercè Llabrés; Hartmut Ehrig; Fernando Orejas (Math. Struct. Comput. Sci., 2002)

Components for Algebra Transformation Systems. - Fernando Orejas; Hartmut Ehrig (UNIGRA, 2003)

On the Integration of Modular Heterogeneous Specifications. - Fernando Orejas; Elvira Pino (SoftSpez Final Report, 2004)

Constructive negation by bottom-up computation of literal answers. - Javier Álvez; Paqui Lucio; Fernando Orejas (SAC, 2004)

A Distributed and Mobile Component System Based on the Ambient Calculus. - Nikos Mylonakis; Fernando Orejas (WADT, 2004)

A Generic Framework for Connector Architectures based on Components and Transformations. - Hartmut Ehrig; Julia Padberg; Benjamin Braatz; Markus Klein 001; Fernando Orejas; Sonia Pérez; Elvira Pino (FESCA@ETAPS, 2004)

A component framework for system modeling based on high-level replacement systems. - Hartmut Ehrig; Fernando Orejas; Benjamin Braatz; Markus Klein 001; Martti Piirainen (Softw. Syst. Model., 2004)

Towards Architectural Connectors for UML. - Fernando Orejas; Sonia Pérez (Formal Methods in Software and Systems Modeling, 2005)

A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. - Edelmira Pasarella; Fernando Orejas; Elvira Pino; Marisa Navarro (LOPSTR, 2005)

Object-Oriented Connector-Component Architectures. - Hartmut Ehrig; Benjamin Braatz; Markus Klein 001; Fernando Orejas; Sonia Pérez; Elvira Pino (FESCA@ETAPS, 2005)

Efficient Detection of Conflicts in Graph-based Model Transformation. - Leen Lambers; Hartmut Ehrig; Fernando Orejas (GRaMoT@GPCE, 2005)

Preface: Automata, Languages and Programming . - Fernando Orejas; Jan van Leeuwen (Theor. Comput. Sci., 2005)

Categorical Foundations of Distributed Graph Transformation. - Hartmut Ehrig; Fernando Orejas; Ulrike Prange (ICGT, 2006)

Conflict Detection for Graph Transformation with Negative Application Conditions. - Leen Lambers; Hartmut Ehrig; Fernando Orejas (ICGT, 2006)

Towards Multiple Access in Generic Component Architectures. - Markus Klein 001; Julia Padberg; Fernando Orejas (FESCA@ETAPS, 2006)

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. - Leen Lambers; Hartmut Ehrig; Fernando Orejas (GT-VMT@ETAPS, 2006)

Preface. - Paqui Lucio; Fernando Orejas (PROLE, 2006)

Special Issue with Selected Papers from ICGT 2004. - Gregor Engels; Fernando Orejas; Francesco Parisi-Presicce (Fundam. Informaticae, 2006)

Thirty years of algebraic specification. - Fernando Orejas (J. Log. Algebraic Methods Program., 2006)

A Cut-Free and Invariant-Free Sequent Calculus for PLTL. - Joxe Gaintzarain; Montserrat Hermo; Paqui Lucio; Marisa Navarro; Fernando Orejas (CSL, 2007)

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. - Leen Lambers; Hartmut Ehrig; Ulrike Prange; Fernando Orejas (ACCAT@ETAPS, 2007)

Architectural Connectors for Sequence Diagrams. - Fernando Orejas; Sonia Pérez (PROLE, 2007)

Towards Component Verification in the Generic Component Framework. - Julia Padberg; Hartmut Ehrig; Fernando Orejas (FESCA@ETAPS, 2007)

A Logic of Graph Constraints. - Fernando Orejas; Hartmut Ehrig; Ulrike Prange (FASE, 2008)

Embedding and Confluence of Graph Transformations with Negative Application Conditions. - Leen Lambers; Hartmut Ehrig; Ulrike Prange; Fernando Orejas (ICGT, 2008)

Attributed Graph Constraints. - Fernando Orejas (ICGT, 2008)

A Functorial Framework for Constraint Normal Logic Programming. - Paqui Lucio; Fernando Orejas; Edelmira Pasarella; Elvira Pino (Appl. Categorical Struct., 2008)

On the Specification and Verification of Model Transformations. - Fernando Orejas; Martin Wirsing (Semantics and Algebraic Specification, 2009)

Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. - Fernando Orejas; Esther Guerra; Juan de Lara; Hartmut Ehrig (CALCO, 2009)

Semi-automated service composition using visual contracts. - Muhammad Naeem 002; Reiko Heckel; Fernando Orejas (FIT, 2009)

Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. - Esther Guerra; Juan de Lara; Fernando Orejas (ICMT@TOOLS, 2009)

Dual Systems of Tableaux and Sequents for PLTL. - Joxe Gaintzarain; Montserrat Hermo; Paqui Lucio; Marisa Navarro; Fernando Orejas (J. Log. Algebraic Methods Program., 2009)

Controlling Reuse in Pattern-Based Model-to-Model Transformations. - Esther Guerra; Juan de Lara; Fernando Orejas (Graph Transformations and Model-Driven Engineering, 2010)

Incremental Service Composition Based on Partial Matching of Visual Contracts. - Muhammad Naeem 002; Reiko Heckel; Fernando Orejas; Frank Hermann 001 (FASE, 2010)

Local Confluence for Rules with Nested Application Conditions. - Hartmut Ehrig; Annegret Habel; Leen Lambers; Fernando Orejas; Ulrike Golas (ICGT, 2010)

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. - Frank Hermann 001; Hartmut Ehrig; Fernando Orejas; Ulrike Golas (ICGT, 2010)

Delaying Constraint Solving in Symbolic Graph Transformation. - Fernando Orejas; Leen Lambers (ICGT, 2010)

Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. - Frank Hermann 001; Hartmut Ehrig; Ulrike Golas; Fernando Orejas (MDI@MoDELS, 2010)

International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface. - Claudia Ermel; Hartmut Ehrig; Fernando Orejas; Gabriele Taentzer (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Symbolic Attributed Graphs for Attributed Graph Transformation. - Fernando Orejas; Leen Lambers (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Reasoning with graph constraints. - Fernando Orejas; Hartmut Ehrig; Ulrike Prange (Formal Aspects Comput., 2010)

A Generic Approach to Connector Architectures Part I: The General Framework. - Fernando Orejas; Hartmut Ehrig; Markus Klein 001; Julia Padberg; Elvira Pino; Sonia Pérez (Fundam. Informaticae, 2010)

A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP. - Fernando Orejas; Hartmut Ehrig; Markus Klein 001; Julia Padberg; Elvira Pino; Sonia Pérez (Fundam. Informaticae, 2010)

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. - Zinovy Diskin; Yingfei Xiong 001; Krzysztof Czarnecki 001; Hartmut Ehrig; Frank Hermann 001; Fernando Orejas (MoDELS, 2011)

Correctness of Model Synchronization Based on Triple Graph Grammars. - Frank Hermann 001; Hartmut Ehrig; Fernando Orejas; Krzysztof Czarnecki 001; Zinovy Diskin; Yingfei Xiong 001 (MoDELS, 2011)

Symbolic graphs for attributed graph constraints. - Fernando Orejas (J. Symb. Comput., 2011)

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. - Frank Hermann 001; Hartmut Ehrig; Claudia Ermel; Fernando Orejas (FASE, 2012)

Borrowed Contexts for Attributed Graphs. - Fernando Orejas; Artur Boronat; Nikos Mylonakis (ICGT, 2012)

Behaviour Protection in Modular Rule-Based System Specifications. - Francisco Durán 001; Fernando Orejas; Steffen Zschaler (WADT, 2012)

Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. - Leen Lambers; Stephan Hildebrandt; Holger Giese; Fernando Orejas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence. - Hartmut Ehrig; Ulrike Golas; Annegret Habel; Leen Lambers; Fernando Orejas (Fundam. Informaticae, 2012)

Lazy Graph Transformation. - Fernando Orejas; Leen Lambers (Fundam. Informaticae, 2012)

Semantics of structured normal logic programs. - Edelmira Pasarella; Fernando Orejas; Elvira Pino; Marisa Navarro (J. Log. Algebraic Methods Program., 2012)

Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. - Ulrike Golas; Leen Lambers; Hartmut Ehrig; Fernando Orejas (Theor. Comput. Sci., 2012)

Checking Bisimilarity for Attributed Graph Transformation. - Fernando Orejas; Artur Boronat; Ulrike Golas; Nikos Mylonakis (FoSSaCS, 2013)

On Propagation-Based Concurrent Model Synchronization. - Fernando Orejas; Artur Boronat; Hartmut Ehrig; Frank Hermann 001; Hanna Schölzel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Invariant-Free Clausal Temporal Resolution. - Jose Gaintzarain; Montserrat Hermo; Paqui Lucio; Marisa Navarro; Fernando Orejas (J. Autom. Reason., 2013)

Inter-modelling with patterns. - Esther Guerra; Juan de Lara; Fernando Orejas (Softw. Syst. Model., 2013)

Tableau-Based Reasoning for Graph Properties. - Leen Lambers; Fernando Orejas (ICGT, 2014)

Correctness of Incremental Model Synchronization with Triple Graph Grammars. - Fernando Orejas; Elvira Pino (ICMT, 2014)

A refutation procedure for proving satisfiability of constraint specifications on XML documents. - Marisa Navarro; Fernando Orejas (SCSS, 2014)

Formal analysis of model transformations based on triple graph grammars. - Frank Hermann 001; Hartmut Ehrig; Ulrike Golas; Fernando Orejas (Math. Struct. Comput. Sci., 2014)

ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. - Hartmut Ehrig; Ulrike Golas; Annegret Habel; Leen Lambers; Fernando Orejas (Math. Struct. Comput. Sci., 2014)

A Semantics of Business Configurations Using Symbolic Graphs. - Nikos Mylonakis; Fernando Orejas; José Luiz Fiadeiro (SCC, 2015)

Abstract Constraint Data Types. - José Luiz Fiadeiro; Fernando Orejas (Software, Services, and Systems, 2015)

Satisfiability of Constraint Specifications on XML Documents. - Marisa Navarro; Fernando Orejas; Elvira Pino (Logic, Rewriting, and Concurrency, 2015)

Model synchronization based on triple graph grammars: correctness, completeness and invertibility. - Frank Hermann 001; Hartmut Ehrig; Fernando Orejas; Krzysztof Czarnecki 001; Zinovy Diskin; Yingfei Xiong 001; Susann Gottmann; Thomas Engel 001 (Softw. Syst. Model., 2015)

Many-Valued Institutions for Constraint Specification. - Claudia Elena Chirita; José Luiz Fiadeiro; Fernando Orejas (FASE, 2016)

Hartmut Ehrig (1944-2016). - Reiko Heckel; Andrea Corradini 001; Ugo Montanari; Hans-Jörg Kreowski; Fernando Orejas; Grzegorz Rozenberg (Bull. EATCS, 2016)

Symbolic Model Generation for Graph Properties. - Sven Schneider 001; Leen Lambers; Fernando Orejas (FASE, 2017)

Amalgamation of domain specific languages with behaviour. - Francisco Durán 001; Antonio Moreno-Delgado; Fernando Orejas; Steffen Zschaler (J. Log. Algebraic Methods Program., 2017)

Initial Conflicts and Dependencies: Critical Pairs Revisited. - Leen Lambers; Kristopher Born; Fernando Orejas; Daniel Strüber 001; Gabriele Taentzer (Graph Transformation, Specifications, and Nets, 2018)

Towards a Navigational Logic for Graphical Structures. - Leen Lambers; Marisa Navarro; Fernando Orejas; Elvira Pino (Graph Transformation, Specifications, and Nets, 2018)

Automated reasoning for attributed graph properties. - Sven Schneider 001; Leen Lambers; Fernando Orejas (Int. J. Softw. Tools Technol. Transf., 2018)

Institutions for navigational logics for graphical structures. - Fernando Orejas; Elvira Pino; Marisa Navarro; Leen Lambers (Theor. Comput. Sci., 2018)

A Logic-Based Incremental Approach to Graph Repair. - Sven Schneider 001; Leen Lambers; Fernando Orejas (FASE, 2019)

Incremental Concurrent Model Synchronization using Triple Graph Grammars. - Fernando Orejas; Elvira Pino; Marisa Navarro (FASE, 2020)

Initial Conflicts for Transformation Rules with Nested Application Conditions. - Leen Lambers; Fernando Orejas (ICGT, 2020)

Unfolding Symbolic Attributed Graph Grammars. - Maryam Ghaffari Saadat; Reiko Heckel; Fernando Orejas (ICGT, 2020)

Unification of Drags. - Jean-Pierre Jouannaud; Fernando Orejas (UNIF, 2020)

Preface to the special issue on the 12th International Conference on Graph Transformation. - Esther Guerra; Fernando Orejas (J. Log. Algebraic Methods Program., 2020)

A navigational logic for reasoning about graph properties. - Marisa Navarro; Fernando Orejas; Elvira Pino; Leen Lambers (J. Log. Algebraic Methods Program., 2021)

A logic-based incremental approach to graph repair featuring delta preservation. - Sven Schneider 001; Leen Lambers; Fernando Orejas (Int. J. Softw. Tools Technol. Transf., 2021)

Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality. - Leen Lambers; Fernando Orejas (Theor. Comput. Sci., 2021)

Unification of drags and confluence of drag rewriting. - Jean-Pierre Jouannaud; Fernando Orejas (J. Log. Algebraic Methods Program., 2023)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. - Lara Stoltenow; Barbara König 001; Sven Schneider 001; Andrea Corradini 001; Leen Lambers; Fernando Orejas (CONCUR, 2024)

Drag Rewriting. - Nachum Dershowitz; Jean-Pierre Jouannaud; Fernando Orejas (CoRR, 2024)

A logical approach to graph databases. - Elvira Pino; Fernando Orejas; Nikos Mylonakis; Edelmira Pasarella (J. Log. Algebraic Methods Program., 2024)

Taint Analysis for Graph APIs Focusing on Broken Access Control. - Leen Lambers; Lucas Sakizloglou; Taisiya Khakharova; Fernando Orejas (CoRR, 2025)

Properties for Paths in Graph Databases. - Fernando Orejas; Elvira Pino; Renzo Angles; Edelmira Pasarella; Nikos Milonakis (CoRR, 2025)