MIGUEL CARRILLO BARAJAS



DATOS GENERALES
Nombre completo   MIGUEL CARRILLO BARAJAS
Máximo nivel de estudios   DOCTORADO
Antigüedad académica en la UNAM   14 años
NOMBRAMIENTOS
Vigente   PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 16-05-2024
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 01-11-2023 hasta 15-05-2024
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 16-05-2023 hasta 30-10-2023
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 16-11-2022 hasta 15-05-2023
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 16-04-2022 hasta 15-11-2022
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 16-10-2021 hasta 15-04-2022
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 16-04-2021 hasta 15-10-2021
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 16-10-2019 hasta 15-03-2020
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 01-10-2017 hasta 15-03-2018
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 01-05-2015 hasta 15-09-2015
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 16-11-2013 hasta 15-09-2014
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 16-05-2013 hasta 15-11-2013
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 01-01-2012 hasta 15-05-2013
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 16-12-2009 hasta 15-04-2010
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 16-07-2008 hasta 30-10-2008
ESTIMULOS, PROGRAMAS, PREMIOS Y RECONOCIMIENTOS
NO CUENTA CON ESTIMULOS, PROGRAMAS, PREMIOS Y RECONOCIMIENTOS
INFORMACIÓN DE PUBLICACIONES
Firmas  
Carrillo M. Carrillo, M
ID's SCOPUS  
15058600200
Áreas de conocimiento  
Computer science, artificial intelligence Computer science, theory & methods Genetics and heredity Mathematical & computational biology Computer Science (miscellaneous)
Computer Science Applications Linguistics and Language Molecular medicine Plant Science
Coautorías con entidades de la UNAM  
  • Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas
  • Facultad de Ciencias
  • Facultad de Ingeniería
 Revistas en las que ha publicado  (7):
  1. ARTIFICIAL INTELLIGENCE, Países Bajos (2014)
  2. Bmc Bioinformatics, Reino Unido (2011)
  3. Communications in Computer and Information Science, Alemania (2021)
  4. Frontiers in Genetics, Suiza (2018)
  5. Frontiers in Plant Science, Suiza (2012)
  6. International Journal of Pure and Applied Mathematics, Estados Unidos America (2009)
  7. Lecture Notes in Computer Science, Suiza (2011, 2014)


Descargar PDF

Documentos indexados (WoS y Scopus)

# Título del documento Autores Año Revista Fuente Citas WoS Citas Scopus
1Verification and Simulation of Time-Domain Properties for Models of Behaviour1ᵉʳ autor: Carrillo M., Estivill-Castro V., Rosenblueth D.A.2021Communications in Computer and Information ScienceWoS-id: 001351570100010
Scopus-id: 2-s2.0-85101348809
13
2Griffin: A Tool for Symbolic Inference of Synchronous Boolean Molecular Networks2ᵒ autor: Carrillo M., Muñoz S., Azpeitia E., Rosenblueth D.A.2018Frontiers in GeneticsWoS-id: 000426747100001
Scopus-id: 2-s2.0-85043400808
910
3CTL update of Kripke models through protections1ᵉʳ autor: Carrillo, M, Rosenblueth, DA2014ARTIFICIAL INTELLIGENCEWoS-id: 000335637100003
Scopus-id: 2-s2.0-84897556304
910
4Inference of Boolean Networks from Gene Interaction Graphs Using a SAT SolverCoautor: Carrillo M., Rosenblueth D.A., Muñoz S., Azpeitia E.2014Lecture Notes in Computer ScienceWoS-id: 000352635300019
Scopus-id: 2-s2.0-84903973920
1414
5An overview of existing modeling tools making use of model checking in the analysis of biochemical networks1ᵉʳ autor: Carrillo, M, Gongora, PA, Rosenblueth, DA2012Frontiers in Plant ScienceWoS-id: 000208837900152
Scopus-id: 2-s2.0-84885676246
2223
6"Antelope": a hybrid-logic model checker for branching- time Boolean GRN analysisCoautor: Carrillo M., Arellano G., Argil J., Azpeitia E., et al.2011Bmc BioinformaticsWoS-id: 000302435200001
Scopus-id: 2-s2.0-84055213967
2636
7Nondeterministic update of CTL models by preserving satisfaction through protections1ᵉʳ autor: Carrillo M., Rosenblueth D.A.2011Lecture Notes in Computer ScienceScopus-id: 2-s2.0-80054058756
04
8A method for ctl model update, representing kripke structures as "table systems"1ᵉʳ autor: Carrillo M., Rosenblueth D.A.2009International Journal of Pure and Applied MathematicsScopus-id: 2-s2.0-78649786132
06
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
1Learning models from temporal-logic properties via explanationsAaai Workshop - Technical ReportCarrillo M., Rosenblueth D.A., Conference Paper20079781577353331Scopus-id: 2-s2.0-51849128217
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

Participación en Comités de Tesis

# Título del documento Tipo de Tesis Sinodales Autores Año Entidad Url
1Verificación de modelos para lógica híbrida de tiempo ramificadoTesis de LicenciaturaMIGUEL CARRILLO BARAJAS; Vázquez Sandoval, Itzel; 2009
Descargar PDF

Docencia Impartida

# Entidad Nivel Asignatura Año Semestre Alumnos
1Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20242024-219
2Facultad de CienciasLicenciaturaCOMPILADORES20232024-140
3Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20232024-16
4Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20232023-25
5Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20222023-124
6Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL II20222023-14
7Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20222022-26
8Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20222022-21
9Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL II20212022-12
10Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20212022-11
11Facultad de CienciasLicenciaturaSEM.D CIENCIAS DE LA COMPUTACION B20212021-22
12Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20202021-18
13Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20202021-114
14Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20202021-11
15Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL II20192020-18
16Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20192020-110
17Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20182019-118
18Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20172018-121
19Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20152015-212
20Facultad de CienciasLicenciaturaTEMAS SELECTOS DE ING. DE SOFTWARE20152015-22
21Facultad de CienciasLicenciaturaSEM. DE COMPUTACION TEORICA20152015-22
22Facultad de CienciasLicenciaturaLOGICAS NO CLASICAS20142014-23
23Facultad de CienciasLicenciaturaTEMAS SELECTOS DE ING. DE SOFTWARE20132014-14
24Facultad de CienciasLicenciaturaANALISIS LOGICO20132013-219
25Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20132013-23
26Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL II20132013-22
27Facultad de CienciasLicenciaturaLOGICAS NO CLASICAS20132013-21
28Facultad de CienciasLicenciaturaANALISIS LOGICO20122013-121
29Facultad de CienciasLicenciaturaLOGICAS NO CLASICAS20122012-24
30Facultad de CienciasLicenciaturaTEMAS SELECTOS DE ING. DE SOFTWARE20112012-12
31Facultad de CienciasLicenciaturaANALISIS LOGICO20112011-222
32Facultad de CienciasLicenciaturaSEM. DE COMPUTACION TEORICA20092010-13
33Facultad de CienciasLicenciaturaSEM. DE COMPUTACION TEORICA20082008-28
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