Serdar Erbatur

According to our database1, Serdar Erbatur authored at least 14 papers between 2011 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Rule-Based Unification in Combined Theories and the Finite Variant Property.
Proceedings of the Language and Automata Theory and Applications, 2019

2018
Enforcing Programming Guidelines with Region Types and Effects.
CoRR, 2018

2017
Notions of Knowledge in Combinations of Theories Sharing Constructors.
Proceedings of the Automated Deduction - CADE 26, 2017

Enforcing Programming Guidelines with Region Types and Effects.
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2015
GuideForce: Type-Based Enforcement of Programming Guidelines.
Proceedings of the Software Engineering and Formal Methods, 2015

Unification and Matching in Hierarchical Combinations of Syntactic Theories.
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014
On Asymmetric Unification and the Combination Problem in Disjoint Theories.
Proceedings of the Foundations of Software Science and Computation Structures, 2014

2013
Hierarchical Combination of Unication Algorithms (Extended Abstract).
Proceedings of the 27th International Workshop on Unification, 2013

Hierarchical Combination.
Proceedings of the Automated Deduction - CADE-24, 2013

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
Proceedings of the Automated Deduction - CADE-24, 2013

2012
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions.
Proceedings of the Computer Security - ESORICS 2012, 2012

The use of types in designing unification algorithms: two case studies.
Proceedings of the UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, 2012

Unification Modulo Synchronous Distributivity.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011
Unification over Distributive Exponentiation (Sub)Theories.
Journal of Automata, Languages and Combinatorics, 2011


  Loading...