Constructively formalizing automata theory. - Robert L. Constable; Paul B. Jackson; Pavel Naumov; Juan C. Uribe (Proof, Language, and Interaction, 2000)

Mining Gene-Disease Relationships from Biomedical Literature: Weighting Proteinprotein Interactions and Connectivity. - Graciela Gonzalez 001; Juan C. Uribe; Luis Tari; Colleen Brophy; Chitta Baral (Pacific Symposium on Biocomputing, 2007)