 |
|
|
||
|---|---|---|
| hal-00428952v1
Article dans une revue
A Priori Error Analysis and Spring Arithmetic SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2009, 31 (3), pp.2214-2230. ⟨10.1137/070696982⟩ |
||
| hal-01122062v1
Communication dans un congrès
If We Take Into Account that Constraints Are Soft, Then Processing Constraints Becomes Algorithmically Solvable SSCI 2014, Dec 2014, Orlando, United States |
||
| hal-00650333v1
Communication dans un congrès
Processing Interval Sensor Data in the Presence of Outliers, with Potential Applications to Localizing Underwater Robots IEEE SMC 2011, Oct 2011, Anchorage, United States. 978-1-4577-0653-0/11/©2011 IEEE p. 2333-2337 |
||
| hal-00481288v1
Communication dans un congrès
Inner and Outer Approximations of Existentially Quantified Equality Constraints Twelfth International Conference on Principles and Practice of Constraint Programming, Sep 2006, France. pp.198-212, ⟨10.1007/11889205_16⟩  |
||
| hal-00518507v1
Article dans une revue
Inner approximation of the range of vector-valued functions Reliable Computing, Springer Verlag, 2010, pp.1-23 |
||
| hal-00428967v1
Communication dans un congrès
A Constraint on the Number of Distinct Vectors with Application to Localization CP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. p. 196-210 |
||
| hal-00428970v1
Communication dans un congrès
Hull Consistency Under Monotonicity CP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. p. 188-195 |
||
| hal-00428957v1
Article dans une revue
Contractor Programming Artificial Intelligence, Elsevier, 2009, 173, pp.1079-1100. ⟨10.1016/j.artint.2009.03.002⟩ |
||
| hal-00865381v1
Article dans une revue
Denotational Semantics of A User-Oriented, Domain-Specific Language Electronic Proceedings in Theoretical Computer Science, EPTCS, 2013, 129, pp.229-249. ⟨10.4204/EPTCS.129.14⟩ |
||
| inria-00555044v1
Communication dans un congrès
Trust in MDE Components: the DOMINO Experiment SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria |
||
| hal-01122023v1
Communication dans un congrès
Computing capture tubes SCAN 2014, Université de Wurzburg, Sep 2014, Wurzburg, Germany |
||
| hal-01194742v1
Communication dans un congrès
Global Optimization based on Contractor Programming XII GLOBAL OPTIMIZATION WORKSHOP, Sep 2014, Malaga, Spain. pp.77-80 |
||
|
|
||