Search the dblp DataBase

Publications of Author

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