DSpace at RU >

Browsing by Faculty / Department Institute for Computing and Information Sciences

Full Text	Issue Date	Title	Author(s)
	1991	Modular Proof of Strong Normalization for the Calculus of Constructions	Geuvers, J.H.; Nederhof, MJ
	2008	Certified exact transcendental real number computation in Coq	O'Connor, Russell
	2009	Challenges in Professional Search with PHASAR	Koster, C.H.A.; Oostdijk, N.H.J.; Verberne, S.; D'Hondt, E.K.L.
	2010	Quantifying the Challenges in Parsing Patent Claims	Verberne, S.; D'hondt, E.K.L.; Oostdijk, N.H.J.; Koster, C.H.A.
	2010	Constructing a broad coverage lexicon for text mining in the patent domain	Oostdijk, N.H.J.; Verberne, S.; Koster, C.H.A.
	2011	Phrase-Based Document Categorization	Koster, C.H.A.; Beney, J.G.; Verberne, S.; Vogel, M.
	2012	Privacy	Hoepman, J.-H.; Lieshout, M.J. van