| 2026 | AAAI | A Topological Rewriting of Tarski's Mereogeometry. | Richard Dapoigny |
| 2015 | KSEM | Toward a Type-Theoretical Approach for an Ontologically-Based Detection of Underground Networks. | Meriem Hafsi, Richard Dapoigny, Philippe Bolon |
| 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 |
| 2012 | FlAIRS | Enhancing Publication Description with Resources Metadata. | Christian Cote, Richard Dapoigny, Caroline Wintergerst |
| 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 | FlAIRS | Special Track on Semantics, Ontologies, and Computational Linguistics. | Ismal Biskri, Anca Pascu, Richard Dapoigny, Florence Le Priol |
| 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 |
| 2007 | ICSoft | Formal Method for Automatic and Semantic Mapping of Distributed Service-Ontologies. | Naima Mellal, Richard Dapoigny |
| 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 |
| 2003 | ISMIS | Functional Ontology for Intelligent Instruments. | Richard Dapoigny, Eric Benoit, Laurent Foulloy |
| 2001 | ETFA | Fuzzy-based intelligent sensors: modeling, design, application. | Eric Benoit, Richard Dapoigny, Laurent Foulloy |