default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWilliam W. Wadge
Person information
- affiliation: University of Victoria, Canada
Other persons with a similar name
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[c28]Abdulmonem I Shennat, William W. Wadge, Alex Kuo:
The Dimensional Analysis of Data Flow Programs That Include Multidimensional and User-Defined Functions. IEEE Big Data 2022: 2781-2789
2010 – 2019
- 2015
- [j21]Jarryd P. Beck, John Plaice, William W. Wadge:
Multidimensional infinite data in the language Lucid. Math. Struct. Comput. Sci. 25(7): 1546-1568 (2015) - 2013
- [j20]Angelos Charalambidis
, Konstantinos Handjopoulos, Panagiotis Rondogiannis, William W. Wadge:
Extensional Higher-Order Logic Programming. ACM Trans. Comput. Log. 14(3): 21:1-21:40 (2013) - 2011
- [i5]Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge:
Extensional Higher-Order Logic Programming. CoRR abs/1106.3457 (2011) - 2010
- [c27]Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge:
Extensional Higher-Order Logic Programming. JELIA 2010: 91-103
2000 – 2009
- 2009
- [j19]Christos Nomikos, Panos Rondogiannis, William W. Wadge:
Strong equivalence of logic programs under the infinite-valued semantics. Inf. Process. Lett. 109(11): 576-581 (2009) - [c26]Maria Chowdhury, Alex Thomo, William W. Wadge:
Trust-Based Infinitesimals for Enhanced Collaborative Filtering. COMAD 2009 - [c25]Maria Chowdhury, Alex Thomo, William W. Wadge:
Preferential Infinitesimals for Information Retrieval. AIAI 2009: 113-125 - [c24]Maryam Khezrzadeh, Alex Thomo, William W. Wadge:
Harnessing the power of "favorites" lists for recommendation systems. RecSys 2009: 289-292 - 2008
- [j18]Chrysida Galanaki, Panos Rondogiannis, William W. Wadge:
An infinite-game semantics for well-founded negation in logic programming. Ann. Pure Appl. Log. 151(2-3): 70-88 (2008) - [j17]Gösta Grahne, Alex Thomo, William W. Wadge:
Preferential Regular Path Queries. Fundam. Informaticae 89(2-3): 259-288 (2008) - [c23]John Plaice, Blanca Mancilla, Gabriel Ditu, William W. Wadge:
Sequential Demand-Driven Evaluation of Eager TransLucid. COMPSAC 2008: 1266-1271 - [e1]Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner:
Topological and Game-Theoretic Aspects of Infinite Computations, 29.06. - 04.07.2008. Dagstuhl Seminar Proceedings 08271, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - [i4]Chrysida Galanaki, Panos Rondogiannis, William W. Wadge:
General Logic Programs as Infinite Games. Topological and Game-Theoretic Aspects of Infinite Computations 2008 - [i3]Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner:
08271 Abstracts Collection - Topological and Game-Theoretic Aspects of Infinite Computations. Topological and Game-Theoretic Aspects of Infinite Computations 2008 - [i2]Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner:
08271 Executive Summary - Topological and Game-Theoretic Aspects of Infinite Computations. Topological and Game-Theoretic Aspects of Infinite Computations 2008 - 2007
- [c22]Gösta Grahne, Alex Thomo, William W. Wadge:
Preferentially Annotated Regular Path Queries. ICDT 2007: 314-328 - [c21]Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge:
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR 2007: 44-57 - 2005
- [j16]Panos Rondogiannis, William W. Wadge:
Minimum model semantics for logic programs with negation-as-failure. ACM Trans. Comput. Log. 6(2): 441-467 (2005) - [c20]Panos Rondogiannis, William W. Wadge:
An infinite-game semantics for negation in logic programming. GALOP@ETAPS 2005: 77-91 - [c19]Christos Nomikos, Panos Rondogiannis, William W. Wadge:
A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. ICLP 2005: 414-415 - [c18]Ruchi Agarwal, William W. Wadge:
The Lazy Evaluation of Infinitesimal Logic Expressions. PLC 2005: 3-7 - 2004
- [c17]Honglian (Elena) Li, William W. Wadge:
An Intensional Tool Applied to French Language Educational Software. SEKE 2004: 62-67 - 2003
- [i1]Panos Rondogiannis, William W. Wadge:
Minimum Model Semantics for Logic Programs with Negation-as-Failure. CoRR cs.LO/0306017 (2003) - 2002
- [c16]William W. Wadge:
"The Medium" Is the Message. DCW 2002: 10-14 - [c15]Panos Rondogiannis, William W. Wadge:
An Infinite-Valued Semantics for Logic Programs with Negation. JELIA 2002: 456-467 - 2001
- [c14]William W. Wadge, Monica M. C. Schraefel:
A Complementary Approach for Adaptive and Adaptable Hypermedia: Intensional Hypertext. OHS-7/SC-3/AH-3 2001: 327-334 - 2000
- [c13]William W. Wadge:
Intensional Markup Language. DCW 2000: 82-89
1990 – 1999
- 1999
- [j15]Panos Rondogiannis, William W. Wadge:
Higher-Order Functional Languages and Intensional Logic. J. Funct. Program. 9(5): 527-564 (1999) - 1998
- [c12]William W. Wadge, Gord Brown, Monica M. C. Schraefel, Taner Yildirim:
Intensional HTML. PODDP 1998: 128-139 - 1997
- [j14]Panos Rondogiannis, William W. Wadge:
First-Order Functional Languages and Intensional Logic. J. Funct. Program. 7(1): 73-101 (1997) - 1994
- [j13]Mehmet A. Orgun, William W. Wadge:
Extending Temporal Logic Programming with Choice Predicates Non-Determinism. J. Log. Comput. 4(6): 877-903 (1994) - [c11]Panos Rondogiannis, William W. Wadge:
Compiling Higher-Order Functions for Tagged-Dataflow. IFIP PACT 1994: 269-278 - [c10]Panos Rondogiannis, William W. Wadge:
Higher-order dataflow and its implementation on stock hardware. SAC 1994: 431-435 - 1993
- [j12]John Plaice, William W. Wadge:
A Unix Tool for Managing Reusable Software Components. Softw. Pract. Exp. 23(9): 933-948 (1993) - [j11]John Plaice, William W. Wadge:
A New Approach to Version Control. IEEE Trans. Software Eng. 19(3): 268-276 (1993) - [c9]Mehmet A. Orgun, William W. Wadge, Weichang Du:
Chronolog (Z): Linear-Time Logic Programming. ICCI 1993: 545-549 - 1992
- [j10]Mehmet A. Orgun, William W. Wadge:
Towards a Unified Theory of Intensional Logic Programming. J. Log. Program. 13(4): 413-440 (1992) - [c8]Mehmet A. Orgun, William W. Wadge:
A Relational Algebra as a Query Language for Temporal DATALOG. DEXA 1992: 276-281 - 1991
- [c7]William W. Wadge:
Higher-Order Horn Logic Programming. ISLP 1991: 289-303 - 1990
- [j9]Weichang Du, William W. Wadge:
A 3D Spreadsheet Based on Intensional Logic. IEEE Softw. 7(3): 78-89 (1990) - [j8]Weichang Du, William W. Wadge:
The Eductive Implementation of a Three-dimensional Spreadsheet. Softw. Pract. Exp. 20(11): 1097-1114 (1990)
1980 – 1989
- 1988
- [c6]Weichang Du, William W. Wadge:
An intentional language as the basis of a 3-D spreadsheet design. ICCL 1988: 2-9 - 1987
- [c5]Antony A. Faustini, William W. Wadge:
An eductive interpreter for Lucid. PLDI 1987: 86-91 - 1982
- [j7]Edward A. Ashcroft, William W. Wadge:
R/ for Semantics. ACM Trans. Program. Lang. Syst. 4(2): 283-294 (1982) - 1981
- [j6]William W. Wadge:
An Extensional Treatment of Dataflow Deadlock. Theor. Comput. Sci. 13: 3-15 (1981) - 1980
- [j5]Edward A. Ashcroft, William W. Wadge:
Some common misconceptions about Lucid. ACM SIGPLAN Notices 15(10): 15-26 (1980)
1970 – 1979
- 1979
- [c4]William W. Wadge:
An Extensional Treatment of Dataflow Deadlock. Semantics of Concurrent Computation 1979: 285-299 - 1978
- [c3]Edward A. Ashcroft, William W. Wadge:
Clauses: Scope Structures and Defined Functions in Lucid. POPL 1978: 17-22 - 1977
- [j4]Edward A. Ashcroft, William W. Wadge:
Lucid, a Nonprocedural Language with Iteration. Commun. ACM 20(7): 519-526 (1977) - [j3]Edward A. Ashcroft, William W. Wadge:
Erratum: Lucid - A Formal System for Writing and Proving Programs. SIAM J. Comput. 6(1): 200 (1977) - [c2]Adi Shamir, William W. Wadge:
Data Types as Objects. ICALP 1977: 465-479 - [c1]Edward A. Ashcroft, William W. Wadge:
Intermittent Assertion Proofs in Lucid. IFIP Congress 1977: 723-726 - 1976
- [j2]Edward A. Ashcroft, William W. Wadge:
Lucid - A Formal System for Writing and Proving Programs. SIAM J. Comput. 5(3): 336-354 (1976) - 1974
- [j1]David M. Jackson, William W. Wadge:
Normal Form Reduction of Probabilistic Computations in Non-Parametric Classification. Comput. J. 17(3): 249-252 (1974)
Coauthor Index
aka: Panagiotis Rondogiannis
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 23:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
