arrow
Back
A

Armando Castañeda

Universidad Nacional Autonoma de Mexico

13H-index
103Paper Count
894Citation Count
Published Papers 10
Publication Date
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
err2026-02-01
err0
PREAI
errCastaneda, Armando; Rodriguez, Gilde Valeria
errShare
errSave
Recent Advances on Principles of Concurrent Data Structures
err2024-08-01
err0
PREAI
errCastaneda, Armando; Rajsbaum, Sergio
errShare
errSave
errShare
errSave
A Linearizabilitybased Hierarchy for Concurrent Specifications
err2022-12-20
err3
PREAI
errCastaneda, Armando; Rajsbaum, Sergio; Raynal, Michel
errShare
errSave
Separating lock-freedom from wait-freedom at every level of the consensus hierarchy
err2022-05-01
err0
PREAI
errAttiya, Hagit; Castaneda, Armando; Hendler, Danny; Perrin, Matthieu
errShare
errSave
errShare
errSave
PREPARATION OF 8-MEMBERED CYCLIC ETHERS BY LEWIS ACID PROMOTED ACETAL ALKENE CYCLIZATIONS
err2002-05-01
err97
PREAI
errBLUMENKOPF, TA; BRATZ, M; CASTANEDA, A; LOOK, GC; OVERMAN, LE; RODRIGUEZ, D; THOMPSON, AS
errShare
errSave
EFFICIENT PREPARATIONS OF 8-MEMBERED AND 9-MEMBERED CYCLIC ETHERS
err2002-05-01
err76
PREAI
errOVERMAN, LE; BLUMENKOPF, TA; CASTANEDA, A; THOMPSON, AS
errShare
errSave