DIEGO ROBERTO MEDINA MARTINEZ



DATOS GENERALES
Nombre completo   DIEGO ROBERTO MEDINA MARTINEZ
Máximo nivel de estudios   PASANTE
Antigüedad académica en la UNAM   4 años
NOMBRAMIENTOS
Último  AYUDANTE PROFESOR A TP No Definitivo
Facultad de Ingeniería
AYUDANTE PROFESOR A TP No Definitivo
Facultad de Ingeniería
Desde 01-02-2023 hasta 15-08-2024
AYUDANTE PROFESOR A TP No Definitivo
Facultad de Ingeniería
Desde 01-10-2021 hasta 31-01-2023
AYUDANTE PROFESOR A TP No Definitivo
Facultad de Ingeniería
Desde 16-10-2019 hasta 30-09-2021
ESTIMULOS, PROGRAMAS, PREMIOS Y RECONOCIMIENTOS
NO CUENTA CON ESTIMULOS, PROGRAMAS, PREMIOS Y RECONOCIMIENTOS
INFORMACIÓN DE PUBLICACIONES
Firmas  
Medina-Martinez, Diego
Áreas de conocimiento  
Computer science, software engineering Software
Coautorías con entidades de la UNAM  
  • Facultad de Ingeniería
 Revistas en las que ha publicado  (1):
  1. PROGRAMMING AND COMPUTER SOFTWARE, Rusia (2021)


Descargar PDF

Documentos indexados (WoS y Scopus)

# Título del documento Autores Año Revista Fuente Citas WoS Citas Scopus
1Database Management System Verification with Separation Logics1ᵉʳ autor: Medina-Martinez, Diego, Barcenas, Everardo, Molero-Castillo, Guillermo, Velazquez-Mena, Alejandro, et al.2021PROGRAMMING AND COMPUTER SOFTWAREWoS-id: 000736161100008
Scopus-id: 2-s2.0-85121769951
11
Descargar PDF

Documentos no indexados (Humanindex)

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

Capítulos de libros (WoS y Scopus)

# Título del capítulo Título del libro Autores Alcance Año ISBN Fuente
1A satisfiability algorithm for multimodal logic with converseProceedings - 2023 11th International Conference In Software Engineering Research And Innovation, Conisoft 2023Medina-Martínez D., Bárcenas E., Aldeco-Pérez R., et al.Conference Paper20239798350328837WoS-id: 001260867900029
Scopus-id: 2-s2.0-85198229229
2Formal Verification of a Database Management System2020 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 Paper20209781728184500WoS-id: 000678294700013
Scopus-id: 2-s2.0-85101240638
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

No se encuentran registros en la base de datos de docencia impartida.

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