Maintaining knowledge about temporal intervals, Communications of the ACM, vol.26, issue.11, pp.832-843, 1983. ,
DOI : 10.1145/182.358434
IEEE Interval Standard Working Group - P1788: Current Status, 2009 19th IEEE Symposium on Computer Arithmetic, pp.231-234, 2009. ,
DOI : 10.1109/ARITH.2009.36
Modal intervals : Reason and ground semantics, Interval Mathematics, p.2735, 1985. ,
DOI : 10.1007/3-540-16437-5_4
Modal Intervals Revisited, Part 1: A Generalized Interval Natural Extension, Reliable Computing, vol.16, pp.130-183, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00294219
Modal Intervals Revisited, Part 2: A Generalized Interval Mean Value Extension, Reliable Computing, vol.16, pp.184-209, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00294222
That other flavour. . . , message to the IEEE P1788 mailing list, 2013. ,
Applied Interval Analysis, 2001. ,
DOI : 10.1007/978-1-4471-0249-6
URL : https://hal.archives-ouvertes.fr/hal-00845131
On some new approaches to computational methods and to processing of observations, Siberian Mathematical Journal, vol.3, issue.5, pp.701-709, 1962. ,
¨ Uber metrische und algebraische Eigenschaften einiger beim numerischen Rechnen auftretender Raume, 1973. ,
Interval Analysis in the Extended Interval Space IR, Computing, p.3349, 1980. ,
Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021, LNCS, issue.5492, pp.1-6, 2009. ,
DOI : 10.1007/978-3-642-01591-5_1
URL : https://hal.archives-ouvertes.fr/inria-00545059
Computer Arithmetic and Validity, 2008. ,
Interval analysis, 1966. ,
Introduction to Interval Analysis, 2009. ,
DOI : 10.1137/1.9780898717716
JInterval library: principles, development, and perspectives, Reliable Computing, vol.19, issue.3, pp.229-247, 2014. ,
On Implementing the IEEE Interval Standard P1788, FEMTEC 2013, p.103, 2013. ,
Interval Methods for Systems of Equations, 1990. ,
DOI : 10.1017/CBO9780511526473
Vienna proposal for interval standardization, 2008. ,
Interval Arithmetic with Containment Sets, Computing, vol.78, issue.3, pp.251-276, 2006. ,
DOI : 10.1007/s00607-006-0180-4
INTLAB ??? INTerval LABoratory, Developments in Reliable Computing, pp.77-104, 1999. ,
DOI : 10.1007/978-94-017-1247-7_7
Theory of an interval algebra and its application to numerical analysis, Japan Journal of Industrial and Applied Mathematics, vol.2, issue.11, pp.29-46, 1958. ,
DOI : 10.1007/BF03186528
Validated Numerics, 2011. ,