Serdar Erbatur

32 papers A 5B 5C 4Journal 5Unranked 12
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 — ch.
Prolog: Past, Present, and Future.
Prolog: The Next 50 Years
Gopal Gupta, Elmer Salazar, Farhad Shakerin, Joaquín Arias, Sarat Chandra Varanasi, Kinjal Basu, Huaduo Wang, Fang Li, Serdar Erbatur, Parth Padalkar, Abhiramon Rajasekharan, Yankai Zeng, Manuel Carro
2022 B conf
Combined Hierarchical Matching: the Regular Case.
FSCD
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2021 — conf
Formalizing Informal Logic and Natural Language Deductivism.
ICLP Workshops
Gopal Gupta, Sarat Varnasi, Kinjal Basu, Zhuo Chen, Elmer Salazar, Farhad Shakerin, Serdar Erbatur, Fang Li, Huaduo Wang, Joaquín Arias, Brendan Hall, Kevin Driscoll
2021 — conf
Non-disjoint Combined Unification and Closure by Equational Paramodulation.
FroCoS
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2021 C conf
Type-based Enforcement of Infinitary Trace Properties for Java.
PPDP
Serdar Erbatur, Ulrich Schöpp, Chuangjie Xu
2021 J jnl
Type-based Enforcement of Infinitary Trace Properties for Java.
CoRR
Serdar Erbatur, Ulrich Schöpp, Chuangjie Xu
2020 J jnl
Computing knowledge in equational extensions of subterm convergent theories.
Math. Struct. Comput. Sci.
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
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 C conf
Rule-Based Unification in Combined Theories and the Finite Variant Property.
LATA
Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2018 J jnl
Enforcing Programming Guidelines with Region Types and Effects.
CoRR
Serdar Erbatur, Martin Hofmann, Eugen Zalinescu
2017 B conf
Enforcing Programming Guidelines with Region Types and Effects.
APLAS
Serdar Erbatur, Martin Hofmann, Eugen Zalinescu
2017 A conf
Notions of Knowledge in Combinations of Theories Sharing Constructors.
CADE
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2015 — conf
GuideForce: Type-Based Enforcement of Programming Guidelines.
SEFM Workshops
Serdar Erbatur, Martin Hofmann
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 A conf
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
CADE
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
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
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions.
ESORICS
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
2012 — conf
The use of types in designing unification algorithms: two case studies.
UNIF
Serdar Erbatur, Santiago Escobar, Paliath Narendran
2012 A conf
Unification Modulo Synchronous Distributivity.
IJCAR
Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
2011 — conf
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
UNIF
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
2011 — conf
Unification in a Theory of Blind Signatures.
TABLEAUX (Workshops, Tutorials, and Short Papers)
Serdar Erbatur, Christopher Lynch, Paliath Narendran
2011 J jnl
Unification over Distributive Exponentiation (Sub)Theories.
J. Autom. Lang. Comb.
Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran