Serdar Erbatur

According to our database, Serdar Erbatur authored at least 28 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

Deciding Knowledge Problems Modulo Classes of Permutative Theories.

Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen

Proceedings of the Logic-Based Program Synthesis and Transformation, 2024

2023

Prolog: Past, Present, and Future.

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

Proceedings of the Prolog: The Next 50 Years, 2023

Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories.

Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

Combined Hierarchical Matching: the Regular Case.

Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Type-based Enforcement of Infinitary Trace Properties for Java.

Serdar Erbatur, Ulrich Schöpp, Chuangjie Xu

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

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, Joaquín Arias, Brendan Hall, Kevin Driscoll

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Non-disjoint Combined Unification and Closure by Equational Paramodulation.

Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

2020

Computing knowledge in equational extensions of subterm convergent theories.

Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Math. Struct. Comput. Sci., 2020

Terminating Non-Disjoint Combined Unification (Extended Abstract).

Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Proceedings of the 34th International Workshop on Unification, 2020

Terminating Non-disjoint Combined Unification.

Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

Rule-Based Unification in Combined Theories and the Finite Variant Property.

Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Proceedings of the Language and Automata Theory and Applications, 2019

2017

Notions of Knowledge in Combinations of Theories Sharing Constructors.

Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Proceedings of the Automated Deduction - CADE 26, 2017

Enforcing Programming Guidelines with Region Types and Effects.

Serdar Erbatur, Martin Hofmann, Eugen Zalinescu

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2015

GuideForce: Type-Based Enforcement of Programming Guidelines.

Serdar Erbatur, Martin Hofmann

Proceedings of the Software Engineering and Formal Methods, 2015

Unification and Matching in Hierarchical Combinations of Syntactic Theories.

Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014

Hierarchical Combination of Matching Algorithms (Extended Abstract).

Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen

Proceedings of the 28th International Workshop on Unification, 2014

On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract).

Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen

Proceedings of the 28th International Workshop on Unification, 2014

On Asymmetric Unification and the Combination Problem in Disjoint Theories.

Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen

Proceedings of the Foundations of Software Science and Computation Structures, 2014

2013

Hierarchical Combination of Unication Algorithms (Extended Abstract).

Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen

Proceedings of the 27th International Workshop on Unification, 2013

Hierarchical Combination.

Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen

Proceedings of the Automated Deduction - CADE-24, 2013

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

Proceedings of the Automated Deduction - CADE-24, 2013

2012

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

Proceedings of the Computer Security - ESORICS 2012, 2012

The use of types in designing unification algorithms: two case studies.

Serdar Erbatur, Santiago Escobar, Paliath Narendran

Proceedings of the UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, 2012

Unification Modulo Synchronous Distributivity.

Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Unification over Distributive Exponentiation (Sub)Theories.

Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran

J. Autom. Lang. Comb., 2011

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, Ralf Sasse

Proceedings of the 25th International Workshop on Unification, 2011

Unification in a Theory of Blind Signatures.

Serdar Erbatur, Christopher Lynch, Paliath Narendran

Proceedings of the TABLEAUX 2011, 2011