| Publication | Date of Publication | Type |
|---|
| A certified algorithm for AC-unification | 2024-05-27 | Paper |
| Nominal AC-matching | 2024-02-28 | Paper |
| Interaction nets and term rewriting systems (extended abstract) | 2023-02-23 | Paper |
| (Head-)normalization of typeable rewrite systems | 2022-12-09 | Paper |
| AC complement problems: Satisfiability and negation elimination | 2022-12-09 | Paper |
| A Port Graph Rewriting Approach to Relational Database Modelling | 2022-08-25 | Paper |
| A Certified Functional Nominal C-Unification Algorithm | 2022-08-25 | Paper |
| Negation elimination in equational formulae | 2022-08-18 | Paper |
| Formalising nominal C-unification generalised with protected variables | 2022-01-20 | Paper |
| Nominal equational problems | 2021-10-18 | Paper |
| A strategic graph rewriting model of rational negligence in financial markets | 2021-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994837 | 2021-06-22 | Paper |
| Fixed-Point Constraints for Nominal Equational Unification | 2021-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992393 | 2021-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986740 | 2021-04-27 | Paper |
| Nominal syntax with atom substitutions | 2021-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964704 | 2021-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964705 | 2021-03-03 | Paper |
| \texttt{EVL}: a typed higher-order functional language for events | 2021-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5150152 | 2021-02-09 | Paper |
| On solving nominal disunification constraints | 2021-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216313 | 2020-02-17 | Paper |
| Nominal syntax with atom substitutions: matching, unification, rewriting | 2020-01-30 | Paper |
| A formalisation of nominal C-matching through unification with protected variables | 2019-11-13 | Paper |
| Labelled port graph -- a formal structure for models and computations | 2019-11-12 | Paper |
| A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols | 2019-06-25 | Paper |
| Modularity of termination and confluence in combinations of rewrite systems with λω | 2019-03-29 | Paper |
| Strategic port graph rewriting: an interactive modelling framework | 2019-03-21 | Paper |
| Approximation and normalization results for typeable term rewriting systems | 2019-01-11 | Paper |
| Nominal C-unification | 2018-09-06 | Paper |
| Nominal essential intersection types | 2018-06-18 | Paper |
| Checking overlaps of nominal rewriting rules | 2018-04-23 | Paper |
| Completeness in PVS of a nominal unification algorithm | 2018-04-23 | Paper |
| Alpha-structural induction and recursion for the lambda calculus in constructive type theory | 2018-04-23 | Paper |
| A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols | 2018-04-23 | Paper |
| Labelled graph strategic rewriting for social networks | 2018-04-06 | Paper |
| Typed Nominal Rewriting | 2018-03-22 | Paper |
| Intruder deduction problem for locally stable theories with normal forms and inverses | 2018-02-09 | Paper |
| On solving nominal fixpoint equations | 2018-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5369476 | 2017-10-17 | Paper |
| Dependent Types for Nominal Terms with Atom Substitutions | 2017-07-12 | Paper |
| A graph-based framework for the analysis of access control policies | 2017-06-15 | Paper |
| Labelled Graph Rewriting Meets Social Networks | 2016-10-21 | Paper |
| Enabling synchronous and asynchronous communications in CSP for SOC | 2016-08-01 | Paper |
| A framework for the analysis of access control policies with emergency management | 2016-08-01 | Paper |
| A Typed Language for Events | 2016-02-05 | Paper |
| From nominal to higher-order rewriting and back again | 2016-01-07 | Paper |
| Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics | 2015-10-02 | Paper |
| Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY | 2015-02-25 | Paper |
| Linearity: A Roadmap | 2015-01-12 | Paper |
| Labelled calculi of resources | 2015-01-12 | Paper |
| A metamodel of access control for distributed environments: applications and properties | 2014-10-20 | Paper |
| Relating Nominal and Higher-Order Rewriting | 2014-10-14 | Paper |
| Programming languages and operational semantics. A concise overview | 2014-09-05 | Paper |
| New Developments in Environment Machines | 2014-07-22 | Paper |
| Implementing nominal unification | 2013-12-20 | Paper |
| From functional programs to interaction nets via the rewriting calculus | 2013-12-06 | Paper |
| The power of closed reduction strategies | 2013-12-06 | Paper |
| Interaction nets vs. the \(\rho\)-calculus: introducing bigraphical nets | 2013-10-07 | Paper |
| A higher-order calculus for graph transformation | 2013-08-27 | Paper |
| Interaction nets with McCarthy's \(\mathsf{amb}\) | 2013-08-15 | Paper |
| A Strategy Language for Graph Rewriting | 2013-03-13 | Paper |
| Nominal Completion for Rewrite Systems with Binders | 2012-11-01 | Paper |
| Linearity and iterator types for Gödel's system \(\mathcal T\) | 2012-01-13 | Paper |
| Principal Types for Nominal Theories | 2011-08-19 | Paper |
| The First-Order Nominal Link | 2011-05-27 | Paper |
| An Operational Approach to Program Extraction in the Calculus of Constructions | 2011-03-04 | Paper |
| Matching and alpha-equivalence check for nominal terms | 2010-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571954 | 2010-06-30 | Paper |
| Gödel's system \(\mathcal T\) revisited | 2010-03-29 | Paper |
| Models of computation. An introduction to computability theory | 2009-03-20 | Paper |
| The Power of Linear Functions | 2009-03-12 | Paper |
| Curry-Style Types for Nominal Terms | 2009-03-10 | Paper |
| Linear Recursive Functions | 2009-03-06 | Paper |
| A polynomial nominal unification algorithm | 2008-09-16 | Paper |
| Nominal Matching and Alpha-Equivalence | 2008-07-10 | Paper |
| Iterator Types | 2007-09-07 | Paper |
| Nominal rewriting | 2007-07-16 | Paper |
| Lambda-calculus with director strings | 2005-06-16 | Paper |
| Closed reduction: explicit substitutions without $\alpha$ -conversion | 2005-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4457840 | 2004-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4447222 | 2004-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438766 | 2003-12-10 | Paper |
| Operational equivalence for interaction nets. | 2003-08-17 | Paper |
| Normalization, approximation, and semantics for combinator systems | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766797 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508401 | 2000-10-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494368 | 2000-08-10 | Paper |
| Type assignment and termination of interaction nets | 1999-03-22 | Paper |
| Modularity of strong normalization in the algebraic-λ-cube | 1999-03-16 | Paper |
| Negation elimination in empty or permutative theories | 1999-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945227 | 1999-01-01 | Paper |
| Interaction nets and term-rewriting systems | 1998-06-30 | Paper |
| Normalization results for typeable rewrite systems | 1997-06-16 | Paper |
| AC complement problems: Satisfiability and negation elimination | 1997-03-23 | Paper |
| Intersection type assignment systems with higher-order algebraic rewriting | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281465 | 1994-03-10 | Paper |
| Narrowing based procedures for equational disunification | 1993-01-16 | Paper |
