| 2016 | ACL | Learning Prototypical Event Structure from Photo Albums. | Antoine Bosselut, Jianfu Chen, David Scott Warren, Hannaneh Hajishirzi, Yejin Choi |
| 2015 | NAACL | Dj Image-Captions: A Corpus of Expressive Descriptions in Repetition. | Jianfu Chen, Polina Kuznetsova, David Scott Warren, Yejin Choi |
| 2013 | CIKM | Cost-sensitive learning for large-scale hierarchical classification. | Jianfu Chen, David Scott Warren |
| 2010 | JELIA | Tabling with Answer Subsumption: Implementation, Applications and Performance. | Terrance Swift, David Scott Warren |
| 2008 | SENSYS | A methodology for in-network evaluation of integrated logical-statistical models. | Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong |
| 2007 | CCS | Security policy analysis using deductive spreadsheets. | Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren |
| 2006 | ICLP | Deductive Spreadsheets Using Tabled Logic Programming. | C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren |
| 2004 | ICLP | Constraint Handling Rules and Tabled Execution. | Tom Schrijvers, David Scott Warren |
| 2003 | ESOP | Approximate Pruning in Tabled Logic Programming. | Lus Fernando Castro, David Scott Warren |
| 2002 | PADL | Suspending and Resuming Computations in Engines for SLG Evaluation. | Lus Fernando Castro, Terrance Swift, David Scott Warren |
| 1999 | ICLP | Multiple Terms in a Tabled Logic Programming System. | Baoqiu Cui, David Scott Warren |
| 1999 | LPNMR | A Case Study in Using Preference Logic Grammars for Knowledge Representations. | Baoqiu Cui, Terrance Swift, David Scott Warren |
| 1999 | TACAS | Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. | Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren |
| 1997 | CAV | Efficient Model Checking Using Tabled Resolution. | Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren |
| 1997 | ICLP | Taking I/O Seriously: Resolution Reconsidered for Disk. | Juliana Freire, Terrance Swift, David Scott Warren |
| 1997 | LPNMR | XSB: A System for Effciently Computing WFS. | Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire |
| 1996 | CADE | An Abstract Machine for Fixed-Order Dynamically Stratified Programs. | Konstantinos Sagonas, Terrance Swift, David Scott Warren |
| 1996 | ICLP | Logic Programming and Databases Integrated at Last? (Poster Abstract). | Juliana Freire, Terrance Swift, David Scott Warren |
| 1996 | ICLP | An Abstract Machine for Computing the Well-Founded Semantics. | Konstantinos Sagonas, Terrance Swift, David Scott Warren |
| 1996 | PLDI | Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study. | Steven Dawson, C. R. Ramakrishnan, David Scott Warren |
| 1995 | ICLP | Efficient Tabling Mechanisms for Logic Programs. | I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren |
| 1995 | ICLP | Efficient Execution of HiLog in WAM-based Prolog Implementations. | Konstantinos Sagonas, David Scott Warren |
| 1995 | POPL | Unification Factoring for Efficient Execution of Logic Programs. | Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren |
| 1994 | SIGMOD | XSB as an Efficient Deductive Database Engine. | Konstantinos Sagonas, Terrance Swift, David Scott Warren |
| 1994 | SIGMOD | XSB as a Deductive Database. | Konstantinos Sagonas, Terrance Swift, David Scott Warren |
| 1993 | PODS | Query Evaluation under the Well Founded Semantics. | Weidong Chen, David Scott Warren |
| 1992 | ICLP | A Goal-Oriented Approach to Computing Well Founded Semantics. | Weidong Chen, David Scott Warren |
| 1991 | ICLP | An Intensional Logic of (Multi-Arity) Set Abstractions. | Weidong Chen, David Scott Warren |
| 1990 | POPL | Automata-Driven Indexing of Prolog Clauses. | R. Ramesh, I. V. Ramakrishnan, David Scott Warren |
| 1989 | IJCAI | On the Declarative Semantics of Inheritance Networks. | Krishnaprasad Thirunarayan, Michael Kifer, David Scott Warren |
| 1989 | PODS | C-Logic of Complex Objects. | Weidong Chen, David Scott Warren |
| 1988 | ICLP | Objects as Intensions. | Weidong Chen, David Scott Warren |
| 1988 | ICLP | A Type Inference System for Prolog. | Jiyang Xu, David Scott Warren |
| 1986 | ICLP | Detection and Optimization of Functional Computations in Prolog. | David Scott Warren, Saumya K. Debray |
| 1984 | ICLP | A Class of Architectures for a Prolog Machine. | Laxmikant V. Kal, David Scott Warren |
| 1983 | ACL | Using X-Calculus to Represent Meanings in Logic Grammars. | David Scott Warren |
| 1983 | SIGMOD | Windows on the World. | David Maier, David Rozenshtein, David Scott Warren |
| 1982 | AAAI | Conceptual Dependency and Montague Grammar: A Step Toward Conciliation. | Mark A. Jones, David Scott Warren |
| 1982 | SIGMOD | Toward Logical Data Independence: A Relational Query Language Without Relations. | David Maier, David Rozenshtein, Sharon C. Salveter, Jacob Stein, David Scott Warren |
| 1982 | SIGMOD | Specifying Connections for a Universal Relation Scheme Database. | David Maier, David Scott Warren |
| 1981 | SIGMOD | Incorporating Computed Relations in Relational Databases. | David Maier, David Scott Warren |
| 1981 | XP | Formal Semantics for Time in Databases. | James Clifford, David Scott Warren |