Fernando Orejas

From MaRDI portal
Revision as of 10:55, 11 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page Fernando Orejas to Fernando Orejas: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:347378

Available identifiers

zbMath Open orejas.fernandoWikidataQ77859966 ScholiaQ77859966MaRDI QIDQ347378

List of research outcomes

PublicationDate of PublicationType
A logic-based incremental approach to graph repair2023-11-24Paper
Clausal rewriting2023-03-09Paper
Unification of drags and confluence of drag rewriting2023-02-03Paper
Compositionality results for different types of parameterization and parameter passing in specification languages2022-11-02Paper
Incremental Concurrent Model Synchronization using Triple Graph Grammars2022-10-13Paper
Unfolding Symbolic Attributed Graph Grammars2022-09-01Paper
Initial Conflicts for Transformation Rules with Nested Application Conditions2022-09-01Paper
Algebraic methods in the compositional analysis of logic programs2022-08-18Paper
Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality2021-08-27Paper
A navigational logic for reasoning about graph properties2021-02-26Paper
Symbolic Model Generation for Graph Properties2020-02-13Paper
Institutions for navigational logics for graphical structures2018-07-26Paper
Initial conflicts and dependencies: critical pairs revisited2018-04-04Paper
Towards a navigational logic for graphical structures2018-04-04Paper
Amalgamation of domain specific languages with behaviour2016-11-30Paper
-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation2016-07-26Paper
Formal analysis of model transformations based on triple graph grammars2016-07-26Paper
Satisfiability of Constraint Specifications on XML Documents2015-09-14Paper
Abstract Constraint Data Types2015-06-22Paper
Tableau-Based Reasoning for Graph Properties2014-09-26Paper
https://portal.mardi4nfdi.de/entity/Q28718532014-01-10Paper
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions2013-12-06Paper
Behaviour Protection in Modular Rule-Based System Specifications2013-09-13Paper
Invariant-free clausal temporal resolution2013-07-05Paper
A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques2013-05-10Paper
Checking Bisimilarity for Attributed Graph Transformation2013-03-18Paper
Borrowed Contexts for Attributed Graphs2012-10-02Paper
Semantics of structured normal logic programs2012-08-14Paper
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence2012-07-11Paper
Lazy Graph Transformation2012-07-11Paper
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation2012-06-01Paper
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs2012-05-14Paper
Symbolic graphs for attributed graph constraints2011-03-14Paper
Controlling Reuse in Pattern-Based Model-to-Model Transformations2010-11-26Paper
Delaying Constraint Solving in Symbolic Graph Transformation2010-10-04Paper
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars2010-10-04Paper
Local Confluence for Rules with Nested Application Conditions2010-10-04Paper
Reasoning with graph constraints2010-05-28Paper
A Generic Approach to Connector Architectures Part I: The General Framework2010-05-25Paper
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP2010-05-25Paper
Dual systems of tableaux and sequents for PLTL2009-11-04Paper
On the Specification and Verification of Model Transformations2009-10-22Paper
A Cut-Free and Invariant-Free Sequent Calculus for PLTL2009-03-05Paper
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs2009-01-15Paper
Conflict Detection for Graph Transformation with Negative Application Conditions2008-11-27Paper
Categorical Foundations of Distributed Graph Transformation2008-11-27Paper
Embedding and Confluence of Graph Transformations with Negative Application Conditions2008-11-20Paper
Attributed Graph Constraints2008-11-20Paper
A functorial framework for constraint normal logic programming2008-07-30Paper
A Logic of Graph Constraints2008-05-02Paper
A Functorial Framework for Constraint Normal Logic Programming2007-09-07Paper
Formal Methods in Software and Systems Modeling2005-12-02Paper
Recent Trends in Algebraic Development Techniques2005-11-11Paper
https://portal.mardi4nfdi.de/entity/Q47383112004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47365172004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q44717222004-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44363512003-12-04Paper
Concurrency and loose semantics of open graph transformation systems2003-02-17Paper
https://portal.mardi4nfdi.de/entity/Q27220302001-07-11Paper
https://portal.mardi4nfdi.de/entity/Q45028072001-04-19Paper
https://portal.mardi4nfdi.de/entity/Q44939102001-01-29Paper
https://portal.mardi4nfdi.de/entity/Q47903892001-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47903902001-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47903912001-01-01Paper
https://portal.mardi4nfdi.de/entity/Q49408862000-04-06Paper
An algebraic framework for the definition of compositional semantics of normal logic programs1999-12-19Paper
https://portal.mardi4nfdi.de/entity/Q47025961999-11-24Paper
Abstract and behaviour module specifications1999-04-13Paper
https://portal.mardi4nfdi.de/entity/Q43992501998-07-28Paper
Institutions for logic programming1998-07-22Paper
https://portal.mardi4nfdi.de/entity/Q43781461998-06-11Paper
Compositionality and compatibility of parameterization and parameter passing in specification languages1996-05-28Paper
https://portal.mardi4nfdi.de/entity/Q42998641995-04-18Paper
Contextual rewriting as a sound and complete proof method for conditional LOG-specifications1994-05-10Paper
https://portal.mardi4nfdi.de/entity/Q47133641992-06-25Paper
https://portal.mardi4nfdi.de/entity/Q47293181988-01-01Paper
A characterization of passing compatibility for parameterized specifications1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30348061987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37573751986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37073901985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33434351984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33457541984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36860161983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39206231981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41432881976-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Fernando Orejas