DSpace at RU >

Search Results

Results 71-80 of 119.

Item hits:

Full Text	Issue Date	Title	Author(s)
	2007	The Microcosm Principle and Concurrency in Coalgebra (Abstract)	Hasuo, I.; Jacobs, B.P.F.; Sokolova, A.; Haveraaen, Magne; Power, John; Seisenberger, Monika
	2007	Semantics of grammars and attributes via initiality	Jacobs, B.P.F.; Uustalu, T.; Barendsen, E.; Geuvers, Herman; Capretta, Venanzio; Niqui, Milad
	2007	Categorical Views on Computations on Trees (Extended Abstract)	Hasuo, Ichiro; Jacobs, Bart; Uustalu, Tarmo; Arge, Lars
	2007	Computer security through correctness and transparancy	Meijer, Hans; Hoepman, Jaap-Henk; Jacobs, Bart; Poll, Erik; Leeuw, Karl De; Bergstra, Jan
	2007	Increased security through open source	Hoepman, J.H.; Jacobs, B.P.F.
	2007	IT in bedrijf : DigiD & Privacy : aanvraag- en activeringsprocedures zijn te zwak	Jacobs, B.P.F.; Jochems, M.
	2007	Generic trace semantics via coinduction	Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana
	2007	AHA : Amortized Heap Space Usage Analysis	Eekelen, Marko van; Shkaravska, Olha; Kesteren, Ron van; Jacobs, Bart; Poll, Erik; Smetsers, Sjaak; Morazan, Marco T.; Nilsson, Henrik
	2006	Biometrische gegevens horen niet in Databank	Jacobs, B.P.F.
	2006	Distributive laws for the coinductive solution of recursive equations	Jacobs, B.P.F.

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