default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJosé Raymundo Marcial-Romero
Person information
- affiliation: Universidad Autónoma del Estado de México, Toluca, Mexico
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2022
[j23]Claudia Zepeda Cortés, José Luis Carballido Carranza, José Raymundo Marcial-Romero, Everardo Bárcenas:
Thematic Section: Logic/Languages, Algorithms, Novel Methods of Reasoning. Computación y Sistemas 26(2) (2022)- [j22]Marco A. López Medina, J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
Computing the Clique-Width on Series-Parallel Graphs. Computación y Sistemas 26(2) (2022) - [j21]Marco A. López Medina
, José Raymundo Marcial-Romero, Guillermo De Ita Luna, José Antonio Hernández Servín:
A method for counting models on grid Boolean formulas. J. Intell. Fuzzy Syst. 42(5): 4719-4726 (2022) - 2021
- [j20]Angélica Guzmán Ponce, José Salvador Sánchez, Rosa Maria Valdovinos, José Raymundo Marcial-Romero:
DBIG-US: A two-stage under-sampling algorithm to face the class imbalance problem. Expert Syst. Appl. 168: 114301 (2021) - 2020
- [j19]Guillermo De Ita, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
A bottom-up algorithm for solving ♯2SAT. Log. J. IGPL 28(6): 1130-1140 (2020) - 2019
- [j18]Iván Francisco-Valencia, José Raymundo Marcial-Romero, Rosa María Valdovinos Rosas:
A comparison between UCB and UCB-Tuned as selection policies in GGP. J. Intell. Fuzzy Syst. 36(5): 5073-5079 (2019) - 2018
- [j17]Ismael R. Grajeda-Marín, Héctor A. Montes Venegas, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Vianney Muñoz-Jiménez, Guillermo De Ita Luna:
A New Optimization Strategy for Solving the Fall-Off Boundary Value Problem in Pixel-Value Differencing Steganography. Int. J. Pattern Recognit. Artif. Intell. 32(1): 1860010:1-1860010:17 (2018) - [j16]Guillermo De Ita Luna, José Raymundo Marcial-Romero, Pedro Bello, Meliza Contreras:
Belief revision between conjunctive normal forms. J. Intell. Fuzzy Syst. 34(5): 3155-3164 (2018) - [j15]Angélica Guzmán Ponce, Rosa María Valdovinos Rosas, José Raymundo Marcial-Romero, Roberto Alejo Eleuterio:
Entornos de trabajo para procesamiento de datos masivos y aprendizaje automático. Res. Comput. Sci. 147(5): 225-237 (2018) - [j14]Iván Francisco-Valencia, José Raymundo Marcial-Romero, Rosa María Valdovinos Rosas:
Upper Confidence Bound o Upper Cofidence Bound Tuned para General Game Playing: Un estudio empírico. Res. Comput. Sci. 147(8): 301-309 (2018) - [j13]Nely Plata César, José Raymundo Marcial-Romero:
Historial y reversibilidad en el sublenguaje clásico QML. Res. Comput. Sci. 147(12): 299-310 (2018) - 2017
- [j12]José Antonio Hernández Servín, José Raymundo Marcial-Romero, Guillermo De Ita Luna:
Low-exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs. Computación y Sistemas 21(3) (2017) - [j11]Diana G. Gómez-Martínez, Marco A. Ramos, Vianney Muñoz-Jiménez, José Raymundo Marcial-Romero:
Generación de posturas corporales en agentes virtuales a partir de evidencia neurocientífica. Res. Comput. Sci. 140: 29-41 (2017) - 2015
- [j10]José Luis Aguirre Mendiola, Rosa María Valdovinos Rosas, Juan Alberto Antonio Velázquez, Roberto Alejo Eleuterio, José Raymundo Marcial-Romero:
Análisis de deserción escolar con minería de datos. Res. Comput. Sci. 93: 71-82 (2015) - [j9]Marco A. López Medina, José Raymundo Marcial-Romero, Guillermo De Ita Luna, José Antonio Hernández Servín:
Un algoritmo para calcular #2SAT. Res. Comput. Sci. 94: 23-32 (2015) - [j8]J. Leonardo González-Ruiz, José Antonio Hernández Servín, José Raymundo Marcial-Romero:
Development of an Interpreter for LRT using the Exact Real Number Paradigm. Res. Comput. Sci. 96: 31-42 (2015) - 2014
- [j7]Guillermo De Ita Luna, José Raymundo Marcial-Romero, Yolanda Moyao:
An Enumerative Algorithm for #2SAT. Electron. Notes Discret. Math. 46: 81-88 (2014) - [j6]Guillermo De Ita Luna, José Raymundo Marcial-Romero, Yolanda Moyao:
An Approximate Algorithm for the Chromatic Number of Graphs. Electron. Notes Discret. Math. 46: 89-96 (2014) - 2011
- [j5]Guillermo De Ita Luna, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
A Threshold for a Polynomial Solution of #2SAT. Fundam. Informaticae 113(1): 63-77 (2011) - 2010
- [j4]José Raymundo Marcial-Romero, José Antonio Hernández Servín:
Functional first order definability of LRTP. Inteligencia Artif. 14(48): 28-40 (2010) - [j3]Guillermo De Ita Luna, José Raymundo Marcial-Romero, Héctor A. Montes Venegas:
Estimating the relevance on Communication Lines Based on the Number of Edge Covers. Electron. Notes Discret. Math. 36: 247-254 (2010) - 2008
- [j2]José Raymundo Marcial-Romero, M. Andrew Moshier:
Sequential real number computation and recursive relations. Math. Log. Q. 54(5): 492-507 (2008) - 2007
- [j1]José Raymundo Marcial-Romero, Martín Hötzel Escardó:
Semantics of a sequential language for exact real-number computation. Theor. Comput. Sci. 379(1-2): 120-141 (2007)
Conference and Workshop Papers
- 2024
- [c49]Edgar Jardón, Marcelo Romero, José Raymundo Marcial-Romero:
Multiobjective Assignment of Citizens to INE Service Modules Using NSGA-II: An Efficient Optimization Approach. MCPR 2024: 73-83 - 2023
- [c48]Marco A. López Medina, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Sandra Morales-Hernández:
A Method for Counting Models on Cubic Boolean Formulas. MCPR 2023: 69-78 - 2022
- [c47]Rafael Mercado Herrera, Vianney Muñoz-Jiménez, Marco Antonio Ramos Corchado, Félix F. Ramos Corchado, José Raymundo Marcial-Romero:
Virtualizing 3D Real Environments Using 2D Pictures Based on Photogrammetry. MCPR 2022: 169-180 - 2021
- [c46]J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Guillermo De Ita:
Approximate the Clique-Width of a Graph Using Shortest Paths. MICAI (2) 2021: 337-347 - 2020
- [c45]Angélica Guzmán Ponce, José Raymundo Marcial-Romero, Rosa Maria Valdovinos, Roberto Alejo, Everardo Efrén Granda Gutiérrez:
A Metaheuristic Algorithm to Face the Graph Coloring Problem. HAIS 2020: 195-208 - [c44]Graciela García-Rueda, Rosa Maria Valdovinos, Jesús Valdés-González, Roberto Alejo, J. Leonardo González-Ruiz, José Raymundo Marcial-Romero:
Analysis of Repair Costs of Scholar Buildings Affected by Earthquakes Using Data Mining. Case Study: Earthquakes of 2017 in Mexico. MCPR 2020: 45-56 - [c43]Marco A. López Medina, José Raymundo Marcial-Romero, Guillermo De Ita Luna, José Antonio Hernández Servín:
A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas. MICAI (1) 2020: 437-447 - 2019
- [c42]Pilar Pozos Parra, José Raymundo Marcial-Romero:
Preface. LANMR (Selected Papers) 2019: 1-2 - [c41]Angélica Guzmán Ponce, José Raymundo Marcial-Romero, Rosa María Valdovinos Rosas, J. Salvador Sánchez:
Weighted Complete Graphs for Condensing Data. LANMR (Selected Papers) 2019: 45-60 - [c40]Nely Plata César, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
Measurements in quantum programming language QML. LANMR 2019: 159-168 - [c39]Iván Francisco-Valencia, José Raymundo Marcial-Romero, Rosa María Valdovinos Rosas:
Some Variations of Upper Confidence Bound for General Game Playing. MCPR 2019: 68-79 - 2018
- [c38]Marco A. Ramos, Juan Sánchez, Vianney Muñoz, José Raymundo Marcial-Romero, David Valle Cruz, Aurelio López-López, Félix Ramos:
E-health: agent-based models to simulate behavior of individuals during an epidemic outbreak. DG.O 2018: 70:1-70:10 - [c37]Nely Plata César, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
A history and reversibility for quantum programming language QML. LANMR 2018: 25-39 - [c36]Marco A. López Medina, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Guillermo De Ita:
Model counting for #2SAT problem in outerplanar graphs. LANMR 2018: 76-87 - [c35]Marco A. López Medina, José Raymundo Marcial-Romero, Guillermo De Ita Luna, Yolanda Moyao:
A Linear Time Algorithm for Computing #2SAT for Outerplanar 2-CNF Formulas. MCPR 2018: 72-81 - 2017
- [c34]Guillermo De Ita Luna, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Rosa Maria Valdovinos, Marcelo Romero:
Extending Extremal Polygonal Arrays for the Merrifield-Simmons Index. MCPR 2017: 22-31 - [c33]Marco A. López Medina, José Raymundo Marcial-Romero, Guillermo De Ita, Rosa Maria Valdovinos:
A Fast and Efficient Method for #2SAT via Graph Transformations. MICAI (1) 2017: 95-106 - 2016
- [c32]Angélica Guzmán Ponce, José Raymundo Marcial-Romero, Guillermo De Ita Luna, José Antonio Hernández Servín:
Approximate the chromatic number of a graph using maximal independent sets. CONIELECOMP 2016: 19-24 - [c31]J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
Computing the clique-width of cactus graphs. LANMR 2016: 17-24 - [c30]Guillermo De Ita Luna, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
The incremental satisfiability problem for a two conjunctive normal form. LANMR 2016: 25-32 - [c29]Elias Franck Romero, Rosa Maria Valdovinos, José Raymundo Marcial-Romero, Jesús Ariel Carrasco-Ochoa:
A Multiple classifier system for fast an accurate learning in neural network context. LANMR 2016: 50-57 - [c28]Ismael R. Grajeda-Marín, Héctor A. Montes Venegas, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Guillermo De Ita Luna:
An Optimization Approach to the TWPVD Method for Digital Image Steganography. MCPR 2016: 125-134 - [c27]José Raymundo Marcial-Romero, Guillermo De Ita Luna, Aurelio López-López, Rosa Maria Valdovinos:
A Polynomial Time Algorithm for Counting the Number of Independent Sets of Cactus Graphs. MICAI (Special Session) 2016: 106-110 - [c26]J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Guillermo De Ita Luna:
Computing the Clique-Width of Polygonal Tree Graphs. MICAI (2) 2016: 449-459 - [c25]José R. Arrazola Ramírez, José Raymundo Marcial-Romero:
Preface. LANMR (Selected Papers) 2016: 1-2 - [c24]Guillermo De Ita Luna, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
The Incremental Satisfiability Problem for a Two Conjunctive Normal Form. LANMR (Selected Papers) 2016: 31-45 - [c23]J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
Computing the Clique-width of Cactus Graphs. LANMR (Selected Papers) 2016: 47-57 - 2015
- [c22]Roberto Alejo, Juan Monroy-de-Jesús, J. Horacio Pacheco-Sánchez, Rosa Maria Valdovinos, Juan Alberto Antonio Velázquez, José Raymundo Marcial-Romero:
Analysing the Safe, Average and Border Samples on Two-Class Imbalance Problems in the Back-Propagation Domain. CIARP 2015: 699-707 - [c21]Angélica Guzmán Ponce, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Guillermo De Ita Luna:
An algorithm to approximate the chromatic number of graphs. CONIELECOMP 2015: 110-115 - [c20]José Antonio Hernández Servín, José Raymundo Marcial-Romero, Vianney Muñoz-Jiménez, Héctor A. Montes Venegas:
A Modification of the TPVD Algorithm for Data Embedding. MCPR 2015: 74-83 - [c19]José Raymundo Marcial-Romero, Guillermo De Ita Luna, José Antonio Hernández Servín, Rosa Maria Valdovinos:
A Parametric Polynomial Deterministic Algorithm for #2SAT. MICAI (1) 2015: 202-213 - 2014
- [c18]Guillermo De Ita Luna, José Raymundo Marcial-Romero, Pilar Pozos Parra:
Counting Falsifying Assignments of Conjunctive Forms Using Binary Patterns. LANMR 2014: 1-10 - [c17]José Antonio Hernández Servín, José Raymundo Marcial-Romero, Guillermo De Ita Luna:
Low - exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs. LANMR 2014: 1-8 - [c16]Juan Carlos Nieves, José Raymundo Marcial-Romero:
Preface. LANMR (Selected Papers) 2014: 1-2 - [c15]Guillermo De Ita Luna, José Raymundo Marcial-Romero, Maria del Pilar Pozos Parra, José Antonio Hernández Servín:
Using Binary Patterns for Counting Falsifying Assignments of Conjunctive Forms. LANMR (Selected Papers) 2014: 17-30 - 2013
- [c14]David Valle Cruz, Erika Rodriguez, Marco Antonio Ramos Corchado, José Raymundo Marcial-Romero, Félix F. Ramos Corchado:
Facial expressions based in emotions for virtual agents. CONIELECOMP 2013: 7-12 - 2012
- [c13]Guillermo De Ita Luna, Fernando Zacarías Flores, José Raymundo Marcial-Romero:
An Approximate Algorithm for the Chromatic Number of a Graph. CTW 2012: 104-107 - [c12]José Antonio Hernández Servín, José Raymundo Marcial-Romero, Guillermo De Ita Luna:
Edge covering of acyclic graphs. LA-NMR 2012: 63-74 - [c11]Guillermo De Ita Luna, José Raymundo Marcial-Romero:
Computing #2SAT and #2UNSAT by Binary Patterns. MCPR 2012: 273-282 - [c10]Juan Carlos Acosta Guadarrama, José Raymundo Marcial-Romero, Marcelo Romero, Jorge Hernandez Camacho:
Implementing a Knowledge Bases Debugger. MICAI (Special Sessions) 2012: 9-14 - 2011
- [c9]José Raymundo Marcial-Romero, Alejandra Y. Lucatero, José Antonio Hernández Servín:
A GMP-FC++ Implementation of a Calculator for Exact Real Number Computation Based on LRT. LA-NMR 2011: 71-82 - 2010
- [c8]Claudia Zepeda, José Raymundo Marcial-Romero, Mauricio Javier Osorio Galindo, Hilda Castillo, Daniel Quintos, Sergio Arzola:
Digital design vercation based on P-stable semantics. CONIELECOMP 2010: 212-216 - 2009
- [c7]José Raymundo Marcial-Romero, José Antonio Hernández Servín, Héctor A. Montes Venegas:
Comparing Implementations of a Calculator for Exact Real Number Computation. ENC 2009: 13-23 - [c6]Héctor A. Montes Venegas, José Raymundo Marcial-Romero:
An Evolutionary Path Planner for Multiple Robot Arms. EvoWorkshops 2009: 353-362 - [c5]José Raymundo Marcial-Romero, Pedro A. Alvarez Contreras, Héctor A. Montes Venegas, José Antonio Hernández Servín:
A Simulator for Teaching Automatas and Formal Languages - FLyA. ICEIS (4) 2009: 175-178 - [c4]José Raymundo Marcial-Romero, José Antonio Hernández Servín:
Functional first order de definability of LRTp. LA-NMR 2009: 40-60 - 2008
- [c3]José Raymundo Marcial-Romero, Oscar Sánchez Flores, Héctor A. Montes Venegas, Luis Nuñez Vázquez, Israel Hernández Sánchez:
An Information System for the Shortest Origen-Destination Route in a Transportation Network. ICEIS (5) 2008: 409-412 - 2007
- [c2]José Raymundo Marcial-Romero, M. Andrew Moshier:
Sequential Real Number Computation and Recursive Relations. CCA 2007: 171-189 - 2004
- [c1]José Raymundo Marcial-Romero, Martín Hötzel Escardó:
Semantics of a Sequential Language for Exact Real-Number Computation. LICS 2004: 426-435
Editorship
- 2020
- [e6]Pilar Pozos Parra, José Raymundo Marcial-Romero:
Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2018, Puebla, Mexico, November 15, 2018 & LANMR 2019, Puebla, Mexico, November 15, 2019. Electronic Notes in Theoretical Computer Science 354, Elsevier 2020 [contents] - [e5]Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Pilar Pozos Parra:
Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019. CEUR Workshop Proceedings 2585, CEUR-WS.org 2020 [contents] - 2018
- [e4]Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Pilar Pozos Parra:
Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018. CEUR Workshop Proceedings 2264, CEUR-WS.org 2018 [contents] - 2016
- [e3]José R. Arrazola Ramírez, José Raymundo Marcial-Romero:
Selected Papers of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016. Electronic Notes in Theoretical Computer Science 328, Elsevier 2016 [contents] - [e2]Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Iván Olmos Pineda:
Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016. CEUR Workshop Proceedings 1659, CEUR-WS.org 2016 [contents] - 2015
- [e1]Juan Carlos Nieves, José Raymundo Marcial-Romero:
Selected Papers of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2014, Valle de Bravo, Mexico, November 5-7, 2014. Electronic Notes in Theoretical Computer Science 315, Elsevier 2015 [contents]
Informal and Other Publications
- 2017
- [i1]M. A. López, José Raymundo Marcial-Romero, Guillermo De Ita Luna, Héctor A. Montes Venegas, Roberto Alejo:
A Linear Time Algorithm for Solving #2SAT on Cactus Formulas. CoRR abs/1702.08581 (2017)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
