Siva Anantharaman
According to our database1,
Siva Anantharaman
authored at least 26 papers
between 1989 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the Privacy in Statistical Databases - International Conference, 2022
2019
Proceedings of the Automated Deduction - CADE 27, 2019
2014
Log. Methods Comput. Sci., 2014
2012
Proceedings of the Language and Automata Theory and Applications, 2012
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
2011
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
Proceedings of the Logic for Programming, 2006
2005
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
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
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