Andrew M. Marshall

CoRR, 2024

Deciding Knowledge Problems Modulo Classes of Permutative Theories.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2024

2023

Teaching an Undergraduate 5G Technology and Security Course, and Its Outcomes.

[BibT_eX]

[DOI]

Veena Ravishankar

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories.

[BibT_eX]

[DOI]

Saraid Dwyer Satterfield

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Games, 2022

Preface.

[BibT_eX]

[DOI]

Temur Kutsia

Ann. Math. Artif. Intell., 2022

Combined Hierarchical Matching: the Regular Case.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

Non-disjoint Combined Unification and Closure by Equational Paramodulation.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

2020

Computing knowledge in equational extensions of subterm convergent theories.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2020

Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Unification, 2020

Terminating Non-Disjoint Combined Unification (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Unification, 2020

Terminating Non-disjoint Combined Unification.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

Rule-Based Unification in Combined Theories and the Finite Variant Property.

[BibT_eX]

[DOI]

Ajay Kumar Eeralla

Proceedings of the Language and Automata Theory and Applications, 2019

On Asymmetric Unification for the Theory of XOR with a Homomorphism.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

2017

Notions of Knowledge in Combinations of Theories Sharing Constructors.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 26, 2017

2015

On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry.

[BibT_eX]

[DOI]

Catherine Meadows

Log. Methods Comput. Sci., 2015

Unification and Matching in Hierarchical Combinations of Syntactic Theories.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014

Hierarchical Combination of Matching Algorithms (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Unification, 2014

On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Unification, 2014

On Asymmetric Unification and the Combination Problem in Disjoint Theories.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2014

2013

Hierarchical Combination of Unication Algorithms (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 27th International Workshop on Unification, 2013

Hierarchical Combination.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-24, 2013

2012

New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants.

[BibT_eX]

[DOI]

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

2011

Unification over Distributive Exponentiation (Sub)Theories.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2011

2010

On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo One-Sided Distributivity

[BibT_eX]

[DOI]

Bibhu Mahapatra

Proceedings of the Proceedings 24th International Workshop on Unification, 2010

Unification modulo a partial theory of exponentiation

[BibT_eX]

[DOI]

Deepak Kapur