DATOS GENERALES | ||||||
|
||||||
NOMBRAMIENTOS | ||||||
|
||||||
ESTIMULOS, PROGRAMAS, PREMIOS Y RECONOCIMIENTOS
|
# | Título del capítulo | Título del libro | Autores | Alcance | Año | ISBN | Fuente |
---|---|---|---|---|---|---|---|
1 | Towards Efficient Runtime Verified Linearizable Algorithms | Rodríguez G.V., Castañeda A., | Conference Paper | 2025 | 9783031742330 | WoS-id: 001420093700017 Scopus-id: 2-s2.0-85207661674 | |
2 | Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability | Proceedings Of The Annual Acm Symposium On Principles Of Distributed Computing | Castañeda A., Rodríguez G.V., | Conference Paper | 2023 | 9798400701214 | WoS-id: 001119139100013 Scopus-id: 2-s2.0-85163972497 |
# | Entidad | Nivel | Asignatura | Año | Semestre | Alumnos |
---|---|---|---|---|---|---|
1 | Facultad de Ciencias | Licenciatura | COMPUTACION CONCURRENTE | 2024 | 2024-2 | 48 |
2 | Facultad de Ciencias | Licenciatura | COMPUTACION CONCURRENTE | 2023 | 2024-1 | 38 |
# | Título del libro | Título del capítulo | ISBN | Editorial | Año | Fuente |
---|