Differentiation in logical form. - Abbas Edalat; Mehrdad Maleki (LICS, 2017)

Differential Calculus with Imprecise Input and Its Logical Framework. - Abbas Edalat; Mehrdad Maleki (FoSSaCS, 2018)

HeunNet: Extending ResNet using Heun's Methods. - Mehrdad Maleki; Mansura Habiba; Barak A. Pearlmutter (CoRR, 2021)

Recent Trends in Modelling the Continuous Time Series using Deep Learning: A Survey. - Mansura Habiba; Barak A. Pearlmutter; Mehrdad Maleki (CoRR, 2024)