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   6 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 C2024
* EQUIVALENCIA PRIDE B2019 - 2023
INFORMACIÓN DE PUBLICACIONES
Firmas  
Bárcenas E. 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  (13):
  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, 2016, 2017, 2018, 2021)
  5. Electronic Notes in Theoretical Computer Science, Países Bajos (2016)
  6. International Journal of Advanced Computer Science and Applications, Reino Unido (2020)
  7. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, Países Bajos (2018)
  8. Lecture Notes in Computer Science, Suiza (2013, 2015)
  9. LOG METH COMPUT SCI, Alemania (2014)
  10. Logic and Logical Philosophy, Reino Unido (2023)
  11. PLOS ONE, Estados Unidos America (2023, 2024)
  12. Proceedings Of The Laccei International Multi-Conference For Engineering, Education And Techiology, (2022)
  13. PROGRAMMING AND COMPUTER SOFTWARE, Rusia (2020, 2021, 2024)


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
44
2A Systematic Literature Review of 10 years of Research on Program Synthesis and Natural Language ProcessingCoautor: Bárcenas, E, Ramírez-Rueda, R, Benítez-Guerrero, E, Mezura-Godoy, C2024PROGRAMMING AND COMPUTER SOFTWAREWoS-id: 001397128000010
Scopus-id: 2-s2.0-85217757667
00
3Fidel 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
01
4Preventable 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
56
5Algorithm 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
6On 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
7Database 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
8Mu-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
9Statistical 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
10Completeness 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
11Consistency 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
12Sensing 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
13Expressive 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
14Depth-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
15Data 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
69
16On 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
17Branching 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
18(Hyper)sequent calculi for the ALC(S4) description logics2ᵒ autor: Bárcenas E., Muñoz J.P., Martínez I., Arrazola J.R.2016COMPUTACION Y SISTEMASScopus-id: 2-s2.0-84962408658
02
19Query 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
20On Regular Paths with Counting and Data Tests1ᵉʳ autor: Bárcenas E., Benítez-Guerrero E., Lavalle J.2016Electronic Notes in Theoretical Computer ScienceScopus-id: 2-s2.0-85004097373
01
21On 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
22A counting logic for trees1ᵉʳ autor y autor de correspondencia: Bárcenas E.2015COMPUTACION Y SISTEMASScopus-id: 2-s2.0-84938075786
01
23Global numerical constraints on trees1ᵉʳ autor: Bárcenas E., Lavalle J.2014LOG METH COMPUT SCIWoS-id: 000347714600011
Scopus-id: 2-s2.0-84902436936
1314
24Expressive 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
3A Reasoning System for Graded Modal LogicProceedings - 2024 12th International Conference In Software Engineering Research And Innovation, Conisoft 2024Lopez-Villafan R., Barcenas E., Juarez-Ramirez R., et al.Conference Paper20249798331532116WoS-id: 001447820600026
Scopus-id: 2-s2.0-85216762964
4Transforming Software Development: A Study on the Integration of Multi-Agent Systems and Large Language Models for Automatic Code GenerationProceedings - 2024 12th International Conference In Software Engineering Research And Innovation, Conisoft 2024Barcenas E., Ramirez-Rueda R., Benitez-Guerrero E., et al.Conference Paper20249798331532116Scopus-id: 2-s2.0-85216782621
5Program 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
6On 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
7A 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
8Tender 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
9Geolocation 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
10Formal 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
11An 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
12Model 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
13Data 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
14A 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
15User-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
16Depth-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
3Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN I20242024-21
4Facultad de IngenieríaLicenciaturaESTRUCTURA DATOS Y ALGORITMOS I20232024-130
5Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaAUTÓMATAS Y LENGUAJES FORMALES20232024-13
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
10Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN I20232023-22
11Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO PARA LA OBTENCIÓN DEL GRADO20232023-28
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
14Facultad de IngenieríaLicenciaturaESTRUCTURA DATOS Y ALGORITMOS I20222023-115
15Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20222023-15
16Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN II20222022-21
17Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN I20222022-28
18Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO PARA LA OBTENCIÓN DEL GRADO20222022-26
19Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLÓGICA COMPUTACIONAL20222022-23
20Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20222022-214
21Facultad de IngenieríaLicenciaturaESTRUCTURA DATOS Y ALGORITMOS I20222022-234
22Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN I20222022-22
23Facultad de IngenieríaLicenciaturaESTRUCTURA DATOS Y ALGORITMOS I20212022-131
24Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20212022-121
25Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN II20212022-12
26Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN II20212022-16
27Facultad de IngenieríaLicenciaturaESTRUCTURA DATOS Y ALGORITMOS I20212021-248
28Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20212021-213
29Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN I20212021-22
30Facultad de IngenieríaLicenciaturaESTRUCTURA DATOS Y ALGORITMOS I20202021-14
31Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN II20202021-11
32Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLÓGICA COMPUTACIONAL20202021-14
33Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20202021-131
34Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20202020-224
35Facultad de IngenieríaLicenciaturaLENGUAJES FORMALESAUTOMATAS20202020-27
36Facultad de IngenieríaLicenciaturaTEMAS SEL. DE ING.EN COMPUTACION II20202020-26
37Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN I20202020-21
38Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN I20202020-213
39Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO PARA LA OBTENCIÓN DEL GRADO20202020-26
40Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLÓGICA COMPUTACIONAL20192020-111
41Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN II20192020-16
42Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaTEMAS SELECTOS DE TEORÍA DE LA COMPUTACIÓN (TEORIA DE PRUEBAS)20192020-11
43Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20192020-135
44Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLÓGICA COMPUTACIONAL20192019-24
45Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20192019-223
46Facultad de IngenieríaLicenciaturaPROYECTO DE INVESTIGACION20192019-21
47Facultad de IngenieríaLicenciaturaESTRUCTURAS DISCRETAS20182019-120
48Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20182019-116
49Facultad de IngenieríaLicenciaturaINTELIGENCIA ARTIFICIAL20182019-11
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