DSpace at RU >

Search Results

Results 91-100 of 119.

Item hits:

Full Text	Issue Date	Title	Author(s)
	2005	Select before you Collect	Jacobs, B.P.F.
	2005	Context-free Languages via Coalgebraic Trace Semantics	Hasuo, I.; Jacobs, B.; Fiadeiro, J.L.; Harman, N.; Roggenbach, M.; Rutten, J.
	2005	Statically checking confidentiality via dynamic labels	Jacobs, B.P.F.; Pieters, W.; Warnier, M.E.
	2005	RIES -- Internet Voting in Action	Hubbers, E.M.G.M.; Jacobs, B.P.F.; Pieters, W.; Bilof, R.
	2004	RIES - Internet Voting in Action	Hubbers, E.M.G.M.; Jacobs, B.P.F.; Pieters, W.
	2004	Onderzoeksagenda remt innovatief onderzoek	Jacobs, B.P.F.; Vaandrager, F.W.
	2004	Vakmanschap van overwegend belang binnen informatiebeveiliging	Jacobs, B.
	2004	Stemmen via internet geen probleem	Hubbers, E.M.G.M.; Jacobs, B.
	2004	Ongebreidelde functionaliteit grootste vijand beveiliging	Jacobs, B.
	2004	Java Program Verification at Nijmegen: Developments and Perspective	Jacobs, B.; Poll, E.; Futatsugi, K.; Mizoguchi, F.; Yonezaki, N.

previous 1 2 3 4 5 6 7 8 9 10 11 12 next