Follow
Amin Farjudian
Title
Cited by
Cited by
Year
Function interval arithmetic
J Duracz, A Farjudian, M Konečnı, W Taha
International Congress on Mathematical Software, 677-684, 2014
192014
Safe & robust reachability analysis of hybrid systems
E Moggi, A Farjudian, A Duracz, W Taha
Theoretical Computer Science 747, 75-99, 2018
112018
Existence of Continuous Eigenvalues for a Class of Parametric Problems Involving the (p,2)-Laplacian Operator
T Bhattacharya, B Emamizadeh, A Farjudian
Acta Applicandae Mathematicae, 1-15, 2019
102019
Optimal harvesting strategy based on rearrangements of functions
B Emamizadeh, A Farjudian, Y Liu
Applied Mathematics and Computation 320, 677-690, 2018
102018
Sequentiality in real number computation
A Farjudian
University of Birmingham, 2004
92004
Picard method for enclosing ODEs with uncertain initial values
M Konečnı, J Duracz, A Farjudian, W Taha
11th International Conference on Computability and Complexity in Analysis …, 2014
82014
Shrad: A language for sequential real number computation
A Farjudian
Theory of Computing Systems 41 (1), 49-105, 2007
82007
Time complexity and convergence analysis of domain theoretic Picard method
A Farjudian, M Konečnı
Logic, Language, Information and Computation: 15th International Workshop …, 2008
72008
Optimization related to some nonlocal problems of Kirchhoff type
B Emamizadeh, A Farjudian, M Zivari-Rezapour
Canadian Journal of Mathematics 68 (3), 521-540, 2016
62016
Sequentiality and Piecewise-affinity in Segments of Real-PCF
A Farjudian
Electronic Notes in Theoretical Computer Science 73, 3-43, 2004
62004
Domain theoretic second-order Euler's method for solving initial value problems
A Edalat, A Farjudian, M Mohammadian, D Pattinson
Electronic Notes in Theoretical Computer Science 352, 105-128, 2020
52020
System Analysis and Robustness
E Moggi, A Farjudian, W Taha
20th Italian Conference on Theoretical Computer Science, ICTCS 2019, 1-7, 2019
52019
Semantics of query-driven communication of exact values
M Konečnı, A Farjudian
Journal of Universal Computer Science 16 (18), 2597-2628, 2010
5*2010
Conservativity of wRPCF over PCF
A Farjudian
Unpublished Manuscript, 2003
52003
Optimization problems with fixed volume constraints and stability results related to rearrangement classes
Y Liu, B Emamizadeh, A Farjudian
Journal of Mathematical Analysis and Applications 443 (2), 1293-1310, 2016
42016
On the Kolmogorov complexity of continuous real functions
A Farjudian
Annals of Pure and Applied Logic (APAL) 164 (5), 566–576, 2013
42013
An ANN-Assisted Control for the Power Decoupling of a Multiple Active Bridge DC-DC Converter
G Buticchi, A Farjudian, J Oh, L Tarisciotti
IECON 2022–48th Annual Conference of the IEEE Industrial Electronics Society …, 2022
32022
A domain-theoretic framework for robustness analysis of neural networks
C Zhou, RA Shaikh, Y Li, A Farjudian
Mathematical Structures in Computer Science 33 (2), 68-105, 2023
22023
Robustness, Scott continuity, and computability
A Farjudian, E Moggi
Mathematical Structures in Computer Science 33 (6), 536-572, 2023
22023
Retaining Semantics in Image to Music Conversion
Z Xiong, PC Lin, A Farjudian
2022 IEEE International Symposium on Multimedia (ISM), 228-235, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20