Pretopological Transformations of Binary Images: A Parallel Implementation. - Richard Dapoigny; Michel Lamure; Nicolas Nicoloyannis (Parallel and Distributed Computing and Systems, 1995)

Fuzzy-based intelligent sensors: modeling, design, application. - Eric Benoit; Richard Dapoigny; Laurent Foulloy (ETFA (2), 2001)

Agent-Based Implementation on Intelligent Instruments. - Richard Dapoigny; Eric Benoit; Laurent Foulloy (IEA/AIE, 2003)

Functional Ontology for Intelligent Instruments. - Richard Dapoigny; Eric Benoit; Laurent Foulloy (ISMIS, 2003)

A Functional and Behavioral Knowledge-based Implementation for Intelligent Sensors/Actuators. - Richard Dapoigny; Patrick Barlatier; Laurent Foulloy; Eric Benoit (FLAIRS, 2004)

deriving behavior from goal structure for the intelligent control of physical systems. - Richard Dapoigny; Patrick Barlatier; Eric Benoit; Laurent Foulloy (ICINCO, 2005)

Formal Goal Generation for Intelligent Control Systems. - Richard Dapoigny; Patrick Barlatier; Laurent Foulloy; Eric Benoit (IEA/AIE, 2005)

Inferential Knowledge Sharing with Goal Hierarchies in Distributed Engineering Systems. - Richard Dapoigny; Patrick Barlatier; Naçima Mellal; Eric Benoit; Laurent Foulloy (IICAI, 2005)

Semantic Interoperability between Functional Ontologies. - Naçima Mellal; Richard Dapoigny; Laurent Foulloy (DB&IS, 2006)

Modeling and Multi-agent Specification of IF-Based Distributed Goal Ontologies. - Naçima Mellal; Richard Dapoigny; Patrick Barlatier; Laurent Foulloy (IEA/AIE, 2006)

Dependent Record Types for Dynamic Context Representation. - Richard Dapoigny; Patrick Barlatier (SGAI Conf., 2006)

Service Retrieval for Distributed Environment: An Approach Based Service-Ontologies Mapping. - Naçima Mellal; Richard Dapoigny (AWIC, 2007)

Goal Reasoning with Context Record Types. - Richard Dapoigny; Patrick Barlatier (CONTEXT, 2007)

Using Contexts to Prove and Share Situations. - Patrick Barlatier; Richard Dapoigny (FLAIRS, 2007)

Formal Method for Automatic and Semantic Mapping of Distributed Service-Ontologies. - Naçima Mellal; Richard Dapoigny (ICSOFT (PL/DPS/KE/MUSE), 2007)

Towards a Context Theory for Context-aware systems. - Richard Dapoigny; Patrick Barlatier (AITamI@IJCAI (best papers), 2007)

Causal Reasoning with Contexts Using Dependent Types. - Richard Dapoigny; Patrick Barlatier (FLAIRS, 2008)

Towards a Conceptual Structure based on Type Theory. - Richard Dapoigny; Patrick Barlatier (ICCS Supplement, 2008)

A Theorem Prover with Dependent Types for Reasoning about Actions. - Patrick Barlatier; Richard Dapoigny (STAIRS, 2008)

Vers un modèle formel pour le raisonnement à partir des contextes. - Richard Dapoigny; Patrick Barlatier (Rev. d'Intelligence Artif., 2008)

Formal Method for Aligning Goal Ontologies. - Naçima Mellal; Richard Dapoigny; Laurent Foulloy (Intelligent Techniques and Tools for Novel System Architectures, 2008)

Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations. - Richard Dapoigny; Patrick Barlatier (ER, 2009)

Special Track on Semantics, Ontologies, and Computational Linguistics. - Ismaïl Biskri; Anca Pascu; Richard Dapoigny; Florence Le Priol (FLAIRS, 2009)

Reasoning about Relations with Dependent Types: Application to Context-Aware Applications. - Richard Dapoigny; Patrick Barlatier (ISMIS, 2009)

Towards Ontological Correctness of Part-whole Relations with Dependent Types. - Richard Dapoigny; Patrick Barlatier (FOIS, 2010)

Modeling Contexts with Dependent Types. - Richard Dapoigny; Patrick Barlatier (Fundam. Informaticae, 2010)

Using a Dependently-Typed Language for Expressing Ontologies. - Richard Dapoigny; Patrick Barlatier (KSEM, 2011)

Enhancing Publication Description with Resources Metadata. - Christian Cote; Richard Dapoigny; Caroline Wintergerst (FLAIRS, 2012)

A type-theoretical approach for ontologies: The case of roles. - Patrick Barlatier; Richard Dapoigny (Appl. Ontology, 2012)

A Typed Approach for Contextualizing the Part-Whole Relation. - Richard Dapoigny; Patrick Barlatier (CONTEXT, 2013)

Modeling Ontological Structures with Type Classes in Coq. - Richard Dapoigny; Patrick Barlatier (ICCS, 2013)

Formal foundations for situation awareness based on dependent type theory. - Richard Dapoigny; Patrick Barlatier (Inf. Fusion, 2013)

Formalizing Context for Domain Ontologies in Coq. - Richard Dapoigny; Patrick Barlatier (Context in Computing, 2014)

Specifying Well-Formed Part-Whole Relations in Coq. - Richard Dapoigny; Patrick Barlatier (ICCS, 2014)

A Coq-Based Axiomatization of Tarski's Mereogeometry. - Richard Dapoigny; Patrick Barlatier (COSIT, 2015)

Toward a Type-Theoretical Approach for an Ontologically-Based Detection of Underground Networks. - Meriem Hafsi; Richard Dapoigny; Philippe Bolon (KSEM, 2015)

Towards a qualitative representation for specifying natural language. - Richard Dapoigny; Patrick Barlatier (CIVEMSA, 2017)

Detection and localization of underground networks by fusion of electromagnetic signal and GPR images. - Meriem Hafsi; Philippe Bolon; Richard Dapoigny (QCAV, 2017)