 | 2009 |
|---|
| 101 |       | Fernando Orejas,
Esther Guerra,
Juan de Lara,
Hartmut Ehrig:
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.
CALCO 2009: 383-397 |
| 100 | | Esther Guerra,
Juan de Lara,
Fernando Orejas:
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions.
ICMT 2009: 83-99 |
| 99 | | Fernando Orejas,
Martin Wirsing:
On the Specification and Verification of Model Transformations.
Semantics and Algebraic Specification 2009: 140-161 |
| 2008 |
|---|
| 98 | | Fernando Orejas,
Hartmut Ehrig,
Ulrike Prange:
A Logic of Graph Constraints.
FASE 2008: 179-198 |
| 97 | | Leen Lambers,
Hartmut Ehrig,
Ulrike Prange,
Fernando Orejas:
Embedding and Confluence of Graph Transformations with Negative Application Conditions.
ICGT 2008: 162-177 |
| 96 | | Fernando Orejas:
Attributed Graph Constraints.
ICGT 2008: 274-288 |
| 95 | | Paqui Lucio,
Fernando Orejas,
Edelmira Pasarella,
Elvira Pino:
A Functorial Framework for Constraint Normal Logic Programming.
Applied Categorical Structures 16(3): 421-450 (2008) |
| 94 | | Fernando Orejas,
Sonia Pérez:
Architectural Connectors for Sequence Diagrams.
Electr. Notes Theor. Comput. Sci. 206: 111-131 (2008) |
| 93 | | Leen Lambers,
Hartmut Ehrig,
Fernando Orejas:
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs.
Electr. Notes Theor. Comput. Sci. 211: 17-26 (2008) |
| 2007 |
|---|
| 92 | | Joxe Gaintzarain,
Montserrat Hermo,
Paqui Lucio,
Marisa Navarro,
Fernando Orejas:
A Cut-Free and Invariant-Free Sequent Calculus for PLTL.
CSL 2007: 481-495 |
| 91 | | Markus Klein,
Julia Padberg,
Fernando Orejas:
Towards Multiple Access in Generic Component Architectures.
Electr. Notes Theor. Comput. Sci. 176(2): 25-45 (2007) |
| 90 | | Paqui Lucio,
Fernando Orejas:
Preface.
Electr. Notes Theor. Comput. Sci. 188: 1-2 (2007) |
| 2006 |
|---|
| 89 | | Paqui Lucio,
Fernando Orejas,
Edelmira Pasarella,
Elvira Pino:
A Functorial Framework for Constraint Normal Logic Programming.
Essays Dedicated to Joseph A. Goguen 2006: 555-577 |
| 88 | | Hartmut Ehrig,
Fernando Orejas,
Ulrike Prange:
Categorical Foundations of Distributed Graph Transformation.
ICGT 2006: 215-229 |
| 87 | | Leen Lambers,
Hartmut Ehrig,
Fernando Orejas:
Conflict Detection for Graph Transformation with Negative Application Conditions.
ICGT 2006: 61-76 |
| 86 | | Leen Lambers,
Hartmut Ehrig,
Fernando Orejas:
Efficient Detection of Conflicts in Graph-based Model Transformation.
Electr. Notes Theor. Comput. Sci. 152: 97-109 (2006) |
| 85 | | Gregor Engels,
Fernando Orejas,
Francesco Parisi-Presicce:
Special Issue with Selected Papers from ICGT 2004.
Fundam. Inform. 74(1): (2006) |
| 84 | | Fernando Orejas:
Thirty years of algebraic specification.
J. Log. Algebr. Program. 67(1-2): 1-2 (2006) |
| 2005 |
|---|
| 83 |  | Hans-Jörg Kreowski,
Ugo Montanari,
Fernando Orejas,
Grzegorz Rozenberg,
Gabriele Taentzer:
Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday
Springer 2005 |
| 82 | | Fernando Orejas,
Sonia Pérez:
Towards Architectural Connectors for UML.
Formal Methods in Software and Systems Modeling 2005: 352-369 |
| 81 | | Edelmira Pasarella,
Fernando Orejas,
Elvira Pino,
Marisa Navarro:
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.
LOPSTR 2005: 133-146 |
| 80 | | Hartmut Ehrig,
Benjamin Braatz,
Markus Klein,
Fernando Orejas,
Sonia Pérez,
Elvira Pino:
Object-Oriented Connector-Component Architectures.
Electr. Notes Theor. Comput. Sci. 141(3): 123-151 (2005) |
| 79 | | Fernando Orejas,
Jan van Leeuwen:
Preface: Automata, Languages and Programming .
Theor. Comput. Sci. 331(1): 1-2 (2005) |
| 2004 |
|---|
| 78 | | José Luiz Fiadeiro,
Peter D. Mosses,
Fernando Orejas:
Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
Springer 2004 |
| 77 | | Javier Álvez,
Paqui Lucio,
Fernando Orejas:
Constructive negation by bottom-up computation of literal answers.
SAC 2004: 1468-1475 |
| 76 | | Fernando Orejas,
Elvira Pino:
On the Integration of Modular Heterogeneous Specifications.
SoftSpez Final Report 2004: 582-601 |
| 75 | | Nikos Mylonakis,
Fernando Orejas:
A Distributed and Mobile Component System Based on the Ambient Calculus.
WADT 2004: 186-200 |
| 74 | | Hartmut Ehrig,
Julia Padberg,
Benjamin Braatz,
Markus Klein,
Fernando Orejas,
Sonia Pérez,
Elvira Pino:
A Generic Framework for Connector Architectures based on Components and Transformations.
Electr. Notes Theor. Comput. Sci. 108: 53-67 (2004) |
| 73 | | Hartmut Ehrig,
Fernando Orejas,
Benjamin Braatz,
Markus Klein,
Martti Piirainen:
A component framework for system modeling based on high-level replacement systems.
Software and System Modeling 3(2): 114-135 (2004) |
| 2003 |
|---|
| 72 | | Hartmut Ehrig,
Fernando Orejas,
Benjamin Braatz,
Markus Klein,
Martti Piirainen:
A Component Framework Based on High-Level Replacement Systems.
Electr. Notes Theor. Comput. Sci. 72(3): (2003) |
| 71 | | Fernando Orejas,
Hartmut Ehrig:
Components for Algebra Transformation Systems.
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
| 2002 |
|---|
| 70 | | Hartmut Ehrig,
Fernando Orejas,
Benjamin Braatz,
Markus Klein,
Martti Piirainen:
A Generic Component Framework for System Modeling.
FASE 2002: 33-48 |
| 69 | | Hartmut Ehrig,
Fernando Orejas:
Foreword Volume 72.
Electr. Notes Theor. Comput. Sci. 72: (2002) |
| 68 | | Reiko Heckel,
Mercè Llabrés,
Hartmut Ehrig,
Fernando Orejas:
Concurrency and Loose Semantics of Open Graph Transformation Systems.
Mathematical Structures in Computer Science 12(4): 349-376 (2002) |
| 2001 |
|---|
| 67 | | Fernando Orejas,
Paul G. Spirakis,
Jan van Leeuwen:
Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings
Springer 2001 |
| 66 | | Fernando Orejas,
Edelmira Pasarella,
Elvira Pino:
Semantics of Normal Logic Programs with Embedded Implications.
ICLP 2001: 255-268 |
| 65 | | Fernando Orejas,
Hartmut Ehrig,
Elvira Pino:
Tight and Loose Semantics for Transformation Systems.
WADT 2001: 238-255 |
| 64 | | Hartmut Ehrig,
Fernando Orejas:
Dynamic Abstract Data Types: An Informal Proposal in 1994.
Current Trends in Theoretical Computer Science 2001: 180-191 |
| 63 | | Hartmut Ehrig,
Fernando Orejas:
Integration Paradigm for Data Type and Process Specification Techniques.
Current Trends in Theoretical Computer Science 2001: 192-201 |
| 62 | | Hartmut Ehrig,
Julia Padberg,
Fernando Orejas:
From Basic Views and Aspects to Integration of Specification Formalisms.
Current Trends in Theoretical Computer Science 2001: 202-214 |
| 61 | | Hartmut Ehrig,
Fernando Orejas:
A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques.
Electr. Notes Theor. Comput. Sci. 50(3): (2001) |
| 2000 |
|---|
| 60 | | Edelmira Pasarella,
Elvira Pino,
Fernando Orejas:
Constructive negation without subsidiary trees.
WFLP 2000: 195-209 |
| 1999 |
|---|
| 59 | | Fernando Orejas,
Elvira Pino:
Semantic Definitions for Normal Open Programs.
APPIA-GULP-PRODE 1999: 43-58 |
| 58 | | Fernando Orejas,
Elvira Pino:
Semantic Definitions for Normal Open Programs.
ICLP 1999: 200-214 |
| 57 | | Fernando Orejas,
Elvira Pino:
A General Algebraic Framework for Studying Modular Systems.
WADT 1999: 271-290 |
| 56 | | Rosa M. Jiménez,
Fernando Orejas:
An Algebraic Framework for Higher-Order Modules.
World Congress on Formal Methods 1999: 1778-1797 |
| 55 | | Hartmut Ehrig,
Julia Padberg,
Fernando Orejas:
From Basic Views and Aspects to Integration of Specification Formalisms.
Bulletin of the EATCS 69: 98-109 (1999) |
| 54 | | Paqui Lucio,
Fernando Orejas,
Elvira Pino:
An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs.
J. Log. Program. 40(1): 89-124 (1999) |
| 53 | | Felix Cornelius,
Michael Baldamus,
Hartmut Ehrig,
Fernando Orejas:
Abstract and behaviour module specifications.
Mathematical Structures in Computer Science 9(1): 21-62 (1999) |
| 1998 |
|---|
| 52 | | Hartmut Ehrig,
Reiko Heckel,
Mercè Llabrés,
Fernando Orejas,
Julia Padberg,
Grzegorz Rozenberg:
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.
TAGT 1998: 85-102 |
| 51 | | Hartmut Ehrig,
Fernando Orejas:
Integration Paradigm for Data Type and Process Specification Techniques.
Bulletin of the EATCS 65: 90-97 (1998) |
| 1997 |
|---|
| 50 | | Paqui Lucio,
Fernando Orejas,
Elvira Pino:
A Monotonic Declarative Semantics for Normal Logic Programs.
APPIA-GULP-PRODE 1997: 271-282 |
| 49 | | Fernando Orejas,
Elvira Pino,
Hartmut Ehrig:
Institutions for Logic Programming.
Theor. Comput. Sci. 173(2): 485-511 (1997) |
| 1996 |
|---|
| 48 | | Fernando Orejas:
Algebraic Methods for the Study of Module Constructs in Logic Programming.
APPIA-GULP-PRODE 1996: 13-16 |
| 47 | | Fernando Orejas,
Marisa Navarro,
Ana Sánchez:
Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results.
Mathematical Structures in Computer Science 6(1): 33-67 (1996) |
| 1995 |
|---|
| 46 | | Silvia Clerici,
Rosa M. Jiménez,
Fernando Orejas:
Class-Sort Polymorphism in GLIDER.
COMPASS/ADT 1995: 143-160 |
| 45 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Fernando Orejas:
Correctness of actualization for parameterized implementation concepts based on constructors and abstractors.
Bulletin of the EATCS 56: (1995) |
| 44 | | Rosa M. Jiménez,
Fernando Orejas,
Hartmut Ehrig:
Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages.
Mathematical Structures in Computer Science 5(2): 283-314 (1995) |
| 43 | | Marisa Navarro,
Fernando Orejas,
Ana Sánchez:
On the Correctness of Modular Systems.
Theor. Comput. Sci. 140(1): 139-177 (1995) |
| 1994 |
|---|
| 42 | | Hartmut Ehrig,
Michael Löwe,
Fernando Orejas:
Dynamic Abstract Data Types Based on Algebraic Graph Transformations.
COMPASS/ADT 1994: 236-254 |
| 41 | | Fernando Orejas,
Elvira Pino,
Hartmut Ehrig:
Algebraic Methods in the Compositional Analysis of Logic Programs.
MFCS 1994: 112-126 |
| 40 | | Hartmut Ehrig,
Fernando Orejas:
Dynamic Abstract Data Types: An informal Proposal.
Bulletin of the EATCS 53: 162-169 (1994) |
| 1993 |
|---|
| 39 | | Marisa Navarro,
Fernando Orejas,
Ana Sánchez:
On the Correctness of Modular Systems.
AMAST 1993: 209-216 |
| 38 | | Hubert Bertling,
Harald Ganzinger,
Renate Schäfers,
Robert Nieuwenhuis,
Fernando Orejas:
Program Development: Completion Subsystem.
PROSPECTRA Book 1993: 460-494 |
| 37 | | Hartmut Ehrig,
Rosa M. Jiménez,
Fernando Orejas:
Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages.
TAPSOFT 1993: 31-45 |
| 36 | | Marisa Navarro,
Fernando Orejas,
Jean-Luc Remy:
Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications.
Acta Inf. 30(2): 147-180 (1993) |
| 35 | | Marisa Navarro,
Fernando Orejas,
Ana Sánchez:
Characterizing Confusion.
Bulletin of the EATCS 49: 103-110 (1993) |
| 1992 |
|---|
| 34 | | Silvia Clerici,
Rosa M. Jiménez,
Fernando Orejas:
Semantic Constructions in the Specification Language GLIDER.
COMPASS/ADT 1992: 144-157 |
| 33 | | Hartmut Ehrig,
Bernd Mahr,
Ingo Claßen,
Fernando Orejas:
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.
Comput. J. 35(5): 460-467 (1992) |
| 32 | | Hartmut Ehrig,
Bernd Mahr,
Ingo Claßen,
Fernando Orejas:
Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications.
Comput. J. 35(5): 468-477 (1992) |
| 1991 |
|---|
| 31 | | Michel Bidoit,
Hans-Jörg Kreowski,
Pierre Lescanne,
Fernando Orejas,
Donald Sannella:
Algebraic System Specification and Development - A Survey and Annotated Bibliography
Springer 1991 |
| 30 | | Hartmut Ehrig,
Klaus P. Jantke,
Fernando Orejas,
Horst Reichel:
Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990
Springer 1991 |
| 29 | | Hartmut Ehrig,
Michael Baldamus,
Felix Cornelius,
Fernando Orejas:
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.
AMAST 1991: 145-172 |
| 28 | | Hartmut Ehrig,
Michael Baldamus,
Fernando Orejas:
New Concepts of Amalgamation and Extension for a General Theory of Specifications.
COMPASS/ADT 1991: 199-221 |
| 27 | | Fernando Orejas,
Marisa Navarro,
Ana Sánchez:
Implementation and Behavioural Equivalence: A Survey.
COMPASS/ADT 1991: 93-125 |
| 26 | | Hartmut Ehrig,
Michael Baldamus,
Fernando Orejas:
Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms.
Bulletin of the EATCS 44: 129-143 (1991) |
| 1990 |
|---|
| 25 | | Robert Nieuwenhuis,
Fernando Orejas:
Clausal Rewriting: Applications and Implementation.
ADT 1990: 204-219 |
| 24 | | Fernando Orejas,
Pilar Nivela:
Constraints for Behavioural Specifications.
ADT 1990: 220-245 |
| 23 | | Silvia Clerici,
Fernando Orejas:
The Specification Language GSBL.
ADT 1990: 31-51 |
| 22 | | Robert Nieuwenhuis,
Fernando Orejas,
Albert Rubio:
TRIP: An Implementation of Clausal Rewriting.
CADE 1990: 667-668 |
| 21 | | Robert Nieuwenhuis,
Fernando Orejas:
Clausal Rewriting.
CTRS 1990: 246-258 |
| 1989 |
|---|
| 20 | | Josep Díaz,
Fernando Orejas:
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 |
| 19 | | Josep Díaz,
Fernando Orejas:
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 |
| 18 | | Hartmut Ehrig,
Peter Pepper,
Fernando Orejas:
On Recent Trends in Algebraic Specification.
ICALP 1989: 263-288 |
| 1988 |
|---|
| 17 | | Pilar Nivela,
Fernando Orejas:
A Module Concept within the Initial Behaviour Framework.
ADT 1988 |
| 16 | | Fernando Orejas,
Ana Sánchez,
Marisa Navarro,
Pilar Nivela,
Ricardo Pena:
Term Rewriting Methods for Partial Specifications.
ADT 1988 |
| 15 | | Silvia Clerici,
Fernando Orejas,
Pere Botella:
The Specification Language for the GESTALT Environment.
ADT 1988 |
| 14 | | Fernando Orejas,
Vera Sacristan,
Silvia Clerici:
Development of Algebraic Specifications with Constraints.
Categorial Methods in Computer Science 1988: 102-123 |
| 13 | | Fernando Orejas,
Pilar Nivela,
Hartmut Ehrig:
Semantical Constructions for Categories of Behavioural Specifications.
Categorial Methods in Computer Science 1988: 220-243 |
| 12 | | Silvia Clerici,
Fernando Orejas:
GSBL: An Algebraic Specification Language Based on Inheritance.
ECOOP 1988: 78-92 |
| 1987 |
|---|
| 11 | | Pilar Nivela,
Fernando Orejas:
Initial Behaviour Semantics for Algebraic Specifications.
ADT 1987: 184-207 |
| 10 | | Marisa Navarro,
Fernando Orejas:
Parameterized Horn Clause Specifications: Proof Theory and Correctness.
TAPSOFT, Vol.1 1987: 202-216 |
| 9 | | Fernando Orejas:
A Characterization of Passing Compatibility for Parameterized Specifications.
Theor. Comput. Sci. 51: 205-214 (1987) |
| 1986 |
|---|
| 8 | | Fernando Orejas:
A Proof-Theoretic Characterization of Persistency for Parameterized Specifications with Boolean Constraints.
ADT 1986 |
| 7 | | Fernando Orejas:
Role of Abstraction in Program Development - Response.
IFIP Congress 1986: 143-146 |
| 1984 |
|---|
| 6 | | Fernando Orejas:
Passing Compatibility is almost Persistency.
ADT 1984: 196-206 |
| 5 | | Marisa Navarro,
Fernando Orejas:
On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems.
EUROSAM 1984: 74-85 |
| 4 | | Fernando Orejas:
A Proof System for Verifying Composability of Abstract Implementations.
Semantics of Data Types 1984: 357-374 |
| 1983 |
|---|
| 3 | | Fernando Orejas:
Some Results on Finite Specifiability of Parameterized Data Types.
ADT 1983 |
| 2 | | Fernando Orejas:
Characterizing Composability of Abstract Implementations.
FCT 1983: 335-346 |
| 1981 |
|---|
| 1 | | Fernando Orejas:
On the Representation of Data Types.
ICFPC 1981: 419-431 |
