Adriana Nicolae

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 12

Top Topics

Top Venues

J. Optim. Theory Appl.

J. Approx. Theory

Publications

Adrian S. Lewis, Genaro López-Acedo, Adriana Nicolae
Basic Convex Analysis in Metric Spaces with Bounded Curvature. SIAM J. Optim. 34 (1) (2024)
Adrian S. Lewis, Genaro López-Acedo, Adriana Nicolae
Horoballs and the subgradient method. CoRR (2024)
Ariel Goodwin, Adrian S. Lewis, Genaro López-Acedo, Adriana Nicolae
Recognizing weighted means in geodesic spaces. CoRR (2024)
Adriana Nicolae, Paul Irofti, Ioana Leustean
OpenBSD formal driver verification with SeL4. CoRR (2023)
Adriana Nicolae, Paul Irofti, Ioana Leustean
OpenBSD Formal Driver Verification with SeL4. SecITC (2023)
Adrian S. Lewis, Genaro López-Acedo, Adriana Nicolae
Local Linear Convergence of Alternating Projections in Metric Spaces with Bounded Curvature. SIAM J. Optim. 32 (2) (2022)
David Ariza-Ruiz, Genaro López-Acedo, Adriana Nicolae
A Note on the Paper "The Asymptotic Behavior of the Composition of Firmly Nonexpansive Mappings". J. Optim. Theory Appl. 187 (1) (2020)
Laurentiu Leustean, Adriana Nicolae, Andrei Sipos
An abstract proximal point algorithm. J. Glob. Optim. 72 (3) (2018)
Ulrich Kohlenbach, Adriana Nicolae
A Proof-Theoretic Bound Extraction Theorem for CAT (κ) -Spaces. Stud Logica 105 (3) (2017)
Alexandru Kristály, Chong Li, Genaro López-Acedo, Adriana Nicolae
What Do 'Convexities' Imply on Hadamard Manifolds? J. Optim. Theory Appl. 170 (3) (2016)
David Ariza-Ruiz, Aurora Fernández-León, Genaro López-Acedo, Adriana Nicolae
Chebyshev sets in geodesic spaces. J. Approx. Theory 207 (2016)
David Ariza-Ruiz, Genaro López-Acedo, Adriana Nicolae
The Asymptotic Behavior of the Composition of Firmly Nonexpansive Mappings. J. Optim. Theory Appl. 167 (2) (2015)
Adriana Nicolae
On some generalized contraction type mappings. Appl. Math. Lett. 23 (2) (2010)