Schemata. - Frank M. Brown; Carlos Araya (CADE, 1990)

Cylindric Algebra Equation Solver. - Frank M. Brown; Carlos Araya (CADE, 1990)

SCHEMATA: A Language for Deduction. - Carlos Araya; Frank M. Brown (ECAI, 1990)

Defaults and the Frame Law Applied to Over-Constrained Problems in Constraint-Based Design Systems. - David E. Leasure; Carlos Araya (IEA/AIE, 1994)

RESCUE: Legacy Systems Translator. - Federico Zoufaly; Carlos Araya; Iván Sanabria; Fawsy Bendeck (WCRE, 1995)

Captum: A unified and generic model interpretability library for PyTorch. - Narine Kokhlikyan; Vivek Miglani; Miguel Martin 001; Edward Wang; Bilal Alsallakh; Jonathan Reynolds; Alexander Melnikov; Natalia Kliushkina; Carlos Araya; Siqi Yan; Orion Reblitz-Richardson (CoRR, 2020)

Prioritizing genes for systematic variant effect mapping. - Da Kuang; Rebecca Truty; Jochen Weile; Britt Johnson; Keith Nykamp; Carlos Araya; Robert L. Nussbaum; Frederick P. Roth (Bioinform., 2021)