The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Fernando Orejas: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  83. On the Specification and Verification of Model Transformations. [Citation Graph (, )][DBLP]


  84. Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. [Citation Graph (, )][DBLP]


  85. A Logic of Graph Constraints. [Citation Graph (, )][DBLP]


  86. Incremental Service Composition Based on Partial Matching of Visual Contracts. [Citation Graph (, )][DBLP]


  87. Attributed Graph Constraints. [Citation Graph (, )][DBLP]


  88. Embedding and Confluence of Graph Transformations with Negative Application Conditions. [Citation Graph (, )][DBLP]


  89. Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. [Citation Graph (, )][DBLP]


  90. Local Confluence for Rules with Nested Application Conditions. [Citation Graph (, )][DBLP]


  91. Delaying Constraint Solving in Symbolic Graph Transformation. [Citation Graph (, )][DBLP]


  92. Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. [Citation Graph (, )][DBLP]


  93. A Functorial Framework for Constraint Normal Logic Programming. [Citation Graph (, )][DBLP]


  94. Architectural Connectors for Sequence Diagrams. [Citation Graph (, )][DBLP]


  95. Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002