William W. Wadge

55 papers A* 3A 2B 6C 3Misc 3Journal 23Unranked 14

Year	Rank	Type	Title / Venue / Authors
2022	B	`conf`	The Dimensional Analysis of Data Flow Programs That Include Multidimensional and User-Defined Functions. IEEE Big Data Abdulmonem I Shennat, William W. Wadge, Alex Kuo
2015	J	`jnl`	Multidimensional infinite data in the language Lucid. Math. Struct. Comput. Sci. Jarryd P. Beck, John Plaice, William W. Wadge
2013	J	`jnl`	Extensional Higher-Order Logic Programming. ACM Trans. Comput. Log. Angelos Charalambidis, Konstantinos Handjopoulos, Panagiotis Rondogiannis, William W. Wadge
2011	J	`jnl`	Extensional Higher-Order Logic Programming CoRR Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge
2010	B	`conf`	Extensional Higher-Order Logic Programming. JELIA Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge
2009	A	`conf`	Harnessing the power of "favorites" lists for recommendation systems. RecSys Maryam Khezrzadeh, Alex Thomo, William W. Wadge
2009	Misc	`conf`	Preferential Infinitesimals for Information Retrieval. AIAI Maria Chowdhury, Alex Thomo, William W. Wadge
2009	J	`jnl`	Strong equivalence of logic programs under the infinite-valued semantics. Inf. Process. Lett. Christos Nomikos, Panos Rondogiannis, William W. Wadge
2009	Misc	`conf`	Trust-Based Infinitesimals for Enhanced Collaborative Filtering. COMAD Maria Chowdhury, Alex Thomo, William W. Wadge
2008	—	`conf`	08271 Abstracts Collection - Topological and Game-Theoretic Aspects of Infinite Computations. Topological and Game-Theoretic Aspects of Infinite Computations Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner
2008	—	`conf`	08271 Executive Summary - Topological and Game-Theoretic Aspects of Infinite Computations. Topological and Game-Theoretic Aspects of Infinite Computations Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner
2008	J	`jnl`	An infinite-game semantics for well-founded negation in logic programming. Ann. Pure Appl. Log. Chrysida Galanaki, Panos Rondogiannis, William W. Wadge
2008	—	`conf`	General Logic Programs as Infinite Games. Topological and Game-Theoretic Aspects of Infinite Computations Chrysida Galanaki, Panos Rondogiannis, William W. Wadge
2008	J	`jnl`	Preferential Regular Path Queries. Fundam. Informaticae Gösta Grahne, Alex Thomo, William W. Wadge
2008	B	`conf`	Sequential Demand-Driven Evaluation of Eager TransLucid. COMPSAC John Plaice, Blanca Mancilla, Gabriel Ditu, William W. Wadge
2008	—	`ed.`	Topological and Game-Theoretic Aspects of Infinite Computations, 29.06. - 04.07.2008 Topological and Game-Theoretic Aspects of Infinite Computations Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner
2007	B	`conf`	A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge
2007	A	`conf`	Preferentially Annotated Regular Path Queries. ICDT Gösta Grahne, Alex Thomo, William W. Wadge
2005	B	`conf`	A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. ICLP Christos Nomikos, Panos Rondogiannis, William W. Wadge
2005	—	`conf`	An infinite-game semantics for negation in logic programming. GALOP@ETAPS Panos Rondogiannis, William W. Wadge
2005	J	`jnl`	Minimum model semantics for logic programs with negation-as-failure. ACM Trans. Comput. Log. Panos Rondogiannis, William W. Wadge
2005	—	`conf`	The Lazy Evaluation of Infinitesimal Logic Expressions. PLC Ruchi Agarwal, William W. Wadge
2004	C	`conf`	An Intensional Tool Applied to French Language Educational Software. SEKE Honglian (Elena) Li, William W. Wadge
2003	J	`jnl`	Minimum Model Semantics for Logic Programs with Negation-as-Failure CoRR Panos Rondogiannis, William W. Wadge
2002	—	`conf`	"The Medium" Is the Message. DCW William W. Wadge
2002	B	`conf`	An Infinite-Valued Semantics for Logic Programs with Negation. JELIA Panos Rondogiannis, William W. Wadge
2001	—	`conf`	A Complementary Approach for Adaptive and Adaptable Hypermedia: Intensional Hypertext. OHS-7/SC-3/AH-3 William W. Wadge, Monica M. C. Schraefel
2000	—	`conf`	Intensional Markup Language. DCW William W. Wadge
1999	J	`jnl`	Higher-Order Functional Languages and Intensional Logic. J. Funct. Program. Panos Rondogiannis, William W. Wadge
1998	—	`conf`	Intensional HTML. PODDP William W. Wadge, Gord Brown, Monica M. C. Schraefel, Taner Yildirim
1997	J	`jnl`	First-Order Functional Languages and Intensional Logic. J. Funct. Program. Panos Rondogiannis, William W. Wadge
1994	—	`conf`	Compiling Higher-Order Functions for Tagged-Dataflow. IFIP PACT Panos Rondogiannis, William W. Wadge
1994	J	`jnl`	Extending Temporal Logic Programming with Choice Predicates Non-Determinism. J. Log. Comput. Mehmet A. Orgun, William W. Wadge
1994	Misc	`conf`	Higher-order dataflow and its implementation on stock hardware. SAC Panos Rondogiannis, William W. Wadge
1993	J	`jnl`	A New Approach to Version Control. IEEE Trans. Software Eng. John Plaice, William W. Wadge
1993	J	`jnl`	A Unix Tool for Managing Reusable Software Components. Softw. Pract. Exp. John Plaice, William W. Wadge
1993	C	`conf`	Chronolog (Z): Linear-Time Logic Programming. ICCI Mehmet A. Orgun, William W. Wadge, Weichang Du
1992	C	`conf`	A Relational Algebra as a Query Language for Temporal DATALOG. DEXA Mehmet A. Orgun, William W. Wadge
1992	J	`jnl`	Towards a Unified Theory of Intensional Logic Programming. J. Log. Program. Mehmet A. Orgun, William W. Wadge
1991	—	`conf`	Higher-Order Horn Logic Programming. ISLP William W. Wadge
1990	J	`jnl`	A 3D Spreadsheet Based on Intensional Logic. IEEE Softw. Weichang Du, William W. Wadge
1990	J	`jnl`	The Eductive Implementation of a Three-dimensional Spreadsheet. Softw. Pract. Exp. Weichang Du, William W. Wadge
1988	—	`conf`	An intentional language as the basis of a 3-D spreadsheet design. ICCL Weichang Du, William W. Wadge
1987	A*	`conf`	An eductive interpreter for Lucid. PLDI Antony A. Faustini, William W. Wadge
1982	J	`jnl`	R/ for Semantics. ACM Trans. Program. Lang. Syst. Edward A. Ashcroft, William W. Wadge
1981	J	`jnl`	An Extensional Treatment of Dataflow Deadlock. Theor. Comput. Sci. William W. Wadge
1980	J	`jnl`	Some common misconceptions about Lucid. ACM SIGPLAN Notices Edward A. Ashcroft, William W. Wadge
1979	—	`conf`	An Extensional Treatment of Dataflow Deadlock. Semantics of Concurrent Computation William W. Wadge
1978	A*	`conf`	Clauses: Scope Structures and Defined Functions in Lucid. POPL Edward A. Ashcroft, William W. Wadge
1977	A*	`conf`	Data Types as Objects. ICALP Adi Shamir, William W. Wadge
1977	J	`jnl`	Erratum: Lucid - A Formal System for Writing and Proving Programs. SIAM J. Comput. Edward A. Ashcroft, William W. Wadge
1977	—	`conf`	Intermittent Assertion Proofs in Lucid. IFIP Congress Edward A. Ashcroft, William W. Wadge
1977	J	`jnl`	Lucid, a Nonprocedural Language with Iteration. Commun. ACM Edward A. Ashcroft, William W. Wadge
1976	J	`jnl`	Lucid - A Formal System for Writing and Proving Programs. SIAM J. Comput. Edward A. Ashcroft, William W. Wadge
1974	J	`jnl`	Normal Form Reduction of Probabilistic Computations in Non-Parametric Classification. Comput. J. David M. Jackson, William W. Wadge