| |
| 2008 | ||
|---|---|---|
| 7 | EE | Branimir Lambov: Interval Arithmetic Using SSE-2. Reliable Implementation of Real Number Algorithms 2008: 102-113 |
| 2007 | ||
| 6 | EE | Branimir Lambov: RealLib: An efficient implementation of exact real arithmetic. Mathematical Structures in Computer Science 17(1): 81-98 (2007) |
| 2006 | ||
| 5 | EE | Branimir Lambov: Interval Arithmetic Using SSE-2. Reliable Implementation of Real Number Algorithms 2006 |
| 4 | EE | Branimir Lambov: The basic feasible functionals in computable analysis. J. Complexity 22(6): 909-917 (2006) |
| 2005 | ||
| 3 | Branimir Lambov: RealLib: an Efficient Implementation of Exact Real Arithmetic. CCA 2005: 169-175 | |
| 2 | EE | Branimir Lambov: Complexity and Intensionality in a Type-1 Framework for Computable Analysis. CSL 2005: 442-461 |
| 1 | EE | Branimir Lambov: Rates of Convergence of Recursively Defined Sequences. Electr. Notes Theor. Comput. Sci. 120: 125-133 (2005) |