# Christopher Lynch

Orcid: 0000-0001-9989-7097
According to our database

Collaborative distances:

^{1}, Christopher Lynch authored at least 67 papers between 1990 and 2023.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2023

Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023

2022

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

Proceedings of the 13th International Symposium on Games, 2022

2021

Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, 2021

An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems.

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

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

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

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

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Math. Struct. Comput. Sci., 2020

IACR Cryptol. ePrint Arch., 2020

2019

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

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

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

2014

Inf. Comput., 2014

2013

J. Autom. Reason., 2013

Proceedings of the Frontiers of Combining Systems, 2013

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.

Proceedings of the Automated Deduction - CADE-24, 2013

Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2012

J. Autom. Reason., 2012

Proceedings of the Computer Security - ESORICS 2012, 2012

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

2011

J. Autom. Reason., 2011

Inf. Comput., 2011

Proceedings of the 25th International Workshop on Unification, 2011

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.

Proceedings of the 25th International Workshop on Unification, 2011

Unification in a Theory of Blind Signatures.

Proceedings of the TABLEAUX 2011, 2011

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

Proceedings of the 5th ACM Symposium on Information, 2010

2009

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Proceedings of the Automated Deduction, 2009

2008

Proceedings of the First International Conference on Foundations of Informatics, 2008

Proceedings of the 22nd International Workshop on Unification, 2008

Proceedings of the Automated Technology for Verification and Analysis, 2008

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, 2007

Proceedings of the Logic for Programming, 2007

Proceedings of the FUZZ-IEEE 2007, 2007

Proceedings of the Automated Deduction, 2007

Proceedings of the Automated Deduction, 2007

2006

Using Uncertainty Bounds in the Design of an Embedded Real-Time Type-2 Neuro-Fuzzy Speed Controller for Marine Diesel Engines.

Proceedings of the IEEE International Conference on Fuzzy Systems, 2006

2005

Faster <i>Basic Syntactic Mutation</i> with Sorts for Some Separable Equational Theories.

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

Embedded Type-2 FLC for Real-Time Speed Control of Marine and Traction Diesel Engines.

Proceedings of the IEEE International Conference on Fuzzy Systems, 2005

2004

Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis, 2004

Proceedings of the Information and Communications Security, 6th International Conference, 2004

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003

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

2002

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Proceedings of the Automated Deduction, 2002

2001

Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

Proceedings of the Logic for Programming, 2001

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

1999

Fundam. Informaticae, 1999

1998

Inf. Comput., 1998

Discret. Math. Theor. Comput. Sci., 1998

Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

1997

J. Symb. Comput., 1997

Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997

1996

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

PATCH Graphs: An Efficient Data Structure for Completion of Finitely Presented Groups.

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996

1995

Inf. Comput., September, 1995

Theor. Comput. Sci., 1995

Proceedings of the Proceedings, 1995

1992

Proceedings of the Automated Deduction, 1992

1991

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

1990

An Inference System for Horn Clause Logic with Equality: A Foundation for Conditional E-Unification and for Logic Programming in the Presence of Equality.

Proceedings of the Conditional and Typed Rewriting Systems, 1990