According to our database1, Joe Hendrix authored at least 13 papers between 2005 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Proc. ACM Program. Lang., 2019
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013
Electron. Notes Theor. Comput. Sci., 2012
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008
Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007
Proceedings of the Algebra and Coalgebra in Computer Science, 2007
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006
A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005