| 2000 |
|---|
| 8 | | Josep Domingo-Ferrer,
David Chan,
Anthony Watson:
Smart Card Research and Advanced Applications, Proceedings of the Fourth Working Conference on Smart Card Research and Advanced Applications, CARDIS 2000, September 20-22, 2000, Bristol, UK
Kluwer 2000 |
| 7 | | Boris Balacheff,
David Chan,
Liqun Chen,
Siani Pearson,
Graeme Proudler:
Securing Intelligent Adjuncts Using Trusted Computing Platform Technology.
CARDIS 2000: 177-196 |
| 1998 |
|---|
| 6 | | Boris Balacheff,
Bruno Van Wilder,
David Chan:
Smartcards - From Security Tokens to Intelligent Adjuncts.
CARDIS 1998: 71-84 |
| 1989 |
|---|
| 5 | | Micha Meier,
Abderrahmane Aggoun,
David Chan,
Pierre Dufresne,
Reinhard Enders,
Dominique Henry de Villeneuve,
Alexander Herold,
Philip Kay,
Bruno Perez,
Emmanuel van Rossum,
Joachim Schimpf:
SEPIA - An Extendible Prolog System.
IFIP Congress 1989: 1127-1132 |
| 4 | | David Chan:
An Extension of Constructive Negation and its Application in Coroutining.
NACLP 1989: 477-493 |
| 1988 |
|---|
| 3 | | David Chan:
Constructive Negation Based on the Completed Database.
ICLP/SLP 1988: 111-125 |
| 2 | | David Chan,
Mark Wallace:
A Treatment of Negation during Partial Evaluation.
META 1988: 299-317 |
| 1987 |
|---|
| 1 | | David Chan,
Pierre Dufresne,
Reinhard Enders:
PHOCUS: Production rules, Horn clauses, Objects and Contexts in a Unification-based System.
SPLT 1987: 77-108 |
