dblp.uni-trier.dewww.uni-trier.de

Siva Anantharaman Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Nirina Andrianarivelo [3]
2Leo Bachmair [7]
3Maria Paola Bonacina [4]
4Jacques Chabin [7]
5Jing Chen [13]
6Ta Chen [5] [7]
7Barbara Fila [14]
8Gaétan Hains [13]
9Jieh Hsiang [1] [2]
10Hai Lin [16]
11Christopher Lynch [16]
12Jalel Mzali [1]
13Paliath Narendran [9] [10] [11] [12] [15] [16]
14I. V. Ramakrishnan [7]
15Gilles Richard [6] [8]
16Michaël Rusinowitch [9] [10] [11] [12] [15] [16]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)