| Publication | Date of Publication | Type |
|---|
A logical approach to graph databases
Journal of Logical and Algebraic Methods in Programming | 2024-10-08 | Paper |
A logic-based incremental approach to graph repair
Fundamental Approaches to Software Engineering | 2023-11-24 | Paper |
Clausal rewriting
Conditional and Typed Rewriting Systems | 2023-03-09 | Paper |
Unification of drags and confluence of drag rewriting
Journal of Logical and Algebraic Methods in Programming | 2023-02-03 | Paper |
Compositionality results for different types of parameterization and parameter passing in specification languages
Lecture Notes in Computer Science | 2022-11-02 | Paper |
Incremental concurrent model synchronization using triple graph grammars
Fundamental Approaches to Software Engineering | 2022-10-13 | Paper |
Unfolding Symbolic Attributed Graph Grammars
Graph Transformation | 2022-09-01 | Paper |
Initial conflicts for transformation rules with nested application conditions
Graph Transformation | 2022-09-01 | Paper |
Algebraic methods in the compositional analysis of logic programs
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality
Theoretical Computer Science | 2021-08-27 | Paper |
A navigational logic for reasoning about graph properties
Journal of Logical and Algebraic Methods in Programming | 2021-02-26 | Paper |
Symbolic model generation for graph properties
Fundamental Approaches to Software Engineering | 2020-02-13 | Paper |
Institutions for navigational logics for graphical structures
Theoretical Computer Science | 2018-07-26 | Paper |
Towards a navigational logic for graphical structures
| 2018-04-04 | Paper |
Initial conflicts and dependencies: critical pairs revisited
| 2018-04-04 | Paper |
Amalgamation of domain specific languages with behaviour
Journal of Logical and Algebraic Methods in Programming | 2016-11-30 | Paper |
-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
Formal analysis of model transformations based on triple graph grammars
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
Satisfiability of Constraint Specifications on XML Documents
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Abstract constraint data types
Software, Services, and Systems | 2015-06-22 | Paper |
Tableau-based reasoning for graph properties
Graph Transformation | 2014-09-26 | Paper |
Architectural connectors for sequence diagrams
| 2014-01-10 | Paper |
Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Behaviour protection in modular rule-based system specifications
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
Invariant-free clausal temporal resolution
Journal of Automated Reasoning | 2013-07-05 | Paper |
A conceptual and formal framework for the integration of data type and process modeling techniques
Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
Checking bisimilarity for attributed graph transformation
Lecture Notes in Computer Science | 2013-03-18 | Paper |
Borrowed contexts for attributed graphs
Lecture Notes in Computer Science | 2012-10-02 | Paper |
Semantics of structured normal logic programs
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
\(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence
Fundamenta Informaticae | 2012-07-11 | Paper |
Lazy graph transformation
Fundamenta Informaticae | 2012-07-11 | Paper |
Correctness, completeness and termination of pattern-based model-to-model transformation
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
Theoretical Computer Science | 2012-05-14 | Paper |
Symbolic graphs for attributed graph constraints
Journal of Symbolic Computation | 2011-03-14 | Paper |
Controlling reuse in pattern-based model-to-model transformations
Lecture Notes in Computer Science | 2010-11-26 | Paper |
Formal analysis of functional behaviour for model transformations based on triple graph grammars
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Local Confluence for Rules with Nested Application Conditions
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Delaying Constraint Solving in Symbolic Graph Transformation
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Reasoning with graph constraints
Formal Aspects of Computing | 2010-05-28 | Paper |
A generic approach to connector architectures. I: The general framework
Fundamenta Informaticae | 2010-05-25 | Paper |
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP
Fundamenta Informaticae | 2010-05-25 | Paper |
Dual systems of tableaux and sequents for PLTL
The Journal of Logic and Algebraic Programming | 2009-11-04 | Paper |
On the Specification and Verification of Model Transformations
Semantics and Algebraic Specification | 2009-10-22 | Paper |
A Cut-Free and Invariant-Free Sequent Calculus for PLTL
Computer Science Logic | 2009-03-05 | Paper |
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs
Logic Based Program Synthesis and Transformation | 2009-01-15 | Paper |
Conflict Detection for Graph Transformation with Negative Application Conditions
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Categorical Foundations of Distributed Graph Transformation
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Embedding and Confluence of Graph Transformations with Negative Application Conditions
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Attributed Graph Constraints
Lecture Notes in Computer Science | 2008-11-20 | Paper |
A functorial framework for constraint normal logic programming
Applied Categorical Structures | 2008-07-30 | Paper |
A Logic of Graph Constraints
Fundamental Approaches to Software Engineering | 2008-05-02 | Paper |
A Functorial Framework for Constraint Normal Logic Programming
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
Recent Trends in Algebraic Development Techniques
Lecture Notes in Computer Science | 2005-11-11 | Paper |
scientific article; zbMATH DE number 2087510 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2085282 (Why is no real title available?)
| 2004-08-09 | Paper |
scientific article; zbMATH DE number 2079675 (Why is no real title available?)
| 2004-07-30 | Paper |
scientific article; zbMATH DE number 2013184 (Why is no real title available?)
| 2003-12-04 | Paper |
Concurrency and loose semantics of open graph transformation systems
Mathematical Structures in Computer Science | 2003-02-17 | Paper |
scientific article; zbMATH DE number 1617303 (Why is no real title available?)
| 2001-07-11 | Paper |
scientific article; zbMATH DE number 1504829 (Why is no real title available?)
| 2001-04-19 | Paper |
scientific article; zbMATH DE number 1487501 (Why is no real title available?)
| 2001-01-29 | Paper |
scientific article; zbMATH DE number 1860661 (Why is no real title available?)
| 2001-01-01 | Paper |
scientific article; zbMATH DE number 1860662 (Why is no real title available?)
| 2001-01-01 | Paper |
scientific article; zbMATH DE number 1860663 (Why is no real title available?)
| 2001-01-01 | Paper |
scientific article; zbMATH DE number 1407501 (Why is no real title available?)
| 2000-04-06 | Paper |
An algebraic framework for the definition of compositional semantics of normal logic programs
The Journal of Logic Programming | 1999-12-19 | Paper |
scientific article; zbMATH DE number 1368952 (Why is no real title available?)
| 1999-11-24 | Paper |
Abstract and behaviour module specifications
Mathematical Structures in Computer Science | 1999-04-13 | Paper |
scientific article; zbMATH DE number 1179975 (Why is no real title available?)
| 1998-07-28 | Paper |
Institutions for logic programming
Theoretical Computer Science | 1998-07-22 | Paper |
scientific article; zbMATH DE number 1121419 (Why is no real title available?)
| 1998-06-11 | Paper |
Compositionality and compatibility of parameterization and parameter passing in specification languages
Mathematical Structures in Computer Science | 1996-05-28 | Paper |
scientific article; zbMATH DE number 604886 (Why is no real title available?)
| 1995-04-18 | Paper |
Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
Acta Informatica | 1994-05-10 | Paper |
scientific article; zbMATH DE number 10083 (Why is no real title available?)
| 1992-06-25 | Paper |
scientific article; zbMATH DE number 4113952 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4133477 (Why is no real title available?)
| 1987-01-01 | Paper |
A characterization of passing compatibility for parameterized specifications
Theoretical Computer Science | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4007703 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3936501 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3880084 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3878354 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3909717 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3733236 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3572143 (Why is no real title available?)
| 1976-01-01 | Paper |
