Recursive solution of initial value problems with temporal discretization

A domain-theoretic framework for robustness analysis of neural networks

(2023) Can Zhou et al.   MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE

Smooth Approximation of Lipschitz Maps and Their Subgradients

(2021) Abbas Edalat   JOURNAL OF THE ACM

Modified error bounds for approximate solutions of dense linear systems

(2019) Atsushi Minamihata et al.   JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS

Safe & robust reachability analysis of hybrid systems

(2018) Eugenio Moggi et al.   THEORETICAL COMPUTER SCIENCE

A domain-theoretic approach to Brownian motion and general continuous stochastic processes

(2017) Paul Bilokon et al.   THEORETICAL COMPUTER SCIENCE

How functional programming mattered

(2015) Zhenjiang Hu et al.   National Science Review

A computational model for multi-variable differential calculus

(2012) Abbas Edalat et al.   INFORMATION AND COMPUTATION

An algorithm for addressing the real interval eigenvalue problem

(2010) Milan Hladík et al.   JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS