 | 2002 |
|---|
| 7 |       | Tijn Borghuis,
Fairouz Kamareddine,
Rob Nederpelt:
Formalizing Belief Revision in Type Theory.
Logic Journal of the IGPL 10(5): 461-500 (2002) |
| 2000 |
|---|
| 6 |  | Tijn Borghuis,
Loe M. G. Feijs:
A Constructive Logic for Services and Information Flow in Computer Networks.
Comput. J. 43(4): 274-289 (2000) |
| 1998 |
|---|
| 5 | | Harry Bunt,
Robbert-Jan Beun,
Tijn Borghuis:
Multimodal Human-Computer Communication, Systems, Techniques, and Experiments
Springer 1998 |
| 4 | | René M. C. Ahn,
Tijn Borghuis:
Communication Modelling and Context-Dependent Interpretation: An Integrated Approach.
TYPES 1998: 19-32 |
| 3 | | Tijn Borghuis:
Modal Pure Type Systems.
Journal of Logic, Language and Information 7(3): 265-296 (1998) |
| 1995 |
|---|
| 2 | | Harry Bunt,
René M. C. Ahn,
Robbert-Jan Beun,
Tijn Borghuis,
Cornelius W. A. M. van Overveld:
Multimodal Cooperation with the DENK System.
Multimodal Human-Computer Communication 1995: 39-67 |
| 1994 |
|---|
| 1 | | René M. C. Ahn,
Harry Bunt,
Robbert-Jan Beun,
Tijn Borghuis,
Cornelius W. A. M. van Overveld:
The DenK-architecture: A Fundamental Approach to User-Interfaces.
Artif. Intell. Rev. 8(5-6): 431-445 (1994) |
