S. Anantharaman, C. Bouchard, P. Narendran, M. Rusinowitch,
                 "Unification modulo a 2-sorted Equational Theory for Cipher-Decipher Block Chaining",
                 Logical Methods in Computer Science, Vol. 10(1:5). pp. 1-26, International Federation of Computational Logic, 2014.
            S. Anantharaman, S. Erbatur, C. Lynch, P. Narendran, M. Rusinowitch,
                 "Unification modulo Synchronous Distributivity",
                 Proc. of the 6th Int. Conf. on Automated Reasoning, IJCAR 2012, LNCS 7364, Springer-Verlag, pp. 14-29.
            S. Anantharaman, C. Bouchard, P. Narendran, M. Rusinowitch,
                 "Unification modulo Chaining",
                 Proc. of the 6th Int. Conf. on Languages and Automata Theory and Applications, LATA 2012, LNCS 7183, Springer-Verlag, pp. 70-82.
            S. Anantharaman, P. Narendran, M. Rusinowitch,
                 "String rewriting and Security analysis: an extension of a result of Book and Otto",
                 Journal of Automata, Languages and Combinatorics, Vol. 16(2-4). pp. 83-98. 2012.
            S. Anantharaman, H. Lin, C. Lynch, P. Narendran, M. Rusinowitch,
                 "Unification modulo Homomorphic Encryption",
                 Journal of Automated Reasoning Vol. 48(2), pp. 135-158, 2012.
                 (Short version: Proc. of the 7th Int. Conf. FroCos 2009, LNAI 5749, Springer-Verlag, pp. 100-115)
            S. Anantharaman, H. Lin, C. Lynch, P. Narendran, M. Rusinowitch,
                 "Cap Unification: Application to Protocol Security modulo Homomorphic Encryption",
                 Proc. of the 5th ACM SIGSAC Int. Symposium ASIACCS 2010, pp. 192-203
            S. Anantharaman,
                 "Compression vs Queryability - A Case Study",
                 Proc. of Dagstuhl Seminar 08261, "Structure-Based Compression of Complex Massive Data", November 2008.
            S. Anantharaman, P. Narendran, M. Rusinowitch,
                 "Intruders with Caps",
                 Proc. of the 18th Int. Conf. RTA 2007, LNCS 4533, Springer-Verlag, pp. 20-35
            B. Fila, S. Anantharaman,
                 "Automata for Positive Core XPath Queries on Compressed Documents",
                 Proc. of 13th Int. Conf. LPAR 2006, LNAI 4246, Springer-Verlag, pp. 467-481.
            S. Anantharaman, P. Narendran, M. Rusinowitch,
                 "Closure properties and Decision problems of Dag Automata",
                 Information Processing Letters, Vol. 94, pp. 231-240, 2005.
            S. Anantharaman, J. Chen, G. Hains,
                 "A Synchronous Process Calculus for Service Costs",
                 Proc. of 3rd IEEE Int. Conf. on Software Engineering and Formal Models, SEFM 2005, pp. 435-445.
            S. Anantharaman, P. Narendran, M. Rusinowitch,
                 "Unification Modulo ACUI Plus Distributivity Axioms",
                 Journal of Automataed Reasoning, Vol. 33(1), pp. 1-28, 2004.