A Sufficient Completeness Reasoning Tool for Partial Specifications. - Joe Hendrix; Manuel Clavel; José Meseguer 001 (RTA, 2005)

A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms. - Joe Hendrix; José Meseguer 001; Hitoshi Ohsaki (IJCAR, 2006)

Propositional Tree Automata. - Joe Hendrix; Hitoshi Ohsaki; Mahesh Viswanathan 001 (RTA, 2006)

The Maude Formal Tool Environment. - Manuel Clavel; Francisco Durán 001; Joe Hendrix; Salvador Lucas; José Meseguer 001; Peter Csaba Ölveczky (CALCO, 2007)

Some Tools. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Christiano Braga; Azadeh Farzan; Joe Hendrix; Peter Csaba Ölveczky; Miguel Palomino; et al. (All About Maude, 2007)

On the Completeness of Context-Sensitive Order-Sorted Specifications. - Joe Hendrix; José Meseguer 001 (RTA, 2007)

Combining Equational Tree Automata over AC and ACI Theories. - Joe Hendrix; Hitoshi Ohsaki (RTA, 2008)

Order-sorted Equational Unification Revisited. - Joe Hendrix; José Meseguer 001 (RULE, 2008)

Decision Procedures for Equationally Based Reasoning - Joe Hendrix (2008)

Linear Functional Fixed-points. - Nikolaj S. Bjørner; Joe Hendrix (CAV, 2009)

Coverset Induction with Partiality and Subsorts: A Powerlist Case Study. - Joe Hendrix; Deepak Kapur; José Meseguer 001 (ITP, 2010)

SAW: the software analysis workbench. - Kyle Carter; Adam Foltzer; Joe Hendrix; Brian Huffman; Aaron Tomb (HILT, 2013)

Constructing Semantic Models of Programs with the Software Analysis Workbench. - Robert Dockins; Adam Foltzer; Joe Hendrix; Brian Huffman; Dylan McNamee; Aaron Tomb (VSTTE, 2016)

Dependently typed Haskell in industry (experience report). - David Thrane Christiansen; Iavor S. Diatchki; Robert Dockins; Joe Hendrix; Tristan Ravitch (Proc. ACM Program. Lang., 2019)

Macaw: A Machine Code Toolbox for the Busy Binary Analyst. - Ryan G. Scott; Brett Boston; Benjamin Davis; Iavor S. Diatchki; Mike Dodds; Joe Hendrix; Daniel Matichuk; Kevin Quick; Tristan Ravitch; Valentin Robert; Benjamin Selfridge; Andrei Stefanescu; et al. (CoRR, 2024)

Crux, a Precise Verifier for Rust and Other Languages. - Stuart Pernsteiner; Iavor S. Diatchki; Robert Dockins; Mike Dodds; Joe Hendrix; Tristan Ravitch; Patrick Redmond; Ryan G. Scott; Aaron Tomb (CoRR, 2024)