dblp.uni-trier.dewww.uni-trier.de

Fernando Orejas Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
101EEFernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig: Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. CALCO 2009: 383-397
100EEEsther Guerra, Juan de Lara, Fernando Orejas: Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. ICMT 2009: 83-99
99EEFernando Orejas, Martin Wirsing: On the Specification and Verification of Model Transformations. Semantics and Algebraic Specification 2009: 140-161
2008
98EEFernando Orejas, Hartmut Ehrig, Ulrike Prange: A Logic of Graph Constraints. FASE 2008: 179-198
97EELeen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas: Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT 2008: 162-177
96EEFernando Orejas: Attributed Graph Constraints. ICGT 2008: 274-288
95EEPaqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino: A Functorial Framework for Constraint Normal Logic Programming. Applied Categorical Structures 16(3): 421-450 (2008)
94EEFernando Orejas, Sonia Pérez: Architectural Connectors for Sequence Diagrams. Electr. Notes Theor. Comput. Sci. 206: 111-131 (2008)
93EELeen 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
92EEJoxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas: A Cut-Free and Invariant-Free Sequent Calculus for PLTL. CSL 2007: 481-495
91EEMarkus Klein, Julia Padberg, Fernando Orejas: Towards Multiple Access in Generic Component Architectures. Electr. Notes Theor. Comput. Sci. 176(2): 25-45 (2007)
90EEPaqui Lucio, Fernando Orejas: Preface. Electr. Notes Theor. Comput. Sci. 188: 1-2 (2007)
2006
89EEPaqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino: A Functorial Framework for Constraint Normal Logic Programming. Essays Dedicated to Joseph A. Goguen 2006: 555-577
88EEHartmut Ehrig, Fernando Orejas, Ulrike Prange: Categorical Foundations of Distributed Graph Transformation. ICGT 2006: 215-229
87EELeen Lambers, Hartmut Ehrig, Fernando Orejas: Conflict Detection for Graph Transformation with Negative Application Conditions. ICGT 2006: 61-76
86EELeen Lambers, Hartmut Ehrig, Fernando Orejas: Efficient Detection of Conflicts in Graph-based Model Transformation. Electr. Notes Theor. Comput. Sci. 152: 97-109 (2006)
85EEGregor Engels, Fernando Orejas, Francesco Parisi-Presicce: Special Issue with Selected Papers from ICGT 2004. Fundam. Inform. 74(1): (2006)
84EEFernando 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
82EEFernando Orejas, Sonia Pérez: Towards Architectural Connectors for UML. Formal Methods in Software and Systems Modeling 2005: 352-369
81EEEdelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro: A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. LOPSTR 2005: 133-146
80EEHartmut 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)
79EEFernando 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
77EEJavier Álvez, Paqui Lucio, Fernando Orejas: Constructive negation by bottom-up computation of literal answers. SAC 2004: 1468-1475
76EEFernando Orejas, Elvira Pino: On the Integration of Modular Heterogeneous Specifications. SoftSpez Final Report 2004: 582-601
75EENikos Mylonakis, Fernando Orejas: A Distributed and Mobile Component System Based on the Ambient Calculus. WADT 2004: 186-200
74EEHartmut 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)
73EEHartmut 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
72EEHartmut 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)
71EEFernando Orejas, Hartmut Ehrig: Components for Algebra Transformation Systems. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
2002
70EEHartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen: A Generic Component Framework for System Modeling. FASE 2002: 33-48
69EEHartmut 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
66EEFernando Orejas, Edelmira Pasarella, Elvira Pino: Semantics of Normal Logic Programs with Embedded Implications. ICLP 2001: 255-268
65EEFernando 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
61EEHartmut 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
56EERosa 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
49EEFernando 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)
43EEMarisa 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
41EEFernando 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
37EEHartmut 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
22EERobert 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
18EEHartmut 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
12EESilvia 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
10EEMarisa 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

Coauthor Index

1Vera Sacristán Adinolfi (Vera Sacristan) [14]
2Javier Álvez [77]
3Michael Baldamus [26] [28] [29] [53]
4Hubert Bertling [38]
5Michel Bidoit [31]
6Pere Botella [15]
7Benjamin Braatz [70] [72] [73] [74] [80]
8Ingo Claßen [32] [33]
9Silvia Clerici [12] [14] [15] [23] [34] [46]
10Felix Cornelius [29] [53]
11Josep Díaz [19] [20]
12Hartmut Ehrig [13] [18] [26] [28] [29] [30] [32] [33] [37] [40] [41] [42] [44] [45] [49] [51] [52] [53] [55] [61] [62] [63] [64] [65] [68] [69] [70] [71] [72] [73] [74] [80] [86] [87] [88] [93] [97] [98] [101]
13Gregor Engels [85]
14José Luiz Fiadeiro [78]
15Joxe Gaintzarain [92]
16Harald Ganzinger [38]
17Esther Guerra [100] [101]
18Reiko Heckel [52] [68]
19Montserrat Hermo [92]
20Klaus P. Jantke [30]
21Rosa M. Jiménez [34] [37] [44] [46] [56]
22Markus Klein [70] [72] [73] [74] [80] [91]
23Hans-Jörg Kreowski [31] [45] [83]
24Leen Lambers [86] [87] [93] [97]
25Juan de Lara (Juan de Lara Jaramillo) [100] [101]
26Jan van Leeuwen [67] [79]
27Pierre Lescanne [31]
28Mercè Llabrés [52] [68]
29Michael Löwe [42]
30Paqui Lucio [50] [54] [77] [89] [90] [92] [95]
31Bernd Mahr [32] [33]
32Ugo Montanari [83]
33Peter D. Mosses [78]
34Nikos Mylonakis [75]
35Marisa Navarro [5] [10] [16] [27] [35] [36] [39] [43] [47] [81] [92]
36Robert Nieuwenhuis [21] [22] [25] [38]
37Pilar Nivela [11] [13] [16] [17] [24]
38Julia Padberg [52] [55] [62] [74] [91]
39Francesco Parisi-Presicce [85]
40Edelmira Pasarella [60] [66] [81] [89] [95]
41Ricardo Peña-Marí (Ricardo Pena) [16]
42Peter Pepper [18]
43Sonia Pérez [74] [80] [82] [94]
44Martti Piirainen [70] [72] [73]
45Elvira Pino [41] [49] [50] [54] [57] [58] [59] [60] [65] [66] [74] [76] [80] [81] [89] [95]
46Ulrike Prange [88] [97] [98]
47Horst Reichel [30]
48Jean-Luc Remy [36]
49Grzegorz Rozenberg [52] [83]
50Albert Rubio [22]
51Ana Sánchez [16] [27] [35] [39] [43] [47]
52Donald Sannella [31]
53Renate Schäfers [38]
54Paul G. Spirakis [67]
55Gabriele Taentzer [83]
56Martin Wirsing [99]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)