Hend Dawood

A Logical Formalization of the Notion of Interval Dependency: Towards Reliable Intervalizations of Quantifiable Uncertainties

Hend Dawood, Yasser Dawood, Hend Dawood, 2019 .

Parametric Intervals: More Reliable or Foundationally Problematic?

Hend Dawood, Yasser Dawood, Hend Dawood, 2019 .

Theories of Interval Arithmetic: Mathematical Foundations and Applications

Hend Dawood, Hend Dawood, 2011 .

InCLosure (Interval enCLosure): A Language and Environment for Reliable Scientific Computing

Hend Dawood, 2018 .

Interval Mathematics as a Potential Weapon against Uncertainty

Hend Dawood, 2014 .

On the Mathematical Foundations of Algorithmic Differentiation

Hend Dawood, Yasser Dawood, 2017 .