A note on the worst case of heapsort. - Clyde P. Kruskal; Elia Weixelbaum (SIGACT News, 1981)

Transformational Derivation of a Garbage Collection Algorithm. - Robert B. K. Dewar; Micha Sharir; Elia Weixelbaum (ACM Trans. Program. Lang. Syst., 1982)

Formal Languages with Oracles. - Elia Weixelbaum (1983)

A Knowledge-Based Configurator that Supports Sales, Engineering, and Manufacturing at AT&T Network Systems. - Jon R. Wright; Elia Weixelbaum; Gregg T. Vesonder; Karen E. Brown; Stephen R. Palmer; Jay I. Berman; Harry H. Moore (AI Mag., 1993)