Normal Form Reduction of Probabilistic Computations in Non-Parametric Classification. - David M. Jackson 001; William W. Wadge (Comput. J., 1974)

Lucid - A Formal System for Writing and Proving Programs. - Edward A. Ashcroft; William W. Wadge (SIAM J. Comput., 1976)

Data Types as Objects. - Adi Shamir; William W. Wadge (ICALP, 1977)

Intermittent Assertion Proofs in Lucid. - Edward A. Ashcroft; William W. Wadge (IFIP Congress, 1977)

Lucid, a Nonprocedural Language with Iteration. - Edward A. Ashcroft; William W. Wadge (Commun. ACM, 1977)

Erratum: Lucid - A Formal System for Writing and Proving Programs. - Edward A. Ashcroft; William W. Wadge (SIAM J. Comput., 1977)

Clauses: Scope Structures and Defined Functions in Lucid. - Edward A. Ashcroft; William W. Wadge (POPL, 1978)

Some common misconceptions about Lucid. - Edward A. Ashcroft; William W. Wadge (ACM SIGPLAN Notices, 1980)

An Extensional Treatment of Dataflow Deadlock. - William W. Wadge (Theor. Comput. Sci., 1981)

R/ for Semantics. - Edward A. Ashcroft; William W. Wadge (ACM Trans. Program. Lang. Syst., 1982)

An eductive interpreter for Lucid. - Antony A. Faustini; William W. Wadge (PLDI, 1987)

An intentional language as the basis of a 3-D spreadsheet design. - Weichang Du; William W. Wadge (ICCL, 1988)

A 3D Spreadsheet Based on Intensional Logic. - Weichang Du; William W. Wadge (IEEE Softw., 1990)

The Eductive Implementation of a Three-dimensional Spreadsheet. - Weichang Du; William W. Wadge (Softw. Pract. Exp., 1990)

Higher-Order Horn Logic Programming. - William W. Wadge (ISLP, 1991)

A Relational Algebra as a Query Language for Temporal DATALOG. - Mehmet A. Orgun; William W. Wadge (DEXA, 1992)

Towards a Unified Theory of Intensional Logic Programming. - Mehmet A. Orgun; William W. Wadge (J. Log. Program., 1992)

Chronolog (Z): Linear-Time Logic Programming. - Mehmet A. Orgun; William W. Wadge; Weichang Du (ICCI, 1993)

A Unix Tool for Managing Reusable Software Components. - John Plaice; William W. Wadge (Softw. Pract. Exp., 1993)

A New Approach to Version Control. - John Plaice; William W. Wadge (IEEE Trans. Software Eng., 1993)

Compiling Higher-Order Functions for Tagged-Dataflow. - Panos Rondogiannis; William W. Wadge (IFIP PACT, 1994)

Higher-order dataflow and its implementation on stock hardware. - Panos Rondogiannis; William W. Wadge (SAC, 1994)

Extending Temporal Logic Programming with Choice Predicates Non-Determinism. - Mehmet A. Orgun; William W. Wadge (J. Log. Comput., 1994)

First-Order Functional Languages and Intensional Logic. - Panos Rondogiannis; William W. Wadge (J. Funct. Program., 1997)

Intensional HTML. - William W. Wadge; Gord Brown; Monica M. C. Schraefel; Taner Yildirim (PODDP, 1998)

Higher-Order Functional Languages and Intensional Logic. - Panos Rondogiannis; William W. Wadge (J. Funct. Program., 1999)

Intensional Markup Language. - William W. Wadge (DCW, 2000)

A Complementary Approach for Adaptive and Adaptable Hypermedia: Intensional Hypertext. - William W. Wadge; Monica M. C. Schraefel (OHS-7/SC-3/AH-3, 2001)

"The Medium" Is the Message. - William W. Wadge (DCW, 2002)

An Infinite-Valued Semantics for Logic Programs with Negation. - Panos Rondogiannis; William W. Wadge (JELIA, 2002)

An Intensional Tool Applied to French Language Educational Software. - Honglian (Elena) Li; William W. Wadge (SEKE, 2004)

An infinite-game semantics for negation in logic programming. - Panos Rondogiannis; William W. Wadge (GALOP@ETAPS, 2005)

A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. - Christos Nomikos; Panos Rondogiannis; William W. Wadge (ICLP, 2005)

The Lazy Evaluation of Infinitesimal Logic Expressions. - Ruchi Agarwal; William W. Wadge (PLC, 2005)

Minimum model semantics for logic programs with negation-as-failure. - Panos Rondogiannis; William W. Wadge (ACM Trans. Comput. Log., 2005)

Preferentially Annotated Regular Path Queries. - Gösta Grahne; Alex Thomo; William W. Wadge (ICDT, 2007)

A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. - Pedro Cabalar; David Pearce 001; Panos Rondogiannis; William W. Wadge (LPNMR, 2007)

Sequential Demand-Driven Evaluation of Eager TransLucid. - John Plaice; Blanca Mancilla; Gabriel Ditu; William W. Wadge (COMPSAC, 2008)

General Logic Programs as Infinite Games. - Chrysida Galanaki; Panos Rondogiannis; William W. Wadge (Topological and Game-Theoretic Aspects of Infinite Computations, 2008)

08271 Abstracts Collection - Topological and Game-Theoretic Aspects of Infinite Computations. - Peter Hertling; Victor L. Selivanov; Wolfgang Thomas; William W. Wadge; Klaus W. Wagner (Topological and Game-Theoretic Aspects of Infinite Computations, 2008)

08271 Executive Summary - Topological and Game-Theoretic Aspects of Infinite Computations. - Peter Hertling; Victor L. Selivanov; Wolfgang Thomas; William W. Wadge; Klaus W. Wagner (Topological and Game-Theoretic Aspects of Infinite Computations, 2008)

An infinite-game semantics for well-founded negation in logic programming. - Chrysida Galanaki; Panos Rondogiannis; William W. Wadge (Ann. Pure Appl. Log., 2008)

Preferential Regular Path Queries. - Gösta Grahne; Alex Thomo; William W. Wadge (Fundam. Informaticae, 2008)

Trust-Based Infinitesimals for Enhanced Collaborative Filtering. - Maria Chowdhury; Alex Thomo; William W. Wadge (COMAD, 2009)

Preferential Infinitesimals for Information Retrieval. - Maria Chowdhury; Alex Thomo; William W. Wadge (AIAI, 2009)

Harnessing the power of "favorites" lists for recommendation systems. - Maryam Khezrzadeh; Alex Thomo; William W. Wadge (RecSys, 2009)

Strong equivalence of logic programs under the infinite-valued semantics. - Christos Nomikos; Panos Rondogiannis; William W. Wadge (Inf. Process. Lett., 2009)

Extensional Higher-Order Logic Programming. - Angelos Charalambidis; Konstantinos Handjopoulos; Panagiotis Rondogiannis; William W. Wadge (ACM Trans. Comput. Log., 2013)

Multidimensional infinite data in the language Lucid. - Jarryd P. Beck; John Plaice; William W. Wadge (Math. Struct. Comput. Sci., 2015)

The Dimensional Analysis of Data Flow Programs That Include Multidimensional and User-Defined Functions. - Abdulmonem I Shennat; William W. Wadge; Alex Kuo (IEEE Big Data, 2022)