Tarski on Truth and Logical Consequence. - John Etchemendy (J. Symb. Log., 1988)

The language of first-order logic - including the Macintosh version of Tarski's world 4.0, Third Edition. - Jon Barwise; John Etchemendy (CSLI, 1993)

A computational architecture for heterogeneous reasoning. - Dave Barker-Plummer; John Etchemendy (J. Exp. Theor. Artif. Intell., 2007)

Openproof - A Flexible Framework for Heterogeneous Reasoning. - Dave Barker-Plummer; John Etchemendy; Albert Liu; Michael D. Murray; Nik Swoboda (Diagrams, 2008)

Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic. - Richard Cox; Robert Dale; John Etchemendy; Dave Barker-Plummer (Diagrams, 2008)

Heterogeneous Reasoning. - John Etchemendy (Diagrams, 2008)

Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning. - Dave Barker-Plummer; John Etchemendy; Michael D. Murray; Emma Pease; Nik Swoboda (Diagrams, 2012)

Online education. - John Etchemendy (SIGCSE, 2013)

The AI Index 2021 Annual Report. - Daniel Zhang; Saurabh Mishra; Erik Brynjolfsson; John Etchemendy; Deep Ganguli; Barbara J. Grosz; Terah Lyons; James Manyika; Juan Carlos Niebles; Michael Sellitto; Yoav Shoham; Jack Clark; et al. (CoRR, 2021)

On the Opportunities and Risks of Foundation Models. - Rishi Bommasani; Drew A. Hudson; Ehsan Adeli 001; Russ B. Altman; Simran Arora; Sydney von Arx; Michael S. Bernstein; Jeannette Bohg; Antoine Bosselut; Emma Brunskill; Erik Brynjolfsson; Shyamal Buch; et al. (CoRR, 2021)

The AI Index 2022 Annual Report. - Daniel Zhang; Nestor Maslej; Erik Brynjolfsson; John Etchemendy; Terah Lyons; James Manyika; Helen Ngo; Juan Carlos Niebles; Michael Sellitto; Ellie Sakhaee; Yoav Shoham; Jack Clark; et al. (CoRR, 2022)

Artificial Intelligence Index Report 2023. - Nestor Maslej; Loredana Fattorini; Erik Brynjolfsson; John Etchemendy; Katrina Ligett; Terah Lyons; James Manyika; Helen Ngo; Juan Carlos Niebles; Vanessa Parli; Yoav Shoham; Russell Wald; et al. (CoRR, 2023)

Artificial Intelligence Index Report 2024. - Nestor Maslej; Loredana Fattorini; C. Raymond Perrault; Vanessa Parli; Anka Reuel; Erik Brynjolfsson; John Etchemendy; Katrina Ligett; Terah Lyons; James Manyika; Juan Carlos Niebles; Yoav Shoham; et al. (CoRR, 2024)

The Global AI Vibrancy Tool. - Loredana Fattorini; Nestor Maslej; C. Raymond Perrault; Vanessa Parli; John Etchemendy; Yoav Shoham; Katrina Ligett (CoRR, 2024)

Artificial Intelligence Index Report 2025. - Nestor Maslej; Loredana Fattorini; C. Raymond Perrault; Yolanda Gil; Vanessa Parli; Njenga Kariuki; Emily Capstick; Anka Reuel; Erik Brynjolfsson; John Etchemendy; Katrina Ligett; Terah Lyons; et al. (CoRR, 2025)