default search action

combined dblp search
author search
venue search
publication search

ask others

Andrew M. Marshall

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/ErbaturMNR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/ErbaturMNR24
Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen:
Deciding Knowledge Problems Modulo Classes of Permutative Theories. LOPSTR 2024: 47-63
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-17226
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-17226
Carter Bunch, Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen:
Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent. CoRR abs/2401.17226 (2024)
2023
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fscd/SatterfieldEMR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fscd/SatterfieldEMR23
Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen:
Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories. FSCD 2023: 30:1-30:19
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/RavishankarM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/RavishankarM23
Veena Ravishankar, Andrew M. Marshall:
Teaching an Undergraduate 5G Technology and Security Course, and Its Outcomes. SIGCSE (2) 2023: 1405
2022
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/KutsiaM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/KutsiaM22
Temur Kutsia, Andrew M. Marshall:
Preface. Ann. Math. Artif. Intell. 90(5): 453-454 (2022)
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fscd/ErbaturMR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fscd/ErbaturMR22
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen:
Combined Hierarchical Matching: the Regular Case. FSCD 2022: 6:1-6:22
[c18]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10321
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10321
Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek:
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms. GandALF 2022: 147-161
2021
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/ErbaturMR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/ErbaturMR21
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen:
Non-disjoint Combined Unification and Closure by Equational Paramodulation. FroCoS 2021: 25-42
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/LinLMMNRR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/LinLMMNRR21
Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek:
Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems. FroCoS 2021: 253-270
2020
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/ErbaturMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/ErbaturMR20
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen:
Computing knowledge in equational extensions of subterm convergent theories. Math. Struct. Comput. Sci. 30(6): 683-709 (2020)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/ErbaturMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/ErbaturMR20
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen:
Terminating Non-disjoint Combined Unification. LOPSTR 2020: 113-130
[c14]
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/ErbaturMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/ErbaturMR20
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen:
Terminating Non-Disjoint Combined Unification (Extended Abstract). UNIF 2020: 7:1-7:6
[c13]
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/MarshallMNRR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/MarshallMNRR20
Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek:
Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract). UNIF 2020: 10:1-10:6
[e1]
- view
- export record
  dblp key:
  - conf/unif/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/2020
Temur Kutsia, Andrew M. Marshall:
Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020. 2020 [contents]

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/LynchMMNR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/LynchMMNR19
Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar:
On Asymmetric Unification for the Theory of XOR with a Homomorphism. FroCos 2019: 297-312
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/EerallaEMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/EerallaEMR19
Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen:
Rule-Based Unification in Combined Theories and the Finite Variant Property. LATA 2019: 356-367
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-00227
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-00227
Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar:
On Asymmetric Unification for the Theory of XOR with a Homomorphism. CoRR abs/1907.00227 (2019)
2017
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/ErbaturMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ErbaturMR17
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen:
Notions of Knowledge in Combinations of Theories Sharing Constructors. CADE 2017: 60-76
2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MarshallMN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MarshallMN15
Andrew M. Marshall, Catherine Meadows, Paliath Narendran:
On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry. Log. Methods Comput. Sci. 11(2) (2015)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/ErbaturKMNR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/ErbaturKMNR15
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen:
Unification and Matching in Hierarchical Combinations of Syntactic Theories. FroCos 2015: 291-306
2014
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/ErbaturKMMNR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/ErbaturKMMNR14
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen:
On Asymmetric Unification and the Combination Problem in Disjoint Theories. FoSSaCS 2014: 274-288
[c7]
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/ErbaturKMMNR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/ErbaturKMMNR14
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen:
On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract). UNIF 2014: 33-35
[c6]
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/ErbaturKMNR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/ErbaturKMNR14
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen:
Hierarchical Combination of Matching Algorithms (Extended Abstract). UNIF 2014: 36-40
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/ErbaturKMNR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ErbaturKMNR13
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen:
Hierarchical Combination. CADE 2013: 249-266
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/rta/ErbaturKMNR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/ErbaturKMNR13
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen:
Hierarchical Combination of Unication Algorithms (Extended Abstract). UNIF@RTA/TLCA 2013: 30-34
2012
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/MarshallN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/MarshallN12
Andrew M. Marshall, Paliath Narendran:
New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants. IJCAR 2012: 408-422
2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jalc/ErbaturMKN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jalc/ErbaturMKN11
Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran:
Unification over Distributive Exponentiation (Sub)Theories. J. Autom. Lang. Comb. 16(2-4): 109-140 (2011)
2010
[c2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1012-4891
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1012-4891
Deepak Kapur, Andrew M. Marshall, Paliath Narendran:
Unification modulo a partial theory of exponentiation. UNIF 2010: 12-23
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1012-4894
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1012-4894
Paliath Narendran, Andrew M. Marshall, Bibhu Mahapatra:
On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo One-Sided Distributivity. UNIF 2010: 54-63

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.