Authors: Lavalle-Martínez, José-de-Jesús, Montes-Y-Gómez, Manuel, Villaseñor-Pineda, Luis, Jiménez-Salazar, Héctor, Bárcenas-Patiño, Ismael-Everardo

Superior Title: Studia Logica: An International Journal for Symbolic Logic, 2018 Apr 01. 106(2), 371-395.

Access URL: https://www.jstor.org/stable/45096831

Authors: Maria Auxilio Medina Nieto, Paulo Daniel Vazquez Mora, Jorge De La Calleja Mora, Mireya Tovar Vidal, Eduardo Lopez Dominguez, Delia Arrieta Diaz, Ismael Everardo Barcenas Patino

Superior Title: IEEE Access, Vol 8, Pp 171933-171944 (2020)

Subject Terms: Educational technology, semantic web, web services, information retrieval, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Relation: https://ieeexplore.ieee.org/document/9199864/; https://doaj.org/toc/2169-3536; https://doaj.org/article/cb99e1dd2f44475794c4ae2ee918e981

Availability: https://doi.org/10.1109/ACCESS.2020.3024614
https://doaj.org/article/cb99e1dd2f44475794c4ae2ee918e981

Authors: Barcenas-Patino, Everardo, Genevès, Pierre, Layaïda, Nabil, Schmitt, Alan

Contributors: Web, adaptation and multimedia (WAM), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), System architecture for reflective distributed computing environments (SARDES)

Superior Title: 22nd International Joint Conference on Artificial Intelligence IJCAI'2011
https://inria.hal.science/inria-00609556
22nd International Joint Conference on Artificial Intelligence IJCAI'2011, Jul 2011, Barcelone, Spain

Subject Terms: [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]

Subject Geographic: Spain

Time: Barcelone, Spain

Relation: inria-00609556; https://inria.hal.science/inria-00609556; https://inria.hal.science/inria-00609556/document; https://inria.hal.science/inria-00609556/file/IJCAI2011.pdf

Availability: https://inria.hal.science/inria-00609556
https://inria.hal.science/inria-00609556/document
https://inria.hal.science/inria-00609556/file/IJCAI2011.pdf

Authors: Barcenas-Patino, Everardo, Genevès, Pierre, Layaïda, Nabil

Contributors: Web, adaptation and multimedia (WAM), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)

Superior Title: PLAN-X 2009 ; https://inria.hal.science/inria-00358797 ; PLAN-X 2009, Jan 2009, Savannah, United States

Subject Terms: [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Subject Geographic: Savannah, United States

Relation: inria-00358797; https://inria.hal.science/inria-00358797; https://inria.hal.science/inria-00358797/document; https://inria.hal.science/inria-00358797/file/counting.pdf

Availability: https://inria.hal.science/inria-00358797
https://inria.hal.science/inria-00358797/document
https://inria.hal.science/inria-00358797/file/counting.pdf

Authors: Barcenas-Patino, Everardo, Genevès, Pierre, Layaïda, Nabil

Contributors: Web, adaptation and multimedia (WAM), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)

Superior Title: DocEng'09: Proceedings of the 2009 ACM Symposium on Document Engineering ; https://inria.hal.science/inria-00422964 ; DocEng'09: Proceedings of the 2009 ACM Symposium on Document Engineering, Sep 2009, Munich, Germany. pp.21-24, ⟨10.1145/1600193.1600199⟩

Subject Terms: ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.5: Modal logic, [INFO.INFO-TT]Computer Science [cs]/Document and Text Processing, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-WB]Computer Science [cs]/Web

Subject Geographic: Munich, Germany

Relation: inria-00422964; https://inria.hal.science/inria-00422964; https://inria.hal.science/inria-00422964/document; https://inria.hal.science/inria-00422964/file/DocEng09-Barcenas.pdf

Availability: https://doi.org/10.1145/1600193.1600199
https://inria.hal.science/inria-00422964
https://inria.hal.science/inria-00422964/document
https://inria.hal.science/inria-00422964/file/DocEng09-Barcenas.pdf

Authors: Everardo Barcenas-patino, Alan Schmitt

Contributors: The Pennsylvania State University CiteSeerX Archives

Superior Title: https://hal.inria.fr/file/index/docid/609556/filename/IJCAI2011.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.4840

Authors: Everardo Barcenas-patino, Everardo Bárcenas, Pierre Genevès, Nabil Layaïda

Contributors: The Pennsylvania State University CiteSeerX Archives

Superior Title: https://hal.inria.fr/file/index/docid/422964/filename/DocEng09-Barcenas.pdf.

Subject Terms: Categories and Subject Descriptors H.2.3 [Database Management, Languages—Query Lan- guages, F.4.1 [Mathematical Logic and Formal Lan- guages, Mathematical Logic—modal logic General Terms Algorithms, Languages, Theory, Verification Keywords XML, XPath, Type Checking, Counting Constraints, Modal Logics

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.9563

Authors: Faculdadedeciências E Tecnologia, Technische Universität Wien, Ismael Everardo, Bárcenas Patiño, João Rasga

Contributors: The Pennsylvania State University CiteSeerX Archives

Superior Title: http://www.emcl-study.eu/fileadmin/master_theses/thesis_barcenas.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.231.9437; http://www.emcl-study.eu/fileadmin/master_theses/thesis_barcenas.pdf

Availability: http://www.emcl-study.eu/fileadmin/master_theses/thesis_barcenas.pdf

Authors: Lavalle-Martínez, José-de-Jesús, Montes-y-Gómez, Manuel, Villaseñor-Pineda, Luis, Jiménez-Salazar, Héctor, Bárcenas-Patiño, Ismael-Everardo

Contributors: PRODEP-SEP, Benemérita Universidad Autónoma de Puebla, CONACYT

Superior Title: Studia Logica ; volume 106, issue 2, page 371-395 ; ISSN 0039-3215 1572-8730

Subject Terms: History and Philosophy of Science, Logic

Availability: https://doi.org/10.1007/s11225-017-9743-y

Authors: Barcenas Patiño, Iliana

Contributors: Rosal Vargas, Gerardo del

Subject Terms: HUMANIDADES Y CIENCIAS DE LA CONDUCTA, Análisis del discurso, Tesis y disertaciones académicas--Metodología, Investigación--Metodología--Estudio y enseñanza, Lingüística comparada, Investigación cualitativa--Metodología

File Description: pdf; application/pdf

Relation: https://hdl.handle.net/20.500.12371/5072

Availability: https://doi.org/20.500.12371/5072
https://hdl.handle.net/20.500.12371/5072

Authors: Barcenas Patino, Ismael

Contributors: Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Université de Grenoble, Nabil Layaida

Superior Title: https://theses.hal.science/tel-00569058 ; Other [cs.OH]. Université de Grenoble, 2011. English. ⟨NNT : 2011GRENM004⟩.

Subject Terms: Modal logics, Counting constraints, Static Analysis, Xml, XPath, XML types, Logiques modales, Contraintes de comptage, Analyse statique, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Relation: NNT: 2011GRENM004; tel-00569058; https://theses.hal.science/tel-00569058; https://theses.hal.science/tel-00569058v2/document; https://theses.hal.science/tel-00569058v2/file/Barcenas-Patino_Ismael-Everardo_2011_archivage.pdf

Availability: https://theses.hal.science/tel-00569058
https://theses.hal.science/tel-00569058v2/document
https://theses.hal.science/tel-00569058v2/file/Barcenas-Patino_Ismael-Everardo_2011_archivage.pdf

Authors: Barcenas Patino, Ismael

Contributors: Grenoble, Layaida, Nabil

Subject Terms: Logiques modales, Contraintes de comptage, Analyse statique, Xml, XPath, XML types, Modal logics, Counting constraints, Static Analysis

Relation: http://www.theses.fr/2011GRENM004/document

Availability: http://www.theses.fr/2011GRENM004/document