DSpace at RU >

Search Results

Results 1-50 of 119.

Item hits:

Full Text	Issue Date	Title	Author(s)
	2012	Introduction to Coalgebra. Towards Mathematics of States and Observations	Jacobs, B.
	2012	Policeware	Jacobs, B.
	2012	Koester de professional	Jacobs, B.
	2012	Coreflections in Algebraic Quantum Logic	Jacobs, B.; Mandemaker, J.J.
	2012	Trace Semantics via Determinization	Jacobs, B.P.F.; Silva, A.; Sokolova, A.
	2012	The Expectation Monad in Quantum Foundations	Jacobs, B.; Mandemaker, J.
	2012	Proceedings 8th International Workshop on Quantum Physics and Logic Nijmegen, Netherlands, October 27-29, 2011	Jacobs, B.; Selinger, P.; Spitters, B.
	2012	Cell-Based Roadpricing	Garcia, F.; Verheul, E.; Jacobs, B.
	2012	Bedwelmende zelfontplooiing	Jacobs, B.
	2012	Fibrational Induction Meets Effects	Atkey, R.; Ghani, N.; Jacobs, B.; Johann, P.
	2011	Probabilities, distribution monads, and convex categories	Jacobs, B.
	2011	Wikileaks was geen toeval	Jacobs, B.; Kursawe, K.
	2011	Traces for coalgebraic components	Hasuo, I.; Jacobs, B.
	2011	Involutive Categories and Monoids, with a GNS-Correspondence	Jacobs, B.
	2011	Coalgebraic Walks, in Quantum and Turing Computation	Jacobs, B.
	2011	Dagger Categories of Tame Relations	Jacobs, B.
	2011	Autonomie en transparantie	Jacobs, B.
	2011	Privacy: code in context	Hoepman, J.-H.; Jacobs, B.
	2011	Privacy-Friendly Energy-Metering via Homomorphic Encryption	Garcia, F.; Jacobs, B.
	2011	Quantum logic in dagger kernel categories	Heunen, C.; Jacobs, B.
	2011	Cell-based Roadpricing	Garcia, F. D.; Verheul, E.R.; Jacobs, B.
	2011	Logical Formalisation and Analysis of the Mifare Classic Card in PVS	Jacobs, B.; Schreur, R. Wichers
	2011	De computer heeft gelijk	Hildebrandt, M.; Jacobs, B.
	2011	An introduction to (co)algebra and (co)induction	Jacobs, B.; Rutten, J.
	2011	Biometrics and Smart Cards in Identity Management	Jacobs, B.; Poll, E.
	2011	Bases as Coalgebras	Jacobs, B.
	2011	Preface	Jacobs, B.P.F.; Niqui, M.; Rutten, J.; Silva, A.
	2010	Moeten we echt alles opslaan?	Jacobs, B.
	2010	Het elektronisch patientendossier vanuit informatiebeveiligingsperspectief	Jacobs, B.
	2010	Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories	Jacobs, B.
	2010	Quantum Logic in Dagger Kernel Categories	Heunen, C.; Jacobs, B.
	2010	Wie is U?	Dommering, E.; Jacobs, B.; Spaink, K.; Weelden, D. van
	2010	Logical Formalisation and Analysis of the Mifare Classic Card in PVS	Jacobs, B.; Wichers Schreur, R.
	2010	Exemplaric expressivity of modal logics	Jacobs, B.; Sokolova, A.
	2010	From coalgebraic to monoidal traces	Jacobs, B.
	2010	Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science (CMCS 2010)	Jacobs, B.P.F.; Niqui, M.; Rutten, J.J.M.M.; Silva, A.
	2010	Scalars, Monads, and Categories	Coumans, D.; Jacobs, B.P.F.
	2010	Privacy and Security Issues in e-Ticketing: Optimisation of Smart Card-based Attribute-proving	Hoepman, J.H.; Jacobs, B.; Vullers, P.
	2010	Een val van de fiets met grote gevolgen.	Jacobs, B.; Nanda, D.; Vos, P.E.
	2010	Convexity, Duality, and Effects	Jacobs, B.
	2010	Coalgebraic representation theory of fractals	Hasuo, I.; Jacobs, B.; Niqui, M.
	2010	Architecture Is Politics: Security and Privacy Issues in Transport and Beyond	Jacobs, B.
	2010	Preface	Jacobs, B.P.F.; Niqui, M.; Rutten, J.; Silva, A.
	2010	Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings	Batina, L.; Hoepman, J.H.; Jacobs, B.; Mostowski, W.I.; Vullers, P.
	2009	Biometrics and their use in e-passports	Schouten, B.; Jacobs, B.
	2009	Keeping our Surveillance Society Non-Totalitarian	Jacobs, B.
	2009	Semantics and logic for security protocols	Jacobs, B.; Hasuo, I.
	2009	Coalgebraic Components in a Many-Sorted Microcosm	Hasuo, I.; Heunen, C.; Jacobs, B.; Sokolova, A.; Kurz, A.; Tarlecki, A.
	2009	Categorical semantics for arrows	Jacobs, B.P.F.; Heunen, C.J.M.; Hasuo, I.
	2009	Privacy-friendly Electronic Traffic Pricing via Commits	Jonge, W. de; Jacobs, B.; Degano, P.; Guttman, J.; Martinelli, F.

1 2 3 next