Pour une liste indépendante de l'affiliation, consulter DBLP.

• 2025 - (1)

  • Autres Publications - (1)

    • Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis
      Auteur(s) : Siva ANANTHARAMAN, Sabine FRITTELLA, Benjamin NGUYEN
      

      HAL : 4966499

• 2022 - (2)

  • Autres Publications - (1)

    • Distributed Transition Systems with Tags for Privacy Analysis
      Auteur(s) : Siva ANANTHARAMAN, Sabine FRITTELLA, Benjamin NGUYEN
      

      HAL : 3700115

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Privacy Analysis with a Distributed Transition System and a Data-Wise Metric
      Auteur(s) : Siva ANANTHARAMAN, Sabine FRITTELLA, Benjamin NGUYEN
      

      HAL : 3767722

• 2019 - (2)

  • Autres Publications - (1)

    • Unification modulo Lists with Reverse as Solving Simple Sets of Word Equations
      Auteur(s) : Siva ANANTHARAMAN, Peter HIBBS, Paliath NARENDRAN, Michael RUSINOWITCH
      

      HAL : 2234409

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Unification modulo Lists with Reverse, Relation with Certain Word Equations
      Auteur(s) : Siva ANANTHARAMAN, Peter HIBBS, Paliath NARENDRAN, Michaël RUSINOWITCH
      

      Lecture Notes in Artificial Intelligence, LNAI, Springer-Verlag. - HAL : 2894017

• 2014 - (1)

  • Revue internationale à comité de lecture - (1)

    • Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
      Auteur(s) : Siva ANANTHARAMAN, Christopher BOUCHARD, Paliath NARENDRAN, Michaël RUSINOWITCH
      

      HAL : 942555

• 2012 - (4)

  • Publications dans les actes d'un congrès international avec comité de lecture - (2)

    • Unification modulo Chaining
      Auteur(s) : Siva ANANTHARAMAN, Christopher BOUCHARD, Paliath NARENDRAN, Michaël RUSINOWITCH
      

      HAL : 659027

    • Unification modulo Synchronous Distributivity
      Auteur(s) : Siva ANANTHARAMAN, Serdar ERBATUR, Christopher LYNCH, Paliath NARENDRAN, Michael RUSINOWITCH
      

      HAL : 684185

  • Revue internationale à comité de lecture - (2)

    • String rewriting and security analysis: an extension of a result of Book and Otto
      Auteur(s) : Siva ANANTHARAMAN, Paliath NARENDRAN, Michael RUSINOWITCH
      

      HAL : 659009

    • Unification modulo Homomorphic Encryption
      Auteur(s) : Siva ANANTHARAMAN, Hai LIN, Christopher LYNCH, Paliath NARENDRAN, Michael RUSINOWITCH
      

      HAL : 618336

• 2011 - (1)

  • Autres Publications - (1)

    • Unification modulo Block Chaining
      Auteur(s) : Siva ANANTHARAMAN, Christopher BOUCHARD, Paliath NARENDRAN, Michael RUSINOWITCH
      

      HAL : 618376

• 2010 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Cap Unification: Application to Protocol Security modulo Homomorphic Encryption
      Auteur(s) : Siva ANANTHARAMAN, Hai LIN, Christopher LYNCH, Paliath NARENDRAN, Michael RUSINOWITCH
      

      HAL : 448703

• 2008 - (1)

  • Conférence donnée sur invitation - (1)

    • Compression vs Queryability - A Case Study
      Auteur(s) : Siva ANANTHARAMAN
      

      HAL : 449563

• 2007 - (1)

  • Autres Publications - (1)

    • Intruders with Caps
      Auteur(s) : Siva ANANTHARAMAN, Paliath NARENDRAN, Michaël RUSINOWITCH
      

      HAL : 144178

• 2006 - (4)

  • Autres Publications - (2)

    • Running Tree Automata on Trees and/or Dags
      Auteur(s) : Siva ANANTHARAMAN, Barbara FILA
      

      HAL : 89979

    • Automata for Analyzing and Querying Compressed Documents
      Auteur(s) : Siva ANANTHARAMAN, Barbara FILA
      

      HAL : 120642

  • Chapitre d'ouvrages scientifiques - (1)

    • Journal of Automata, Languages and Combinatorics, Vol. 11(1)
      Auteur(s) : Siva ANANTHARAMAN, Gaétan HAINS, Michael RUSINOWITCH, Paul GASTIN, John MULLINS
      

      HAL : 468802

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Automata for Positive Core XPath Queries on Compressed Documents
      Auteur(s) : Siva ANANTHARAMAN, Barbara FILA
      

      HAL : 89982

• 2005 - (2)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • A Synchronous Process Calculus for Service Costs
      Auteur(s) : Siva ANANTHARAMAN, Jing CHEN, Gaétan HAINS
      

      HAL : 79676

  • Revue internationale à comité de lecture - (1)

    • Closure properties and decision problems of dag automata
      Auteur(s) : Siva ANANTHARAMAN, Paliath NARENDRAN, Michael RUSINOWITCH
      

      HAL : 77495

• 2004 - (2)

  • Autres Publications - (1)

    • How Useful are Dag Automata?
      Auteur(s) : Siva ANANTHARAMAN, Paliath NARENDRAN, Michaël RUSINOWITCH
      

      HAL : 77510

  • Revue nationale à comité de lecture - (1)

    • Unification Modulo ACUI Plus Distributivity Axioms
      Auteur(s) : Siva ANANTHARAMAN, Paliath NARENDRAN, Michaël RUSINOWITCH
      

      HAL : 99990

• 2003 - (2)

  • Publications dans les actes d'un congrès international avec comité de lecture - (2)

    • Unification modulo ACUI plus Homomorphisms/Distributivity
      Auteur(s) : Siva ANANTHARAMAN, Paliath NARENDRAN, Michaël RUSINOWITCH
      

      HAL : 80670

    • ACID-Unification is NEXPTIME-Decidable
      Auteur(s) : Siva ANANTHARAMAN, Paliath NARENDRAN, Michaël RUSINOWITCH
      

      HAL : 80663