ISMAEL EVERARDO BARCENAS PATIÃ?O



DATOS GENERALES
Nombre completo   ISMAEL EVERARDO BARCENAS PATIÃ?O
Máximo nivel de estudios   DOCTORADO
Antigüedad académica en la UNAM   5 años
NOMBRAMIENTOS
Vigente   PROFESOR DE CARRERA ASOCIADO C TC No Definitivo
Facultad de Ingeniería
Desde 01-02-2023
PROFESOR DE CARRERA ASOCIADO C TC No Definitivo
Facultad de Ingeniería
Desde 01-12-2018 hasta 31-01-2023
ESTIMULOS, PROGRAMAS, PREMIOS Y RECONOCIMIENTOS
* SNI I2019 - VIGENTE
* PRIDE CVIGENTE
* EQUIVALENCIA PRIDE B2019 - 2023
INFORMACIÓN DE PUBLICACIONES
Firmas  
Bárcenas E. Barcenas, Everardo
ID's SCOPUS  
35182396600
Áreas de conocimiento  
Computer science, artificial intelligence Computer science, software engineering Computer science, theory & methods Logic Multidisciplinary sciences
Computer science (miscellaneous) Education Engineering (miscellaneous) Multidisciplinary Philosophy
Software
Coautorías con entidades de la UNAM  
  • Instituto de Neurobiología en Querétaro, Querétaro
  • Facultad de Ciencias
  • Facultad de Ingeniería
  • Facultad de Medicina
  • Escuela Nacional de Estudios Superiores, Unidad León, Guanajuato
 Revistas en las que ha publicado  (12):
  1. Advances In Intelligent Systems And Computing, Alemania (2020)
  2. CEUR Workshop Proceedings, Estados Unidos America (2016, 2020)
  3. Communications in Computer and Information Science, Alemania (2019)
  4. COMPUTACION Y SISTEMAS, México (2015, 2017, 2018, 2021)
  5. International Journal of Advanced Computer Science and Applications, Reino Unido (2020)
  6. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, Países Bajos (2018)
  7. Lecture Notes in Computer Science, Suiza (2013, 2015)
  8. LOG METH COMPUT SCI, Alemania (2014)
  9. Logic and Logical Philosophy, Reino Unido (2023)
  10. PLOS ONE, Estados Unidos America (2023, 2024)
  11. Proceedings Of The Laccei International Multi-Conference For Engineering, Education And Techiology, (2022)
  12. PROGRAMMING AND COMPUTER SOFTWARE, Rusia (2020, 2021)


Descargar PDF

Documentos indexados (WoS y Scopus)

# Título del documento Autores Año Revista Fuente Citas WoS Citas Scopus
1A fuzzy description logic based IoT framework: Formal verification and end user programmingCoautor: Bárcenas E., Pérez-Gaspar M., Gomez J., Garcia F.2024PLOS ONEWoS-id: 001190821200023
Scopus-id: 2-s2.0-85188445721
33
2Fidel Semantics for Propositional and First-Order Version of the Logic of CG'3Coautor y autor de correspondencia: Bárcenas E., Figallo-Orellano A., Pérez-Gaspar M.2023Logic and Logical PhilosophyWoS-id: 000805113700001
Scopus-id: 2-s2.0-85167886937
00
3Preventable risk factors for type 2 diabetes can be detected using noninvasive spontaneous electroretinogram signalsCoautor: Barcenas E., Imm R.N., Muñoz-Benitez J., Medina D., et al.2023PLOS ONEWoS-id: 000945393900001
Scopus-id: 2-s2.0-85146153497
46
4Algorithm for Identification and Analysis of Targeted Advertising used in Trending TopicsCoautor: Bárcenas E., Enriquez D.R., Molero-Castillo G., Pérez R.A.2022Proceedings Of The Laccei International Multi-Conference For Engineering, Education And TechiologyScopus-id: 2-s2.0-85139986797
01
5On the Algebrization of the Multi-valued Logics CG `(3) and G `(3)2ᵒ autor y autor de correspondencia: Barcenas, Everardo, Perez-Gaspar, Miguel2021COMPUTACION Y SISTEMASWoS-id: 000728984000008
Scopus-id: 2-s2.0-85122141151
00
6Database Management System Verification with Separation Logics2ᵒ autor: Barcenas, Everardo, Medina-Martinez, Diego, Molero-Castillo, Guillermo, Velazquez-Mena, Alejandro, et al.2021PROGRAMMING AND COMPUTER SOFTWAREWoS-id: 000736161100008
Scopus-id: 2-s2.0-85121769951
11
7Mu-Calculus Satisfiability with Arithmetic Constraints2ᵒ autor: Bárcenas E., Limón Y., Benítez-Guerrero E., Castillo G.M., et al.2020PROGRAMMING AND COMPUTER SOFTWAREWoS-id: 000601189600002
Scopus-id: 2-s2.0-85098464332
22
8Statistical Analysis of the Effects of Institutions on the Economic Growth of France in Recent YearsCoautor: Barcenas, Everardo, Cespedes-Gonzalez, Yaimara, Molero-Castillo, Guillermo, Arieta-Melgarejo, Patricia, et al.2020Advances In Intelligent Systems And ComputingWoS-id: 000675390800002
Scopus-id: 2-s2.0-85081297547
00
9Completeness for the paraconsistent logic CG'3 based on maximal theories2ᵒ autor y autor de correspondencia: Bárcenas E., Pérez-Gaspar M.2020CEUR Workshop ProceedingsScopus-id: 2-s2.0-85083026156
00
10Consistency checking of attention aware systems2ᵒ autor: Bárcenas E., Limón Y., Benítez-Guerrero E., Gomez J.2020CEUR Workshop ProceedingsScopus-id: 2-s2.0-85083034197
02
11Sensing of environmental variables for the analysis of indoor air pollutionCoautor: Barcenas E., Xilot J., Benitez-Guerrero E., Molero-Castillo G.2020International Journal of Advanced Computer Science and ApplicationsScopus-id: 2-s2.0-85087837993
01
12Expressive Context Modeling with Description Logics2ᵒ autor: Bárcenas E., Ramírez-Rueda R., Mezura-Godoy C., Molero-Castillo G.2019Communications in Computer and Information ScienceScopus-id: 2-s2.0-85066139843
01
13Depth-first reasoning on trees2ᵒ autor: Bárcenas E., Limón Y., Benítez-Guerrero E., Medina M.A.2018COMPUTACION Y SISTEMASWoS-id: 000431718200017
Scopus-id: 2-s2.0-85045937025
36
14Data fusion as source for the generation of useful knowledge in context-aware systemsCoautor: Bárcenas E., Muñoz J., Molero-Castillo G., Benítez-Guerrero E.2018JOURNAL OF INTELLIGENT & FUZZY SYSTEMSWoS-id: 000433204800031
Scopus-id: 2-s2.0-85063443784
59
15On the consistency of context-aware systems2ᵒ autor: Bárcenas E., Limón Y., Benítez-Guerrero E., Molero G.2018JOURNAL OF INTELLIGENT & FUZZY SYSTEMSWoS-id: 000433204800049
Scopus-id: 2-s2.0-85063492347
68
16Branching path planning with modal logics1ᵉʳ autor: Bárcenas E., Benítez-Guerrero E., Benitez A., De La Calleja J., et al.2017COMPUTACION Y SISTEMASWoS-id: 000416625300003
Scopus-id: 2-s2.0-85031672293
12
17Query reasoning on data trees with counting1ᵉʳ autor: Bárcenas E., Benítez-Guerrero E., Lavalle J.2016CEUR Workshop ProceedingsScopus-id: 2-s2.0-84987719389
00
18On the model checking of the graded µ-calculus on trees1ᵉʳ autor: Bárcenas E., Benítez-Guerrero E., Lavalle J.2015Lecture Notes in Computer ScienceWoS-id: 000367681700014
Scopus-id: 2-s2.0-84951956244
26
19A counting logic for trees1ᵉʳ autor y autor de correspondencia: Bárcenas E.2015COMPUTACION Y SISTEMASScopus-id: 2-s2.0-84938075786
01
20Global numerical constraints on trees1ᵉʳ autor: Bárcenas E., Lavalle J.2014LOG METH COMPUT SCIScopus-id: 2-s2.0-84902436936
014
21Expressive reasoning on tree structures: Recursion, inverse programs, presburger constraints and nominals1ᵉʳ autor: Bárcenas E., Lavalle J.2013Lecture Notes in Computer ScienceScopus-id: 2-s2.0-84894213785
011
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
1Consistent IoT Systems: A Perspective Based on Paraconsistent Descriptive LogicProceedings - 2024 International Conference On Intelligent Environments, Ie 2024Gomez J., Bárcenas E., García F., et al.Conference Paper20249798350386790Scopus-id: 2-s2.0-85200739334
2Consistent IoT Systems: A Perspective Based on Paraconsistent Descriptive Logic2024 International Conference On Intelligent Environments, Ie 2024Gomez, J, Bárcenas, E, García, F, et al.Proceedings Paper20249798350386806WoS-id: 001284730700020
3Program Synthesis and Natural Language Processing: A Systematic Literature ReviewProceedings - 2023 11th International Conference In Software Engineering Research And Innovation, Conisoft 2023Bárcenas E., Ramírez-Rueda R., Benítez-Guerrero E., et al.Conference Paper20239798350328837WoS-id: 001260867900018
Scopus-id: 2-s2.0-85198229439
4On the Formal Verification of Smart ContractsProceedings - 2023 11th International Conference In Software Engineering Research And Innovation, Conisoft 2023Dávila R., Aldeco-Pérez R., Bárcenas E., Conference Paper20239798350328837WoS-id: 001260867900001
Scopus-id: 2-s2.0-85198226138
5A 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
6Tender System Verification with Satisfiability Modulo Theories2021 9th International Conference In Software Engineering Research And Innovation (conisoft 2021)Aldeco-Perez, Rocio, Barcenas, Everardo, Davila, Rene, Proceedings Paper20219781665443616WoS-id: 000850130100009
Scopus-id: 2-s2.0-85124489605
7Geolocation of Tweets in Spanish with Transformer Encoders2021 9th International Conference In Software Engineering Research And Innovation (conisoft 2021)Barcenas, Everardo, Molero-Castillo, Guillermo, Aldeco-Perez, Rocio, et al.Proceedings Paper20219781665443616WoS-id: 000850130100026
Scopus-id: 2-s2.0-85124452956
8Formal 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
9An Approach to Automatic Recognition of Web Advertising Focused on Different Languages2020 8th Edition Of The International Conference In Software Engineering Research And Innovation (conisoft 2020)Molero-Castillo, Guillermo, Barcenas, Everardo, Jimenez, S, et al.Proceedings Paper20209781728184500WoS-id: 000678294700017
Scopus-id: 2-s2.0-85101277052
10Model checking for gaze pattern recognitionConielecomp 2019 - 2019 International Conference On Electronics, Communications And ComputersBarcenas E., Molero-Castillo G., Rodriguez A., Conference Paper20199781728111452Scopus-id: 2-s2.0-85064208541
11Data fusion of physical variables as bearing for user thermal comfort analysis in closed environments2019 Ieee International Conference On Engineering Veracruz, Icev 2019Molero-Castillo G., Barcenas E., Velazquez A., et al.Conference Paper20199781728133041Scopus-id: 2-s2.0-85077184154
12A Satisfiability Algorithm for the Mu-Calculus for Trees with Presburger ConstraintsProceedings - 2019 7th International Conference In Software Engineering Research And Innovation, Conisoft 2019Barcenas E., Molero-Castillo G., Velazquez-Mena A., et al.Conference Paper20199781728125244WoS-id: 000589696500009
Scopus-id: 2-s2.0-85088572195
13User-centered data mining tool for survival-mortality classification of breast cancer in mexican-origin womenIntelligent Data Sensing And Processing For Health And Well-Being ApplicationsMolero-Castillo G., Bárcenas E., Sánchez G., et al.Capítulo de un Libro20189780128121306Scopus-id: 2-s2.0-85081347067
14Depth-first search satisfiability of the µ-calculus with converse over treesMosquito Larva Classification Method Based On Convolutional Neural NetworksBárcenas E., Limón Y., Benítez-Guerrero E., et al.Conference Paper20179781509036219Scopus-id: 2-s2.0-85018943877
Descargar PDF

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

Descargar PDF

Proyectos

# Nombre Participantes Convocatoria Fecha Inicio Fecha Fin
1Caracterización modal de lógicas de separación.ISMAEL EVERARDO BARCENAS PATI?O,
Recursos PAPIIT01-01-202031-12-2021
2Algoritmos de razonamiento para lógicas no-clásicasISMAEL EVERARDO BARCENAS PATI?O,
Recursos PAPIIT01-01-202231-12-2023
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 IngenieríaLicenciaturaCOMPILADORES20242024-237
2Facultad de IngenieríaLicenciaturaESTRUCTURA DATOS Y ALGORITMOS I20242024-234
3Facultad de IngenieríaLicenciaturaESTRUCTURA DATOS Y ALGORITMOS I20232024-130
4Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN I20232023-22
5Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO PARA LA OBTENCIÓN DEL GRADO20232023-28
6Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20232023-211
7Facultad de IngenieríaLicenciaturaESTRUCTURA DATOS Y ALGORITMOS I20232023-240
8Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLÓGICA COMPUTACIONAL20232023-23
9Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN I20232023-20
10Facultad de IngenieríaLicenciaturaESTRUCTURA DATOS Y ALGORITMOS I20222023-115
11Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20222023-15
12Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN II20222023-12
13Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN II20222023-18
14Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN I20222022-28
15Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO PARA LA OBTENCIÓN DEL GRADO20222022-26
16Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLÓGICA COMPUTACIONAL20222022-23
17Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN II20222022-21
18Facultad de IngenieríaLicenciaturaESTRUCTURA DATOS Y ALGORITMOS I20222022-234
19Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN I20222022-22
20Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20222022-214
21Facultad de IngenieríaLicenciaturaESTRUCTURA DATOS Y ALGORITMOS I20212022-131
22Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20212022-121
23Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN II20212022-12
24Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN II20212022-16
25Facultad de IngenieríaLicenciaturaESTRUCTURA DATOS Y ALGORITMOS I20212021-248
26Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20212021-213
27Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN I20212021-22
28Facultad de IngenieríaLicenciaturaESTRUCTURA DATOS Y ALGORITMOS I20202021-14
29Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20202021-131
30Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN II20202021-11
31Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLÓGICA COMPUTACIONAL20202021-14
32Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20202020-224
33Facultad de IngenieríaLicenciaturaLENGUAJES FORMALESAUTOMATAS20202020-27
34Facultad de IngenieríaLicenciaturaTEMAS SEL. DE ING.EN COMPUTACION II20202020-26
35Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN I20202020-21
36Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN I20202020-213
37Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO PARA LA OBTENCIÓN DEL GRADO20202020-26
38Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLÓGICA COMPUTACIONAL20192020-111
39Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN II20192020-16
40Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaTEMAS SELECTOS DE TEORÍA DE LA COMPUTACIÓN (TEORIA DE PRUEBAS)20192020-11
41Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20192020-135
42Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLÓGICA COMPUTACIONAL20192019-24
43Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20192019-223
44Facultad de IngenieríaLicenciaturaPROYECTO DE INVESTIGACION20192019-21
45Facultad de IngenieríaLicenciaturaESTRUCTURAS DISCRETAS20182019-120
46Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20182019-116
47Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20182019-11
Descargar PDF

No se encuentran registros en la base de datos de tutorías impartidas.

No se encuentran registros en la base de datos de reportes técnicos.

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