default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFernando Orejas
Person information
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]