InCLosure (Interval enCLosure)–a language and environment for reliable scientific computing H Dawood, Y Dawood Computer Software, Version 2, 2020 | 9 | 2020 |
A Logical Formalization of the Notion of Interval Dependency: Towards Reliable Intervalizations of Quantifiable Uncertainties H Dawood, Y Dawood Online Mathematics Journal 1 (3), 15-36, 2019 | 8 | 2019 |
Universal Intervals: Towards a Dependency-Aware Interval Algebra H Dawood, Y Dawood Mathematical Methods in Interdisciplinary Sciences, 2020 | 6 | 2020 |
Investigations into a Formalized Theory of Interval Differentiation H Dawood, Y Dawood Cairo University, 2017 | 5 | 2017 |
Interval Algerbras: A Formalized Treatment H Dawood, Y Dawood Cairo University, 2016 | 5 | 2016 |
Parametric Intervals: More Reliable or Foundationally Problematic? H Dawood, Y Dawood Online Mathematics Journal 1 (3), 37-54, 2019 | 4 | 2019 |
The Form of the Uncertain: On the Mathematical Structures of Uncertainty H Dawood, Y Dawood Cairo University, 2016 | 4 | 2016 |
On Some Order-theoretic Aspects of Interval Algebras H Dawood, Y Dawood Cairo University, 2014 | 4 | 2014 |
A Dependency-Aware Interval Algebra H Dawood, Y Dawood Cairo University, 2013 | 4 | 2013 |
Logical Aspects of Interval Dependency H Dawood, Y Dawood Cairo University, 2013 | 4 | 2013 |
On the Metamathematics of the Theory of Interval Numbers H Dawood, Y Dawood Cairo University, 2010 | 3 | 2010 |
On the Mathematical Foundations of Algorithmic Differentiation H Dawood, Y Dawood Cairo University, 2017 | 2 | 2017 |
Interval Root Finding and Interval Polynomials: Methods and Applications in Science and Engineering H Dawood, Y Dawood Polynomial Paradigms: Trends and Applications in Science and Engineering, 15 …, 2022 | 1 | 2022 |
Applied Logic Flowchart J Corcoran, H Dawood, Y Dawood https://scholar.cu.edu.eg/henddawood/publications/applied-logic-flow-chart, 2018 | | 2018 |
Logical Methodology Chart J Corcoran, H Dawood, Y Dawood https://scholar.cu.edu.eg/henddawood/publications/logical-methodology-chart, 2018 | | 2018 |
Towards a Dependency-Aware Interval Algebra H DAWOOD, Y DAWOOD | | |