Siva Anantharaman

According to our database1, 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
Distributed Transition Systems with Tags for Privacy Analysis.
CoRR, 2022

Privacy Analysis with a Distributed Transition System and a Data-Wise Metric.
Proceedings of the Privacy in Statistical Databases - International Conference, 2022

2019
Unification Modulo Lists with Reverse Relation with Certain Word Equations.
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
Unification Modulo Homomorphic Encryption.
J. Autom. Reason., 2012

Unification Modulo Chaining.
Proceedings of the Language and Automata Theory and Applications, 2012

Unification Modulo Synchronous Distributivity.
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
Cap unification: application to protocol security modulo homomorphic encryption.
Proceedings of the 5th ACM Symposium on Information, 2010

2008
Unification modulo Homomorphic Encryption is Decidable.
Proceedings of the 22nd International Workshop on Unification, 2008

Compression vs Queryability - A Case Study.
Proceedings of the Structure-Based Compression of Complex Massive Data, 22.06., 2008

2007
Intruders with Caps.
Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

2006
Editorial.
J. Autom. Lang. Comb., 2006

Automata for Positive Core XPath Queries on Compressed Documents.
Proceedings of the Logic for Programming, 2006

2005
Closure properties and decision problems of dag automata.
Inf. Process. Lett., 2005

A Synchronous Process Calculus for Service Costs.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2004
Unification Modulo <i>ACUI</i> Plus Distributivity Axioms.
J. Autom. Reason., 2004

2003
ACID-Unification Is NEXPTIME-Decidable.
Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

Unification Modulo ACU I Plus Homomorphisms/Distributivity.
Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

1998
A Rewrite Mechanism for Logic Programs with Negation.
Theor. Comput. Sci., 1998

1995
STORM: A MAny-to-One Associative-Commutative Matcher.
Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

Experiments with Associative-Commutative Discrimination Nets.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1990
Automated Proofs of the Moufang Identities in Alternative Rings.
J. Autom. Reason., 1990

Heuristical Criteria in Refutational Theorem Proving.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

An Application of Automated Equational Reasoning to Many-valued Logic.
Proceedings of the Conditional and Typed Rewriting Systems, 1990

1989
SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion.
Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989


  Loading...