Siva Anantharaman

	2012
19		Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch: Unification Modulo Chaining. LATA 2012: 70-82
18		Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch: Unification Modulo Homomorphic Encryption. J. Autom. Reasoning 48(2): 135-158 (2012)
	2010
17		Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch: Cap unification: application to protocol security modulo homomorphic encryption. ASIACCS 2010: 192-203
	2009
16		Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch: Unification Modulo Homomorphic Encryption. FroCos 2009: 100-116
	2007
15		Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch: Intruders with Caps. RTA 2007: 20-35
	2006
14		Barbara Fila, Siva Anantharaman: Automata for Positive Core XPath Queries on Compressed Documents. LPAR 2006: 467-481
	2005
13		Siva Anantharaman, Jing Chen, Gaétan Hains: A Synchronous Process Calculus for Service Costs. SEFM 2005: 435-444
12		Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch: Closure properties and decision problems of dag automata. Inf. Process. Lett. 94(5): 231-240 (2005)
	2004
11		Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch: Unification Modulo ACUI Plus Distributivity Axioms. J. Autom. Reasoning 33(1): 1-28 (2004)
	2003
10		Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch: Unification Modulo ACU I Plus Homomorphisms/Distributivity. CADE 2003: 442-457
9		Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch: ACID-Unification Is NEXPTIME-Decidable. MFCS 2003: 169-178
	1998
8		Siva 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
6		Siva Anantharaman, Gilles Richard: A Rewrite Mechanism for Logic Programs with Negation. RTA 1995: 163-178
5		Ta 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
3		Siva 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
1		Siva Anantharaman, Jieh Hsiang, Jalel Mzali: SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion. RTA 1989: 533-537

Coauthor Index

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

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page