Unification in a Theory of Blind Signatures. - Serdar Erbatur; Christopher Lynch; Paliath Narendran (TABLEAUX (Workshops, Tutorials, and Short Papers), 2011)

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. - Serdar Erbatur; Santiago Escobar 001; Deepak Kapur; Zhiqiang Liu; Christopher Lynch; Catherine Meadows 001; José Meseguer 001; Paliath Narendran; Ralf Sasse (UNIF, 2011)

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

Unification Modulo Synchronous Distributivity. - Siva Anantharaman; Serdar Erbatur; Christopher Lynch; Paliath Narendran; Michaël Rusinowitch (IJCAR, 2012)

The use of types in designing unification algorithms: two case studies. - Serdar Erbatur; Santiago Escobar 001; Paliath Narendran (UNIF, 2012)

Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. - Serdar Erbatur; Santiago Escobar 001; Deepak Kapur; Zhiqiang Liu; Christopher Lynch; Catherine Meadows 001; José Meseguer 001; Paliath Narendran; Sonia Santiago; Ralf Sasse (ESORICS, 2012)

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. - Serdar Erbatur; Santiago Escobar 001; Deepak Kapur; Zhiqiang Liu; Christopher Lynch; Catherine Meadows 001; José Meseguer 001; Paliath Narendran; Sonia Santiago; Ralf Sasse (CADE, 2013)

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)

GuideForce: Type-Based Enforcement of Programming Guidelines. - Serdar Erbatur; Martin Hofmann 001 (SEFM Workshops, 2015)

Enforcing Programming Guidelines with Region Types and Effects. - Serdar Erbatur; Martin Hofmann 001; Eugen Zalinescu (APLAS, 2017)

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

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)

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)

Formalizing Informal Logic and Natural Language Deductivism. - Gopal Gupta 001; Sarat Varnasi; Kinjal Basu 002; Zhuo Chen; Elmer Salazar; Farhad Shakerin; Serdar Erbatur; Fang Li 010; Huaduo Wang; Joaquín Arias; Brendan Hall; Kevin Driscoll 001 (ICLP Workshops, 2021)

Type-based Enforcement of Infinitary Trace Properties for Java. - Serdar Erbatur; Ulrich Schöpp; Chuangjie Xu (PPDP, 2021)

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

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

Prolog: Past, Present, and Future. - Gopal Gupta 001; Elmer Salazar; Farhad Shakerin; Joaquín Arias; Sarat Chandra Varanasi; Kinjal Basu 002; Huaduo Wang; Fang Li 010; Serdar Erbatur; Parth Padalkar; Abhiramon Rajasekharan; Yankai Zeng; et al. (Prolog: The Next 50 Years, 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)