# Yohan Boichut

According to our database

Collaborative distances:

^{1}, Yohan Boichut authored at least 20 papers between 2005 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

J. Comput. Syst. Sci., 2019

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2019

2018

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

2016

Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems.

Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

2013

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

2012

Proceedings of the Formal Methods and Software Engineering, 2012

2011

Int. J. Crit. Comput. Based Syst., 2011

Proceedings of the Reachability Problems - 5th International Workshop, 2011

2009

Int. J. Found. Comput. Sci., 2009

Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives.

Proceedings of the Joint Proceedings of the 8th, 2009

Proceedings of the Reachability Problems, 3rd International Workshop, 2009

2008

Approximation-based Tree Regular Model-Checking.

Nord. J. Comput., 2008

A theoretical limit for safety verification techniques with regular fix-point computations.

Inf. Process. Lett., 2008

Electron. Notes Theor. Comput. Sci., 2008

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

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

2006

Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

Proceedings of the Theoretical Aspects of Computing, 2006

2005

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.

Proceedings of the Computer Aided Verification, 17th International Conference, 2005