Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems. - Abbas Edalat; Amin Farjudian; Mina Mohammadian; Dirk Pattinson (MFPS, 2020)

Constructive Domains with Classical Witnesses. - Dirk Pattinson; Mina Mohammadian (Log. Methods Comput. Sci., 2021)