Author of the publication

Cardioinformatics: the nexus of bioinformatics and precision cardiology.

, , , , , and . Briefings Bioinform., 21 (6): 2031-2051 (2020)

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.

 

Other publications of authors with the same name

Relatively Complete Pushdown Analysis of Escape Continuations., and . VMCAI, volume 11388 of Lecture Notes in Computer Science, page 205-225. Springer, (2019)The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren., , , , , , , , , and 4 other author(s). Frontiers Artif. Intell., (2022)Static Analysis of Non-interference in Expressive Low-Level Languages., and . SAS, volume 9291 of Lecture Notes in Computer Science, page 1-17. Springer, (2015)The algorithm for precision medicine (invited talk).. SPLASH (Companion Volume), page 2. ACM, (2019)Cardioinformatics: the nexus of bioinformatics and precision cardiology., , , , , and . Briefings Bioinform., 21 (6): 2031-2051 (2020)A unified approach to solving seven programming problems (functional pearl)., , , and . Proc. ACM Program. Lang., 1 (ICFP): 8:1-8:26 (2017)Demand Control-Flow Analysis., , , and . VMCAI, volume 11388 of Lecture Notes in Computer Science, page 226-246. Springer, (2019)Structured reviews for data and knowledge-driven research., , , , , , , and . Database J. Biol. Databases Curation, (2020)