DSpace at RU >

Browsing by Author Huisman, M.

Full Text	Issue Date	Title	Author(s)
	2011	Fostering Harmonious Interactions in a Boy with Congenital Deaf-Blindness: A Single-Case Study	Janssen, M.J.; Riksen-Walraven, J.M.A.; Dijk, J.P.M. van; Huisman, M.; Ruijssenaars, A.J.J.M.
	2010	Burnout and engagement among resident doctors in the Netherlands: a national study.	Prins, J.T.; Hoekstra-Weebers, J.E.H.M.; Gazendam-Donofrio, S.M.; Dillingh, G.S.; Bakker, A.B.H., et al
	2007	Proceedings of the 1st Workshop on Verification and Analysis of Multi-threaded Java-like Programs (VAMP), Lisbon, Portugal, Septemper 3, 2007 : Satellite Workshop at CONCUR 2007	Haack, C.; Huisman, M.; Kiniry, J.; Poll, E.
	2006	A DGGE system for comprehensive mutation screening of BRCA1 and BRCA2: application in a Dutch cancer clinic setting.	Hout, A.H. van der; Ouweland, A.M.W. van den; Luijt, R.B. van der; Gille, H.J.; Bodmer, D., et al
	2004	Formal Techniques for Java-Like Programs (FTfJP'04)	Coglio, A.; Huisman, M.; Kiniry, J.R.; Müller, P.; Poll, E.
	2002	Dagindeling : Over de status van zorg en betaald werk : Redactionele inleiding	Huisman, M.; Postma, D.W.
	2000	Inheritance in higher order logic : modeling and reasoning	Huisman, M.; Jacobs, B.P.F.
	2000	A case study in Class Library Verification : Java's Vector Class	Huisman, M.; Jacobs, B.P.F.; Berg, J.A.G.M. van den
	1999	Java program verification via a Hoare logic with abrupt termination	Huisman, M.; Jacobs, B.P.F.