Serdar Erbatur
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
11
Active years
2011–2025
Best venue rank
A
Where they publish
Papers
18 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 |
| 2022 | FSCD | Combined Hierarchical Matching: the Regular Case. | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
| 2021 | ICLP | Formalizing Informal Logic and Natural Language Deductivism. | Gopal Gupta, Sarat Varnasi, Kinjal Basu, Zhuo Chen, Elmer Salazar, Farhad Shakerin, Serdar Erbatur, Fang Li, Huaduo Wang, Joaqun Arias, Brendan Hall, Kevin Driscoll |
| 2021 | PPDP | Type-based Enforcement of Infinitary Trace Properties for Java. | Serdar Erbatur, Ulrich Schpp, Chuangjie Xu |
| 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 | APLAS | Enforcing Programming Guidelines with Region Types and Effects. | Serdar Erbatur, Martin Hofmann, Eugen Zalinescu |
| 2017 | CADE | Notions of Knowledge in Combinations of Theories Sharing Constructors. | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
| 2015 | SEFM | GuideForce: Type-Based Enforcement of Programming Guidelines. | Serdar Erbatur, Martin Hofmann |
| 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 | Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. | Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, Jos Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse |
| 2013 | CADE | Hierarchical Combination. | Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen |
| 2012 | CADE | Unification Modulo Synchronous Distributivity. | Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michal Rusinowitch |
| 2012 | CADE | The use of types in designing unification algorithms: two case studies. | Serdar Erbatur, Santiago Escobar, Paliath Narendran |
| 2012 | ESORICS | Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. | Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, Jos Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse |
| 2011 | TABLEAUX | Unification in a Theory of Blind Signatures. | Serdar Erbatur, Christopher Lynch, Paliath Narendran |