Amin Farjudian

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 22

Top Topics

Multicriteria Optimization

Theoretic Framework

Top Venues

Math. Struct. Comput. Sci.

Theor. Comput. Sci.

J. Optim. Theory Appl.

Publications

Abbas Edalat, Amin Farjudian, Yiran Li
Recursive Solution of Initial Value Problems with Temporal Discretization. CoRR (2023)
Francesco Dagnino, Amin Farjudian, Eugenio Moggi
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. ICTAC (2023)
Francesco Dagnino, Amin Farjudian, Eugenio Moggi
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. CoRR (2023)
Amin Farjudian, Eugenio Moggi
Robustness, Scott continuity, and computability. Math. Struct. Comput. Sci. 33 (6) (2023)
Abbas Edalat, Amin Farjudian, Yiran Li
Recursive solution of initial value problems with temporal discretization. Theor. Comput. Sci. 980 (2023)
Amin Farjudian
Bridging Mathematics and Computer Science Through Threshold Concepts. IEEE Trans. Educ. 66 (2) (2023)
Can Zhou, Razin A. Shaikh, Yiran Li, Amin Farjudian
A domain-theoretic framework for robustness analysis of neural networks. Math. Struct. Comput. Sci. 33 (2) (2023)
Yuhua Guo, Yiran Li, Amin Farjudian
Validated Computation of Lipschitz Constant of Recurrent Neural Networks. ICMLSC (2023)
Heshan Du, Natasha Alechina, Amin Farjudian, Brian Logan, Can Zhou, Anthony G. Cohn
A Logic of East and West. J. Artif. Intell. Res. 76 (2023)
Yanmin Qi, Heshan Du, Amin Farjudian, Yunqiang Zhu
Representing Computational Relations in Knowledge Graphs Using Functional Languages (Short Paper). COSIT (2022)
Amin Farjudian, Eugenio Moggi
Robustness, Scott Continuity, and Computability. CoRR (2022)
Can Zhou, Razin A. Shaikh, Yiran Li, Amin Farjudian
A Domain-Theoretic Framework for Robustness Analysis of Neural Networks. CoRR (2022)
Giampaolo Buticchi, Amin Farjudian, Juyoung Oh, Luca Tarisciotti
An ANN-Assisted Control for the Power Decoupling of a Multiple Active Bridge DC-DC Converter. IECON (2022)
Zeyu Xiong, Pei-Chun Lin, Amin Farjudian
Retaining Semantics in Image to Music Conversion. ISM (2022)
Abbas Edalat, Amin Farjudian, Mina Mohammadian, Dirk Pattinson
Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems. MFPS (2020)
Eugenio Moggi, Amin Farjudian, Walid Taha
System Analysis and Robustness. ICTCS (2019)
Amin Farjudian
Computable Analysis of Linear Rearrangement Optimization. TAMC (2019)
Behrouz Emamizadeh, Amin Farjudian, Yichen Liu
Optimal harvesting strategy based on rearrangements of functions. Appl. Math. Comput. 320 (2018)
Eugenio Moggi, Amin Farjudian, Walid Taha
System Analysis and Robustness. Models, Mindsets, Meta (2018)
Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha
Safe & robust reachability analysis of hybrid systems. Theor. Comput. Sci. 747 (2018)
Behrouz Emamizadeh, Amin Farjudian, Hayk Mikayelyan
An Elliptic Optimal Control Problem and its Two Relaxations. J. Optim. Theory Appl. 172 (2) (2017)
Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha
Safe & Robust Reachability Analysis of Hybrid Systems. CoRR (2017)
Jan Duracz, Amin Farjudian, Michal Konecný, Walid Taha
Function Interval Arithmetic. ICMS (2014)
Amin Farjudian
On the Kolmogorov complexity of continuous real functions. Ann. Pure Appl. Log. 164 (5) (2013)
Amin Farjudian
Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures. WoLLIC (2012)
Amin Farjudian
On the Kolmogorov Complexity of Continuous Real Functions. CiE (2011)
Michal Konecný, Amin Farjudian
Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values. J. Univers. Comput. Sci. 16 (18) (2010)
Michal Konecný, Amin Farjudian
Semantics of Query-Driven Communication of Exact Values. J. Univers. Comput. Sci. 16 (18) (2010)
Amin Farjudian, Michal Konecný
Time Complexity and Convergence Analysis of Domain Theoretic Picard Method. WoLLIC (2008)
Amin Farjudian
Shrad: A Language for Sequential Real Number Computation. Theory Comput. Syst. 41 (1) (2007)
Amin Farjudian
Shrad: A Language for Sequential Real Number Computation. CiE (2005)
Amin Farjudian
Sequentiality and Piecewise-affinity in Segments of Real-PCF. Electron. Notes Theor. Comput. Sci. 73 (2004)