Siva Anantharaman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
1995–2022
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | PSD | Privacy Analysis with a Distributed Transition System and a Data-Wise Metric. | Siva Anantharaman, Sabine Frittella, Benjamin Nguyen |
| 2019 | CADE | Unification Modulo Lists with Reverse Relation with Certain Word Equations. | Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michal Rusinowitch |
| 2012 | CADE | Unification Modulo Synchronous Distributivity. | Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michal Rusinowitch |
| 2012 | LATA | Unification Modulo Chaining. | Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michal Rusinowitch |
| 2010 | CCS | Cap unification: application to protocol security modulo homomorphic encryption. | Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michal Rusinowitch |
| 2006 | LPAR | Automata for Positive Core XPath Queries on Compressed Documents. | Barbara Fila, Siva Anantharaman |
| 2005 | SEFM | A Synchronous Process Calculus for Service Costs. | Siva Anantharaman, Jing Chen, Gatan Hains |
| 2003 | CADE | Unification Modulo ACU I Plus Homomorphisms/Distributivity. | Siva Anantharaman, Paliath Narendran, Michal Rusinowitch |
| 2003 | MFCS | ACID-Unification Is NEXPTIME-Decidable. | Siva Anantharaman, Paliath Narendran, Michal Rusinowitch |
| 1995 | IJCAI | Experiments with Associative-Commutative Discrimination Nets. | Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin |