# Siva Anantharaman

According to our database

Collaborative distances:

^{1}, Siva Anantharaman authored at least 26 papers between 1989 and 2022.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2022

CoRR, 2022

Proceedings of the Privacy in Statistical Databases - International Conference, 2022

2019

Proceedings of the Automated Deduction - CADE 27, 2019

2014

Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining.

Log. Methods Comput. Sci., 2014

2012

J. Autom. Reason., 2012

Proceedings of the Language and Automata Theory and Applications, 2012

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

String Rewriting and Security Analysis: An Extension of a Result of Book and Otto.

J. Autom. Lang. Comb., 2011

2010

Proceedings of the 5th ACM Symposium on Information, 2010

2008

Proceedings of the 22nd International Workshop on Unification, 2008

Proceedings of the Structure-Based Compression of Complex Massive Data, 22.06., 2008

2007

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

2006

J. Autom. Lang. Comb., 2006

Proceedings of the Logic for Programming, 2006

2005

Inf. Process. Lett., 2005

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2004

J. Autom. Reason., 2004

2003

Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

1998

Theor. Comput. Sci., 1998

1995

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1990

J. Autom. Reason., 1990

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

Proceedings of the Conditional and Typed Rewriting Systems, 1990

1989

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989