default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFernando Orejas
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j55]Elvira Pino
, Fernando Orejas, Nikos Mylonakis, Edelmira Pasarella:
A logical approach to graph databases. J. Log. Algebraic Methods Program. 141: 100997 (2024)- [c100]Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas:
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CONCUR 2024: 39:1-39:20 - [i3]Nachum Dershowitz, Jean-Pierre Jouannaud, Fernando Orejas:
Drag Rewriting. CoRR abs/2406.16046 (2024) - [i2]Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas:
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CoRR abs/2407.06864 (2024) - 2023
- [j54]Jean-Pierre Jouannaud, Fernando Orejas:
Unification of drags and confluence of drag rewriting. J. Log. Algebraic Methods Program. 131: 100845 (2023) - 2021
- [j53]Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers:
A navigational logic for reasoning about graph properties. J. Log. Algebraic Methods Program. 118: 100616 (2021) - [j52]Sven Schneider, Leen Lambers, Fernando Orejas:
A logic-based incremental approach to graph repair featuring delta preservation. Int. J. Softw. Tools Technol. Transf. 23(3): 369-410 (2021) - [j51]Leen Lambers, Fernando Orejas:
Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality. Theor. Comput. Sci. 884: 44-67 (2021) - 2020
- [j50]Esther Guerra, Fernando Orejas:
Preface to the special issue on the 12th International Conference on Graph Transformation. J. Log. Algebraic Methods Program. 115: 100576 (2020) - [c99]Fernando Orejas, Elvira Pino, Marisa Navarro:
Incremental Concurrent Model Synchronization using Triple Graph Grammars. FASE 2020: 273-293 - [c98]Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas:
Unfolding Symbolic Attributed Graph Grammars. ICGT 2020: 75-90 - [c97]Leen Lambers, Fernando Orejas:
Initial Conflicts for Transformation Rules with Nested Application Conditions. ICGT 2020: 109-127 - [c96]Jean-Pierre Jouannaud, Fernando Orejas:
Unification of Drags. UNIF 2020: 8:1-8:7 - [i1]Leen Lambers, Fernando Orejas:
Initial Conflicts for Transformation Rules with Nested Application Conditions. CoRR abs/2005.05901 (2020)
2010 – 2019
- 2019
- [c95]Sven Schneider, Leen Lambers, Fernando Orejas:
A Logic-Based Incremental Approach to Graph Repair. FASE 2019: 151-167 - [e10]Esther Guerra, Fernando Orejas:
Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings. Lecture Notes in Computer Science 11629, Springer 2019, ISBN 978-3-030-23610-6 [contents] - 2018
- [j49]Sven Schneider, Leen Lambers, Fernando Orejas:
Automated reasoning for attributed graph properties. Int. J. Softw. Tools Technol. Transf. 20(6): 705-737 (2018) - [j48]Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers:
Institutions for navigational logics for graphical structures. Theor. Comput. Sci. 741: 19-24 (2018) - [c94]Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber, Gabriele Taentzer:
Initial Conflicts and Dependencies: Critical Pairs Revisited. Graph Transformation, Specifications, and Nets 2018: 105-123 - [c93]Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino:
Towards a Navigational Logic for Graphical Structures. Graph Transformation, Specifications, and Nets 2018: 124-141 - 2017
- [j47]Francisco Durán, Antonio Moreno-Delgado, Fernando Orejas, Steffen Zschaler:
Amalgamation of domain specific languages with behaviour. J. Log. Algebraic Methods Program. 86(1): 208-235 (2017) - [c92]Sven Schneider, Leen Lambers, Fernando Orejas:
Symbolic Model Generation for Graph Properties. FASE 2017: 226-243 - 2016
- [j46]Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg:
Hartmut Ehrig (1944-2016). Bull. EATCS 119 (2016) - [c91]Claudia Elena Chirita, José Luiz Fiadeiro, Fernando Orejas:
Many-Valued Institutions for Constraint Specification. FASE 2016: 359-376 - 2015
- [j45]Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel:
Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. 14(1): 241-269 (2015) - [c90]Nikos Mylonakis, Fernando Orejas, José Luiz Fiadeiro:
A Semantics of Business Configurations Using Symbolic Graphs. SCC 2015: 146-153 - [c89]José Luiz Fiadeiro, Fernando Orejas:
Abstract Constraint Data Types. Software, Services, and Systems 2015: 155-170 - [c88]Marisa Navarro, Fernando Orejas, Elvira Pino:
Satisfiability of Constraint Specifications on XML Documents. Logic, Rewriting, and Concurrency 2015: 539-561 - 2014
- [j44]Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas:
Formal analysis of model transformations based on triple graph grammars. Math. Struct. Comput. Sci. 24(4) (2014) - [j43]Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas:
ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. Math. Struct. Comput. Sci. 24(4) (2014) - [c87]Leen Lambers, Fernando Orejas:
Tableau-Based Reasoning for Graph Properties. ICGT 2014: 17-32 - [c86]Fernando Orejas, Elvira Pino:
Correctness of Incremental Model Synchronization with Triple Graph Grammars. ICMT 2014: 74-90 - [c85]Marisa Navarro, Fernando Orejas:
A refutation procedure for proving satisfiability of constraint specifications on XML documents. SCSS 2014: 47-61 - 2013
- [j42]Fernando Orejas, Artur Boronat, Hartmut Ehrig, Frank Hermann, Hanna Schölzel:
On Propagation-Based Concurrent Model Synchronization. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013) - [j41]Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas:
Invariant-Free Clausal Temporal Resolution. J. Autom. Reason. 50(1): 1-49 (2013) - [j40]Esther Guerra, Juan de Lara, Fernando Orejas:
Inter-modelling with patterns. Softw. Syst. Model. 12(1): 145-174 (2013) - [c84]Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis:
Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS 2013: 113-128 - 2012
- [j39]Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas:
Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012) - [j38]Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas:
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence. Fundam. Informaticae 118(1-2): 35-63 (2012) - [j37]Fernando Orejas, Leen Lambers:
Lazy Graph Transformation. Fundam. Informaticae 118(1-2): 65-96 (2012) - [j36]Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro:
Semantics of structured normal logic programs. J. Log. Algebraic Methods Program. 81(5): 559-584 (2012) - [j35]Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas:
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. Theor. Comput. Sci. 424: 46-68 (2012) - [c83]Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas:
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. FASE 2012: 178-193 - [c82]Fernando Orejas, Artur Boronat, Nikos Mylonakis:
Borrowed Contexts for Attributed Graphs. ICGT 2012: 126-140 - [c81]Francisco Durán, Fernando Orejas, Steffen Zschaler:
Behaviour Protection in Modular Rule-Based System Specifications. WADT 2012: 24-49 - 2011
- [j34]Fernando Orejas:
Symbolic graphs for attributed graph constraints. J. Symb. Comput. 46(3): 294-315 (2011) - [c80]Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas:
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. MoDELS 2011: 304-318 - [c79]Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong:
Correctness of Model Synchronization Based on Triple Graph Grammars. MoDELS 2011: 668-682 - [e9]Dimitra Giannakopoulou, Fernando Orejas:
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. Lecture Notes in Computer Science 6603, Springer 2011, ISBN 978-3-642-19810-6 [contents] - 2010
- [j33]Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer:
International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [j32]Fernando Orejas, Leen Lambers:
Symbolic Attributed Graphs for Attributed Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [j31]Fernando Orejas, Hartmut Ehrig, Ulrike Prange:
Reasoning with graph constraints. Formal Aspects Comput. 22(3-4): 385-422 (2010) - [j30]Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez:
A Generic Approach to Connector Architectures Part I: The General Framework. Fundam. Informaticae 99(1): 63-93 (2010) - [j29]Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez:
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP. Fundam. Informaticae 99(1): 95-124 (2010) - [c78]Esther Guerra, Juan de Lara, Fernando Orejas:
Controlling Reuse in Pattern-Based Model-to-Model Transformations. Graph Transformations and Model-Driven Engineering 2010: 175-201 - [c77]Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann:
Incremental Service Composition Based on Partial Matching of Visual Contracts. FASE 2010: 123-138 - [c76]Fernando Orejas, Leen Lambers:
Delaying Constraint Solving in Symbolic Graph Transformation. ICGT 2010: 43-58 - [c75]Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas:
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. ICGT 2010: 155-170 - [c74]Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas:
Local Confluence for Rules with Nested Application Conditions. ICGT 2010: 330-345 - [c73]Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas:
Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. MDI@MoDELS 2010: 22-31
2000 – 2009
- 2009
- [j28]Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas:
Dual Systems of Tableaux and Sequents for PLTL. J. Log. Algebraic Methods Program. 78(8): 701-722 (2009) - [c72]Fernando Orejas, Martin Wirsing:
On the Specification and Verification of Model Transformations. Semantics and Algebraic Specification 2009: 140-161 - [c71]Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig:
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. CALCO 2009: 383-397 - [c70]Muhammad Naeem, Reiko Heckel, Fernando Orejas:
Semi-automated service composition using visual contracts. FIT 2009: 48:1-48:6 - [c69]Esther Guerra, Juan de Lara, Fernando Orejas:
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. ICMT@TOOLS 2009: 83-99 - 2008
- [j27]Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino:
A Functorial Framework for Constraint Normal Logic Programming. Appl. Categorical Struct. 16(3): 421-450 (2008) - [c68]Fernando Orejas, Hartmut Ehrig, Ulrike Prange:
A Logic of Graph Constraints. FASE 2008: 179-198 - [c67]Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas:
Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT 2008: 162-177 - [c66]Fernando Orejas:
Attributed Graph Constraints. ICGT 2008: 274-288 - 2007
- [c65]Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas:
A Cut-Free and Invariant-Free Sequent Calculus for PLTL. CSL 2007: 481-495 - [c64]Julia Padberg, Hartmut Ehrig, Fernando Orejas:
Towards Component Verification in the Generic Component Framework. FESCA@ETAPS 2007: 37-53 - [c63]Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas:
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. ACCAT@ETAPS 2007: 43-66 - [c62]Fernando Orejas, Sonia Pérez:
Architectural Connectors for Sequence Diagrams. PROLE 2007: 111-131 - [e8]Paqui Lucio, Fernando Orejas:
Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006. Electronic Notes in Theoretical Computer Science 188, Elsevier 2007 [contents] - 2006
- [j26]Gregor Engels, Fernando Orejas, Francesco Parisi-Presicce:
Special Issue with Selected Papers from ICGT 2004. Fundam. Informaticae 74(1) (2006) - [j25]Fernando Orejas:
Thirty years of algebraic specification. J. Log. Algebraic Methods Program. 67(1-2): 1-2 (2006) - [c61]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 - [c60]Leen Lambers, Hartmut Ehrig, Fernando Orejas:
Conflict Detection for Graph Transformation with Negative Application Conditions. ICGT 2006: 61-76 - [c59]Hartmut Ehrig, Fernando Orejas, Ulrike Prange:
Categorical Foundations of Distributed Graph Transformation. ICGT 2006: 215-229 - [c58]Paqui Lucio, Fernando Orejas:
Preface. PROLE 2006: 1-2 - [c57]Leen Lambers, Hartmut Ehrig, Fernando Orejas:
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. GT-VMT@ETAPS 2006: 17-26 - [c56]Markus Klein, Julia Padberg, Fernando Orejas:
Towards Multiple Access in Generic Component Architectures. FESCA@ETAPS 2006: 25-45 - 2005
- [j24]Fernando Orejas, Jan van Leeuwen:
Preface: Automata, Languages and Programming . Theor. Comput. Sci. 331(1): 1-2 (2005) - [c55]Fernando Orejas, Sonia Pérez:
Towards Architectural Connectors for UML. Formal Methods in Software and Systems Modeling 2005: 352-369 - [c54]Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro:
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. LOPSTR 2005: 133-146 - [c53]Leen Lambers, Hartmut Ehrig, Fernando Orejas:
Efficient Detection of Conflicts in Graph-based Model Transformation. GRaMoT@GPCE 2005: 97-109 - [c52]Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino:
Object-Oriented Connector-Component Architectures. FESCA@ETAPS 2005: 123-151 - [e7]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. Lecture Notes in Computer Science 3393, Springer 2005, ISBN 3-540-24936-2 [contents] - 2004
- [j23]Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen:
A component framework for system modeling based on high-level replacement systems. Softw. Syst. Model. 3(2): 114-135 (2004) - [c51]Fernando Orejas, Elvira Pino:
On the Integration of Modular Heterogeneous Specifications. SoftSpez Final Report 2004: 582-601 - [c50]Javier Álvez, Paqui Lucio, Fernando Orejas:
Constructive negation by bottom-up computation of literal answers. SAC 2004: 1468-1475 - [c49]Nikos Mylonakis, Fernando Orejas:
A Distributed and Mobile Component System Based on the Ambient Calculus. WADT 2004: 186-200 - [c48]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. FESCA@ETAPS 2004: 53-67 - [e6]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. Lecture Notes in Computer Science 3423, Springer 2004, ISBN 3-540-25327-0 [contents] - 2003
- [c47]Fernando Orejas, Hartmut Ehrig:
Components for Algebra Transformation Systems. UNIGRA 2003: 63-78 - 2002
- [j22]Hartmut Ehrig, Fernando Orejas:
Foreword Volume 72. Electron. Notes Theor. Comput. Sci. 72 (2002) - [j21]Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen:
A Transformation-Based Component Framework for a Generic Integrated Modeling Technique. Trans. SDPS 6(4): 78-104 (2002) - [j20]Reiko Heckel, Mercè Llabrés, Hartmut Ehrig, Fernando Orejas:
Concurrency and Loose Semantics of Open Graph Transformation Systems. Math. Struct. Comput. Sci. 12(4): 349-376 (2002) - [c46]Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen:
A Generic Component Framework for System Modeling. FASE 2002: 33-48 - [c45]Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen:
A Component Framework Based on High-Level Replacement Systems. GT-VMT@ICGT 2002: 118-132 - 2001
- [c44]Fernando Orejas, Edelmira Pasarella, Elvira Pino:
Semantics of normal logic programs with embedded implications. APPIA-GULP-PRODE 2001: 1-15 - [c43]Fernando Orejas, Edelmira Pasarella, Elvira Pino:
Semantics of Normal Logic Programs with Embedded Implications. ICLP 2001: 255-268 - [c42]Fernando Orejas, Hartmut Ehrig, Elvira Pino:
Tight and Loose Semantics for Transformation Systems. WADT 2001: 238-255 - [c41]Hartmut Ehrig, Fernando Orejas:
A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques. GT-VMT@ICALP 2001: 199-226 - [p5]Hartmut Ehrig, Fernando Orejas:
Dynamic Abstract Data Types: An Informal Proposal in 1994. Current Trends in Theoretical Computer Science 2001: 180-191 - [p4]Hartmut Ehrig, Fernando Orejas:
Integration Paradigm for Data Type and Process Specification Techniques. Current Trends in Theoretical Computer Science 2001: 192-201 - [p3]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 - [e5]Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen:
Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings. Lecture Notes in Computer Science 2076, Springer 2001, ISBN 3-540-42287-0 [contents] - 2000
- [c40]Edelmira Pasarella, Elvira Pino, Fernando Orejas:
Constructive negation without subsidiary trees. WFLP 2000: 195-209
1990 – 1999
- 1999
- [j19]Hartmut Ehrig, Julia Padberg, Fernando Orejas:
From Basic Views and Aspects to Integration of Specification Formalisms. Bull. EATCS 69: 98-109 (1999) - [j18]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) - [j17]Felix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas:
Abstract and behaviour module specifications. Math. Struct. Comput. Sci. 9(1): 21-62 (1999) - [c39]Fernando Orejas, Elvira Pino:
Semantic Definitions for Normal Open Programs. APPIA-GULP-PRODE 1999: 43-58 - [c38]Rosa M. Jiménez, Fernando Orejas:
An Algebraic Framework for Higher-Order Modules. World Congress on Formal Methods 1999: 1778-1797 - [c37]Fernando Orejas, Elvira Pino:
Semantic Definitions for Normal Open Programs. ICLP 1999: 200-214 - [c36]Fernando Orejas, Elvira Pino:
A General Algebraic Framework for Studying Modular Systems. WADT 1999: 271-290 - [p2]Fernando Orejas:
Structuring and Modularity. Algebraic Foundations of Systems Specification 1999: 159-200 - 1998
- [j16]Hartmut Ehrig, Fernando Orejas:
Integration Paradigm for Data Type and Process Specification Techniques. Bull. EATCS 65: 90-97 (1998) - [c35]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 - 1997
- [j15]Fernando Orejas, Elvira Pino, Hartmut Ehrig:
Institutions for Logic Programming. Theor. Comput. Sci. 173(2): 485-511 (1997) - [c34]Paqui Lucio, Fernando Orejas, Elvira Pino:
A Monotonic Declarative Semantics for Normal Logic Programs. APPIA-GULP-PRODE 1997: 271-282 - 1996
- [j14]Fernando Orejas, Marisa Navarro, Ana Sánchez:
Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results. Math. Struct. Comput. Sci. 6(1): 33-67 (1996) - [c33]Fernando Orejas:
Algebraic Methods for the Study of Module Constructs in Logic Programming. APPIA-GULP-PRODE 1996: 13-16 - 1995
- [j13]Hartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas:
Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. Bull. EATCS 56 (1995) - [j12]Rosa M. Jiménez, Fernando Orejas, Hartmut Ehrig:
Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages. Math. Struct. Comput. Sci. 5(2): 283-314 (1995) - [j11]Eric Dubois, Jacques Hagelstein, Axel van Lamsweerde, Fernando Orejas, Jeanine Souquières, Pierre L. Wodon:
A Guided Tour through the ICARUS Project. ACM SIGSOFT Softw. Eng. Notes 20(2): 28-33 (1995) - [j10]Marisa Navarro, Fernando Orejas, Ana Sánchez:
On the Correctness of Modular Systems. Theor. Comput. Sci. 140(1): 139-177 (1995) - [c32]Silvia Clerici, Rosa M. Jiménez, Fernando Orejas:
Class-Sort Polymorphism in GLIDER. COMPASS/ADT 1995: 143-160 - 1994
- [j9]Hartmut Ehrig, Fernando Orejas:
Dynamic Abstract Data Types: An informal Proposal. Bull. EATCS 53: 162-169 (1994) - [c31]Hartmut Ehrig, Michael Löwe, Fernando Orejas:
Dynamic Abstract Data Types Based on Algebraic Graph Transformations. COMPASS/ADT 1994: 236-254 - [c30]Fernando Orejas, Elvira Pino, Hartmut Ehrig:
Algebraic Methods in the Compositional Analysis of Logic Programs. MFCS 1994: 112-126 - 1993
- [j8]Marisa Navarro, Fernando Orejas, Jean-Luc Rémy:
Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications. Acta Informatica 30(2): 147-180 (1993) - [j7]Marisa Navarro, Fernando Orejas, Ana Sánchez:
Characterizing Confusion. Bull. EATCS 49: 103-110 (1993) - [c29]Marisa Navarro, Fernando Orejas, Ana Sánchez:
On the Correctness of Modular Systems. AMAST 1993: 209-216 - [c28]Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas:
Program Development: Completion Subsystem. PROSPECTRA Book 1993: 460-494 - [c27]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 - [p1]Hartmut Ehrig, Michael Baldamus, Fernando Orejas:
New Concepts for Amalgamation and Extension in the Framework of Specification Logics. Current Trends in Theoretical Computer Science 1993: 161-182 - 1992
- [j6]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) - [j5]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) - [c26]Silvia Clerici, Rosa M. Jiménez, Fernando Orejas:
Semantic Constructions in the Specification Language GLIDER. COMPASS/ADT 1992: 144-157 - 1991
- [j4]Hartmut Ehrig, Michael Baldamus, Fernando Orejas:
Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms. Bull. EATCS 44: 129-143 (1991) - [c25]Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas:
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. AMAST 1991: 145-172 - [c24]Fernando Orejas, Marisa Navarro, Ana Sánchez:
Implementation and Behavioural Equivalence: A Survey. COMPASS/ADT 1991: 93-125 - [c23]Hartmut Ehrig, Michael Baldamus, Fernando Orejas:
New Concepts of Amalgamation and Extension for a General Theory of Specifications. COMPASS/ADT 1991: 199-221 - [e4]Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella:
Algebraic System Specification and Development - A Survey and Annotated Bibliography. Lecture Notes in Computer Science 501, Springer 1991, ISBN 3-540-54060-1 - [e3]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. Lecture Notes in Computer Science 534, Springer 1991, ISBN 3-540-54496-8 [contents] - 1990
- [c22]Silvia Clerici, Fernando Orejas:
The Specification Language GSBL. ADT 1990: 31-51 - [c21]Robert Nieuwenhuis, Fernando Orejas:
Clausal Rewriting: Applications and Implementation. ADT 1990: 204-219 - [c20]Fernando Orejas, Pilar Nivela:
Constraints for Behavioural Specifications. ADT 1990: 220-245 - [c19]Robert Nieuwenhuis, Fernando Orejas, Albert Rubio:
TRIP: An Implementation of Clausal Rewriting. CADE 1990: 667-668 - [c18]Robert Nieuwenhuis, Fernando Orejas:
Clausal Rewriting. CTRS 1990: 246-258
1980 – 1989
- 1989
- [c17]Hartmut Ehrig, Peter Pepper, Fernando Orejas:
On Recent Trends in Algebraic Specification. ICALP 1989: 263-288 - [e2]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). Lecture Notes in Computer Science 351, Springer 1989, ISBN 3-540-50939-9 [contents] - [e1]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). Lecture Notes in Computer Science 352, Springer 1989, ISBN 3-540-50940-2 [contents] - 1988
- [c16]Silvia Clerici, Fernando Orejas, Pere Botella:
The Specification Language for the GESTALT Environment. ADT 1988 - [c15]Pilar Nivela, Fernando Orejas:
A Module Concept within the Initial Behaviour Framework. ADT 1988 - [c14]Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena:
Term Rewriting Methods for Partial Specifications. ADT 1988 - [c13]Fernando Orejas, Vera Sacristán, Silvia Clerici:
Development of Algebraic Specifications with Constraints. Categorial Methods in Computer Science 1988: 102-123 - [c12]Fernando Orejas, Pilar Nivela, Hartmut Ehrig:
Semantical Constructions for Categories of Behavioural Specifications. Categorial Methods in Computer Science 1988: 220-243 - [c11]Silvia Clerici, Fernando Orejas:
GSBL: An Algebraic Specification Language Based on Inheritance. ECOOP 1988: 78-92 - 1987
- [j3]Fernando Orejas:
A Characterization of Passing Compatibility for Parameterized Specifications. Theor. Comput. Sci. 51: 205-214 (1987) - [c10]Pilar Nivela, Fernando Orejas:
Initial Behaviour Semantics for Algebraic Specifications. ADT 1987: 184-207 - [c9]Marisa Navarro, Fernando Orejas:
Parameterized Horn Clause Specifications: Proof Theory and Correctness. TAPSOFT, Vol.1 1987: 202-216 - 1986
- [c8]Fernando Orejas:
A Proof-Theoretic Characterization of Persistency for Parameterized Specifications with Boolean Constraints. ADT 1986 - [c7]Fernando Orejas:
Role of Abstraction in Program Development - Response. IFIP Congress 1986: 143-146 - 1984
- [c6]Fernando Orejas:
Passing Compatibility is almost Persistency. ADT 1984: 196-206 - [c5]Marisa Navarro, Fernando Orejas:
On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems. EUROSAM 1984: 74-85 - [c4]Fernando Orejas:
A Proof System for Verifying Composability of Abstract Implementations. Semantics of Data Types 1984: 357-374 - 1983
- [c3]Fernando Orejas:
Some Results on Finite Specifiability of Parameterized Data Types. ADT 1983 - [c2]Fernando Orejas:
Characterizing Composability of Abstract Implementations. FCT 1983: 335-346 - 1981
- [j2]Fernando Orejas:
Even more on advice on structuring compilers and proving them correct: changing an arrow. ACM SIGPLAN Notices 16(3): 82-84 (1981) - [c1]Fernando Orejas:
On the Representation of Data Types. ICFPC 1981: 419-431
1970 – 1979
- 1979
- [j1]Fernando Orejas:
On the power of conditional specifications. ACM SIGPLAN Notices 14(7): 78-81 (1979)
Coauthor Index
[j45] [j44] [j43] [j42] [j38] [j35] [c83] [c80] [c79] [j33] [j31] [j30] [j29] [c75] [c74] [c73] [c71] [c68] [c67] [c64] [c63] [c60] [c59] [c57] [c53] [c52] [j23] [c48] [c47] [j22] [j21] [j20] [c46] [c45] [c42] [c41] [p5] [p4] [p3] [j19] [j17] [j16] [c35] [j15] [j13] [j12] [j9] [c31] [c30] [c27] [p1] [j6] [j5] [j4] [c25] [c23] [e3] [c17] [c12]
Ulrike Golas
aka: Ulrike Prange
aka: Ulrike Prange
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
