DSpace at RU >

Search Results

Results 1-23 of 23.

Item hits:

Full Text	Issue Date	Title	Author(s)
	2010	Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset	Basten, T.; Benthum, E. van; Geilen, M.; Hendriks, M.; Houben, F.; Igna, G.; Reckers, F.; Smet, S. de; Somers, L.; Teeselink, E.; Trcka, N.; Vaandrager, F.; Verriet, J.; Voorhoeve, M.; Yang, Y.
	2009	Van persoonlijkheid naar sociale cognitie: Forensisch neuropsychologische verkenningen	Egger, J.I.M.; Wingbermühle, P.A.M.; Hendriks, M.
	2008	Agressieve fibromatose in het hoofdhals gebied: een benigne tumor met vaak mutilerende effecten.	Hendriks, M.; Janssens, G.; Sprong, T.; Bleeker-Rovers, C.P.; Laarhoven, H.W.M. van; Herpen, C.M.L. van; Merkx, M.A.W.
	2007	Teaching logic using a state-of-the-art proof assistant	Kaliszyk, C.; Wiedijk, F.; Hendriks, M.; Raamsdonk, F. van; Geuvers, H.; Courtieu, P.
	2006	Timed Automata Based Analysis of Embedded System Architectures	Hendriks, M.; Verhoef, M.
	2006	Model Checker Aided Design of a Controller for a Wafer Scanner	Hendriks, M.; Nieuwelaar, N.J.M. van den; Vaandrager, F.W.
	2006	Uppaal 4.0	Behrmann, G.; David, A.; Larsen, K.G.; Håkansson, J.; Pettersson, P.; Yi, W.; Hendriks, M.
	2006	Timed Automata Based Analysis of Embedded System Architectures	Hendriks, M.; Verhoef, M.
	2006	Model checking timed automata : techniques and applications	Hendriks, Martijn.
	2005	Model Checking the Time to Reach Agreement	Hendriks, M.
	2005	Production scheduling by Reachability Analysis -- A Case Study	Behrmann, G.; Brinksma, E.; Hendriks, M.; Mader, A.
	2005	Causal Dependencies in Parallel Composition of Stochastic Processes	Cheung, L.; Hendriks, M.
	2005	Smells like clean spirit : onbewuste effecten van geur op cognitie en gedrag	Holland, R.W.; Hendriks, M.; Aarts, H.A.G.
	2005	Model Checking the Time to Reach Agreement	Hendriks, M.; Pettersson, P.; Yi, W.
	2005	Scheduling lacquer production by reachability analysis : a case study	Behrmann, G.; Brinksma, E.; Hendriks, M.; Mader, A.
	2005	Production Scheduling by Reachability Analysis -- A Case Study	Behrmann, G.; Brinksma, E.; Hendriks, M.; Mader, A.
	2005	Smells like clean spirit: Nonconscious effects of scent on cognition and behavior	Holland, R.W.; Hendriks, M.; Aarts, H.A.G.
	2004	Adding Symmetry Reduction to Uppaal	Hendriks, M.; Behrmann, G.; Larsen, K.G.; Niebert, P.; Vaandrager, F.W.
	2004	Model Checker Aided Design of a Controller for a Wafer Scanner	Hendriks, M.; Nieuwelaar, N.J.M. van den; Vaandrager, F.W.
	2004	Model Checker Aided Design of a Controller for a Wafer Scanner	Hendriks, M.; Nieuwelaar, N.J.M. van den; Vaandrager, F.W.; Margaria, T.; Steffen, B.; Philippou, A.; Reitenspiess, M.
	2004	Adding Symmetry Reduction to Uppaal	Hendriks, M.; Behrmann, G.; Larsen, K.G.; Niebert, P.; Vaandrager, F.W.; Larsen, K.G.; Niebert, P.
	2001	Translating Uppaal to Not Quite C	Hendriks, M.
	1996	Recovery from TPA inhibition of receptor-mediated Ca2+ mobilization is paralleled by down-regulation of protein kinase C-alpha in CHO cells expressing the CCK-A receptor	Smeets, R.L.L.; Garner, K.M.; Hendriks, M.; ErnstdeVries, S.E.; Peacock, M.D.; Hendriks, W.J.A.J.; Pont, J.J.H.H.M. de; Willems, P.H.G.M.

1