| |
| 2007 | ||
|---|---|---|
| 6 | EE | Laurentiu Leustean: Rates of Asymptotic Regularity for Halpern Iterations of Nonexpansive Mappings. J. UCS 13(11): 1680-1691 (2007) |
| 2006 | ||
| 5 | EE | Laurentiu Leustean: Proof Mining in R-trees and Hyperbolic Spaces. Electr. Notes Theor. Comput. Sci. 165: 95-106 (2006) |
| 2005 | ||
| 4 | EE | Ulrich Kohlenbach, Laurentiu Leustean: Approximate fixed points of nonexpansive functions in product spaces. Mathematics, Algorithms, Proofs 2005 |
| 3 | EE | Laurentiu Leustean: Sheaf representations of BL-algebras. Soft Comput. 9(12): 897-909 (2005) |
| 2003 | ||
| 2 | EE | Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean: Certifying Optimality of State Estimation Programs. CAV 2003: 301-314 |
| 1 | EE | Antonio di Nola, Laurentiu Leustean: Compact representations of BL-algebras. Arch. Math. Log. 42(8): 737-761 (2003) |
| 1 | Ulrich Kohlenbach | [4] |
| 2 | Antonio di Nola | [1] |
| 3 | Grigore Rosu | [2] |
| 4 | Ram Prasad Venkatesan | [2] |
| 5 | Jon Whittle (Jonathan Whittle) | [2] |