| 2004 |
|---|
| 14 | EE | Seng Wai Loke,
Andrew Davison:
Secure Prolog-Based Mobile Code
CoRR cs.PL/0406012: (2004) |
| 2002 |
|---|
| 13 | EE | Andrew Davison:
Logic Programming Languages for the Internet.
Computational Logic: Logic Programming and Beyond 2002: 66-104 |
| 12 | | Boworn Leemakul,
Panyapon Saeliw,
Andrew Davison:
Supporting the SBR Style of Web Usage.
International Conference on Internet Computing 2002: 854-859 |
| 2001 |
|---|
| 11 | | Thanaporn Chochai,
Andrew Davison:
Teaching Distributed Programming Concepts using a Java and Logo-based Framework.
International Conference on Internet Computing (1) 2001: 311-316 |
| 10 | | Seng Wai Loke,
Andrew Davison:
Secure Prolog Based Mobile Code.
TPLP 1(3): 321-357 (2001) |
| 1998 |
|---|
| 9 | | Seng Wai Loke,
Andrew Davison:
LogicWeb: Enhancing the Web with Logic Programming.
J. Log. Program. 36(3): 195-240 (1998) |
| 1996 |
|---|
| 8 | EE | Seng Wai Loke,
Andrew Davison:
Logic Programming with the World-Wide Web.
Hypertext 1996: 235-245 |
| 7 | | Seng Wai Loke,
Andrew Davison,
Leon Sterling:
CIFI: An Intelligent Agent for Citation Finding on The World-wide Web.
PRICAI 1996: 580-591 |
| 1995 |
|---|
| 6 | | Andrew Davison:
Teaching C after Miranda.
FPLE 1995: 35-50 |
| 1994 |
|---|
| 5 | | Andrew Davison,
Elizabeth Haywood:
Parsing with PTN.
SLP 1994: 676 |
| 4 | | Andrew Davison:
KL1 and the Early Days of the FGCS Project.
SIGPLAN Notices 29(7): 39-41 (1994) |
| 1993 |
|---|
| 3 | | Andrew Davison:
Parsing with DCG-terms.
LPAR 1993: 98-109 |
| 2 | | Andrew Davison:
15th July 1972: A Significant Moment for Logic Programming.
SIGPLAN Notices 28(4): 58-60 (1993) |
| 1991 |
|---|
| 1 | | Andrew Davison:
From Parlog to Polka in two easy Steps.
PLILP 1991: 171-182 |
