Material de apoyo al proceso de enseñanza aprendizaje para la asignatura en línea de Criptografía

Grado: Ingeniería en Computación

Verificación formal para la detección de errores de programación con lógica de separación y bi-abducción

Grado: Ingeniería en Computación

KGraphFI: Grafo de conocimiento de propiedades para el análisis de la mortalidad por COVID-19 en la Ciudad de México

Grado: Ingeniería en Computación

Sistema de automatización de reportes para la toma de decisiones

Grado: Ingeniería en Computación

Red Solana para trazabilidad de imágenes públicas

Grado: Ingeniería en Computación

IPFS para trazabilidad de imágenes públicas

Grado: Ingeniería en Computación

Creación de material digital para la enseñanza de la tecnología blockchain

Grado: Ingeniería en Computación

Sistema de transparencia presupuestal basado en Blockchain

Grado: Ingeniería en Computación

Aprendizaje automático para el análisis del impacto de contagio y muestreo por Sars-CoV-2 en la población estudiantil de la Ciudad de México

Grado: Ingeniería en Computación

Un enfoque de fusión de datos de variables físicas medidas a través de una red de sensores inalámbrica

Grado: Ingeniería en Computación

Aprendizaje automático para el análisis del comportamiento del comercio al por menor en México

Grado: Ingeniería en Computación

Relación de la afluencia de usuarios en el Metro y hospitalizaciones por COVID-19 en la Ciudad de México: Un enfoque de aprendizaje automático

Grado: Ingeniería en Computación

Verificación de Modelos para la Planificación de Trayectorias

Grado: Ingeniería en Computación

Geolocalización de publicaciones en redes sociales

Grado: Ingeniería en Computación

Metodología para generar aplicaciones basadas en blockchain

Grado: Maestría en Ciencia e Ingeniería de la Computación

Marco de referencia para trazabilidad y almacenamiento de activos digitales

Grado: Maestría en Ciencia e Ingeniería de la Computación

Sistema Verificado para Licitaciones Automatizadas

Grado: Maestría en Ciencia e Ingeniería de la Computación

Árboles de hipersecuentes para lógicas modales con inversa

Grado: Maestría en Ciencia e Ingeniería de la Computación

Razonamiento en consultas a través de satisfacibilidad módulo teorías

Grado: Maestría en Ciencia e Ingeniería de la Computación

Razonamiento y aprendizaje automatizado en lógicas modales

Grado: Maestría en Ciencia e Ingeniería de la Computación

Satisfacibilidad modal a través de satisfacibilidad clásica

Grado: Maestría en Ciencia e Ingeniería de la Computación

Esquema para la descentralización de servicios de seguridad en una infraestructura de llave pública

Grado: Doctorado en Ciencias de la Computación, Centro de Investigación en Computación, IPN

Un Modelo Multicapas Basado en Blockchain que Fortalece la Integridad y Seguridad de Información Pública

Grado: Doctorado en Ciencias de la Ingeniería, UAEM.

Protocolo eficiente y confiable para dar trazabilidad a activos digitales

Grado: Maestría en Ciencia e Ingeniería en Computación, IIMAS.

Sistema de transparencia presupuestal basado en Blockchain

Grado: Ingeniería en Computación

Auditorías digitales para proveer transparencia presupuestal en Blockchain privados

Grado: Ingeniería en Computación

Material de apoyo al proceso de enseñanza aprendizaje para la asignatura en línea de Criptografía

Grado: Ingeniería en Computación

Sistema de contabilidad electrónica basado en Blockchain y orientado a la auditoría fiscal

Grado: Ingeniería en Computación

Sistema de Registro de Ventas Confiable basado en Blockchain

Grado: Ingeniería en Computación

Satisfabilidad Módulo Teorías y XPath

Grado: Maestría en Computación

Sistemas de inferencia para lógica modal con inversas

Grado: Maestría en Computación

Geolocalización de publicaciones en medios sociales

Grado: Ingeniería en Computación

Verificación automática de programas

Grado: Ingeniería en Computación

Protocolo Verificado para Licitaciones Automatizadas

Grado: Maestría en Ciencia e Ingeniería en Computación, IIMAS.

Sistema basado en Blockchain para el Control de Armas en México