Unification Modulo Presburger Arithmetic and Other Decidable Theories. - Mauricio Ayala-Rincón; Ivan E. Tavares de Araújo (Rev. Colomb. de Computación, 2001)

Fast, Fully Automated Global and Local Magnetic Field Optimization for fMRI of the Human Brain. - James L. Wilson; Mark Jenkinson; Ivan E. Tavares de Araújo; Morten L. Kringelbach; Edmund T. Rolls; Peter Jezzard (NeuroImage, 2002)

Self-organizing continuous attractor networks and motor function. - Simon M. Stringer; Edmund T. Rolls; Thomas Trappenberg; Ivan E. Tavares de Araújo (Neural Networks, 2003)

Taste-related activity in the human dorsolateral prefrontal cortex. - Morten L. Kringelbach; Ivan E. Tavares de Araújo; Edmund T. Rolls (NeuroImage, 2004)