Nicolae, Adriana

1. OpenBSD formal driver verification with SeL4
   2023/11/06 by Adriana Nicolae, Paul Irofti, Nicolae, Adriana +3 · 2 voices
   #cs.CR #cs.LO #cs.OS
2. Basic convex analysis in metric spaces with bounded curvature
   2023/02/07 by Lewis, Adrian S., López-Acedo, Genaro, Nicolae, Adriana · 2 citations
   #FOS: Mathematics #Metric Geometry (math.MG) #Optimization and Control (math.OC)
3. The Asymptotic Behavior of the Composition of Firmly Nonexpansive Mappings
   2014/11/25 by Ariza-Ruiz, David, López-Acedo, Genaro, Nicolae, Adriana · 1 citation
   #47H09 #49M27 #53C23 #FOS: Mathematics #Functional Analysis (math.FA) #Optimization and Control (math.OC)
4. Horoballs and the subgradient method
   2024/03/23 by Adrian S. Lewis, Lewis, Adrian S., Genaro López-Acedo +3 · 2 citations
   Social Sciences · #Psychology of Social Influence
5. An abstract proximal point algorithm
   2017/11/26 by Leustean, Laurentiu, Nicolae, Adriana, Sipos, Andrei · 1 citation
   #03F10 #46N10 #47H09 #47J25 #90C25 #FOS: Mathematics #Optimization and Control (math.OC)
6. Barycenters in uniformly convex geodesic spaces
   2016/09/08 by Laurenţiu Leuştean, Leustean, Laurentiu, Adriana Nicolae +3 · 1 citation
   Mathematics · #51F99 #53C23 #FOS: Mathematics #Geometric Analysis and Curvature Flows #Geometric and Algebraic Topology #Metric Geometry (math.MG) #Point processes and geometric inequalities