| DATOS GENERALES | |||||||||
|
|||||||||
| NOMBRAMIENTOS | |||||||||
|
|||||||||
ESTIMULOS, PROGRAMAS, PREMIOS Y RECONOCIMIENTOS
|
|||||||||
| INFORMACIÓN DE PUBLICACIONES | |||||||||
| Firmas | |
| Mena A.V. Velázquez-Mena A. Velazquez-Mena, A Velazquez-Mena, A. Velazquez-Mena, Alejandro | |
ID's SCOPUS |
|
| 57205122401 | |
ORCID's |
|
| 0000-0003-3509-6236 |
| Áreas de conocimiento | |
|
Automation and control systems Computer science, software engineering Telecommunications Computer networks and communications Computer science (miscellaneous) Media Technology Software |
Coautorías con entidades de la UNAM
|
Revistas en las que ha publicado (8):
|
| # | Título del capítulo | Título del libro | Autores | Alcance | Año | ISBN | Fuente |
|---|---|---|---|---|---|---|---|
| 1 | 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 |
| 2 | 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 |
| 3 | Data fusion of physical variables as bearing for user thermal comfort analysis in closed environments | 2019 Ieee International Conference On Engineering Veracruz, Icev 2019 | Molero-Castillo G., Barcenas E., Velazquez A., et al. | Conference Paper | 2019 | 9781728133041 | Scopus-id: 2-s2.0-85077184154 |
| 4 | A Satisfiability Algorithm for the Mu-Calculus for Trees with Presburger Constraints | Proceedings - 2019 7th International Conference In Software Engineering Research And Innovation, Conisoft 2019 | Barcenas E., Molero-Castillo G., Velazquez-Mena A., et al. | Conference Paper | 2019 | 9781728125244 | WoS-id: 000589696500009 Scopus-id: 2-s2.0-85088572195 |
| # | Entidad | Nivel | Asignatura | Año | Semestre | Alumnos |
|---|---|---|---|---|---|---|
| 1 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS SEGURAS | 2025 | 2025-2 | 20 |
| 2 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2024 | 2025-1 | 10 |
| 3 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS SEGURAS | 2024 | 2024-2 | 17 |
| 4 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2023 | 2024-1 | 21 |
| 5 | Facultad de Ingeniería | Licenciatura | ADMINISTRACION DE REDES | 2019 | 2019-2 | 8 |
| 6 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2019 | 2019-2 | 14 |
| 7 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2018 | 2019-1 | 29 |
| 8 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2018 | 2019-1 | 30 |
| 9 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2018 | 2018-2 | 20 |
| 10 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2018 | 2018-2 | 26 |
| 11 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2017 | 2018-1 | 27 |
| 12 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2017 | 2018-1 | 27 |
| 13 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2017 | 2017-2 | 11 |
| 14 | Facultad de Ingeniería | Licenciatura | APRENDIZAJE | 2017 | 2017-2 | 22 |
| 15 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2017 | 2017-2 | 23 |
| 16 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2016 | 2017-1 | 19 |
| 17 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2016 | 2017-1 | 27 |
| 18 | Facultad de Ingeniería | Licenciatura | PROCES.CORPUS TEXTUALES Y ORALES | 2016 | 2016-2 | 1 |
| 19 | Facultad de Ingeniería | Licenciatura | SEMINARIO DE TITULACION | 2016 | 2016-2 | 9 |
| 20 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2016 | 2016-2 | 16 |
| 21 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2015 | 2016-1 | 18 |
| 22 | Facultad de Ingeniería | Licenciatura | SEMINARIO DE TITULACION | 2015 | 2016-1 | 5 |
| 23 | Facultad de Ingeniería | Licenciatura | SEMINARIO DE TITULACION | 2015 | 2015-2 | 3 |
| 24 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2015 | 2015-2 | 15 |
| 25 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2014 | 2015-1 | 20 |
| 26 | Facultad de Ingeniería | Licenciatura | INGENIERIA DE SOFTWARE | 2014 | 2015-1 | 31 |
| 27 | Facultad de Ingeniería | Licenciatura | SEMINARIO DE TITULACION | 2014 | 2015-1 | 2 |
| 28 | Instituto de Ingeniería | Curso de Bachillerato | Visual Basic 6 | 2014 | 0 | |
| 29 | Instituto de Ingeniería | Curso de Bachillerato | PHP | 2014 | 0 | |
| 30 | Instituto de Ingeniería | Curso de Bachillerato | Diseño orientado a objetos y UML | 2014 | 0 | |
| 31 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2014 | 2014-2 | 7 |
| 32 | Facultad de Ingeniería | Licenciatura | INGENIERIA DE SOFTWARE | 2014 | 2014-2 | 29 |
| 33 | Facultad de Ingeniería | Licenciatura | INGENIERIA DE SOFTWARE | 2013 | 2014-1 | 32 |
| 34 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2013 | 2014-1 | 31 |
| 35 | Instituto de Ingeniería | Curso de Bachillerato | Android básico | 2013 | 0 | |
| 36 | Instituto de Ingeniería | Curso de Bachillerato | JAVA | 2013 | 0 | |
| 37 | Instituto de Ingeniería | Curso de Bachillerato | Python | 2013 | 0 | |
| 38 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2013 | 2013-2 | 7 |
| 39 | Facultad de Ingeniería | Licenciatura | INGENIERIA DE SOFTWARE | 2013 | 2013-2 | 4 |
| 40 | Facultad de Ingeniería | Licenciatura | INGENIERIA DE SOFTWARE | 2012 | 2013-1 | 30 |
| 41 | Facultad de Ingeniería | Licenciatura | PROGRAMACION AVANZADA METDOS.NUMER | 2012 | 2013-1 | 40 |
| 42 | Instituto de Ingeniería | Curso de Licenciatura | Java básico parte 2 | 2012 | 0 | |
| 43 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2012 | 2012-2 | 7 |
| 44 | Facultad de Ingeniería | Licenciatura | INGENIERIA DE SOFTWARE | 2012 | 2012-2 | 24 |
| 45 | Instituto de Ingeniería | Curso de Licenciatura | Java básico | 2012 | 0 | |
| 46 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2011 | 2012-1 | 13 |
| 47 | Instituto de Ingeniería | Curso de Licenciatura | Diseño Orientado a Objetos y UML | 2011 | 0 | |
| 48 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2011 | 2011-2 | 22 |
| 49 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2010 | 2011-1 | 13 |
| 50 | Instituto de Ingeniería | Curso de Licenciatura | Java Web | 2010 | 0 | |
| 51 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2010 | 2010-2 | 22 |
| 52 | Instituto de Ingeniería | Curso de Licenciatura | Diseño Orientado a Objetos y UML | 2010 | 0 | |
| 53 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2009 | 2010-1 | 39 |
| 54 | Facultad de Ingeniería | Licenciatura | ADMINISTRACION DE REDES | 2009 | 2010-1 | 17 |
| 55 | Instituto de Ingeniería | Curso de Licenciatura | Java Web | 2009 | 0 | |
| 56 | Instituto de Ingeniería | Curso de Licenciatura | Java Aplicaciones | 2009 | 0 | |
| 57 | Facultad de Ingeniería | Licenciatura | ADMINISTRACION DE REDES | 2009 | 2009-2 | 37 |
| 58 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2009 | 2009-2 | 39 |
| 59 | Instituto de Ingeniería | Curso de Licenciatura | Java básico | 2009 | 0 | |
| 60 | Instituto de Ingeniería | Curso de Licenciatura | Diseño orientado a objetos y UML | 2009 | 0 | |
| 61 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2008 | 2009-1 | 38 |
| 62 | Facultad de Ingeniería | Licenciatura | ADMINISTRACION DE REDES | 2008 | 2009-1 | 42 |
| 63 | Facultad de Ingeniería | Licenciatura | ADMINISTRACION DE REDES | 2008 | 2008-2 | 37 |
| 64 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2008 | 2008-2 | 40 |
| 65 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2007 | 2008-1 | 38 |
| 66 | Facultad de Ingeniería | Licenciatura | ADMINISTRACION DE REDES | 2007 | 2008-1 | 40 |
| # | Título del libro | Título del capítulo | ISBN | Editorial | Año | Fuente |
|---|