Skip To Main Content
Everardo Bárcenas on Muck Rack

Everardo Bárcenas

As seen in: Dialnet - Universidad de La Rioja
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile

Get in touch with Everardo

Contact Everardo, search articles and posts on X, monitor coverage, and track replies from one place.

Learn more about Muck Rack

Actions

Share this page

Is this you?

As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile

Articles

(Hyper)sequent Calculi for the ALC(S4) Description Logics

|
By Juan Munoz, Juan Antonio Muñoz, Everardo Bárcenas, Martinez Perez, Jorge Ivan
| Dialnet - Universidad de La Rioja
Ayuda Buscar en la ayuda Buscar en la ayuda (Hyper)sequent Calculi for the ALC(S4) Description Logics Autores: Juan Muñoz, Everardo Bárcenas, Jorge Iván Martínez Pérez, José Ramón Enrique Arrazola Ramírez Localización: Computación y Sistemas (CyS), ISSN 1405-5546, ISSN-e 2007-9737, Vol. 20, Nº. 1, 2016, págs. 67-79 Idioma: inglés Enlaces Texto completo Resumen Abstract Description logics (DL) form a well known family of knowledge representation languages.
Open in Who Shared Issue with article?

Smart Contracts Formal Verification: A Systematic Literature Review

|
By Everardo Bárcenas, Rocio Aldeco-Perez
| arXiv
arXiv:2510.17865 (cs) View PDF Comments: Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO) Cite as: arXiv:2510.17865 [cs.SE] (or arXiv:2510.17865v1 [cs.SE] for this version) https://doi.org/10.48550/arXiv.2510.17865 Submission history From: Everardo Barcenas [ view email] [v1] Wed, 15 Oct 2025 21:32:57 UTC (433 KB) Bibliographic Tools Bibliographic Explorer Toggle Bibliographic Explorer () Connected Papers Toggle Connected Papers (What is Connected Papers?) Litmaps...
Open in Who Shared View Duplicates (74) Issue with article?

Presburger Constraints in Trees

|
By Everardo Bárcenas, Edgard Benítez-Guerrero, José de Jesús, Guillermo Molero-Castillo
| Dialnet - Universidad de La Rioja
Ayuda Buscar en la ayuda Buscar en la ayuda Presburger Constraints in Trees Autores: Everardo Bárcenas, Edgard Benítez-Guerrero, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo Localización: Computación y Sistemas (CyS), ISSN 1405-5546, ISSN-e 2007-9737, Vol. 24, Nº. 1, 2020, págs.
Open in Who Shared Issue with article?
See all 5 articles