Search

Filters

Use filters to refine the search results.

Current Filters:




New Filters:

Showing 50 out of a total of 74 results. (0.916 seconds)

Now showing items 1-50 of 74

Export Results

Sort Options:
Results Per Page:
- 50
- 100
- 150
- 200

Preface

Jacobs, B.P.F. ; Niqui, M. ; Rutten, J. ; Silva, A.

2010, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 264, iss. 2, (2010), pp. 1-2)
Categorical quantum models and logics

Heunen, C.J.M.

2010, Dissertation
Privacy challenges in RFID systems

Lee, Y. K.; Batina, L.; Verbauwhede, I.

2010, Article in monograph or in proceedings (Giusto, D.; Iera, A. (ed.), The Internet of things : 20th Tyrrhenian Workshop on Digital Communications, 2-4 September 2009 in Pula, Sardinia, Italy, pp. 397-408)
Eavesdropping on GSM: state-of-affairs

Broek, F. van den

2010, Article in monograph or in proceedings (WiSSec 2010 : 5th Benelux Workshop on Information and System Security November 29-30, 2010, Nijmegen, the Netherlands, pp. 1-16)
Architecture Is Politics: Security and Privacy Issues in Transport and Beyond

Jacobs, B.

2010, Part of book or chapter of book (Gutwirth, S.; Poullet, Y.; Hert, P. De (ed.), Data Protection in a Profiled World, pp. 289-299)
From coalgebraic to monoidal traces

Jacobs, B.

2010, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 264, iss. 2, (2010), pp. 125-140)
Coalgebraic representation theory of fractals

Hasuo, I. ; Jacobs, B. ; Niqui, M.

2010, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 265, iss. C, (2010), pp. 351-368)
Logical Formalisation and Analysis of the Mifare Classic Card in PVS

Jacobs, B. ; Wichers Schreur, R.

2010, External research report
Wie is U?

Dommering, E.; Jacobs, B. ; Spaink, K.; Weelden, D. van

2010, Book (monograph)
Convexity, Duality, and Effects

Jacobs, B.

2010, Part of book or chapter of book (Calude, C.S.; Sassone, V. (ed.), Theoretical Computer Science: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings, pp. 1-19)
Moeten we echt alles opslaan?

Jacobs, B.

2010, Contribution for newspaper or weekly magazine (NRC next, 3 februari 2010)
Privacy and Security Issues in e-Ticketing: Optimisation of Smart Card-based Attribute-proving

Hoepman, J.H. ; Jacobs, B. ; Vullers, P.

2010, Article in monograph or in proceedings (Cortier, V.; Ryan, M. (ed.), Proceedings FCS-PrivMod 2010 Workshop on Foundations of Security and Privacy, Edinburgh, UK, July 14-15, 2010, pp. 1-7)
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories

Jacobs, B.

2010, Article / Letter to editor (Logical Methods in Computer Science, vol. 6, iss. 2:1, (2010), pp. 1-26)
Het elektronisch patientendossier vanuit informatiebeveiligingsperspectief

Jacobs, B.

2010, Part of book or chapter of book (Munnichs, G. (ed.), Databases : Over ICT-beloftes, informatiehonger en digitale autonomie, pp. 44-52)
Locatedness and overt sublocales

Spitters, B.

2010, Article / Letter to editor (Annals of Pure and Applied Logic, vol. 162, iss. 1, (2010), pp. 36-54)
Information Flow in Interactive Systems

Alvim, M.; Andres, M. ; Palamidessi, C.

2010, Part of book or chapter of book (Gastin, P.; Laroussinie, F. (ed.), CONCUR 2010 - Concurrency Theory, pp. 102-116)
A computer-verified monadic functional implementation of the integral

O'Connor, R. ; Spitters, B.

2010, Article / Letter to editor (Theoretical Computer Science, vol. 411, iss. 37, (2010), pp. 3386-3402)
Towards a Practical Solution to the RFID Desynchronization Problem

Koning Gans, G.T de; Garcia, F.

2010, Part of book or chapter of book (Yalcin, S. Ors (ed.), Radio Frequency Identification: Security and Privacy Issues, pp. 203-219)
Modeling Privacy for Off-Line RFID Systems

Garcia, F. ; Rossum, P. van

2010, Part of book or chapter of book (Gollmann, D.; Lanet, J.-L.; Iguchi-Cartigny, J. (ed.), Smart Card Research and Advanced Application, pp. 194-208)
Developing the algebraic hierarchy with type classes in Coq

Spitters, B.A.W. ; Weegen, E.E. van der

2010, Part of book or chapter of book (Kaufmann, M. (ed.), Interactive Theorem Proving : first International Conference on Interactive Theorem Proving, ITP 2010; Edinburgh; 11 July 2010 through 14 July 2010; proceedings, pp. 490-493)
The space of measurement outcomes as a spectrum for non-commutative algebras

Spitters, B.

2010, Article in monograph or in proceedings (Coecke, B. (ed.), Proceedings of the 7th International QPL Workshop Quantum Physics and Logic, May 29-30, 2010, Oxford University, UK, pp. 161-168)
The privacy coach : supporting customer privacy in the Internet of Things

Broenink, G.; Hoepman, J.H. ; Hof, C. van 't; Kranenburg, R; Smits, D.; Wisman, T.

2010, Article in monograph or in proceedings (Michahelles, F. (ed.), What can the Internet of Things do for the citizen (CIOT)?, pp. 72-81)
A Constructive Theory of Banach algebras

Coquand, T.; Spitters, B.A.W.

2010, Article / Letter to editor (Journal of Logic and Analysis, vol. 2, iss. 11, (2010), pp. 1-15)
Safe equivalences for security properties

Alvim, M.S.; Andres, M.E. ; Palamidessi, C.; Rossum, P. van

2010, Part of book or chapter of book (Calude, C.S.; Sassone, V. (ed.), Theoretical computer science : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings, pp. 55-70)
Constructing a broad-coverage lexicon for text mining in the patent domain

Oostdijk, N.H.J. ; Verberne, S. ; Koster, C.H.A.

2010, Article in monograph or in proceedings (Proceedings of LREC 2010, pp. 2292-2299)
Constructive Pointfree Topology Eliminates Non-constructive Representation Theorems from Riesz Space Theory

Spitters, B.

2010, Article / Letter to editor (Order-A Journal on the Theory of Ordered Sets and Its Applications, vol. 27, iss. 2, (2010), pp. 225-233)
eHealth Service Discovery Framework for a Low Infrastructure Context

Tegegne, T.; Weide, T. van der ; Kanagwa, B.

2010, Article in monograph or in proceedings (ICCTD'10 : 2nd International Conference on Computer Technology and Development (ICCTD), 2-4 November,Cairo, Egypt, pp. 606-610)
Practical Schemes for Privacy and Security Enhanced RFID

Hoepman, J.H. ; Joosten, R.

2010, Part of book or chapter of book (Samarati, P. (ed.), Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices, pp. 138-153)
Privacy Enhanced Fraud Resistant Road Pricing

Hoepman, J.-H. ; Huitema, G.

2010, Article in monograph or in proceedings (Berleur, J.J. (ed.), 9th IFIP TC 9 International Conference, HCC9 2010 and 1st IFIP TC 11 International Conference, CIP 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010,, pp. 202-213)
Probabilistic Information Flow

Alvim, M.S.; Andres, M.E. ; Palamidessi, C.

2010, Article in monograph or in proceedings (Proceedings of the 25th Annual IEEE symposium on Logic in computer science, LICS 2010, 11-14 July, Edinburgh, pp. 314-321)
The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach

Heunen, C. ; Landsman, N.P. ; Spitters, B.A.W. ; Wolters, S.A.M.

2010, Article / Letter to editor (Arxiv.Org, vol. 1010.2050, (2010), pp. 1-12)
Scalars, Monads, and Categories

Coumans, D.; Jacobs, B.P.F.

2010, Article / Letter to editor (Arxiv.Org, vol. 1003.0585, (2010), pp. 1-21)
Univariate Polynomial Solutions of Nonlinear Polynomial Recurrence Relations

Shkaravska, O. ; Eekelen, M.C.J.D. van

2010, External research report
Analyse moet softwarekwaliteit verbeteren

Heur, R. van; Eekelen, M.C.J.D. van

2010, Article / Letter to editor (Computable, vol. 5 maart, (2010), pp. 1)
Hoogleraar: 'leven lang computeren. leven lang foeteren?'

Schop, E.; Eekelen, M.C.J.D. van

2010, Article / Letter to editor (Automatisering Gids, vol. 9, iss. 3 maart 2010, (2010), pp. 1)
Het belang van software-analyse

Eekelen, M.C.J.D. van

2010, Article / Letter to editor (Modulair, vol. 25, iss. 5, (2010), pp. 26-27)
Preface

Eekelen, M.C.J.D. van ; Shkaravska, O.

2010, Part of book or chapter of book (Foundational and Practical Aspects of Resource Analysis, First International Workshop, FOPARA 2009; Eindhoven; The Netherlands, November 6, 2009, Revised selected papers, pp. V-VI)
A software product certification model

Heck, P.; Klabbers, M.; Eekelen, M.C.J.D. van

2010, Article / Letter to editor (Software Quality Journal, vol. 18, iss. 1, (2010), pp. 37-55)
Efficient and formally proven reduction of large integers by small moduli

Rutten, L.; Eekelen, M.C.J.D. van

2010, Article / Letter to editor (ACM Transactions on Mathematical Software, vol. 37, iss. 2, (2010), pp. 1-21)
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008

Achten, P. ; Eekelen, M.C.J.D. van ; Koopman, P. ; Morazán, M.T.; Johann, P.

2010, Article / Letter to editor (Higher-Order and Symbolic Computation, vol. 23, iss. 4, (2010), pp. 465-487)
Foundational and practical aspects of resource analysis : first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers

Eekelen, M.C.J.D. van

2010, Book (monograph)
Leven Lang Computeren, Leven Lang Foeteren? Er valt nog veel te leren!

Eekelen, M.C.J.D. van

2010, Book (monograph)
Exemplaric expressivity of modal logics

Jacobs, B. ; Sokolova, A.

2010, Article / Letter to editor (Journal of Logic and Computation, vol. 20, iss. 5, (2010), pp. 1041-1068)
Information Hiding in Probabilistic Concurrent Systems

Andres, M.E. ; Rossum, P. van ; Sokolova, A.

2010, Article in monograph or in proceedings (Seventh International Conference on the Quantitative Evaluation of Systems : Qest 2010, 15-18 September 2010, Williamsburg, Virginia, USA proceedings, pp. 17-26)
Electronic passports in a nutshell

Mostowski, W.I. ; Poll, E.

2010, External research report
A Research Journey into Maturing the Business Information Security of Mid Market Organizations

Bobbert, Y.; Mulder, H.

2010, Article / Letter to editor (International Journal of IT/Business Alignment and Governance (Ijitbag), vol. 1, iss. 4, (2010), pp. 18-39)
Service Discovery Framework for Personalized eHealth

Tegegne, T.; Weide, T.P. van der ; Kanagwa, B.

2010, Article in monograph or in proceedings (SSME2010 : 2010 International Conference on Services Science, Management and Engineering, Tainjin, China, December 26-28 2010, pp. 1-3)
Using ICT to Enhance Knowledge Management in Higher Education: a Conceptual Framework and Research Agenda

Omona, W. ; Weide, T.P. van der ; Lubega, J.T.

2010, Article / Letter to editor (International Journal of Education and Development Using Information and Communication Technology, vol. 6, iss. 4, (2010), pp. 83-101)
Duurzaamheid van ICT-intensieve organisaties

Counotte-Potman, A.; Eekelen, M.C.J.D. van

2010, Part of book or chapter of book (Croes, R. (ed.), Duurzame ICT - Grondstof en energiebron voor een duurzame wereld, pp. 117-138)
Best Effort and Practice Activation Codes

Gans, G. de Koning; Verheul, E.R.

2010, Article in monograph or in proceedings (WISSec : 5th Benelux Workshop on Information and System Security November 29-30, 2010, Nijmegen, the Netherlands, pp. 1-15)

Now showing items 1-50 of 74

Radboud Repository

Search

Showing 50 out of a total of 74 results. (0.916 seconds)

Explore

Author

Document type

Date Issued

Journal

Departments

Browse

All of Repository