The ALGOS Computational System. - Henson Graves; Lee Blaine (European Conference on Computer Algebra (2), 1985)

A code synthesis experiment. - Henson Graves; Joe Louie; Tracy Mullen (KBSE, 1992)

Lockheed Environment for Automatic Programming. - Henson Graves (IEEE Expert, 1992)

Ontology Engineering for Product Development. - Henson Graves (OWLED, 2007)

Representing Product Designs Using a Description Graph Extension to OWL 2. - Henson Graves (OWLED, 2008)

Application of OWL 1.1 to Systems Engineering (Statement of Interest). - Ian Horrocks 001; Henson Graves (OWLED (Spring), 2008)

Product Modelling and the Semantic Web. - Michel Böhms; David Leal; Henson Graves (ISWC (Posters & Demos), 2008)

Unifying SysML and OWL. - Henson Graves (OWLED, 2009)

Logic for Modeling Product Structure. - Henson Graves (Description Logics, 2010)

Constructions for Modeling Product Structure. - Henson Graves (OWLED, 2010)

Structural Models in Axiomatic SysML. - Henson Graves (Description Logics, 2011)

Using formal methods with SysML in aerospace design and engineering. - Henson Graves; Yvonne Bijan (Ann. Math. Artif. Intell., 2011)

A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms. - Milenko Mosurovic; Henson Graves; Nenad Krdzavac (Description Logics, 2012)

Ontology for Big Systems: The Ontology Summit 2012 Communiqué. - Todd Schneider; Ali Hashemi 001; Mike Bennett; Mary Brady; Cory Casanave; Henson Graves; Michael Gruninger; Nicola Guarino; Anatoly Levenchuk; Ernie Lucier; Leo Obrst; Steve Ray; et al. (Appl. Ontology, 2012)

A Decidable Extension of SROIQ with Complex Role Chains and Unions. - Milenko Mosurovic; Nenad Krdzavac; Henson Graves; Michael Zakharyaschev (J. Artif. Intell. Res., 2013)