The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Siva Anantharaman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
    Unification Modulo ACU I Plus Homomorphisms/Distributivity. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:442-457 [Conf]
  2. Siva Anantharaman, Maria Paola Bonacina
    An Application of Automated Equational Reasoning to Many-valued Logic. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:156-161 [Conf]
  3. Siva Anantharaman, Nirina Andrianarivelo
    Heuristical Criteria in Refutational Theorem Proving. [Citation Graph (0, 0)][DBLP]
    DISCO, 1990, pp:184-193 [Conf]
  4. Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin
    Experiments with Associative-Commutative Discrimination Nets. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:348-355 [Conf]
  5. Barbara Fila, Siva Anantharaman
    Automata for Positive Core XPath Queries on Compressed Documents. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:467-481 [Conf]
  6. Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
    ACID-Unification Is NEXPTIME-Decidable. [Citation Graph (0, 0)][DBLP]
    MFCS, 2003, pp:169-178 [Conf]
  7. Siva Anantharaman, Jieh Hsiang, Jalel Mzali
    SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion. [Citation Graph (0, 0)][DBLP]
    RTA, 1989, pp:533-537 [Conf]
  8. Siva Anantharaman, Gilles Richard
    A Rewrite Mechanism for Logic Programs with Negation. [Citation Graph (0, 0)][DBLP]
    RTA, 1995, pp:163-178 [Conf]
  9. Ta Chen, Siva Anantharaman
    STORM: A MAny-to-One Associative-Commutative Matcher. [Citation Graph (0, 0)][DBLP]
    RTA, 1995, pp:414-419 [Conf]
  10. Siva Anantharaman, Jing Chen, Gaétan Hains
    A Synchronous Process Calculus for Service Costs. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:435-444 [Conf]
  11. Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
    Closure properties and decision problems of dag automata. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:94, n:5, pp:231-240 [Journal]
  12. Siva Anantharaman, Jieh Hsiang
    Automated Proofs of the Moufang Identities in Alternative Rings. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1990, v:6, n:1, pp:79-109 [Journal]
  13. Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
    Unification Modulo ACUI Plus Distributivity Axioms. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2004, v:33, n:1, pp:1-28 [Journal]
  14. Siva Anantharaman, Gilles Richard
    A Rewrite Mechanism for Logic Programs with Negation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:192, n:1, pp:77-106 [Journal]
  15. Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
    Intruders with Caps. [Citation Graph (0, 0)][DBLP]
    RTA, 2007, pp:20-35 [Conf]

  16. Cap unification: application to protocol security modulo homomorphic encryption. [Citation Graph (, )][DBLP]


  17. Unification Modulo Homomorphic Encryption. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002