# Joe Hendrix

According to our database

Collaborative distances:

^{1}, Joe Hendrix authored at least 13 papers between 2005 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Proc. ACM Program. Lang., 2019

2016

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

2013

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

2012

Electron. Notes Theor. Comput. Sci., 2012

2010

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2009

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

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

2007

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

Proceedings of the All About Maude, 2007

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

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

2005

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