Accéder directement au contenu Accéder directement à la navigation


hal-00847250v1  Article dans une revue
Charles AudetPierre HansenFrédéric MessineJordan Ninin. The Small Octagons of MaximalWidth
Discrete and Computational Geometry, Springer Verlag, 2013, 49 (3), pp.589-600. ⟨10.1007/s00454-013-9489-x⟩
hal-00744434v1  Article dans une revue
Philippe DhaussyFrédéric BoniolJean-Charles RogerAmine RajiYves Le Traon et al.  Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩
hal-02924428v1  Chapitre d'ouvrage
Didier DuboisLuc JaulinHenri Prade. Thick sets, multiple-valued mappings, and possibility theory
Vladik Kreinovich. Statistical and Fuzzy Approaches to Data Processing, with Applications to Econometrics and Other Areas, 892, Springer, pp.101-109, 2021, Studies in Computational Intelligence, 978-3-030-45618-4. ⟨10.1007/978-3-030-45619-1_8⟩
hal-02437410v1  Communication dans un congrès
Didier DuboisLuc JaulinHenri Prade. Ensembles épais, fonctions multivoques, et théorie des possibilités
28e Rencontres Francophones sur la Logique Floue et ses Applications (LFA 2019), Nov 2019, Alès, France
...
hal-00690923v1  Communication dans un congrès
Hanh Nhi TranChristian Percebois. Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations
ICST (International Conference on Software Testing, Verification and Validation) Workshop on Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada