Sequentiality and Piecewise-affinity in Segments of Real-PCF. - Amin Farjudian (Workshop on Domains, 2002)

Shrad: A Language for Sequential Real Number Computation. - Amin Farjudian (CiE, 2005)

Time Complexity and Convergence Analysis of Domain Theoretic Picard Method. - Amin Farjudian; Michal Konecný (WoLLIC, 2008)

Semantics of Query-Driven Communication of Exact Values. - Michal Konecný; Amin Farjudian (J. Univers. Comput. Sci., 2010)

Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values. - Michal Konecný; Amin Farjudian (J. Univers. Comput. Sci., 2010)

On the Kolmogorov Complexity of Continuous Real Functions. - Amin Farjudian (CiE, 2011)

Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures. - Amin Farjudian (WoLLIC, 2012)

Function Interval Arithmetic. - Jan Duracz; Amin Farjudian; Michal Konecný; Walid Taha (ICMS, 2014)

An Elliptic Optimal Control Problem and its Two Relaxations. - Behrouz Emamizadeh; Amin Farjudian; Hayk Mikayelyan (J. Optim. Theory Appl., 2017)

Optimal harvesting strategy based on rearrangements of functions. - Behrouz Emamizadeh; Amin Farjudian; Yichen Liu 002 (Appl. Math. Comput., 2018)

Safe & robust reachability analysis of hybrid systems. - Eugenio Moggi; Amin Farjudian; Adam Duracz; Walid Taha (Theor. Comput. Sci., 2018)

System Analysis and Robustness. - Eugenio Moggi; Amin Farjudian; Walid Taha (ICTCS, 2019)

Computable Analysis of Linear Rearrangement Optimization. - Amin Farjudian (TAMC, 2019)

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

Representing Computational Relations in Knowledge Graphs Using Functional Languages (Short Paper). - Yanmin Qi; Heshan Du; Amin Farjudian; Yunqiang Zhu (COSIT, 2022)

An ANN-Assisted Control for the Power Decoupling of a Multiple Active Bridge DC-DC Converter. - Giampaolo Buticchi; Amin Farjudian; Juyoung Oh; Luca Tarisciotti (IECON, 2022)

Retaining Semantics in Image to Music Conversion. - Zeyu Xiong; Pei-Chun Lin; Amin Farjudian (ISM, 2022)

Validated Computation of Lipschitz Constant of Recurrent Neural Networks. - Yuhua Guo; Yiran Li 003; Amin Farjudian (ICMLSC, 2023)

Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. - Francesco Dagnino; Amin Farjudian; Eugenio Moggi (ICTAC, 2023)

A Logic of East and West. - Heshan Du; Natasha Alechina; Amin Farjudian; Brian Logan 001; Can Zhou 002; Anthony G. Cohn 001 (J. Artif. Intell. Res., 2023)

Robustness, Scott continuity, and computability. - Amin Farjudian; Eugenio Moggi (Math. Struct. Comput. Sci., 2023)

A domain-theoretic framework for robustness analysis of neural networks. - Can Zhou 002; Razin A. Shaikh; Yiran Li 003; Amin Farjudian (Math. Struct. Comput. Sci., 2023)

Bridging Mathematics and Computer Science Through Threshold Concepts. - Amin Farjudian (IEEE Trans. Educ., 2023)

Recursive solution of initial value problems with temporal discretization. - Abbas Edalat; Amin Farjudian; Yiran Li 003 (Theor. Comput. Sci., 2023)

A Logic of East and West for Intervals (Short Paper). - Zekai Li; Amin Farjudian; Heshan Du (COSIT, 2024)

Cardinality and Bounding Constrained Portfolio Optimization Using Safe Reinforcement Learning. - Yiran Li 003; Nanjiang Du; Xingke Song; Xiaoying Yang; Tianxiang Cui; Ning Xue; Amin Farjudian; Jianfeng Ren; Wooi Ping Cheah (IJCNN, 2024)

Continuous Domains for Function Spaces Using Spectral Compactification. - Amin Farjudian; Achim Jung (CoRR, 2024)

A knowledge graph-driven method for automated Geo-computations: Illustrated with soil erosion and soil potential productivity cases in China. - Yanmin Qi; Yunqiang Zhu; Shu Wang 006; Ping Fu; Zhenji Gao; Stuart Marsh; Amin Farjudian (Int. J. Appl. Earth Obs. Geoinformation, 2025)

Linking geo-models for geomorphological classification using knowledge graphs. - Yanmin Qi; Yunqiang Zhu; Shu Wang 006; Yutao Zhong 004; Stuart Marsh; Amin Farjudian; Heshan Du (Comput. Geosci., 2025)

Pruning convolutional neural networks for inductive conformal prediction. - Xindi Zhao; Amin Farjudian; Anthony Bellotti (Neurocomputing, 2025)

Robust Topology and the Hausdorff-Smyth Monad on Metric Spaces over Continuous Quantales. - Francesco Dagnino; Amin Farjudian; Eugenio Moggi (CoRR, 2025)