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 | |
![]() |
|
55805843300 57205122401 | |
![]() |
|
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 | 2024 | 2024-2 | 17 |
2 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2023 | 2024-1 | 21 |
3 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2019 | 2019-2 | 14 |
4 | Facultad de Ingeniería | Licenciatura | ADMINISTRACION DE REDES | 2019 | 2019-2 | 8 |
5 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2018 | 2019-1 | 29 |
6 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2018 | 2019-1 | 30 |
7 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2018 | 2018-2 | 26 |
8 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2018 | 2018-2 | 20 |
9 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2017 | 2018-1 | 27 |
10 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2017 | 2018-1 | 27 |
11 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2017 | 2017-2 | 11 |
12 | Facultad de Ingeniería | Licenciatura | APRENDIZAJE | 2017 | 2017-2 | 22 |
13 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2017 | 2017-2 | 23 |
14 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2016 | 2017-1 | 19 |
15 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2016 | 2017-1 | 27 |
16 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2016 | 2016-2 | 16 |
17 | Facultad de Ingeniería | Licenciatura | PROCES.CORPUS TEXTUALES Y ORALES | 2016 | 2016-2 | 1 |
18 | Facultad de Ingeniería | Licenciatura | SEMINARIO DE TITULACION | 2016 | 2016-2 | 9 |
19 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2015 | 2016-1 | 18 |
20 | Facultad de Ingeniería | Licenciatura | SEMINARIO DE TITULACION | 2015 | 2016-1 | 5 |
21 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2015 | 2015-2 | 15 |
22 | Facultad de Ingeniería | Licenciatura | SEMINARIO DE TITULACION | 2015 | 2015-2 | 3 |
23 | Facultad de Ingeniería | Licenciatura | INGENIERIA DE SOFTWARE | 2014 | 2015-1 | 31 |
24 | Facultad de Ingeniería | Licenciatura | SEMINARIO DE TITULACION | 2014 | 2015-1 | 2 |
25 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2014 | 2015-1 | 20 |
26 | Instituto de Ingeniería | Curso de Bachillerato | Visual Basic 6 | 2014 | 0 | |
27 | Instituto de Ingeniería | Curso de Bachillerato | PHP | 2014 | 0 | |
28 | Instituto de Ingeniería | Curso de Bachillerato | Diseño orientado a objetos y UML | 2014 | 0 | |
29 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2014 | 2014-2 | 7 |
30 | Facultad de Ingeniería | Licenciatura | INGENIERIA DE SOFTWARE | 2014 | 2014-2 | 29 |
31 | Facultad de Ingeniería | Licenciatura | INGENIERIA DE SOFTWARE | 2013 | 2014-1 | 32 |
32 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2013 | 2014-1 | 31 |
33 | Instituto de Ingeniería | Curso de Bachillerato | Android básico | 2013 | 0 | |
34 | Instituto de Ingeniería | Curso de Bachillerato | JAVA | 2013 | 0 | |
35 | Instituto de Ingeniería | Curso de Bachillerato | Python | 2013 | 0 | |
36 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2013 | 2013-2 | 7 |
37 | Facultad de Ingeniería | Licenciatura | INGENIERIA DE SOFTWARE | 2013 | 2013-2 | 4 |
38 | Facultad de Ingeniería | Licenciatura | INGENIERIA DE SOFTWARE | 2012 | 2013-1 | 30 |
39 | Facultad de Ingeniería | Licenciatura | PROGRAMACION AVANZADA METDOS.NUMER | 2012 | 2013-1 | 40 |
40 | Instituto de Ingeniería | Curso de Licenciatura | Java básico parte 2 | 2012 | 0 | |
41 | Facultad de Ingeniería | Licenciatura | INGENIERIA DE SOFTWARE | 2012 | 2012-2 | 24 |
42 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2012 | 2012-2 | 7 |
43 | Instituto de Ingeniería | Curso de Licenciatura | Java básico | 2012 | 0 | |
44 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2011 | 2012-1 | 13 |
45 | Instituto de Ingeniería | Curso de Licenciatura | Diseño Orientado a Objetos y UML | 2011 | 0 | |
46 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2011 | 2011-2 | 22 |
47 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2010 | 2011-1 | 13 |
48 | Instituto de Ingeniería | Curso de Licenciatura | Java Web | 2010 | 0 | |
49 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2010 | 2010-2 | 22 |
50 | Instituto de Ingeniería | Curso de Licenciatura | Diseño Orientado a Objetos y UML | 2010 | 0 | |
51 | Facultad de Ingeniería | Licenciatura | ADMINISTRACION DE REDES | 2009 | 2010-1 | 17 |
52 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2009 | 2010-1 | 39 |
53 | Instituto de Ingeniería | Curso de Licenciatura | Java Web | 2009 | 0 | |
54 | Instituto de Ingeniería | Curso de Licenciatura | Java Aplicaciones | 2009 | 0 | |
55 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2009 | 2009-2 | 39 |
56 | Facultad de Ingeniería | Licenciatura | ADMINISTRACION DE REDES | 2009 | 2009-2 | 37 |
57 | Instituto de Ingeniería | Curso de Licenciatura | Java básico | 2009 | 0 | |
58 | Instituto de Ingeniería | Curso de Licenciatura | Diseño orientado a objetos y UML | 2009 | 0 | |
59 | Facultad de Ingeniería | Licenciatura | ADMINISTRACION DE REDES | 2008 | 2009-1 | 42 |
60 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2008 | 2009-1 | 38 |
61 | Facultad de Ingeniería | Licenciatura | ADMINISTRACION DE REDES | 2008 | 2008-2 | 37 |
62 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2008 | 2008-2 | 40 |
63 | Facultad de Ingeniería | Licenciatura | REDES DE DATOS | 2007 | 2008-1 | 38 |
64 | 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 |
---|