Skip to Main content Skip to Navigation

tel-01357054v1  Habilitation à diriger des recherches
Rémi Douence. Composition non modulaire modulaire
Génie logiciel [cs.SE]. Université de Nantes, Faculté des sciences et des techniques., 2015
hal-01020330v1  Conference papers
Alexandre NassiopoulosJordan BrounsNils ArtigesMostafa SmailB. Azerou. ReTrofiT: A Software to Solve Optimization and Identification Problems Applied to Building Energy Management
EWSHM - 7th European Workshop on Structural Health Monitoring, IFFSTTAR, Inria, Université de Nantes, Jul 2014, Nantes, France
hal-00724508v1  Conference papers
Omar ChebaroMickaël DelahayeNikolai Kosmatov. Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE
ICSSEA 2012 - 24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7
hal-01082186v1  Conference papers
Antoine CrinièreJean DumoulinLaetitia PerezFrederic Bourquin. Civil engineering structure daily monitored through IR Thermography and environmental measurement
12th International Conference on Quantitative InfraRed Thermography, Jul 2014, Bordeaux, France
hal-00643982v1  Journal articles
Israël-César LermanPascale Kuntz. Directed Binary Hierarchies and Directed Ultrametrics
Journal of Classification, Springer Verlag, 2011, 28 (3), page 272-296
hal-00907646v1  Journal articles
Cédric HerzetCharles SoussenJérôme IdierRémi Gribonval. Exact recovery conditions for sparse representations with partial support information
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2013, 59 (11), pp.7509-7524. ⟨10.1109/TIT.2013.2278179⟩
hal-00872971v1  Journal articles
Eric MonfroyCarlos CastroBroderick CrawfordRicardo SotoFernando Paredes et al.  A Reactive and Hybrid Constraint Solver
Journal of Experimental and Theoretical Artificial Intelligence, Taylor & Francis, 2013, 25 (1), pp.1-22
hal-00415952v1  Journal articles
Jérémie BourdonIrena Rusu. Statistical Properties of Factor Oracles
Journal of Discrete Algorithms, Elsevier, 2010, LNCS, 9 (2011), pp.59-66. ⟨10.1007/978-3-642-02441-2⟩
hal-00442738v1  Journal articles
Erwan LoisantHiroshi IshikawaJosé MartinezManabu OhtaKaoru Katayama. User-Adaptive Navigation Structures for Image Retrieval
Nihon Detabesu Gakkai letters - DBSJ Letters, Database Society of Japan, 2004, 3 (1), pp.133--136
hal-00442739v1  Journal articles
Erwan LoisantJosé MartinezHiroshi IshikawaManabu OhtaKaoru Katayama. Galois Lattices as a Classification Technique for Image Retrieval
IPSJ Digital Courier, Information Processing Society of Japan, 2006, 2, pp.1--13
hal-00754023v1  Conference papers
Nicolas BeldiceanuHelmut Simonis. Using the Global Constraint Seeker for Learning Structured Constraint Models: A First Attempt
The 10th International Workshop on Constraint Modelling and Reformulation (ModRef'11) held at CP'11, Sep 2011, Perugia, Italy. pp.20-34
hal-00754043v1  Conference papers
Arnaud LetortNicolas BeldiceanuMats Carlsson. A Scalable Sweep Algorithm for the cumulative Constraint
18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada. pp.439-454, ⟨10.1007/978-3-642-33558-7_33⟩
hal-00754044v1  Conference papers
Nicolas BeldiceanuHelmut Simonis. A Model Seeker: Extracting Global Constraint Models from Positive Examples
18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada. pp.141-157, ⟨10.1007/978-3-642-33558-7_13⟩
hal-00754361v1  Conference papers
Helmut SimonisNicolas Beldiceanu. A Model Seeker: Extracting Global Constraint Models From Positive Examples
2013 INFORMS Computing Society Conference, Jan 2013, Santa Fe, United States
hal-00761045v1  Conference papers
Hien Thi Thu TruongClaudia-Lavinia IgnatPascal Molli. Authenticating Operation-based History in Collaborative Systems
ACM 2012 International Conference on Support Group Work, Oct 2012, Sanibel Island, FL, United States. pp.131-140, ⟨10.1145/2389176.2389197⟩
hal-00761058v1  Conference papers
Hien Thi Thu TruongClaudia-Lavinia IgnatPascal Molli. Securing Logs in Operation-based Collaborative Editing
CSCW'12 - The Twelfth International Workshop on Collaborative Editing Systems 2012, Feb 2012, Seattle, United States
hal-01168303v1  Conference papers
Ronan-Alexandre CherrueauRémi DouenceMario Südholt. A Language for the Composition of Privacy-Enforcement Techniques
IEEE RATSP 2015, The 2015 IEEE International Symposium on Recent Advances of Trust, Security and Privacy in Computing and Communications, Aug 2015, Helsinki, Finland. pp.1037 - 1044, ⟨10.1109/Trustcom.2015.480⟩
hal-00363235v1  Conference papers
Patrice BoizumaultChristelle GuéretNarendra Jussien. Énumération et relaxation en Programmation Logique avec Contraintes
Rencontres sur la résolution pratique des problèmes NP-complets, 1994, Montpellier, France