| Publication | Date of Publication | Type |
|---|
| Typed non-determinism in concurrent calculi: the eager way | 2026-04-02 | Paper |
| Strong nominal semantics for fixed-point constraints | 2026-04-02 | Paper |
Nominal anti-unification modulo equational theories
Journal of Logical and Algebraic Methods in Programming | 2026-03-09 | Paper |
| Equational generalization problems with atom-variables | 2026-02-19 | Paper |
| Equational reasoning modulo commutativity in languages with binders | 2026-01-21 | Paper |
A nominal approach to equational problems in languages with binders
ACM Transactions on Computational Logic | 2026-01-07 | Paper |
| Nominal equational rewriting and narrowing | 2025-09-03 | Paper |
| Types and terms translated: unrestricted resources in encoding functions as processes | 2024-08-01 | Paper |
| Nominal anti-unification with atom-variables | 2024-05-27 | Paper |
| A certified algorithm for AC-unification | 2024-05-27 | Paper |
| Towards Fast Nominal Anti-unification of Letrec-Expressions | 2024-04-26 | Paper |
Nominal AC-matching
Lecture Notes in Computer Science | 2024-02-28 | Paper |
Non-deterministic functions as non-deterministic processes
Logical Methods in Computer Science | 2023-10-23 | Paper |
| Non-deterministic functions as non-deterministic processes | 2023-06-23 | Paper |
A certified functional nominal C-unification algorithm
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
Formalising nominal C-unification generalised with protected variables
Mathematical Structures in Computer Science | 2022-01-20 | Paper |
| Nominal equational problems | 2021-10-18 | Paper |
| Fixed-point constraints for nominal equational unification | 2021-06-15 | Paper |
| Elementary deduction problem for locally stable theories with normal forms | 2021-06-08 | Paper |
Elementary deduction problem for locally stable theories with normal forms
(available as arXiv preprint) | 2021-06-08 | Paper |
| On solving nominal disunification constraints | 2021-01-19 | Paper |
On nominal syntax and permutation fixed points
(available as arXiv preprint) | 2020-02-17 | Paper |
| A formalisation of nominal C-matching through unification with protected variables | 2019-11-13 | Paper |
A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols
Theoretical Computer Science | 2019-06-25 | Paper |
Nominal C-unification
(available as arXiv preprint) | 2018-09-06 | Paper |
| A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols | 2018-04-23 | Paper |
Intruder deduction problem for locally stable theories with normal forms and inverses
Theoretical Computer Science | 2018-02-09 | Paper |
| On solving nominal fixpoint equations | 2018-01-04 | Paper |
| Nominal narrowing | 2017-10-17 | Paper |
Reduction of the intruder deduction problem into equational elementary deduction for electronic purse protocols with blind signatures
Logic, Language, Information and Computation | 2010-09-29 | Paper |
