| 2024 | CONCUR | Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. | Lara Stoltenow, Barbara Knig, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas |
| 2020 | FASE | Incremental Concurrent Model Synchronization using Triple Graph Grammars. | Fernando Orejas, Elvira Pino, Marisa Navarro |
| 2019 | FASE | A Logic-Based Incremental Approach to Graph Repair. | Sven Schneider, Leen Lambers, Fernando Orejas |
| 2017 | FASE | Symbolic Model Generation for Graph Properties. | Sven Schneider, Leen Lambers, Fernando Orejas |
| 2016 | FASE | Many-Valued Institutions for Constraint Specification. | Claudia Elena Chirita, Jos Luiz Fiadeiro, Fernando Orejas |
| 2013 | FOSSACS | Checking Bisimilarity for Attributed Graph Transformation. | Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis |
| 2012 | FASE | Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. | Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas |
| 2011 | MODELS | From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. | Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas |
| 2011 | MODELS | Correctness of Model Synchronization Based on Triple Graph Grammars. | Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong |
| 2010 | FASE | Incremental Service Composition Based on Partial Matching of Visual Contracts. | Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann |
| 2010 | MODELS | Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. | Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas |
| 2009 | CALCO | Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. | Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig |
| 2009 | FIT | Semi-automated service composition using visual contracts. | Muhammad Naeem, Reiko Heckel, Fernando Orejas |
| 2008 | FASE | A Logic of Graph Constraints. | Fernando Orejas, Hartmut Ehrig, Ulrike Prange |
| 2007 | CSL | A Cut-Free and Invariant-Free Sequent Calculus for PLTL. | Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas |
| 2005 | LOPSTR | A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. | Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro |
| 2004 | SAC | Constructive negation by bottom-up computation of literal answers. | Javier lvez, Paqui Lucio, Fernando Orejas |
| 2002 | FASE | A Generic Component Framework for System Modeling. | Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen |
| 2001 | ICLP | Semantics of Normal Logic Programs with Embedded Implications. | Fernando Orejas, Edelmira Pasarella, Elvira Pino |
| 1999 | FM | An Algebraic Framework for Higher-Order Modules. | Rosa M. Jimnez, Fernando Orejas |
| 1999 | ICLP | Semantic Definitions for Normal Open Programs. | Fernando Orejas, Elvira Pino |
| 1995 | COMPASS | Class-Sort Polymorphism in GLIDER. | Silvia Clerici, Rosa M. Jimnez, Fernando Orejas |
| 1994 | COMPASS | Dynamic Abstract Data Types Based on Algebraic Graph Transformations. | Hartmut Ehrig, Michael Lwe, Fernando Orejas |
| 1994 | MFCS | Algebraic Methods in the Compositional Analysis of Logic Programs. | Fernando Orejas, Elvira Pino, Hartmut Ehrig |
| 1992 | COMPASS | Semantic Constructions in the Specification Language GLIDER. | Silvia Clerici, Rosa M. Jimnez, Fernando Orejas |
| 1991 | COMPASS | New Concepts of Amalgamation and Extension for a General Theory of Specifications. | Hartmut Ehrig, Michael Baldamus, Fernando Orejas |
| 1991 | COMPASS | Implementation and Behavioural Equivalence: A Survey. | Fernando Orejas, Marisa Navarro, Ana Snchez |
| 1990 | CADE | TRIP: An Implementation of Clausal Rewriting. | Robert Nieuwenhuis, Fernando Orejas, Albert Rubio |
| 1989 | ICALP | On Recent Trends in Algebraic Specification. | Hartmut Ehrig, Peter Pepper, Fernando Orejas |
| 1988 | ECOOP | GSBL: An Algebraic Specification Language Based on Inheritance. | Silvia Clerici, Fernando Orejas |
| 1983 | FCT | Characterizing Composability of Abstract Implementations. | Fernando Orejas |