| |
| 2008 | ||
|---|---|---|
| 4 | EE | Amin Farjudian, Michal Konecný: Time Complexity and Convergence Analysis of Domain Theoretic Picard Method. WoLLIC 2008: 149-163 |
| 2007 | ||
| 3 | EE | Amin Farjudian: Shrad: A Language for Sequential Real Number Computation. Theory Comput. Syst. 41(1): 49-105 (2007) |
| 2005 | ||
| 2 | EE | Amin Farjudian: Shrad: A Language for Sequential Real Number Computation. CiE 2005: 128-128 |
| 2004 | ||
| 1 | EE | Amin Farjudian: Sequentiality and Piecewise-affinity in Segments of Real-PCF. Electr. Notes Theor. Comput. Sci. 73: 3-43 (2004) |
| 1 | Michal Konecný | [4] |