According to our database1, Yohan Boichut authored at least 20 papers between 2005 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2019
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems.
Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016
Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013
Proceedings of the Formal Methods and Software Engineering, 2012
Int. J. Crit. Comput. Based Syst., 2011
Proceedings of the Reachability Problems - 5th International Workshop, 2011
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
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
Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006
Proceedings of the Theoretical Aspects of Computing, 2006
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005