Search

Select while you collect : Over de voorgestelde interceptiebevoegdheden voor inlichtingen- en veiligheidsdiensten

Jacobs, B.

2016, Article / Letter to editor (Nederlands Juristenblad, vol. 2016, iss. 4, (2016), pp. 256-261)

Tensors, !-graphs, and Non-commutative Quantum Structures

Kissinger, A.R.; Quick, D.

2016, Article / Letter to editor (New Generation Computing, vol. 34, iss. 1-2, (2016), pp. 87-123)

The Fall of a Tiny Star

Garcia, F. D. ; Jacobs, B.

2016, Part of book or chapter of book (Ryan, A.P.Y.; Naccache, D.; Quisquater, J.-J. (ed.), The New Codebreakers: Essays Dedicated to David Kahn on the Occasion of His 85th Birthday, pp. 69-87)

Properties, property and appropriateness of information

Hildebrandt, M.

2016, Part of book or chapter of book (Hildebrandt, M.; Berg, B. van den (ed.), Information, Freedom and Property: The Philosophy of Law Meets the Philosophy of Technology, pp. 34-54)

Data-gestuurde Intelligentie in het Strafrecht

Hildebrandt, M.

2016, Part of book or chapter of book (Tai, E. Tjong Tjin (ed.), Homo Digitalis, pp. 139-240)

Information, Freedom and Property : The Philosophy of Law Meets the Philosophy of Technology

Hildebrandt, M. ; Berg, B. van den

2016, Book (monograph)

The expectation monad in quantum foundations

Jacobs, B. ; Mandemaker, J.J.; Furber, R.

2016, Article / Letter to editor (Information and Computation, vol. 250, iss. October, (2016), pp. 87-114)

VerifyThis 2016: A Program Verification Competition

Huisman, M.; Monahan, R.; Muller, P.; Poll, E.

2016, External research report

Aftercare for the Internet of Things

Jacobs, B.

2016, Article / Letter to editor (Csr Magazine, vol. 2, iss. 2, (2016), pp. 61-62)

A universal property for sequential measurement

Westerbaan, Abraham; Westerbaan, Bas

2016, Article / Letter to editor (Journal of Mathematical Physics, vol. 57, iss. 9, (2016), pp. 1-17, article 092203)

The RationalGRL Toolset for Goal Models and Argument Diagrams

Zee, M. van; Marosin, D.; Bex, F.; Ghanavati, S.

2016, Part of book or chapter of book (Baroni, P.; Baroni, P. (ed.), Frontiers in Artificial Intelligence and Applications, pp. 479-480)

Assessing sustainability of software: analysing correctness, memory and energy consumption

Gastel, B.E. van

2016, Dissertation

Data Optimizations for Constraint Automata

Jongmans, S.S.T.Q.; Arbab, F.

2016, Article / Letter to editor (Logical Methods in Computer Science, vol. 12, iss. 3, (2016), pp. 11.1-11.38)

Categorical quantum mechanics II: Classical-quantum interaction

Coecke, B.; Kissinger, A.

2016, Article / Letter to editor (International Journal of Quantum Information, vol. 14, iss. 4, (2016), pp. 1-54, article 1640020)

Introduction to Coalgebra: Towards Mathematics of States and Observation

Jacobs, B.

2016, Book (monograph)

A Predicate/State Transformer Semantics for Bayesian Learning

Jacobs, B. ; Zanasi, F.

2016, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 325, (2016), pp. 185-200)

New Animism in Policing: Re-animating the Rule of Law?

Hildebrandt, M.

2016, Part of book or chapter of book (Bradford, B. (ed.), The SAGE Handbook of Global Policing, pp. 406-428)

Relating operator spaces via adjunctions

Jacobs, B. ; Mandemaker, J.J.

2016, Part of book or chapter of book (Chubb, J.; Eskandarian, A.; Harizanov, V. (ed.), Logic and Algebraic Structures in Quantum Computing, pp. 123-150)

Introduction: Information, freedom and property

Hildebrandt, M.

2016, Part of book or chapter of book (Hildebrandt, M.; Berg, B. van den (ed.), Information, Freedom and Property: The Philosophy of Law Meets the Philosophy of Technology, pp. 1-6)

Privacy in Location-Based Services: An Interdisciplinary Approach

Herrmann, M.; Hildebrandt, M. ; Tielemans, L.; Diaz, C.

2016, Article / Letter to editor (Script-Ed, vol. 13, iss. 2, (2016), pp. 144)

Resilience of the Internet: case studies on DNS availability and botnet detection

Vranken, H.P.E.

2016, Conference lecture

A Kochen-Specker System Has at Least 22 Vectors

Uijlen, S.M.; Westerbaan, B.

2016, Article / Letter to editor (New Generation Computing, vol. 34, iss. 1-2, (2016), pp. 3-23)

Effectuses from Monads

Jacobs, B.

2016, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 325, (2016), pp. 169-183)

Analysing energy consumption by software

Eekelen, M.C.J.D. van ; Gastel, B.E. van

2016, External research report

Mitigating Multi-target Attacks in Hash-Based Signatures

Hülsing, A.; Rijneveld, J.; Song, F.

2016, Article in monograph or in proceedings (Cheng, C.-M.; Chung, K.-M.; Persiano, G. (ed.), Public-Key Cryptography – PKC 2016: 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part I, pp. 387-416)

Quantum Programs as Kleisli Maps

Westerbaan, Abraham

2016, Article in monograph or in proceedings (Duncan, R. (ed.), QPL 2016: 13th International Conference on Quantum Physics and Logic Glasgow, Scotland, 6-10 June 2016, pp. 215-228)

Paschke Dilations

Westerbaan, Abraham; Westerbaan, Bas

2016, Article in monograph or in proceedings (Duncan, R. (ed.), QPL 2016: Proceedings 13th International Conference on Quantum Physics and Logic Glasgow, Scotland, 6-10 June 2016, pp. 229-244)

A Critical Analysis of Privacy Design Strategies

Colesky, M.; Hoepman, J.H. ; Hillen, C.

2016, Article in monograph or in proceedings (O'Conner, L. (ed.), Proceedings of SPW 2016 : 2016 IEEE Symposium on Security and Privacy Workshops, pp. 33-40)

Globular: An Online Proof Assistant for Higher-Dimensional Rewriting

Bar, K.; Kissinger, A.; Vicary, J.

2016, Article in monograph or in proceedings (Kesner, D. (ed.), 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), pp. 34:1-34:11)

Towards a virtual bank for evaluating security aspects with focus on user behavior

Kiljan, S.; Eekelen, M.C.J.D. van ; Vranken, H.P.E.

2016, Article in monograph or in proceedings (Cavoukian, A. (ed.), SAI Computing Conference 2016 : proceedings of the 2016 SAI Computing Conference 2016, 13-15 July, 2016, London, United Kingdom, pp. 1068-1075)

Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Jacobs, B. ; Löding, C.

2016, Article in monograph or in proceedings (Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings)

ICT Systems Security and Privacy Protection : 31st IFIP TC 11 International Conference, SEC 2016, Ghent, Belgium, May 30 - June 1, 2016, Proceedings

Hoepman, J.-H. ; Katzenbeisser, S.

2016, Article in monograph or in proceedings (ICT Systems Security and Privacy Protection : 31st IFIP TC 11 International Conference, SEC 2016, Ghent, Belgium, May 30 - June 1, 2016, Proceedings)

Revocable Privacy: Principles, Use Cases, and Technologies

Lueks, W.; Everts, M.H.; Hoepman, J.-H.

2016, Article in monograph or in proceedings (Berendt, B.; Engel, T.; Ikonomou, D. (ed.), Privacy Technologies and Policy: Third Annual Privacy Forum, APF 2015, Luxembourg, Luxembourg, October 7-8, 2015, Revised Selected Papers, pp. 124-143)

A Lightweight Method for Analysing Performance Dependencies Between Services

Lamers, A.; Eekelen, M.C.J.D. van

2016, Article in monograph or in proceedings (Celesti, A.; Leitner, P. (ed.), Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers, pp. 93-110)

Towards Measuring Maturity of Privacy-Enhancing Technologies

Hansen, M.; Hoepman, J.-H. ; Jensen, M.

2016, Article in monograph or in proceedings (Berendt, B.; Engel, T.; Ikonomou, D. (ed.), Privacy Technologies and Policy: Third Annual Privacy Forum, APF 2015, Luxembourg, Luxembourg, October 7-8, 2015, Revised Selected Papers, pp. 3-20)

ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects

Verbeek, F.; Yaghini, P.M.; Eghbal, A.; Bagherzadeh, N.

2016, Article in monograph or in proceedings (Fanucci, L. (ed.), DATE 2016 : Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) 14 – 18 March 2016 ICC, Dresden, Germany, pp. 1640-1645)

CSERC '16 : Proceedings CSERC 2016 July 5 and 6, 2016 Computer Science Education Research Conference Pretoria, South Africa

Pieterse, V.; Eekelen, M.C.J.D. van

2016, Article in monograph or in proceedings (CSERC '16 : Proceedings CSERC 2016 July 5 and 6, 2016 Computer Science Education Research Conference Pretoria, South Africa, pp. 1-52)

CoBRA: Low cost compensation of TSV failures in 3D-NoC

Salamat, R.; Ebrahimi, M.; Bagherzadeh, N.; Verbeek, F.

2016, Article in monograph or in proceedings (Khan, O. (ed.), 2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), September 19-20, 2016, University of Connecticut, Storrs, CT USA, pp. 115-120)

Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Eekelen, M.C.J.D. van ; Dal Lago, U.

2016, Article in monograph or in proceedings (Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers)

Healthiness from Duality

Hino, W.; Kobayashi, H.; Hasuo, I. ; Jacobs, B.

2016, Article in monograph or in proceedings (Koskinen, E. (ed.), LICS '16 : Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, pp. 682-691)

Infinite-dimensionality in quantum foundations: W*-algebras as presheaves over matrix algebras

Furber, R.; Rennela, M.; Staton, Sam

2016, Article in monograph or in proceedings (Duncan, R.; Heunen, C. (ed.), QPL2016 : Proceedings 13th International Conference on Quantum Physics and Logic Glasgow, Scotland, 6-10 June 2016, pp. 161-173)

Lawvere Categories as Composed PROPs

Bonchi, F.; Sobocinski, P.; Zanasi, F.

2016, Article in monograph or in proceedings (Hasuo, I. (ed.), Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers, pp. 11-32)

PrDK: Protocol Programming with Automata

Jongmans, S.S.T.Q.; Arbab, F.

2016, Article in monograph or in proceedings (Chechik, M.; Raskin, J.-F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 547-552)

Preface

Hoban, M.; Jacobs, B. ; Panangaden, P.

2016, Article / Letter to editor (Information and Computation, vol. 250, iss. October, (2016), pp. 1-2)

Rewriting modulo symmetric monoidal structure

Bonchi, F.; Gadducci, F.; Kissinger, A.; Sobocinski, P.; Zanasi, F.

2016, Article in monograph or in proceedings (Koskinen, E. (ed.), LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, NY, USA — July 05 - 08, 2016, pp. 710-719)

Scheduling Games for Concurrent Systems

Dokter, K.; Jongmans, S.S.T.Q.; Arbab, F.

2016, Article in monograph or in proceedings (Lafuente, A. Lluch; Proença, J. (ed.), Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, pp. 84-100)

Securely Derived Identity Credentials on Smart Phones via Self-enrolment

Broek, F. van den; Hampiholi, B.; Jacobs, B.

2016, Article in monograph or in proceedings (Barthe, G.; Markatos, E.; Samarati, P. (ed.), Security and Trust Management: 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings, pp. 106-121)

Affine Monads and Side-Effect-Freeness

Jacobs, B.

2016, Article in monograph or in proceedings (Hasuo, I. (ed.), Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science, Eindhoven, the Netherlands, 2-3 April 2016, pp. 53-72)

User-friendly Manual Transfer of Authenticated Online Banking Transaction Data - A Case Study that Applies the What You Enter Is What You Sign Transaction Authorization Information Scheme

Kiljan, S.; Vranken, H.P.E.; Eekelen, M.C.J.D. van

2016, Article in monograph or in proceedings (Callegari, C. (ed.), SECRYPT 2016 : Proceedings of the International Conference on Security and Cryptography, 26-28 July, Lisbon, Portugal 2016, pp. 259-270)

Vote to Link : Recovering from Misbehaving Anonymous Users

Lueks, W.; Everts, M.H.; Hoepman, J.-H.

2016, Article in monograph or in proceedings (Weippl, E. (ed.), WPES '16 Proceedings of the 2016 ACM on Workshop on Privacy in the Electronic Society, Vienna, Austria, October 24, 2016, pp. 111-122)

Radboud Repository

Search

Showing 50 out of a total of 97 results. (0.828 seconds)

Explore

Author

Document type

Date Issued

Journal

Departments

Browse

All of Repository

Current Filters:




New Filters:

Radboud Repository

Search

Filters

Showing 50 out of a total of 97 results. (0.828 seconds)

Explore

Author

Document type

Date Issued

Journal

Departments

Browse

All of Repository