| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 12 |      | Milenko Mosurovic, Henson Graves, Nenad Krdzavac: A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms. Description Logics 2012 |
| 2011 | ||
| 11 | | Henson Graves: Structural Models in Axiomatic SysML. Description Logics 2011 |
| 10 | | Henson Graves, Yvonne Bijan: Using formal methods with SysML in aerospace design and engineering. Ann. Math. Artif. Intell. 63(1): 53-102 (2011) |
| 2010 | ||
| 9 | | Henson Graves: Logic for Modeling Product Structure. Description Logics 2010 |
| 8 | | Henson Graves: Constructions for Modeling Product Structure. OWLED 2010 |
| 2009 | ||
| 7 | | Henson Graves: Unifying SysML and OWL. OWLED 2009 |
| 2008 | ||
| 6 | | Michel Böhms, David Leal, Henson Graves: Product Modelling and the Semantic Web. International Semantic Web Conference (Posters & Demos) 2008 |
| 5 | | Henson Graves: Representing Product Designs Using a Description Graph Extension to OWL 2. OWLED 2008 |
| 2007 | ||
| 4 | | Henson Graves: Ontology Engineering for Product Development. OWLED 2007 |
| 1992 | ||
| 3 | | Henson Graves: Lockheed Environment for Automatic Programming. IEEE Expert 7(6): 15-25 (1992) |
| 1991 | ||
| 2 |  | Henson Graves: Lockheed Environment for Automatic Programming. KBSE 1991: 68-76 |
| 1985 | ||
| 1 | | Henson Graves, Lee Blaine: The ALGOS Computational System. European Conference on Computer Algebra (2) 1985: 179-180 |
| 1 | Yvonne Bijan | [10] |
| 2 | Lee Blaine | [1] |
| 3 | Michel Böhms | [6] |
| 4 | Nenad Krdzavac | [12] |
| 5 | David Leal | [6] |
| 6 | Milenko Mosurovic | [12] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page