Tijn Borghuis

	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)

Coauthor Index

1	René M. C. Ahn	[1] [2] [4]
2	Robbert-Jan Beun	[1] [2] [5]
3	Harry Bunt	[1] [2] [5]
4	Loe M. G. Feijs	[6]
5	Fairouz Kamareddine	[7]
6	Rob Nederpelt	[7]
7	Cornelius W. A. M. van Overveld (Kees van Overveld)	[1] [2]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page