The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

William W. Wadge: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Edward A. Ashcroft, William W. Wadge
    R/ for Semantics. [Citation Graph (2, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:2, pp:283-294 [Journal]
  2. William W. Wadge
    Intensional Markup Language. [Citation Graph (0, 0)][DBLP]
    DCW, 2000, pp:82-89 [Conf]
  3. William W. Wadge
    "The Medium" Is the Message. [Citation Graph (0, 0)][DBLP]
    DCW, 2002, pp:10-14 [Conf]
  4. Mehmet A. Orgun, William W. Wadge
    A Relational Algebra as a Query Language for Temporal DATALOG. [Citation Graph (0, 0)][DBLP]
    DEXA, 1992, pp:276-281 [Conf]
  5. William W. Wadge, Gord Brown, Monica M. C. Schraefel, Taner Yildirim
    Intensional HTML. [Citation Graph (0, 0)][DBLP]
    PODDP, 1998, pp:128-139 [Conf]
  6. Panos Rondogiannis, William W. Wadge
    An infinite-game semantics for negation in logic programming. [Citation Graph (0, 0)][DBLP]
    GALOP, 2005, pp:77-91 [Conf]
  7. Adi Shamir, William W. Wadge
    Data Types as Objects. [Citation Graph (0, 0)][DBLP]
    ICALP, 1977, pp:465-479 [Conf]
  8. Mehmet A. Orgun, William W. Wadge, Weichang Du
    Chronolog (Z): Linear-Time Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICCI, 1993, pp:545-549 [Conf]
  9. Weichang Du, William W. Wadge
    An intentional language as the basis of a 3-D spreadsheet design. [Citation Graph (0, 0)][DBLP]
    ICCL, 1988, pp:2-9 [Conf]
  10. Gösta Grahne, Alex Thomo, William W. Wadge
    Preferentially Annotated Regular Path Queries. [Citation Graph (0, 0)][DBLP]
    ICDT, 2007, pp:314-328 [Conf]
  11. Christos Nomikos, Panos Rondogiannis, William W. Wadge
    A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:414-415 [Conf]
  12. Edward A. Ashcroft, William W. Wadge
    Intermittent Assertion Proofs in Lucid. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:723-726 [Conf]
  13. Panos Rondogiannis, William W. Wadge
    Compiling Higher-Order Functions for Tagged-Dataflow. [Citation Graph (0, 0)][DBLP]
    IFIP PACT, 1994, pp:269-278 [Conf]
  14. Panos Rondogiannis, William W. Wadge
    An Infinite-Valued Semantics for Logic Programs with Negation. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:456-467 [Conf]
  15. Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge
    A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:44-57 [Conf]
  16. William W. Wadge, Monica M. C. Schraefel
    A Complementary Approach for Adaptive and Adaptable Hypermedia: Intensional Hypertext. [Citation Graph (0, 0)][DBLP]
    OHS-7/SC-3/AH-3, 2001, pp:327-334 [Conf]
  17. Ruchi Agarwal, William W. Wadge
    The Lazy Evaluation of Infinitesimal Logic Expressions. [Citation Graph (0, 0)][DBLP]
    PLC, 2005, pp:3-7 [Conf]
  18. Antony A. Faustini, William W. Wadge
    An eductive interpreter for Lucid. [Citation Graph (0, 0)][DBLP]
    PLDI, 1987, pp:86-91 [Conf]
  19. Edward A. Ashcroft, William W. Wadge
    Clauses: Scope Structures and Defined Functions in Lucid. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:17-22 [Conf]
  20. Panos Rondogiannis, William W. Wadge
    Higher-order dataflow and its implementation on stock hardware. [Citation Graph (0, 0)][DBLP]
    SAC, 1994, pp:431-435 [Conf]
  21. William W. Wadge
    An Extensional Treatment of Dataflow Deadlock. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:285-299 [Conf]
  22. Honglian (Elena) Li, William W. Wadge
    An Intensional Tool Applied to French Language Educational Software. [Citation Graph (0, 0)][DBLP]
    SEKE, 2004, pp:62-67 [Conf]
  23. William W. Wadge
    Higher-Order Horn Logic Programming. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:289-303 [Conf]
  24. Edward A. Ashcroft, William W. Wadge
    Lucid, a Nonprocedural Language with Iteration. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1977, v:20, n:7, pp:519-526 [Journal]
  25. D. M. Jackson, William W. Wadge
    Normal Form Reduction of Probabilistic Computations in Non-Parametric Classification. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1974, v:17, n:3, pp:249-252 [Journal]
  26. Panos Rondogiannis, William W. Wadge
    Minimum Model Semantics for Logic Programs with Negation-as-Failure [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  27. Panos Rondogiannis, William W. Wadge
    First-Order Functional Languages and Intensional Logic. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1997, v:7, n:1, pp:73-101 [Journal]
  28. Panos Rondogiannis, William W. Wadge
    Higher-Order Functional Languages and Intensional Logic. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1999, v:9, n:5, pp:527-564 [Journal]
  29. Mehmet A. Orgun, William W. Wadge
    Towards a Unified Theory of Intensional Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1992, v:13, n:4, pp:413-440 [Journal]
  30. Mehmet A. Orgun, William W. Wadge
    Extending Temporal Logic Programming with Choice Predicates Non-Determinism. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:6, pp:877-903 [Journal]
  31. Edward A. Ashcroft, William W. Wadge
    Lucid - A Formal System for Writing and Proving Programs. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1976, v:5, n:3, pp:336-354 [Journal]
  32. Edward A. Ashcroft, William W. Wadge
    Erratum: Lucid - A Formal System for Writing and Proving Programs. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1977, v:6, n:1, pp:200- [Journal]
  33. Weichang Du, William W. Wadge
    A 3D Spreadsheet Based on Intensional Logic. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1990, v:7, n:3, pp:78-89 [Journal]
  34. Weichang Du, William W. Wadge
    The Eductive Implementation of a Three-dimensional Spreadsheet. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1990, v:20, n:11, pp:1097-1114 [Journal]
  35. John Plaice, William W. Wadge
    A Unix Tool for Managing Reusable Software Components. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1993, v:23, n:9, pp:933-948 [Journal]
  36. William W. Wadge
    An Extensional Treatment of Dataflow Deadlock. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1981, v:13, n:, pp:3-15 [Journal]
  37. Panos Rondogiannis, William W. Wadge
    Minimum model semantics for logic programs with negation-as-failure. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2005, v:6, n:2, pp:441-467 [Journal]
  38. John Plaice, William W. Wadge
    A New Approach to Version Control. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:3, pp:268-276 [Journal]

  39. Trust-Based Infinitesimals for Enhanced Collaborative Filtering. [Citation Graph (, )][DBLP]


  40. Sequential Demand-Driven Evaluation of Eager TransLucid. [Citation Graph (, )][DBLP]


  41. Preferential Infinitesimals for Information Retrieval. [Citation Graph (, )][DBLP]


  42. Extensional Higher-Order Logic Programming. [Citation Graph (, )][DBLP]


  43. Harnessing the power of "favorites" lists for recommendation systems. [Citation Graph (, )][DBLP]


  44. An infinite-game semantics for well-founded negation in logic programming. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002