The Consensus Problem in Fault-Tolerant Computing. - Michael Barborak; Anton Dahbura; Miroslaw Malek (ACM Comput. Surv., 1993)

WatsonPaths: Scenario-Based Question Answering and Inference over Unstructured Information. - Adam Lally; Sugato Bagchi; Michael Barborak; David W. Buchanan; Jennifer Chu-Carroll; David A. Ferrucci; Michael R. Glass; Aditya Kalyanpur; Erik T. Mueller; J. William Murdock; Siddharth Patwardhan; John M. Prager (AI Mag., 2017)

Action Languages and COVID-19: Lessons Learned. - Marcello Balduccini; Michael Barborak; David A. Ferrucci (ICLP Workshops, 2020)

Pushing the Limits of Clingo's Incremental Grounding and Solving Capabilities in Practical Applications. - Marcello Balduccini; Michael Barborak; David A. Ferrucci (Algorithms, 2023)