Juan C. Uribe

Constructively formalizing automata theory

Robert L. Constable, Pavel Naumov, Paul B. Jackson, 2000, Proof, Language, and Interaction.

Mining Gene-Disease Relationships from Biomedical Literature: Weighting Proteinprotein Interactions and Connectivity

Chitta Baral, Luis Tari, Juan C. Uribe, 2007, Pacific Symposium on Biocomputing.

Proof, Language, and Interaction 2000

Robert L. Constable, Pavel Naumov, Paul B. Jackson, 2000 .

GeneRanker: An Online System for Predicting Gene-Disease Associations for Translational Research

Juan C. Uribe, Graciela Gonzalez, M. Berens, 2008, Summit on translational bioinformatics.

Mining gene-disease relationships from biomedical literature: weighting protein-protein interactions and connectivity measures.

Chitta Baral, Luis Tari, Juan C. Uribe, 2006, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

GeneRanker: An Online System for Predicting Gene-Disease Associations for Translational Research

Juan C. Uribe, Graciela Gonzalez, M. Berens, 2008, Summit on translational bioinformatics.