William W. Wadge Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge: Extensional Higher-Order Logic Programming. CoRR abs/1106.3457 (2011)
2010
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge: Extensional Higher-Order Logic Programming. JELIA 2010: 91-103
2009
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Chowdhury, Alex Thomo, William W. Wadge: Trust-Based Infinitesimals for Enhanced Collaborative Filtering. COMAD 2009
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Chowdhury, Alex Thomo, William W. Wadge: Preferential Infinitesimals for Information Retrieval. AIAI 2009: 113-125
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maryam Khezrzadeh, Alex Thomo, William W. Wadge: Harnessing the power of "favorites" lists for recommendation systems. RecSys 2009: 289-292
2008
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chrysida Galanaki, Panos Rondogiannis, William W. Wadge: An infinite-game semantics for well-founded negation in logic programming. Ann. Pure Appl. Logic 151(2-3): 70-88 (2008)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gösta Grahne, Alex Thomo, William W. Wadge: Preferential Regular Path Queries. Fundam. Inform. 89(2-3): 259-288 (2008)
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Plaice, Blanca Mancilla, Gabriel Ditu, William W. Wadge: Sequential Demand-Driven Evaluation of Eager TransLucid. COMPSAC 2008: 1266-1271
2007
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gösta Grahne, Alex Thomo, William W. Wadge: Preferentially Annotated Regular Path Queries. ICDT 2007: 314-328
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Panos Rondogiannis, William W. Wadge: Minimum model semantics for logic programs with negation-as-failure. ACM Trans. Comput. Log. 6(2): 441-467 (2005)
c20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Panos Rondogiannis, William W. Wadge: An infinite-game semantics for negation in logic programming. GALOP 2005: 77-91
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christos Nomikos, Panos Rondogiannis, William W. Wadge: A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. ICLP 2005: 414-415
c18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ruchi Agarwal, William W. Wadge: The Lazy Evaluation of Infinitesimal Logic Expressions. PLC 2005: 3-7
2004
c17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Honglian (Elena) Li, William W. Wadge: An Intensional Tool Applied to French Language Educational Software. SEKE 2004: 62-67
2003
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Panos Rondogiannis, William W. Wadge: Minimum Model Semantics for Logic Programs with Negation-as-Failure. CoRR cs.LO/0306017 (2003)
2002
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
William W. Wadge: "The Medium" Is the Message. DCW 2002: 10-14
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Panos Rondogiannis, William W. Wadge: An Infinite-Valued Semantics for Logic Programs with Negation. JELIA 2002: 456-467
2001
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
William W. Wadge: Intensional Markup Language. DCW 2000: 82-89
1999
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Panos Rondogiannis, William W. Wadge: Higher-Order Functional Languages and Intensional Logic. J. Funct. Program. 9(5): 527-564 (1999)
1998
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
William W. Wadge, Gord Brown, Monica M. C. Schraefel, Taner Yildirim: Intensional HTML. PODDP 1998: 128-139
1997
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Panos Rondogiannis, William W. Wadge: First-Order Functional Languages and Intensional Logic. J. Funct. Program. 7(1): 73-101 (1997)
1994
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mehmet A. Orgun, William W. Wadge: Extending Temporal Logic Programming with Choice Predicates Non-Determinism. J. Log. Comput. 4(6): 877-903 (1994)
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Panos Rondogiannis, William W. Wadge: Compiling Higher-Order Functions for Tagged-Dataflow. IFIP PACT 1994: 269-278
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Panos Rondogiannis, William W. Wadge: Higher-order dataflow and its implementation on stock hardware. SAC 1994: 431-435
1993
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Plaice, William W. Wadge: A Unix Tool for Managing Reusable Software Components. Softw., Pract. Exper. 23(9): 933-948 (1993)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Plaice, William W. Wadge: A New Approach to Version Control. IEEE Trans. Software Eng. 19(3): 268-276 (1993)
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mehmet A. Orgun, William W. Wadge, Weichang Du: Chronolog (Z): Linear-Time Logic Programming. ICCI 1993: 545-549
1992
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mehmet A. Orgun, William W. Wadge: Towards a Unified Theory of Intensional Logic Programming. J. Log. Program. 13(4): 413-440 (1992)
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mehmet A. Orgun, William W. Wadge: A Relational Algebra as a Query Language for Temporal DATALOG. DEXA 1992: 276-281
1991
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
William W. Wadge: Higher-Order Horn Logic Programming. ISLP 1991: 289-303
1990
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Weichang Du, William W. Wadge: A 3D Spreadsheet Based on Intensional Logic. IEEE Software 7(3): 78-89 (1990)
j7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Weichang Du, William W. Wadge: The Eductive Implementation of a Three-dimensional Spreadsheet. Softw., Pract. Exper. 20(11): 1097-1114 (1990)
1988
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Weichang Du, William W. Wadge: An intentional language as the basis of a 3-D spreadsheet design. ICCL 1988: 2-9
1987
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antony A. Faustini, William W. Wadge: An eductive interpreter for Lucid. PLDI 1987: 86-91
1982
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Edward A. Ashcroft, William W. Wadge: R/ for Semantics. ACM Trans. Program. Lang. Syst. 4(2): 283-294 (1982)
1981
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
William W. Wadge: An Extensional Treatment of Dataflow Deadlock. Theor. Comput. Sci. 13: 3-15 (1981)
1979
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
William W. Wadge: An Extensional Treatment of Dataflow Deadlock. Semantics of Concurrent Computation 1979: 285-299
1978
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Edward A. Ashcroft, William W. Wadge: Clauses: Scope Structures and Defined Functions in Lucid. POPL 1978: 17-22
1977
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Edward A. Ashcroft, William W. Wadge: Lucid, a Nonprocedural Language with Iteration. Commun. ACM 20(7): 519-526 (1977)
j3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Edward A. Ashcroft, William W. Wadge: Erratum: Lucid - A Formal System for Writing and Proving Programs. SIAM J. Comput. 6(1): 200 (1977)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adi Shamir, William W. Wadge: Data Types as Objects. ICALP 1977: 465-479
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Edward A. Ashcroft, William W. Wadge: Intermittent Assertion Proofs in Lucid. IFIP Congress 1977: 723-726
1976
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Edward A. Ashcroft, William W. Wadge: Lucid - A Formal System for Writing and Proving Programs. SIAM J. Comput. 5(3): 336-354 (1976)
1974
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
D. M. Jackson, William W. Wadge: Normal Form Reduction of Probabilistic Computations in Non-Parametric Classification. Comput. J. 17(3): 249-252 (1974)

Coauthor Index

1Ruchi Agarwal
[c18]
2Edward A. Ashcroft
[j6] [c3] [j4] [j3] [c1] [j2]
3Gord Brown
[c12]
4Pedro Cabalar
[c21]
5Angelos Charalambidis
[i2] [c27]
6Maria Chowdhury
[c26] [c25]
7Gabriel Ditu
[c23]
8Weichang Du
[c9] [j8] [j7] [c6]
9Antony A. Faustini
[c5]
10Chrysida Galanaki
[j17]
11Gösta Grahne
[j16] [c22]
12Konstantinos Handjopoulos
[i2] [c27]
13D. M. Jackson
[j1]
14Maryam Khezrzadeh
[c24]
15Honglian (Elena) Li
[c17]
16Blanca Mancilla
[c23]
17Christos Nomikos
[j18] [c19]
18Mehmet A. Orgun
[j12] [c9] [j9] [c8]
19David Pearce
[c21]
20John Plaice
[c23] [j11] [j10]
21Panos Rondogiannis (Panagiotis Rondogiannis)
[i2] [c27] [j18] [j17] [c21] [j15] [c20] [c19] [i1] [c15] [j14] [j13] [c11] [c10]
22Monica M. C. Schraefel (m. c. schraefel)
[c14] [c12]
23Adi Shamir
[c2]
24Alex Thomo
[c26] [c25] [c24] [j16] [c22]
25Taner Yildirim
[c12]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 02:49:04 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page