| 2010 | JELIA | Extensional Higher-Order Logic Programming. | Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge |
| 2009 | COMAD | Trust-Based Infinitesimals for Enhanced Collaborative Filtering. | Maria Chowdhury, Alex Thomo, William W. Wadge |
| 2009 | RecSys | Harnessing the power of "favorites" lists for recommendation systems. | Maryam Khezrzadeh, Alex Thomo, William W. Wadge |
| 2008 | COMPSAC | Sequential Demand-Driven Evaluation of Eager TransLucid. | John Plaice, Blanca Mancilla, Gabriel Ditu, William W. Wadge |
| 2007 | ICDT | Preferentially Annotated Regular Path Queries. | Gsta Grahne, Alex Thomo, William W. Wadge |
| 2007 | LPNMR | A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. | Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge |
| 2005 | ICLP | A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. | Christos Nomikos, Panos Rondogiannis, William W. Wadge |
| 2004 | SEKE | An Intensional Tool Applied to French Language Educational Software. | Honglian (Elena) Li, William W. Wadge |
| 2002 | JELIA | An Infinite-Valued Semantics for Logic Programs with Negation. | Panos Rondogiannis, William W. Wadge |
| 1994 | SAC | Higher-order dataflow and its implementation on stock hardware. | Panos Rondogiannis, William W. Wadge |
| 1993 | ICCI | Chronolog (Z): Linear-Time Logic Programming. | Mehmet A. Orgun, William W. Wadge, Weichang Du |
| 1992 | DEXA | A Relational Algebra as a Query Language for Temporal DATALOG. | Mehmet A. Orgun, William W. Wadge |
| 1987 | PLDI | An eductive interpreter for Lucid. | Antony A. Faustini, William W. Wadge |
| 1978 | POPL | Clauses: Scope Structures and Defined Functions in Lucid. | Edward A. Ashcroft, William W. Wadge |
| 1977 | ICALP | Data Types as Objects. | Adi Shamir, William W. Wadge |