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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings (Springer, 2019)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings (Springer, 2011)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Attributed Graph Constraints. - Orejas, Fernando (2008)

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

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

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

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

Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006 (Elsevier, 2007)

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

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

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

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

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

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

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

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

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

Towards Architectural Connectors for UML. - Orejas, Fernando; Pérez, Sonia (2005)

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

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

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

Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday (Springer, 2005)

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

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

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

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

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

Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers (Springer, 2004)

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

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

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

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

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

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

Semantics of normal logic programs with embedded implications. - Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira (2001)

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

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

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

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

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

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

Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings (Springer, 2001)

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

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

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

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

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

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

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

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

Structuring and Modularity. - Orejas, Fernando (1999)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Algebraic System Specification and Development - A Survey and Annotated Bibliography (Springer, 1991)

Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990 (Springer, 1991)

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

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

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

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

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

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

TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'89) (Springer, 1989)

TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL) (Springer, 1989)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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