Andrew M. Marshall

31 papers A 3B 4C 3Journal 6Unranked 14
YearRankTypeTitle / Venue / Authors
2025 — conf
Graph-Embedded Rewrite Systems: Combination and Undecidability Results.
FroCoS
Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
2025 B conf
Knowledge Problems vs Unification and Matching: Dichotomy Results.
FSCD
Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
2024 C conf
Deciding Knowledge Problems Modulo Classes of Permutative Theories.
LOPSTR
Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
2024 J jnl
Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent.
CoRR
Carter Bunch, Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2023 B conf
Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories.
FSCD
Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2023 — conf
Teaching an Undergraduate 5G Technology and Security Course, and Its Outcomes.
SIGCSE (2)
Veena Ravishankar, Andrew M. Marshall
2022 B conf
Combined Hierarchical Matching: the Regular Case.
FSCD
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2022 — conf
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms.
GandALF
Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek
2022 J jnl
Preface.
Ann. Math. Artif. Intell.
Temur Kutsia, Andrew M. Marshall
2021 — conf
Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems.
FroCoS
Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
2021 — conf
Non-disjoint Combined Unification and Closure by Equational Paramodulation.
FroCoS
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2020 — conf
Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract).
UNIF
Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
2020 J jnl
Computing knowledge in equational extensions of subterm convergent theories.
Math. Struct. Comput. Sci.
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2020 — ed.
Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020.
UNIF
Temur Kutsia, Andrew M. Marshall
2020 — conf
Terminating Non-Disjoint Combined Unification (Extended Abstract).
UNIF
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2020 C conf
Terminating Non-disjoint Combined Unification.
LOPSTR
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2019 — conf
On Asymmetric Unification for the Theory of XOR with a Homomorphism.
FroCos
Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar
2019 J jnl
On Asymmetric Unification for the Theory of XOR with a Homomorphism.
CoRR
Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar
2019 C conf
Rule-Based Unification in Combined Theories and the Finite Variant Property.
LATA
Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2017 A conf
Notions of Knowledge in Combinations of Theories Sharing Constructors.
CADE
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2015 J jnl
On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry.
Log. Methods Comput. Sci.
Andrew M. Marshall, Catherine Meadows, Paliath Narendran
2015 — conf
Unification and Matching in Hierarchical Combinations of Syntactic Theories.
FroCos
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
2014 — conf
Hierarchical Combination of Matching Algorithms (Extended Abstract).
UNIF
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
2014 — conf
On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract).
UNIF
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen
2014 B conf
On Asymmetric Unification and the Combination Problem in Disjoint Theories.
FoSSaCS
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen
2013 — conf
Hierarchical Combination of Unication Algorithms (Extended Abstract).
UNIF@RTA/TLCA
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
2013 A conf
Hierarchical Combination.
CADE
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
2012 A conf
New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants.
IJCAR
Andrew M. Marshall, Paliath Narendran
2011 J jnl
Unification over Distributive Exponentiation (Sub)Theories.
J. Autom. Lang. Comb.
Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran
2010 — conf
On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo One-Sided Distributivity
UNIF
Paliath Narendran, Andrew M. Marshall, Bibhu Mahapatra
2010 — conf
Unification modulo a partial theory of exponentiation
UNIF
Deepak Kapur, Andrew M. Marshall, Paliath Narendran