ARACELI LILIANA REYES CABELLO
| DATOS GENERALES | ||||||
|
||||||
| NOMBRAMIENTOS | ||||||
|
||||||
ESTIMULOS, PROGRAMAS, PREMIOS Y RECONOCIMIENTOS
|
||||||
| INFORMACIÓN DE PUBLICACIONES | ||||||
| Firmas | |
| Reyes-Cabello A.L. | |
 ID's SCOPUS |
|
| 15023095400 |
| Áreas de conocimiento | |
| Mathematics |
|
Coautorías con entidades de la UNAM
|
Revistas en las que ha publicado (1):
|
Documentos indexados (WoS y Scopus)
| # | Título del documento | Autores | Año | Revista | Fuente | Citas WoS | Citas Scopus |
|---|---|---|---|---|---|---|---|
| 1 | Towards abductive reasoning in first-order logic | 1ᵉʳ autor: Reyes-Cabello A.L., Aliseda-Llera A., Nepomuceno-Fernández Á. | 2006 | Logic Journal Of The Igpl | WoS-id: 000242800900012 Scopus-id: 2-s2.0-33750058724 | 10 | 15 |
No se encuentran registros en la base de datos de capítulos de libros (WoS y Scopus).
No se encuentran registros en la base de datos de obras con ISBN (Indautor).
No se encuentran registros en la base de datos de proyectos.
Participación en Comités de Tesis
| # | Título del documento | Tipo de Tesis | Sinodales | Autores | Año | Entidad | Url |
|---|---|---|---|---|---|---|---|
| 1 | El teorema de Kleene mediante derivadas de expresiones regulares | Tesis de Licenciatura | ARACELI LILIANA REYES CABELLO; | Reyes Sánchez, Rafael; | 2019 | Facultad de Ciencias, |  |
Docencia Impartida
| # | Entidad | Nivel | Asignatura | Año | Semestre | Alumnos |
|---|---|---|---|---|---|---|
| 1 | Facultad de Ciencias | Licenciatura | TEORIA DE LA COMPUTACION | 2023 | 2024-1 | 3 |
| 2 | Facultad de Ciencias | Licenciatura | AUTOMATAS Y LENGUAJES FORMALES | 2023 | 2024-1 | 10 |
| 3 | Facultad de Ciencias | Licenciatura | MATEMATICAS DISCRETAS | 2023 | 2023-2 | 22 |
| 4 | Facultad de Ciencias | Licenciatura | ESTRUCTURAS DISCRETAS | 2023 | 2023-2 | 8 |
| 5 | Facultad de Ciencias | Licenciatura | AUTOMATAS Y LENGUAJES FORMALES | 2022 | 2023-1 | 16 |
| 6 | Facultad de Ciencias | Licenciatura | TEORIA DE LA COMPUTACION | 2022 | 2023-1 | 2 |
| 7 | Facultad de Ciencias | Licenciatura | TEORIA DE LA COMPUTACION | 2022 | 2022-2 | 2 |
| 8 | Facultad de Ciencias | Licenciatura | AUTOMATAS Y LENGUAJES FORMALES | 2022 | 2022-2 | 6 |
| 9 | Facultad de Ciencias | Licenciatura | AUTOMATAS Y LENGUAJES FORMALES | 2021 | 2022-1 | 9 |
| 10 | Facultad de Ciencias | Licenciatura | AUTOMATAS Y LENGUAJES FORMALES | 2019 | 2020-1 | 5 |
| 11 | Facultad de Ciencias | Licenciatura | ESTRUCTURAS DISCRETAS | 2019 | 2019-2 | 2 |
| 12 | Facultad de Ciencias | Licenciatura | AUTOMATAS Y LENGUAJES FORMALES | 2018 | 2019-1 | 6 |
| 13 | Facultad de Ciencias | Licenciatura | ESTRUCTURAS DISCRETAS | 2018 | 2018-2 | 3 |
| 14 | Facultad de Ciencias | Licenciatura | MATEMATICAS DISCRETAS | 2018 | 2018-2 | 1 |
| 15 | Facultad de Ciencias | Licenciatura | MATEMATICAS DISCRETAS | 2017 | 2018-1 | 2 |
| 16 | Facultad de Ciencias | Licenciatura | ESTRUCTURAS DISCRETAS | 2017 | 2018-1 | 6 |
| 17 | Facultad de Ciencias | Licenciatura | AUTOMATAS Y LENGUAJES FORMALES | 2014 | 2014-2 | 11 |
| 18 | Facultad de Ciencias | Licenciatura | TEORIA DE LA COMPUTACION | 2014 | 2014-2 | 6 |
| 19 | Facultad de Ciencias | Licenciatura | ESTRUCTURAS DISCRETAS | 2013 | 2014-1 | 32 |
| 20 | Facultad de Ciencias | Licenciatura | ANALISIS LOGICO | 2011 | 2011-2 | 17 |
| 21 | Facultad de Ciencias | Licenciatura | SEMANTICA Y VERIFICACION | 2010 | 2011-1 | 7 |
| 22 | Facultad de Ciencias | Licenciatura | ANALISIS LOGICO | 2010 | 2010-2 | 33 |
| 23 | Facultad de Ciencias | Licenciatura | MATEMATICAS DISCRETAS | 2009 | 2010-1 | 46 |
| 24 | Facultad de Ciencias | Licenciatura | MATEMATICAS DISCRETAS | 2008 | 2009-1 | 40 |
| 25 | Facultad de Ciencias | Licenciatura | TEORIA DE LA COMPUTACION | 2008 | 2008-2 | 16 |
| 26 | Facultad de Ciencias | Licenciatura | TEORIA DE LA COMPUTACION | 2007 | 2008-1 | 24 |
No se encuentran registros en la base de datos de patentes.
No se encuentran registros en la base de datos de libros completos (Humanindex).
Capítulos de libros (Humanindex)
| # | Título del libro | Título del capítulo | ISBN | Editorial | Año | Fuente |
|---|