Accéder directement au contenu Accéder directement à la navigation
  1. Recherche


...
hal-00672684v1  Communication dans un congrès
Komlan Akpédjé Kedji, Minh Tu Ton That, Bernard Coulette, Redouane Lbath, Hanh Nhi Tran et al.  Towards a tool-supported approach for collaborative process modeling and enactment
APSEC 2011, Dec 2011, Vietnam. pp.XX
hal-00847250v1  Article dans une revue
Charles Audet, Pierre Hansen, Frédéric Messine, Jordan Ninin. The Small Octagons of MaximalWidth
Discrete and Computational Geometry, Springer Verlag, 2013, 49 (3), pp.589-600. ⟨10.1007/s00454-013-9489-x⟩
...
inria-00555044v1  Communication dans un congrès
Benoit Baudry, Pierre Bazex, Jean-Charles Dalbin, Philippe Dhaussy, Hubert Dubois et al.  Trust in MDE Components: the DOMINO Experiment
SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria
hal-02924428v1  Chapitre d'ouvrage
Didier Dubois, Luc Jaulin, Henri 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-01194735v1  Article dans une revue
Jordan Ninin, Frédéric Messine, Pierre Hansen. A reliable affine relaxation method for global optimization
4OR: A Quarterly Journal of Operations Research, Springer Verlag, 2015, 13 (3), pp.247-277. ⟨10.1007/s10288-014-0269-0⟩
...
hal-00690923v1  Communication dans un congrès
Hanh Nhi Tran, Christian 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