Branimir Lambov

Bounds on Iterations of Asymptotically Quasi-Nonexpansive Mappings

U. Kohlenbach, Branimir Lambov, 2003 .

A Two-Layer Approach to the Computability and Complexity of Real Numbers

Branimir Lambov, 2003 .

Trie memtables in Cassandra

Branimir Lambov, 2022, Proc. VLDB Endow..

Interval Arithmetic Using SSE-2

Branimir Lambov, Branimir Lambov, 2008, Reliable Implementation of Real Number Algorithms.

INTERVAL ARITHMETIC USING SSE-2 (DRAFT)

Branimir Lambov, 2006 .

The basic feasible functionals in computable analysis

Branimir Lambov, Branimir Lambov, 2006, J. Complex..