Integration of SIP protocol in Android Media Framework. - Andre Barbosa; Joao Goncalves; António Nestor Ribeiro; António Costa 001 (EUROCON, 2011)

Estimating shape correspondence for populations of objects with complex topology. - James Fishbaugh; Laura Pascal; Luke Fischer; Tung Nguyen; Celso Boen; Joao Goncalves; Guido Gerig; Beatriz Paniagua (ISBI, 2018)

Symbolic Regression using Mixed-Integer Nonlinear Optimization. - Vernon Austel; Cristina Cornelio; Sanjeeb Dash; Joao Goncalves; Lior Horesh; Tyler R. Josephson; Nimrod Megiddo (CoRR, 2020)

Integration of Data and Theory for Accelerated Derivable Symbolic Discovery. - Cristina Cornelio; Sanjeeb Dash; Vernon Austel; Tyler R. Josephson; Joao Goncalves; Kenneth L. Clarkson; Nimrod Megiddo; Bachir El Khadir; Lior Horesh (CoRR, 2021)

LPRules: Rule Induction in Knowledge Graphs Using Linear Programming. - Sanjeeb Dash; Joao Goncalves (CoRR, 2021)

Bayesian Experimental Design for Symbolic Discovery. - Kenneth L. Clarkson; Cristina Cornelio; Sanjeeb Dash; Joao Goncalves; Lior Horesh; Nimrod Megiddo (CoRR, 2022)

Rule Induction in Knowledge Graphs Using Linear Programming. - Sanjeeb Dash; Joao Goncalves (AAAI, 2023)

Obtaining Explainable Classification Models using Distributionally Robust Optimization. - Sanjeeb Dash; Soumyadip Ghosh; Joao Goncalves; Mark S. Squillante (CoRR, 2023)

Novel CBCT-MRI Registration Approach for Enhanced Analysis of Temporomandibular Degenerative Joint Disease. - Gaëlle Leroux; Claudia Mattos; Jeanne Claret; Eduardo Caleme; Selene Barone; Marcela Gurgel; Felicia Miranda; Joao Goncalves; Paulo Zupelari Goncalves; Marina Morettin-Zupelari; Larry Wolford; Nina Hsu; et al. (CLIP@MICCAI, 2024)

Integer Programming Based Methods and Heuristics for Causal Graph Learning. - Sanjeeb Dash; Joao Goncalves; Tian Gao (AISTATS, 2025)

SynPAT: A System for Generating Synthetic Physical Theories with Data. - Jonathan Lenchner; Karan Srivastava; Joao Goncalves; Lior Horesh (CoRR, 2025)