( en | de | ru )

 

Disambiguation of "Ruiz, José Luis"

Author of the publication

copydeleteadd this publication to your clipboard
From contigs towards chromosomes: automatic improvement of long read assemblies (ILRA).

, , , , , , , , and . Briefings Bioinform., (July 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

José-Luis Ruiz Quintero

José Ruiz Santaella

José Luis Narro

Luis José Garcés

José Luis Goity

 

Other publications of authors with the same name

Lessons Learned on the Development of an Enterprise Service Management System Using Model-Driven Engineering., , , and . ICSOFT (Selected Papers), volume 50 of Communications in Computer and Information Science, page 59-68. (2009)From contigs towards chromosomes: automatic improvement of long read assemblies (ILRA)., , , , , , , , and . Briefings Bioinform., (July 2023)Data Driven Policy Making: The Peruvian Water Resources Observatory., , , , , and . SIMBig, volume 1410 of Communications in Computer and Information Science, page 419-431. Springer, (2020)Design of a VME Parametrized Library for FPGAs., , and . FPL, volume 1142 of Lecture Notes in Computer Science, page 394-399. Springer, (1996)Formal Verification of Molecular Computational Models in ACL2: A Case Study., , , and . CAEPIA, volume 3040 of Lecture Notes in Computer Science, page 344-353. Springer, (2003)Verifying an Applicative ATP Using Multiset Relations., , , and . EUROCAST, volume 2178 of Lecture Notes in Computer Science, page 612-626. Springer, (2001)A Formally Verified Prover for the ALC Description Logic., , , , and . TPHOLs, volume 4732 of Lecture Notes in Computer Science, page 135-150. Springer, (2007)Data Rate Reduction (DRR) as Fading Mitigation Technique for a wideband channel., , and . CONIELECOMP, page 59-64. IEEE, (2012)Formal Proofs About Rewriting Using ACL2., , , and . Ann. Math. Artif. Intell., 36 (3): 239-262 (2002)Operations of data centers with onsite renewables considering greenhouse gas emissions., and . Sustain. Comput. Informatics Syst., (December 2023)