Unification modulo a partial theory of exponentiation - Deepak Kapur; Andrew M. Marshall; Paliath Narendran (UNIF, 2010)

On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo One-Sided Distributivity - Paliath Narendran; Andrew M. Marshall; Bibhu Mahapatra (UNIF, 2010)

Unification over Distributive Exponentiation (Sub)Theories. - Serdar Erbatur; Andrew M. Marshall; Deepak Kapur; Paliath Narendran (J. Autom. Lang. Comb., 2011)

New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants. - Andrew M. Marshall; Paliath Narendran (IJCAR, 2012)

Hierarchical Combination. - Serdar Erbatur; Deepak Kapur; Andrew M. Marshall; Paliath Narendran; Christophe Ringeissen (CADE, 2013)

Hierarchical Combination of Unication Algorithms (Extended Abstract). - Serdar Erbatur; Deepak Kapur; Andrew M. Marshall; Paliath Narendran; Christophe Ringeissen (UNIF@RTA/TLCA, 2013)

On Asymmetric Unification and the Combination Problem in Disjoint Theories. - Serdar Erbatur; Deepak Kapur; Andrew M. Marshall; Catherine Meadows 001; Paliath Narendran; Christophe Ringeissen (FoSSaCS, 2014)

On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract). - Serdar Erbatur; Deepak Kapur; Andrew M. Marshall; Catherine Meadows 001; Paliath Narendran; Christophe Ringeissen (UNIF, 2014)

Hierarchical Combination of Matching Algorithms (Extended Abstract). - Serdar Erbatur; Deepak Kapur; Andrew M. Marshall; Paliath Narendran; Christophe Ringeissen (UNIF, 2014)

Unification and Matching in Hierarchical Combinations of Syntactic Theories. - Serdar Erbatur; Deepak Kapur; Andrew M. Marshall; Paliath Narendran; Christophe Ringeissen (FroCos, 2015)

On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry. - Andrew M. Marshall; Catherine Meadows 001; Paliath Narendran (Log. Methods Comput. Sci., 2015)

Notions of Knowledge in Combinations of Theories Sharing Constructors. - Serdar Erbatur; Andrew M. Marshall; Christophe Ringeissen (CADE, 2017)

On Asymmetric Unification for the Theory of XOR with a Homomorphism. - Christopher Lynch; Andrew M. Marshall; Catherine Meadows 001; Paliath Narendran; Veena Ravishankar (FroCos, 2019)

Rule-Based Unification in Combined Theories and the Finite Variant Property. - Ajay Kumar Eeralla; Serdar Erbatur; Andrew M. Marshall; Christophe Ringeissen (LATA, 2019)

Terminating Non-disjoint Combined Unification. - Serdar Erbatur; Andrew M. Marshall; Christophe Ringeissen (LOPSTR, 2020)

Terminating Non-Disjoint Combined Unification (Extended Abstract). - Serdar Erbatur; Andrew M. Marshall; Christophe Ringeissen (UNIF, 2020)

Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract). - Andrew M. Marshall; Catherine Meadows 001; Paliath Narendran; Veena Ravishankar; Brandon Rozek (UNIF, 2020)

Computing knowledge in equational extensions of subterm convergent theories. - Serdar Erbatur; Andrew M. Marshall; Christophe Ringeissen (Math. Struct. Comput. Sci., 2020)

Non-disjoint Combined Unification and Closure by Equational Paramodulation. - Serdar Erbatur; Andrew M. Marshall; Christophe Ringeissen (FroCoS, 2021)

Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems. - Hai Lin 005; Christopher Lynch; Andrew M. Marshall; Catherine A. Meadows; Paliath Narendran; Veena Ravishankar; Brandon Rozek (FroCoS, 2021)

Combined Hierarchical Matching: the Regular Case. - Serdar Erbatur; Andrew M. Marshall; Christophe Ringeissen (FSCD, 2022)

Preface. - Temur Kutsia; Andrew M. Marshall (Ann. Math. Artif. Intell., 2022)

CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms. - Dalton Chichester; Wei Du; Raymond Kauffman; Hai Lin 005; Christopher Lynch; Andrew M. Marshall; Catherine A. Meadows; Paliath Narendran; Veena Ravishankar; Luis Rovira; Brandon Rozek (GandALF, 2022)

Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories. - Saraid Dwyer Satterfield; Serdar Erbatur; Andrew M. Marshall; Christophe Ringeissen (FSCD, 2023)

Teaching an Undergraduate 5G Technology and Security Course, and Its Outcomes. - Veena Ravishankar; Andrew M. Marshall (SIGCSE (2), 2023)

Deciding Knowledge Problems Modulo Classes of Permutative Theories. - Serdar Erbatur; Andrew M. Marshall; Paliath Narendran; Christophe Ringeissen (LOPSTR, 2024)

Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent. - Carter Bunch; Saraid Dwyer Satterfield; Serdar Erbatur; Andrew M. Marshall; Christophe Ringeissen (CoRR, 2024)

Knowledge Problems vs Unification and Matching: Dichotomy Results. - Serdar Erbatur; Andrew M. Marshall; Paliath Narendran; Christophe Ringeissen (FSCD, 2025)