BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Anantharaman:Siva

Contributed to:

IJCAR 20122012
LATA 20122012
RTA 20072007
SEFM 20052005
CADE 20032003
RTA 19951995
RTA 19891989
CADE 20192019

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.