DIEGO ALEJANDRO VELAZQUEZ CERVANTES



DATOS GENERALES
Nombre completo   DIEGO ALEJANDRO VELAZQUEZ CERVANTES
Máximo nivel de estudios   LICENCIATURA
Antigüedad académica en la UNAM   3 años
NOMBRAMIENTOS
Vigente   PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 01-10-2024
AYUDANTE PROFESOR B TP No Definitivo
Facultad de Ciencias
Desde 01-10-2019 hasta 15-03-2020
AYUDANTE PROFESOR A TP No Definitivo
Coordinación de Estudios de Posgrado
Desde 01-11-2019 hasta 31-01-2020
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 16-12-2013 hasta 15-03-2014
AYUDANTE PROFESOR A TP No Definitivo
Facultad de Ciencias
Desde 01-12-2010 hasta 30-06-2012
ESTIMULOS, PROGRAMAS, PREMIOS Y RECONOCIMIENTOS
NO CUENTA CON ESTIMULOS, PROGRAMAS, PREMIOS Y RECONOCIMIENTOS
INFORMACIÓN DE PUBLICACIONES
Firmas  
Velázquez D.A. Velazquez, Diego A.
Áreas de conocimiento  
Computer science, theory and methods Computer science (miscellaneous) Philosophy Software
Coautorías con entidades de la UNAM  
Revistas en las que ha publicado  (3):
  1. COMPUT J, Reino Unido (2024)
  2. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, Estados Unidos America (2023)
  3. Journal of Philosophical Logic, Países Bajos (2023)


Descargar PDF

Documentos indexados (WoS y Scopus)

# Título del documento Autores Año Revista Fuente Citas WoS Citas Scopus
1Pattern Models: A Dynamic Epistemic Logic for Distributed SystemsCoautor: Velázquez D.A., Castañeda A., Van Ditmarsch H., Rosenblueth D.A.2024COMPUT JWoS-id: 001164246500001
Scopus-id: 2-s2.0-85199515630
00
2Communication Pattern Logic: Epistemic and Topological ViewsCoautor: Velazquez, Diego A., Castañeda A., van Ditmarsch, Hans, Rosenblueth, David A.2023Journal of Philosophical LogicWoS-id: 001039841000001
Scopus-id: 2-s2.0-85173273778
44
3Comparing the Update Expressivity of Communication Patterns and Action ModelsCoautor: Velazquez, Diego A., Castañeda A., van Ditmarsch, Hans, Rosenblueth, David A.2023ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCEWoS-id: 001048648700015
Scopus-id: 2-s2.0-85168704423
12
Descargar PDF

Documentos no indexados (Humanindex)

# Título del documento ISSN Revista Año Fuente
Descargar PDF

No se encuentran registros en la base de datos de capítulos de libros (WoS y Scopus).

Descargar PDF

No se encuentran registros en la base de datos de obras con ISBN (Indautor).

Descargar PDF

No se encuentran registros en la base de datos de proyectos.

Descargar PDF

No se encuentran registros en la base de datos de comités de tesis.

Descargar PDF

Docencia Impartida

# Entidad Nivel Asignatura Año Semestre Alumnos
1Facultad de CienciasLicenciaturaCOMPUTACION I20132014-14
Descargar PDF

No se encuentran registros en la base de datos de patentes.

Descargar PDF

No se encuentran registros en la base de datos de libros completos (Humanindex).

Descargar PDF

Capítulos de libros (Humanindex)

# Título del libro Título del capítulo ISBN Editorial Año Fuente