ROCIO ALEJANDRA ALDECO PEREZ
| DATOS GENERALES | ||||||
|
||||||
| NOMBRAMIENTOS | ||||||
|
||||||
ESTIMULOS, PROGRAMAS, PREMIOS Y RECONOCIMIENTOS
|
||||||
| INFORMACIÓN DE PUBLICACIONES | ||||||
| Firmas | |
| Aldeco-Pérez R. Aldeco-Perez, Rocio Pérez R.A. |
| Áreas de conocimiento | |
|
Computer science, artificial intelligence Computer science, software engineering Education Engineering (miscellaneous) Software |
Coautorías con entidades de la UNAM
|
Revistas en las que ha publicado (3):
|
Documentos indexados (WoS y Scopus)
| # | Título del documento | Autores | Año | Revista | Fuente | Citas WoS | Citas Scopus |
|---|---|---|---|---|---|---|---|
| 1 | Modeling a multi-layered blockchain framework for digital services that governments can implement | 2ᵒ autor: Aldeco-Perez, Rocio, Rebollar, Fernando, Ramos, Marco A. | 2022 | JOURNAL OF INTELLIGENT & FUZZY SYSTEMS | WoS-id: 000777901700024 Scopus-id: 2-s2.0-85128175690 | 0 | 1 |
| 2 | Formal Verification of Blockchain Based Tender Systems | 2ᵒ autor: Aldeco-Pérez R., Dávila R., Bárcenas E. | 2022 | PROGRAMMING AND COMPUTER SOFTWARE | WoS-id: 000901775000007 Scopus-id: 2-s2.0-85144569675 | 1 | 1 |
| 3 | Algorithm for Identification and Analysis of Targeted Advertising used in Trending Topics | Coautor: Pérez R.A., Enriquez D.R., Molero-Castillo G., Bárcenas E. | 2022 | Proceedings Of The Laccei International Multi-Conference For Engineering, Education And Techiology | Scopus-id: 2-s2.0-85139986797 | 0 | 1 |
| 4 | Database Management System Verification with Separation Logics | Coautor: Aldeco-Perez, Rocio, Medina-Martinez, Diego, Barcenas, Everardo, Molero-Castillo, Guillermo, et al. | 2021 | PROGRAMMING AND COMPUTER SOFTWARE | WoS-id: 000736161100008 Scopus-id: 2-s2.0-85121769951 | 1 | 1 |
Capítulos de libros (WoS y Scopus)
| # | Título del capítulo | Título del libro | Autores | Alcance | Año | ISBN | Fuente |
|---|---|---|---|---|---|---|---|
| 1 | On the Decentralization of Attribute-Based Encryption Schemes | 2023 Mexican International Conference On Computer Science, Enc 2023 | Aldeco-Perez R.A., Hinojosa-Cabello M.B., Morales-Sandoval M., et al. | Conference Paper | 2023 | 9798350393156 | WoS-id: 001227314800026 Scopus-id: 2-s2.0-85192835471 |
| 2 | On the Formal Verification of Smart Contracts | Proceedings - 2023 11th International Conference In Software Engineering Research And Innovation, Conisoft 2023 | Dávila R., Aldeco-Pérez R., Bárcenas E., | Conference Paper | 2023 | 9798350328837 | WoS-id: 001260867900001 Scopus-id: 2-s2.0-85198226138 |
| 3 | A satisfiability algorithm for multimodal logic with converse | Proceedings - 2023 11th International Conference In Software Engineering Research And Innovation, Conisoft 2023 | Medina-Martínez D., Bárcenas E., Aldeco-Pérez R., et al. | Conference Paper | 2023 | 9798350328837 | WoS-id: 001260867900029 Scopus-id: 2-s2.0-85198229229 |
| 4 | Tender System Verification with Satisfiability Modulo Theories | 2021 9th International Conference In Software Engineering Research And Innovation (conisoft 2021) | Aldeco-Perez, Rocio, Barcenas, Everardo, Davila, Rene, | Proceedings Paper | 2021 | 9781665443616 | WoS-id: 000850130100009 Scopus-id: 2-s2.0-85124489605 |
| 5 | Formal Verification of a Database Management System | 2020 8th Edition Of The International Conference In Software Engineering Research And Innovation (conisoft 2020) | Medina-Martinez, Diego, Barcenas, Everardo, Molero-Castillo, Guillermo, et al. | Proceedings Paper | 2020 | 9781728184500 | WoS-id: 000678294700013 Scopus-id: 2-s2.0-85101240638 |
No se encuentran registros en la base de datos de obras con ISBN (Indautor).
Proyectos
| # | Nombre | Participantes | Convocatoria | Fecha Inicio | Fecha Fin |
|---|---|---|---|---|---|
| 1 | Generación de confianza y trazabilidad en procesamiento de información usando Linaje Electrónico basado en Blockchain. | ROCIO ALEJANDRA ALDECO PEREZ, | Recursos PAPIIT | 01-01-2021 | 31-12-2022 |
| 2 | Plataforma en línea para la asignatura de Criptografía Plataforma en línea con detección de plagio para la asignatura de Criptografía. | ROCIO ALEJANDRA ALDECO PEREZ, | Recursos PAPIME | 01-01-2021 | 31-12-2021 |
| 3 | Material en línea interactivo para aprender los principios computacionales de blockchain. | ROCIO ALEJANDRA ALDECO PEREZ, | Recursos PAPIME | 01-01-2022 | 31-12-2022 |
| 4 | Construcción de blockchains públicos eficientes y sustentables | ROCIO ALEJANDRA ALDECO PEREZ, | Recursos PAPIIT | 01-01-2023 | 31-12-2024 |
Participación en Comités de Tesis
| # | Título del documento | Tipo de Tesis | Sinodales | Autores | Año | Entidad | Url |
|---|---|---|---|---|---|---|---|
| 1 | Sistema de transparencia basado en blockchain | Tesis de Licenciatura | ROCIO ALEJANDRA ALDECO PEREZ; | Joya Venegas, Jehosua Alan; | 2022 | Facultad de Ingeniería, |  |
Docencia Impartida
| # | Entidad | Nivel | Asignatura | Año | Semestre | Alumnos |
|---|---|---|---|---|---|---|
| 1 | Facultad de Ingeniería | Licenciatura | CRIPTOGRAFIA | 2024 | 2024-2 | 54 |
| 2 | Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas | Maestría | SEMINARIO DE INVESTIGACIÓN I | 2024 | 2024-2 | 1 |
| 3 | Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas | Maestría | SEMINARIO PARA LA OBTENCIÓN DEL GRADO | 2024 | 2024-2 | 5 |
| 4 | Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas | Maestría | TEMAS SELECTOS DE REDES Y SEGURIDAD EN CÓMPUTO (FUNDAMENTOS TEÓRICOS Y PRÁCTICOS DE BLOCKCHAIN) | 2024 | 2024-2 | 6 |
| 5 | Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas | Maestría | COLOQUIO DE INVESTIGACIÓN I | 2024 | 2024-2 | 7 |
| 6 | Facultad de Ingeniería | Licenciatura | CRIPTOGRAFIA | 2023 | 2024-1 | 37 |
| 7 | Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas | Maestría | SEMINARIO DE INVESTIGACIÓN II | 2023 | 2024-1 | 2 |
| 8 | Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas | Maestría | COLOQUIO DE INVESTIGACIÓN II | 2023 | 2024-1 | 5 |
| 9 | Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas | Maestría | SEGURIDAD INFORMÁTICA (REDES Y SEGURIDAD EN CÓMPUTO) | 2023 | 2024-1 | 5 |
| 10 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2023 | 2023-2 | 30 |
| 11 | Facultad de Ingeniería | Licenciatura | CRIPTOGRAFIA | 2023 | 2023-2 | 41 |
| 12 | Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas | Maestría | SEMINARIO DE INVESTIGACIÓN I | 2023 | 2023-2 | 2 |
| 13 | Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas | Maestría | TEMAS SELECTOS DE REDES Y SEGURIDAD EN CÓMPUTO (FUNDAMENTOS TEÓRICOS Y PRÁCTICOS DE BLOCKCHAIN) | 2023 | 2023-2 | 10 |
| 14 | Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas | Maestría | TEMAS SELECTOS DE REDES Y SEGURIDAD EN CÓMPUTO | 2022 | 2022-2 | 6 |
| 15 | Facultad de Ingeniería | Licenciatura | CRIPTOGRAFIA | 2022 | 2022-2 | 2 |
| 16 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2022 | 2022-2 | 16 |
| 17 | Facultad de Ingeniería | Licenciatura | CRIPTOGRAFIA | 2022 | 2022-2 | 15 |
| 18 | Facultad de Ingeniería | Licenciatura | CRIPTOGRAFIA | 2021 | 2022-1 | 34 |
| 19 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2021 | 2022-1 | 32 |
| 20 | Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas | Maestría | SEGURIDAD INFORMÁTICA (REDES Y SEGURIDAD EN CÓMPUTO) | 2021 | 2022-1 | 5 |
| 21 | Facultad de Ingeniería | Licenciatura | CRIPTOGRAFIA | 2021 | 2021-2 | 35 |
| 22 | Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas | Maestría | SEGURIDAD INFORMÁTICA (REDES Y SEGURIDAD EN CÓMPUTO) | 2021 | 2021-2 | 3 |
| 23 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2021 | 2021-2 | 26 |
| 24 | Facultad de Ingeniería | Licenciatura | CRIPTOGRAFIA | 2020 | 2021-1 | 34 |
| 25 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2020 | 2021-1 | 37 |
| 26 | Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas | Maestría | SEGURIDAD INFORMÁTICA (REDES Y SEGURIDAD EN CÓMPUTO) | 2020 | 2021-1 | 2 |
| 27 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2020 | 2020-2 | 23 |
| 28 | Facultad de Ingeniería | Licenciatura | CRIPTOGRAFIA | 2020 | 2020-2 | 30 |
| 29 | Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas | Especialidad | ASIGNATURA OPTATIVA (SEGURIDAD INFORMATICA) | 2020 | 2020-2 | 1 |
| 30 | Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas | Maestría | SEGURIDAD INFORMÁTICA (REDES Y SEGURIDAD EN CÓMPUTO) | 2020 | 2020-2 | 5 |
| 31 | Facultad de Ingeniería | Licenciatura | CRIPTOGRAFIA | 2019 | 2020-1 | 25 |
| 32 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2019 | 2020-1 | 40 |
No se encuentran registros en la base de datos de patentes.
No se encuentran registros en la base de datos de libros completos (Humanindex).
Capítulos de libros (Humanindex)
| # | Título del libro | Título del capítulo | ISBN | Editorial | Año | Fuente |
|---|