Andrew M. Marshall
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
2012–2025
Best venue rank
B
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FSCD | Knowledge Problems vs Unification and Matching: Dichotomy Results. | Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen |
| 2024 | LOPSTR | Deciding Knowledge Problems Modulo Classes of Permutative Theories. | Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen |
| 2023 | FSCD | Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories. | Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
| 2023 | SIGCSE | Teaching an Undergraduate 5G Technology and Security Course, and Its Outcomes. | Veena Ravishankar, Andrew M. Marshall |
| 2022 | FSCD | Combined Hierarchical Matching: the Regular Case. | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
| 2020 | LOPSTR | Terminating Non-disjoint Combined Unification. | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
| 2019 | LATA | Rule-Based Unification in Combined Theories and the Finite Variant Property. | Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
| 2017 | CADE | Notions of Knowledge in Combinations of Theories Sharing Constructors. | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
| 2014 | FOSSACS | On Asymmetric Unification and the Combination Problem in Disjoint Theories. | Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen |
| 2013 | CADE | Hierarchical Combination. | Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen |
| 2012 | CADE | New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants. | Andrew M. Marshall, Paliath Narendran |