dblp.uni-trier.dewww.uni-trier.de

William W. Wadge Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
43EEMaryam Khezrzadeh, Alex Thomo, William W. Wadge: Harnessing the power of "favorites" lists for recommendation systems. RecSys 2009: 289-292
42EEChristos Nomikos, Panos Rondogiannis, William W. Wadge: Strong equivalence of logic programs under the infinite-valued semantics. Inf. Process. Lett. 109(11): 576-581 (2009)
2008
41EEJohn Plaice, Blanca Mancilla, Gabriel Ditu, William W. Wadge: Sequential Demand-Driven Evaluation of Eager TransLucid. COMPSAC 2008: 1266-1271
40EEChrysida 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)
39EEGösta Grahne, Alex Thomo, William W. Wadge: Preferential Regular Path Queries. Fundam. Inform. 89(2-3): 259-288 (2008)
2007
38EEGösta Grahne, Alex Thomo, William W. Wadge: Preferentially Annotated Regular Path Queries. ICDT 2007: 314-328
37EEPedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge: A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR 2007: 44-57
2005
36 Panos Rondogiannis, William W. Wadge: An infinite-game semantics for negation in logic programming. GALOP 2005: 77-91
35EEChristos Nomikos, Panos Rondogiannis, William W. Wadge: A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. ICLP 2005: 414-415
34 Ruchi Agarwal, William W. Wadge: The Lazy Evaluation of Infinitesimal Logic Expressions. PLC 2005: 3-7
33EEPanos Rondogiannis, William W. Wadge: Minimum model semantics for logic programs with negation-as-failure. ACM Trans. Comput. Log. 6(2): 441-467 (2005)
2004
32 Honglian (Elena) Li, William W. Wadge: An Intensional Tool Applied to French Language Educational Software. SEKE 2004: 62-67
2003
31EEPanos Rondogiannis, William W. Wadge: Minimum Model Semantics for Logic Programs with Negation-as-Failure CoRR cs.LO/0306017: (2003)
2002
30EEWilliam W. Wadge: "The Medium" Is the Message. DCW 2002: 10-14
29EEPanos Rondogiannis, William W. Wadge: An Infinite-Valued Semantics for Logic Programs with Negation. JELIA 2002: 456-467
2001
28EEWilliam 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
27EEWilliam W. Wadge: Intensional Markup Language. DCW 2000: 82-89
1999
26 Panos Rondogiannis, William W. Wadge: Higher-Order Functional Languages and Intensional Logic. J. Funct. Program. 9(5): 527-564 (1999)
1998
25EEWilliam W. Wadge, Gord Brown, Monica M. C. Schraefel, Taner Yildirim: Intensional HTML. PODDP 1998: 128-139
1997
24 Panos Rondogiannis, William W. Wadge: First-Order Functional Languages and Intensional Logic. J. Funct. Program. 7(1): 73-101 (1997)
1994
23 Panos Rondogiannis, William W. Wadge: Compiling Higher-Order Functions for Tagged-Dataflow. IFIP PACT 1994: 269-278
22EEPanos Rondogiannis, William W. Wadge: Higher-order dataflow and its implementation on stock hardware. SAC 1994: 431-435
21 Mehmet A. Orgun, William W. Wadge: Extending Temporal Logic Programming with Choice Predicates Non-Determinism. J. Log. Comput. 4(6): 877-903 (1994)
1993
20 Mehmet A. Orgun, William W. Wadge, Weichang Du: Chronolog (Z): Linear-Time Logic Programming. ICCI 1993: 545-549
19EEJohn Plaice, William W. Wadge: A New Approach to Version Control. IEEE Trans. Software Eng. 19(3): 268-276 (1993)
18 John Plaice, William W. Wadge: A Unix Tool for Managing Reusable Software Components. Softw., Pract. Exper. 23(9): 933-948 (1993)
1992
17 Mehmet A. Orgun, William W. Wadge: A Relational Algebra as a Query Language for Temporal DATALOG. DEXA 1992: 276-281
16 Mehmet A. Orgun, William W. Wadge: Towards a Unified Theory of Intensional Logic Programming. J. Log. Program. 13(4): 413-440 (1992)
1991
15 William W. Wadge: Higher-Order Horn Logic Programming. ISLP 1991: 289-303
1990
14 Weichang Du, William W. Wadge: A 3D Spreadsheet Based on Intensional Logic. IEEE Software 7(3): 78-89 (1990)
13 Weichang Du, William W. Wadge: The Eductive Implementation of a Three-dimensional Spreadsheet. Softw., Pract. Exper. 20(11): 1097-1114 (1990)
1988
12EEWeichang Du, William W. Wadge: An intentional language as the basis of a 3-D spreadsheet design. ICCL 1988: 2-9
1987
11EEAntony A. Faustini, William W. Wadge: An eductive interpreter for Lucid. PLDI 1987: 86-91
1982
10EEEdward A. Ashcroft, William W. Wadge: R/ for Semantics. ACM Trans. Program. Lang. Syst. 4(2): 283-294 (1982)
1981
9 William W. Wadge: An Extensional Treatment of Dataflow Deadlock. Theor. Comput. Sci. 13: 3-15 (1981)
1979
8 William W. Wadge: An Extensional Treatment of Dataflow Deadlock. Semantics of Concurrent Computation 1979: 285-299
1978
7 Edward A. Ashcroft, William W. Wadge: Clauses: Scope Structures and Defined Functions in Lucid. POPL 1978: 17-22
1977
6EEAdi Shamir, William W. Wadge: Data Types as Objects. ICALP 1977: 465-479
5 Edward A. Ashcroft, William W. Wadge: Intermittent Assertion Proofs in Lucid. IFIP Congress 1977: 723-726
4 Edward A. Ashcroft, William W. Wadge: Lucid, a Nonprocedural Language with Iteration. Commun. ACM 20(7): 519-526 (1977)
3 Edward A. Ashcroft, William W. Wadge: Erratum: Lucid - A Formal System for Writing and Proving Programs. SIAM J. Comput. 6(1): 200 (1977)
1976
2 Edward A. Ashcroft, William W. Wadge: Lucid - A Formal System for Writing and Proving Programs. SIAM J. Comput. 5(3): 336-354 (1976)
1974
1 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 [34]
2Edward A. Ashcroft [2] [3] [4] [5] [7] [10]
3Gord Brown [25]
4Pedro Cabalar [37]
5Gabriel Ditu [41]
6Weichang Du [12] [13] [14] [20]
7Antony A. Faustini [11]
8Chrysida Galanaki [40]
9Gösta Grahne [38] [39]
10D. M. Jackson [1]
11Maryam Khezrzadeh [43]
12Honglian (Elena) Li [32]
13Blanca Mancilla [41]
14Christos Nomikos [35] [42]
15Mehmet A. Orgun [16] [17] [20] [21]
16David Pearce [37]
17John Plaice [18] [19] [41]
18Panos Rondogiannis (Panagiotis Rondogiannis) [22] [23] [24] [26] [29] [31] [33] [35] [36] [37] [40] [42]
19Monica M. C. Schraefel (m. c. schraefel) [25] [28]
20Adi Shamir [6]
21Alex Thomo [38] [39] [43]
22Taner Yildirim [25]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)