Fernando Orejas

176 papers A* 2A 4B 29C 1Misc 2Journal 61Unranked 65

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Taint Analysis for Graph APIs Focusing on Broken Access Control. Log. Methods Comput. Sci. Leen Lambers, Lucas Sakizloglou, Taisiya Khakharova, Fernando Orejas
2025	J	`jnl`	Properties for Paths in Graph Databases. CoRR Fernando Orejas, Elvira Pino, Renzo Angles, Edelmira Pasarella, Nikos Milonakis
2025	J	`jnl`	Taint Analysis for Graph APIs Focusing on Broken Access Control. CoRR Leen Lambers, Lucas Sakizloglou, Taisiya Khakharova, Fernando Orejas
2024	J	`jnl`	A logical approach to graph databases. J. Log. Algebraic Methods Program. Elvira Pino, Fernando Orejas, Nikos Mylonakis, Edelmira Pasarella
2024	B	`conf`	Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CONCUR Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas
2024	J	`jnl`	Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CoRR Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas
2024	J	`jnl`	Drag Rewriting. CoRR Nachum Dershowitz, Jean-Pierre Jouannaud, Fernando Orejas
2023	J	`jnl`	Unification of drags and confluence of drag rewriting. J. Log. Algebraic Methods Program. Jean-Pierre Jouannaud, Fernando Orejas
2021	J	`jnl`	A logic-based incremental approach to graph repair featuring delta preservation. Int. J. Softw. Tools Technol. Transf. Sven Schneider, Leen Lambers, Fernando Orejas
2021	J	`jnl`	A navigational logic for reasoning about graph properties. J. Log. Algebraic Methods Program. Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers
2021	J	`jnl`	Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality. Theor. Comput. Sci. Leen Lambers, Fernando Orejas
2020	B	`conf`	Incremental Concurrent Model Synchronization using Triple Graph Grammars. FASE Fernando Orejas, Elvira Pino, Marisa Navarro
2020	B	`conf`	Initial Conflicts for Transformation Rules with Nested Application Conditions. ICGT Leen Lambers, Fernando Orejas
2020	J	`jnl`	Initial Conflicts for Transformation Rules with Nested Application Conditions. CoRR Leen Lambers, Fernando Orejas
2020	J	`jnl`	Preface to the special issue on the 12th International Conference on Graph Transformation. J. Log. Algebraic Methods Program. Esther Guerra, Fernando Orejas
2020	B	`conf`	Unfolding Symbolic Attributed Graph Grammars. ICGT Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas
2020	—	`conf`	Unification of Drags. UNIF Jean-Pierre Jouannaud, Fernando Orejas
2019	B	`conf`	A Logic-Based Incremental Approach to Graph Repair. FASE Sven Schneider, Leen Lambers, Fernando Orejas
2019	B	`ed.`	Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings ICGT Esther Guerra, Fernando Orejas
2018	J	`jnl`	Automated reasoning for attributed graph properties. Int. J. Softw. Tools Technol. Transf. Sven Schneider, Leen Lambers, Fernando Orejas
2018	—	`conf`	Initial Conflicts and Dependencies: Critical Pairs Revisited. Graph Transformation, Specifications, and Nets Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber, Gabriele Taentzer
2018	J	`jnl`	Institutions for navigational logics for graphical structures. Theor. Comput. Sci. Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers
2018	—	`conf`	Towards a Navigational Logic for Graphical Structures. Graph Transformation, Specifications, and Nets Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino
2017	J	`jnl`	Amalgamation of domain specific languages with behaviour. J. Log. Algebraic Methods Program. Francisco Durán, Antonio Moreno-Delgado, Fernando Orejas, Steffen Zschaler
2017	B	`conf`	Symbolic Model Generation for Graph Properties. FASE Sven Schneider, Leen Lambers, Fernando Orejas
2016	J	`jnl`	Hartmut Ehrig (1944-2016). Bull. EATCS Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg
2016	B	`conf`	Many-Valued Institutions for Constraint Specification. FASE Claudia Elena Chirita, José Luiz Fiadeiro, Fernando Orejas
2015	—	`conf`	A Semantics of Business Configurations Using Symbolic Graphs. SCC Nikos Mylonakis, Fernando Orejas, José Luiz Fiadeiro
2015	—	`conf`	Abstract Constraint Data Types. Software, Services, and Systems José Luiz Fiadeiro, Fernando Orejas
2015	J	`jnl`	Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel
2015	—	`conf`	Satisfiability of Constraint Specifications on XML Documents. Logic, Rewriting, and Concurrency Marisa Navarro, Fernando Orejas, Elvira Pino
2014	—	`conf`	A refutation procedure for proving satisfiability of constraint specifications on XML documents. SCSS Marisa Navarro, Fernando Orejas
2014	—	`conf`	Correctness of Incremental Model Synchronization with Triple Graph Grammars. ICMT Fernando Orejas, Elvira Pino
2014	J	`jnl`	Formal analysis of model transformations based on triple graph grammars. Math. Struct. Comput. Sci. Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas
2014	B	`conf`	Tableau-Based Reasoning for Graph Properties. ICGT Leen Lambers, Fernando Orejas
2014	J	`jnl`	ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. Math. Struct. Comput. Sci. Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas
2013	B	`conf`	Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis
2013	J	`jnl`	Inter-modelling with patterns. Softw. Syst. Model. Esther Guerra, Juan de Lara, Fernando Orejas
2013	J	`jnl`	Invariant-Free Clausal Temporal Resolution. J. Autom. Reason. Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
2013	J	`jnl`	On Propagation-Based Concurrent Model Synchronization. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Fernando Orejas, Artur Boronat, Hartmut Ehrig, Frank Hermann, Hanna Schölzel
2012	J	`jnl`	Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas
2012	J	`jnl`	Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. Theor. Comput. Sci. Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas
2012	—	`conf`	Behaviour Protection in Modular Rule-Based System Specifications. WADT Francisco Durán, Fernando Orejas, Steffen Zschaler
2012	B	`conf`	Borrowed Contexts for Attributed Graphs. ICGT Fernando Orejas, Artur Boronat, Nikos Mylonakis
2012	B	`conf`	Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. FASE Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas
2012	J	`jnl`	Lazy Graph Transformation. Fundam. Informaticae Fernando Orejas, Leen Lambers
2012	J	`jnl`	Semantics of structured normal logic programs. J. Log. Algebraic Methods Program. Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro
2012	J	`jnl`	ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence. Fundam. Informaticae Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas
2011	A	`conf`	Correctness of Model Synchronization Based on Triple Graph Grammars. MoDELS Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong
2011	A	`conf`	From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. MoDELS Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas
2011	B	`ed.`	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 FASE Dimitra Giannakopoulou, Fernando Orejas
2011	J	`jnl`	Symbolic graphs for attributed graph constraints. J. Symb. Comput. Fernando Orejas
2010	J	`jnl`	A Generic Approach to Connector Architectures Part I: The General Framework. Fundam. Informaticae Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez
2010	J	`jnl`	A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP. Fundam. Informaticae Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez
2010	—	`conf`	Controlling Reuse in Pattern-Based Model-to-Model Transformations. Graph Transformations and Model-Driven Engineering Esther Guerra, Juan de Lara, Fernando Orejas
2010	B	`conf`	Delaying Constraint Solving in Symbolic Graph Transformation. ICGT Fernando Orejas, Leen Lambers
2010	—	`conf`	Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. MDI@MoDELS Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas
2010	B	`conf`	Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. ICGT Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas
2010	B	`conf`	Incremental Service Composition Based on Partial Matching of Visual Contracts. FASE Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann
2010	J	`jnl`	International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer
2010	B	`conf`	Local Confluence for Rules with Nested Application Conditions. ICGT Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas
2010	J	`jnl`	Reasoning with graph constraints. Formal Aspects Comput. Fernando Orejas, Hartmut Ehrig, Ulrike Prange
2010	J	`jnl`	Symbolic Attributed Graphs for Attributed Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Fernando Orejas, Leen Lambers
2009	B	`conf`	Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. CALCO Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig
2009	J	`jnl`	Dual Systems of Tableaux and Sequents for PLTL. J. Log. Algebraic Methods Program. Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
2009	—	`conf`	On the Specification and Verification of Model Transformations. Semantics and Algebraic Specification Fernando Orejas, Martin Wirsing
2009	—	`conf`	Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. ICMT@TOOLS Esther Guerra, Juan de Lara, Fernando Orejas
2009	Misc	`conf`	Semi-automated service composition using visual contracts. FIT Muhammad Naeem, Reiko Heckel, Fernando Orejas
2008	J	`jnl`	A Functorial Framework for Constraint Normal Logic Programming. Appl. Categorical Struct. Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino
2008	B	`conf`	A Logic of Graph Constraints. FASE Fernando Orejas, Hartmut Ehrig, Ulrike Prange
2008	B	`conf`	Attributed Graph Constraints. ICGT Fernando Orejas
2008	B	`conf`	Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
2007	B	`conf`	A Cut-Free and Invariant-Free Sequent Calculus for PLTL. CSL Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
2007	—	`conf`	Architectural Connectors for Sequence Diagrams. PROLE Fernando Orejas, Sonia Pérez
2007	—	`conf`	Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. ACCAT@ETAPS Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
2007	—	`ed.`	Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006 PROLE Paqui Lucio, Fernando Orejas
2007	—	`conf`	Towards Component Verification in the Generic Component Framework. FESCA@ETAPS Julia Padberg, Hartmut Ehrig, Fernando Orejas
2006	—	`conf`	A Functorial Framework for Constraint Normal Logic Programming. Essays Dedicated to Joseph A. Goguen Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino
2006	B	`conf`	Categorical Foundations of Distributed Graph Transformation. ICGT Hartmut Ehrig, Fernando Orejas, Ulrike Prange
2006	B	`conf`	Conflict Detection for Graph Transformation with Negative Application Conditions. ICGT Leen Lambers, Hartmut Ehrig, Fernando Orejas
2006	—	`conf`	Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. GT-VMT@ETAPS Leen Lambers, Hartmut Ehrig, Fernando Orejas
2006	—	`conf`	Preface. PROLE Paqui Lucio, Fernando Orejas
2006	J	`jnl`	Special Issue with Selected Papers from ICGT 2004. Fundam. Informaticae Gregor Engels, Fernando Orejas, Francesco Parisi-Presicce
2006	J	`jnl`	Thirty years of algebraic specification. J. Log. Algebraic Methods Program. Fernando Orejas
2006	—	`conf`	Towards Multiple Access in Generic Component Architectures. FESCA@ETAPS Markus Klein, Julia Padberg, Fernando Orejas
2005	C	`conf`	A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. LOPSTR Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro
2005	—	`conf`	Efficient Detection of Conflicts in Graph-based Model Transformation. GRaMoT@GPCE Leen Lambers, Hartmut Ehrig, Fernando Orejas
2005	—	`ed.`	Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday Formal Methods in Software and Systems Modeling Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer
2005	—	`conf`	Object-Oriented Connector-Component Architectures. FESCA@ETAPS Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino
2005	J	`jnl`	Preface: Automata, Languages and Programming . Theor. Comput. Sci. Fernando Orejas, Jan van Leeuwen
2005	—	`conf`	Towards Architectural Connectors for UML. Formal Methods in Software and Systems Modeling Fernando Orejas, Sonia Pérez
2004	—	`conf`	A Distributed and Mobile Component System Based on the Ambient Calculus. WADT Nikos Mylonakis, Fernando Orejas
2004	—	`conf`	A Generic Framework for Connector Architectures based on Components and Transformations. FESCA@ETAPS Hartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino
2004	J	`jnl`	A component framework for system modeling based on high-level replacement systems. Softw. Syst. Model. Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
2004	Misc	`conf`	Constructive negation by bottom-up computation of literal answers. SAC Javier Álvez, Paqui Lucio, Fernando Orejas
2004	—	`conf`	On the Integration of Modular Heterogeneous Specifications. SoftSpez Final Report Fernando Orejas, Elvira Pino
2004	—	`ed.`	Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers WADT José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas
2003	—	`conf`	Components for Algebra Transformation Systems. UNIGRA Fernando Orejas, Hartmut Ehrig
2002	—	`conf`	A Component Framework Based on High-Level Replacement Systems. GT-VMT@ICGT Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
2002	B	`conf`	A Generic Component Framework for System Modeling. FASE Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
2002	J	`jnl`	A Transformation-Based Component Framework for a Generic Integrated Modeling Technique. Trans. SDPS Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
2002	J	`jnl`	Concurrency and Loose Semantics of Open Graph Transformation Systems. Math. Struct. Comput. Sci. Reiko Heckel, Mercè Llabrés, Hartmut Ehrig, Fernando Orejas
2002	J	`jnl`	Foreword Volume 72. Electron. Notes Theor. Comput. Sci. Hartmut Ehrig, Fernando Orejas
2001	—	`conf`	A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques. GT-VMT@ICALP Hartmut Ehrig, Fernando Orejas
2001	A*	`ed.`	Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings ICALP Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen
2001	—	`ch.`	Dynamic Abstract Data Types: An Informal Proposal in 1994. Current Trends in Theoretical Computer Science Hartmut Ehrig, Fernando Orejas
2001	—	`ch.`	From Basic Views and Aspects to Integration of Specification Formalisms. Current Trends in Theoretical Computer Science Hartmut Ehrig, Julia Padberg, Fernando Orejas
2001	—	`ch.`	Integration Paradigm for Data Type and Process Specification Techniques. Current Trends in Theoretical Computer Science Hartmut Ehrig, Fernando Orejas
2001	B	`conf`	Semantics of Normal Logic Programs with Embedded Implications. ICLP Fernando Orejas, Edelmira Pasarella, Elvira Pino
2001	—	`conf`	Semantics of normal logic programs with embedded implications. APPIA-GULP-PRODE Fernando Orejas, Edelmira Pasarella, Elvira Pino
2001	—	`conf`	Tight and Loose Semantics for Transformation Systems. WADT Fernando Orejas, Hartmut Ehrig, Elvira Pino
2000	—	`conf`	Constructive negation without subsidiary trees. WFLP Edelmira Pasarella, Elvira Pino, Fernando Orejas
1999	—	`conf`	A General Algebraic Framework for Studying Modular Systems. WADT Fernando Orejas, Elvira Pino
1999	J	`jnl`	Abstract and behaviour module specifications. Math. Struct. Comput. Sci. Felix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas
1999	—	`conf`	An Algebraic Framework for Higher-Order Modules. World Congress on Formal Methods Rosa M. Jiménez, Fernando Orejas
1999	J	`jnl`	An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs. J. Log. Program. Paqui Lucio, Fernando Orejas, Elvira Pino
1999	J	`jnl`	From Basic Views and Aspects to Integration of Specification Formalisms. Bull. EATCS Hartmut Ehrig, Julia Padberg, Fernando Orejas
1999	—	`conf`	Semantic Definitions for Normal Open Programs. APPIA-GULP-PRODE Fernando Orejas, Elvira Pino
1999	B	`conf`	Semantic Definitions for Normal Open Programs. ICLP Fernando Orejas, Elvira Pino
1999	—	`ch.`	Structuring and Modularity. Algebraic Foundations of Systems Specification Fernando Orejas
1998	—	`conf`	Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. TAGT Hartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg
1998	J	`jnl`	Integration Paradigm for Data Type and Process Specification Techniques. Bull. EATCS Hartmut Ehrig, Fernando Orejas
1997	—	`conf`	A Monotonic Declarative Semantics for Normal Logic Programs. APPIA-GULP-PRODE Paqui Lucio, Fernando Orejas, Elvira Pino
1997	J	`jnl`	Institutions for Logic Programming. Theor. Comput. Sci. Fernando Orejas, Elvira Pino, Hartmut Ehrig
1996	J	`jnl`	Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results. Math. Struct. Comput. Sci. Fernando Orejas, Marisa Navarro, Ana Sánchez
1996	—	`conf`	Algebraic Methods for the Study of Module Constructs in Logic Programming. APPIA-GULP-PRODE Fernando Orejas
1995	J	`jnl`	A Guided Tour through the ICARUS Project. ACM SIGSOFT Softw. Eng. Notes Eric Dubois, Jacques Hagelstein, Axel van Lamsweerde, Fernando Orejas, Jeanine Souquières, Pierre L. Wodon
1995	—	`conf`	Class-Sort Polymorphism in GLIDER. COMPASS/ADT Silvia Clerici, Rosa M. Jiménez, Fernando Orejas
1995	J	`jnl`	Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages. Math. Struct. Comput. Sci. Rosa M. Jiménez, Fernando Orejas, Hartmut Ehrig
1995	J	`jnl`	Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. Bull. EATCS Hartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas
1995	J	`jnl`	On the Correctness of Modular Systems. Theor. Comput. Sci. Marisa Navarro, Fernando Orejas, Ana Sánchez
1994	B	`conf`	Algebraic Methods in the Compositional Analysis of Logic Programs. MFCS Fernando Orejas, Elvira Pino, Hartmut Ehrig
1994	—	`conf`	Dynamic Abstract Data Types Based on Algebraic Graph Transformations. COMPASS/ADT Hartmut Ehrig, Michael Löwe, Fernando Orejas
1994	J	`jnl`	Dynamic Abstract Data Types: An informal Proposal. Bull. EATCS Hartmut Ehrig, Fernando Orejas
1993	J	`jnl`	Characterizing Confusion. Bull. EATCS Marisa Navarro, Fernando Orejas, Ana Sánchez
1993	—	`conf`	Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages. TAPSOFT Hartmut Ehrig, Rosa M. Jiménez, Fernando Orejas
1993	J	`jnl`	Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications. Acta Informatica Marisa Navarro, Fernando Orejas, Jean-Luc Rémy
1993	—	`ch.`	New Concepts for Amalgamation and Extension in the Framework of Specification Logics. Current Trends in Theoretical Computer Science Hartmut Ehrig, Michael Baldamus, Fernando Orejas
1993	—	`conf`	On the Correctness of Modular Systems. AMAST Marisa Navarro, Fernando Orejas, Ana Sánchez
1993	—	`conf`	Program Development: Completion Subsystem. PROSPECTRA Book Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas
1992	J	`jnl`	Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development. Comput. J. Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas
1992	J	`jnl`	Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications. Comput. J. Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas
1992	—	`conf`	Semantic Constructions in the Specification Language GLIDER. COMPASS/ADT Silvia Clerici, Rosa M. Jiménez, Fernando Orejas
1991	—	`book`	Algebraic System Specification and Development - A Survey and Annotated Bibliography Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella
1991	J	`jnl`	Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms. Bull. EATCS Hartmut Ehrig, Michael Baldamus, Fernando Orejas
1991	—	`conf`	Implementation and Behavioural Equivalence: A Survey. COMPASS/ADT Fernando Orejas, Marisa Navarro, Ana Sánchez
1991	—	`conf`	New Concepts of Amalgamation and Extension for a General Theory of Specifications. COMPASS/ADT Hartmut Ehrig, Michael Baldamus, Fernando Orejas
1991	—	`ed.`	Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990 ADT Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel
1991	—	`conf`	Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. AMAST Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas
1990	—	`conf`	Clausal Rewriting. CTRS Robert Nieuwenhuis, Fernando Orejas
1990	—	`conf`	Clausal Rewriting: Applications and Implementation. ADT Robert Nieuwenhuis, Fernando Orejas
1990	—	`conf`	Constraints for Behavioural Specifications. ADT Fernando Orejas, Pilar Nivela
1990	A	`conf`	TRIP: An Implementation of Clausal Rewriting. CADE Robert Nieuwenhuis, Fernando Orejas, Albert Rubio
1990	—	`conf`	The Specification Language GSBL. ADT Silvia Clerici, Fernando Orejas
1989	A*	`conf`	On Recent Trends in Algebraic Specification. ICALP Hartmut Ehrig, Peter Pepper, Fernando Orejas
1989	—	`ed.`	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) TAPSOFT, Vol.1 Josep Díaz, Fernando Orejas
1989	—	`ed.`	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) TAPSOFT, Vol.2 Josep Díaz, Fernando Orejas
1988	—	`conf`	A Module Concept within the Initial Behaviour Framework. ADT Pilar Nivela, Fernando Orejas
1988	—	`conf`	Development of Algebraic Specifications with Constraints. Categorial Methods in Computer Science Fernando Orejas, Vera Sacristán, Silvia Clerici
1988	A	`conf`	GSBL: An Algebraic Specification Language Based on Inheritance. ECOOP Silvia Clerici, Fernando Orejas
1988	—	`conf`	Semantical Constructions for Categories of Behavioural Specifications. Categorial Methods in Computer Science Fernando Orejas, Pilar Nivela, Hartmut Ehrig
1988	—	`conf`	Term Rewriting Methods for Partial Specifications. ADT Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena
1988	—	`conf`	The Specification Language for the GESTALT Environment. ADT Silvia Clerici, Fernando Orejas, Pere Botella
1987	J	`jnl`	A Characterization of Passing Compatibility for Parameterized Specifications. Theor. Comput. Sci. Fernando Orejas
1987	—	`conf`	Initial Behaviour Semantics for Algebraic Specifications. ADT Pilar Nivela, Fernando Orejas
1987	—	`conf`	Parameterized Horn Clause Specifications: Proof Theory and Correctness. TAPSOFT, Vol.1 Marisa Navarro, Fernando Orejas
1986	—	`conf`	A Proof-Theoretic Characterization of Persistency for Parameterized Specifications with Boolean Constraints. ADT Fernando Orejas
1986	—	`conf`	Role of Abstraction in Program Development - Response. IFIP Congress Fernando Orejas
1984	—	`conf`	A Proof System for Verifying Composability of Abstract Implementations. Semantics of Data Types Fernando Orejas
1984	—	`conf`	On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems. EUROSAM Marisa Navarro, Fernando Orejas
1984	—	`conf`	Passing Compatibility is almost Persistency. ADT Fernando Orejas
1983	B	`conf`	Characterizing Composability of Abstract Implementations. FCT Fernando Orejas
1983	—	`conf`	Some Results on Finite Specifiability of Parameterized Data Types. ADT Fernando Orejas
1981	J	`jnl`	Even more on advice on structuring compilers and proving them correct: changing an arrow. ACM SIGPLAN Notices Fernando Orejas
1981	—	`conf`	On the Representation of Data Types. ICFPC Fernando Orejas
1979	J	`jnl`	On the power of conditional specifications. ACM SIGPLAN Notices Fernando Orejas