The SCEAS System
Navigation Menu

Search the dblp DataBase


Tijn Borghuis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002