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

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)

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)

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

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

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)

On the Integration of Modular Heterogeneous Specifications. - Fernando Orejas; Elvira Pino (SoftSpez Final Report, 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 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)

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

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)

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

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

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

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

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

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

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

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

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