Adriana Nicolae

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