Perfil académico
| Nombre | ARMANDO CASTAÑEDA ROJANO |
|---|---|
| Área | FÍSICO-MATEMÁTICAS Y CIENCIAS DE LA TIERRA |
| Campo | MATEMÁTICAS |
| Disciplina | CIENCIA DE LOS ORDENADORES |
| Especialidad | OTRAS |
| CVU | 173459 |
| Institución | |
|---|---|
| Dependencia | COORDINACION DE LA INVESTIGACION CIENTIFICA |
| Entidad | CIUDAD DE MEXICO |
| Nivel | 2 |
| Vigencia | Inicio: 01/01/2026 |
| Fin: 31/12/2030 |
Información del primer trimestre de 2026.
Fuente: SECIHTI.
Publicaciones ORCID
- 2026
- A reliable non-intrusive runtime verification framework for linearizability Science of Computer Programming
- Impossibility Results for Strong Linearizability: The Difficulty of Consistent Refereeing
- Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability Journal of the ACM
- Equivalence and Separation Between Heard-Of and Asynchronous Message-Passing Models
- 2025
- Asynchronous Fault-Tolerant Language Decidability for Runtime Verification of Distributed Systems
- Modular Baskets Queue
- Towards Efficient Runtime Verified Linearizable Algorithms
- 2024
- Recent Advances on Principles of Concurrent Data Structures Communications of the ACM
- Strong Linearizability using Primitives with Consensus Number 2
- Pattern Models: A Dynamic Epistemic Logic for Distributed Systems