The SCEAS System
| |||||||

## Search the dblp DataBase
Siva Anantharaman:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - Siva Anantharaman, Nirina Andrianarivelo
**Heuristical Criteria in Refutational Theorem Proving.**[Citation Graph (0, 0)][DBLP] DISCO, 1990, pp:184-193 [Conf] - 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] - Barbara Fila, Siva Anantharaman
**Automata for Positive Core XPath Queries on Compressed Documents.**[Citation Graph (0, 0)][DBLP] LPAR, 2006, pp:467-481 [Conf] - Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
**ACID-Unification Is NEXPTIME-Decidable.**[Citation Graph (0, 0)][DBLP] MFCS, 2003, pp:169-178 [Conf] - 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] - Siva Anantharaman, Gilles Richard
**A Rewrite Mechanism for Logic Programs with Negation.**[Citation Graph (0, 0)][DBLP] RTA, 1995, pp:163-178 [Conf] - Ta Chen, Siva Anantharaman
**STORM: A MAny-to-One Associative-Commutative Matcher.**[Citation Graph (0, 0)][DBLP] RTA, 1995, pp:414-419 [Conf] - 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] - 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] - 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] - Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
**Unification Modulo**[Citation Graph (0, 0)][DBLP]*ACUI*Plus Distributivity Axioms. J. Autom. Reasoning, 2004, v:33, n:1, pp:1-28 [Journal] - 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] - Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
**Intruders with Caps.**[Citation Graph (0, 0)][DBLP] RTA, 2007, pp:20-35 [Conf] **Cap unification: application to protocol security modulo homomorphic encryption.**[Citation Graph (, )][DBLP]**Unification Modulo Homomorphic Encryption.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |