Andrew M. Marshall

MaRDI QIDQ831917zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Knowledge problems in security protocols: going beyond subterm convergent theories	2024-10-21	Paper
Combined hierarchical matching: the regular case	2024-05-27	Paper
CryptoSolve: towards a tool for the symbolic analysis of cryptographic algorithms	2024-02-08	Paper
Non-disjoint combined unification and closure by equational paramodulation	2022-03-24	Paper
Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems	2022-03-24	Paper
Terminating non-disjoint combined unification	2022-03-23	Paper
Computing knowledge in equational extensions of subterm convergent theories Mathematical Structures in Computer Science	2020-12-08	Paper
On asymmetric unification for the theory of XOR with a homomorphism	2020-05-13	Paper
Rule-based unification in combined theories and the finite variant property	2019-12-04	Paper
Notions of knowledge in combinations of theories sharing constructors	2017-09-22	Paper
Unification and matching in hierarchical combinations of syntactic theories Frontiers of Combining Systems	2017-02-27	Paper
Unification over distributive exponentiation (sub)theories Journal of Automata, Languages and Combinatorics	2016-09-29	Paper
On unification modulo one-sided distributivity: algorithms, variants and asymmetry Logical Methods in Computer Science	2015-08-25	Paper
On Asymmetric Unification and the Combination Problem in Disjoint Theories Lecture Notes in Computer Science	2014-04-16	Paper
Hierarchical Combination Automated Deduction – CADE-24	2013-06-14	Paper
New algorithms for unification modulo one-sided distributivity and its variants Automated Reasoning	2012-09-05	Paper

Research outcomes over time

This page was built for person: Andrew M. Marshall