Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Paliath
    Last name: Narendran
    DBLP: n/PaliathNarendran
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 106  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch.
    Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining.
    Logical Methods in Computer Science 2014, Volume 10 (0) 2014
    Conference paper
    Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen.
    On Asymmetric Unification and the Combination Problem in Disjoint Theories.
    Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings 2014 (0) 2014
    Journal article
    Steve Kremer, Paliath Narendran.
    Foreword to the special issue on security and rewriting techniques.
    Inf. Comput. 2014, Volume 238 (0) 2014
    Journal article
    John Corcoran, Paliath Narendran, Wolfgang Thomas.
    Obituary Robert McNaughton 1924 - 2014.
    Bulletin of the EATCS 2014, Volume 114 (0) 2014
    Conference paper
    Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen.
    Hierarchical Combination.
    Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse.
    Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
    Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Christopher Bouchard, Kimberly A. Gero, Christopher Lynch, Paliath Narendran.
    On Forward Closure and the Finite Variant Property.
    Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly A. Gero, Paliath Narendran.
    Unication Problems Modulo a Theory of Until.
    27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013 2013 (0) 2013
    Conference paper
    Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen.
    Hierarchical Combination of Unication Algorithms (Extended Abstract).
    27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013 2013 (0) 2013
    Conference paper
    Siva Anantharaman, Hai Lin 0005, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch.
    Unification Modulo Homomorphic Encryption.
    J. Autom. Reasoning 2012, Volume 48 (0) 2012
    Show item 1 to 10 of 106  

    Your query returned 106 matches in the database.