Asymmetric unification: A new unification paradigm for cryptographic protocol analysis S Erbatur, S Escobar, D Kapur, Z Liu, CA Lynch, C Meadows, J Meseguer, ... International Conference on Automated Deduction, 231-248, 2013 | 29 | 2013 |
Effective symbolic protocol analysis via equational irreducibility conditions S Erbatur, S Escobar, D Kapur, Z Liu, C Lynch, C Meadows, J Meseguer, ... Computer Security–ESORICS 2012: 17th European Symposium on Research in …, 2012 | 29 | 2012 |
Hierarchical combination S Erbatur, D Kapur, AM Marshall, P Narendran, C Ringeissen Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013 | 13 | 2013 |
Unification modulo synchronous distributivity S Anantharaman, S Erbatur, C Lynch, P Narendran, M Rusinowitch Automated Reasoning: 6th International Joint Conference, IJCAR 2012 …, 2012 | 11 | 2012 |
Unification and matching in hierarchical combinations of syntactic theories S Erbatur, D Kapur, AM Marshall, P Narendran, C Ringeissen Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015 …, 2015 | 10 | 2015 |
Unification over Distributive Exponentiation (Sub) Theories. S Erbatur, AM Marshall, D Kapur, P Narendran J. Autom. Lang. Comb. 16 (2-4), 109-140, 2011 | 9 | 2011 |
Rule-based unification in combined theories and the finite variant property AK Eeralla, S Erbatur, AM Marshall, C Ringeissen Language and Automata Theory and Applications: 13th International Conference …, 2019 | 8 | 2019 |
Notions of knowledge in combinations of theories sharing constructors S Erbatur, AM Marshall, C Ringeissen Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017 | 8 | 2017 |
On asymmetric unification and the combination problem in disjoint theories S Erbatur, D Kapur, AM Marshall, C Meadows, P Narendran, ... Foundations of Software Science and Computation Structures: 17th …, 2014 | 5 | 2014 |
Prolog: past, present, and future G Gupta, E Salazar, F Shakerin, J Arias, SC Varanasi, K Basu, H Wang, ... Prolog: The Next 50 Years, 48-61, 2023 | 4 | 2023 |
Enforcing programming guidelines with region types and effects S Erbatur, M Hofmann, E Zălinescu Asian Symposium on Programming Languages and Systems, 85-104, 2017 | 4 | 2017 |
Terminating non-disjoint combined unification S Erbatur, AM Marshall, C Ringeissen International Symposium on Logic-Based Program Synthesis and Transformation …, 2020 | 3 | 2020 |
Computing knowledge in equational extensions of subterm convergent theories S Erbatur, AM Marshall, C Ringeissen Mathematical Structures in Computer Science 30 (6), 683-709, 2020 | 3 | 2020 |
Formalizing Informal Logic and Natural Language Deductivism. G Gupta, S Varnasi, K Basu, Z Chen, E Salazar, F Shakerin, S Erbatur, ... ICLP Workshops, 2021 | 2 | 2021 |
Type-based enforcement of infinitary trace properties for Java S Erbatur, U Schöpp, C Xu Proceedings of the 23rd International Symposium on Principles and Practice …, 2021 | 2 | 2021 |
Unification in non-disjoint combinations with forward-closed theories AK Eeralla, S Erbatur, AM Marshall, C Ringeissen Inria Nancy-Grand Est, 2019 | 2 | 2019 |
GuideForce: Type-based enforcement of programming guidelines S Erbatur, M Hofmann SEFM 2015 Collocated Workshops, 75-89, 2015 | 2 | 2015 |
Unification in Blind Signatures S Erbatur, C Lynch, P Narendran FTP, 2011 | 2 | 2011 |
Knowledge problems in security protocols: Going beyond subterm convergent theories SD Satterfield, S Erbatur, AM Marshall, C Ringeissen 8th International Conference on Formal Structures for Computation and …, 2023 | 1 | 2023 |
Non-disjoint combined unification and closure by equational paramodulation S Erbatur, AM Marshall, C Ringeissen International Symposium on Frontiers of Combining Systems, 25-42, 2021 | 1 | 2021 |