| 2014 | ICCS | Specifying Well-Formed Part-Whole Relations in Coq. | Richard Dapoigny, Patrick Barlatier |
| 2013 | ICCS | Modeling Ontological Structures with Type Classes in Coq. | Richard Dapoigny, Patrick Barlatier |
| 2011 | KSEM | Using a Dependently-Typed Language for Expressing Ontologies. | Richard Dapoigny, Patrick Barlatier |
| 2010 | FOIS | Towards Ontological Correctness of Part-whole Relations with Dependent Types. | Richard Dapoigny, Patrick Barlatier |
| 2009 | ER | Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations. | Richard Dapoigny, Patrick Barlatier |
| 2009 | ISMIS | Reasoning about Relations with Dependent Types: Application to Context-Aware Applications. | Richard Dapoigny, Patrick Barlatier |
| 2008 | FlAIRS | Causal Reasoning with Contexts Using Dependent Types. | Richard Dapoigny, Patrick Barlatier |
| 2008 | ICCS | Towards a Conceptual Structure based on Type Theory. | Richard Dapoigny, Patrick Barlatier |
| 2007 | FlAIRS | Using Contexts to Prove and Share Situations. | Patrick Barlatier, Richard Dapoigny |
| 2007 | IJCAI | Towards a Context Theory for Context-aware systems. | Richard Dapoigny, Patrick Barlatier |
| 2006 | SGAI | Dependent Record Types for Dynamic Context Representation. | Richard Dapoigny, Patrick Barlatier |
| 2005 | ICINCO | deriving behavior from goal structure for the intelligent control of physical systems. | Richard Dapoigny, Patrick Barlatier, Eric Benoit, Laurent Foulloy |
| 2004 | FlAIRS | A Functional and Behavioral Knowledge-based Implementation for Intelligent Sensors/Actuators. | Richard Dapoigny, Patrick Barlatier, Laurent Foulloy, Eric Benoit |