Travelled to:1 × France
1 × Spain
1 × United Kingdom
2 × Germany
2 × USA
Collaborated with:P.Narendran M.Rusinowitch G.Richard T.Chen J.Chen G.Hains J.Hsiang J.Mzali C.Bouchard P.Hibbs S.Erbatur C.Lynch
Talks about:modulo (4) unif (4) distribut (2) synchron (2) rewrit (2) laboratori (1) homomorph (1) calculus (1) program (1) process (1)
Person: Siva Anantharaman
DBLP: Anantharaman:Siva
Contributed to:
2012
2012
2007
2005
2003199519892019Wrote 9 papers:
- IJCAR-2012-AnantharamanELNR #unification
- Unification Modulo Synchronous Distributivity (SA, SE, CL, PN, MR), pp. 14–29.
- LATA-2012-AnantharamanBNR #unification
- Unification Modulo Chaining (SA, CB, PN, MR), pp. 70–82.
- RTA-2007-AnantharamanNR
- Intruders with Caps (SA, PN, MR), pp. 20–35.
- SEFM-2005-AnantharamanCH #calculus #process
- A Synchronous Process Calculus for Service Costs (SA, JC, GH), pp. 435–444.
- CADE-2003-AnantharamanNR #morphism #unification
- Unification Modulo ACU I Plus Homomorphisms/Distributivity (SA, PN, MR), pp. 442–457.
- RTA-1995-AnantharamanR #logic programming #source code
- A Rewrite Mechanism for Logic Programs with Negation (SA, GR), pp. 163–178.
- RTA-1995-ChenA #commutative #named
- STORM: A MAny-to-One Associative-Commutative Matcher (TC, SA), pp. 414–419.
- RTA-1989-AnantharamanHM #named #term rewriting
- SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion (SA, JH, JM), pp. 533–537.
- CADE-2019-AnantharamanHNR #equation #unification #word
- Unification Modulo Lists with Reverse Relation with Certain Word Equations (SA, PH, PN, MR), pp. 1–17.