Siva Anantharaman

Sabine Frittella

Benjamin Nguyen

CoRR, 2022

Privacy Analysis with a Distributed Transition System and a Data-Wise Metric.

[BibT_eX]

[DOI]

Sabine Frittella

Benjamin Nguyen

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

2019

Unification Modulo Lists with Reverse Relation with Certain Word Equations.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 27, 2019

2014

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

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2014

2012

Unification Modulo Homomorphic Encryption.

[BibT_eX]

[DOI]

J. Autom. Reason., 2012

Unification Modulo Chaining.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2012

Unification Modulo Synchronous Distributivity.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2011

2010

Cap unification: application to protocol security modulo homomorphic encryption.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM Symposium on Information, 2010

2008

Unification modulo Homomorphic Encryption is Decidable.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Unification, 2008

Compression vs Queryability - A Case Study.

[BibT_eX]

[DOI]

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

2007

Intruders with Caps.

[BibT_eX]

[DOI]

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

2006

Editorial.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2006

Automata for Positive Core XPath Queries on Compressed Documents.

[BibT_eX]

[DOI]

Barbara Fila

Proceedings of the Logic for Programming, 2006

2005

Closure properties and decision problems of dag automata.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2005

A Synchronous Process Calculus for Service Costs.

[BibT_eX]

[DOI]

Jing Chen

Gaétan Hains

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.

[BibT_eX]

[DOI]

J. Autom. Reason., 2004

2003

ACID-Unification Is NEXPTIME-Decidable.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

Unification Modulo ACU I Plus Homomorphisms/Distributivity.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Gilles Richard

Theor. Comput. Sci., 1998

1995

STORM: A MAny-to-One Associative-Commutative Matcher.

[BibT_eX]

[DOI]

Ta Chen

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

Experiments with Associative-Commutative Discrimination Nets.

[BibT_eX]

[DOI]

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

1990

Automated Proofs of the Moufang Identities in Alternative Rings.

[BibT_eX]

[DOI]

Jieh Hsiang

J. Autom. Reason., 1990

Heuristical Criteria in Refutational Theorem Proving.

[BibT_eX]

[DOI]

Nirina Andrianarivelo

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

An Application of Automated Equational Reasoning to Many-valued Logic.

[BibT_eX]

[DOI]

Maria Paola Bonacina

Proceedings of the Conditional and Typed Rewriting Systems, 1990

1989

SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion.

[BibT_eX]

[DOI]