- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Jacobs, B.P.F."
Now showing items 1-50 of 216
-
A Note on Distances between Probabilistic and Quantum distributions 2018, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 336, (2018), pp. 173-187) -
From probability monads to commutative effectuses 2018, Article / Letter to editor (Journal of Logical and Algebraic Methods in Programming, vol. 94, (2018), pp. 200-237)
-
A Type Theory for Probabilistic and Bayesian Reasoning Adams, R.; Jacobs, B.2018, Article in monograph or in proceedings (Uustalu, T. (ed.), TYPES 2015: 21st International Conference on Types for Proofs and Programs, pp. 1:1-1:34)
-
Een blockchain aan je been 2018, Article / Letter to editor (Surf. Magazine over ICT voor het Hoger Onderwijs en Onderzoek, vol. 2018, iss. 1, (2018), pp. 07)
-
De toegang tot betaalrekeningen onder PSD2 2018, Article / Letter to editor (Ondernemingsrecht, vol. 2018, iss. 5, (2018), pp. 228-238) -
Learning to Coordinate Heerdt, G. Ter; Jacobs, B. ; Kappé, T.; Silva, A.2018, Part of book or chapter of book (Boer, F. de; Bonsangue, M.; Rutten, J. (ed.), It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, pp. 139-159) -
-
Attribute-based Authentication and Signing with IRMA, Summer School on real-world crypto and privacy, 2018, Conference lecture
-
-
Steps and Traces Jacobs, B. ; Levy, P.; Rot, J.2018, Article in monograph or in proceedings (Cirstea, C. (ed.), Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised Selected Papers, pp. 122-143)
-
Pas op met het uitwisselen van data, want het kostbaarste dat we hebben staat op het spel: onszelf 2018, Contribution for newspaper or weekly magazine (Trouw, 12 juni 2018, pp. 8-11)
-
A Recipe for State-and-Effect Triangles 2017, Article / Letter to editor (Logical Methods in Computer Science, vol. 13, iss. 2, (2017), pp. 1-26)
-
Hyper Normalisation and Conditioning for Discrete Probability Distributions 2017, Article / Letter to editor (Logical Methods in Computer Science, vol. 13, iss. 3, (2017), pp. 1-29)
-
-
A Formal Semantics of Influence in Bayesian Reasoning Jacobs, B. ; Zanasi, F.2017, Part of book or chapter of book (Larsen, K.G. (ed.), MFCS 2017: 42nd International Symposium on Mathematical Foundations of Computer Science, pp. 21:1-21:14)
-
The EfProb Library for Probabilistic Calculations Cho, K.; Jacobs, B.2017, Part of book or chapter of book (Bonchi, F. (ed.), CALCO 2017: 7th Conference on Algebra and Coalgebra in Computer Science, June 12-16, 2017 - Ljubljana, Slovenia, pp. 25:1-25:8)
-
Vertrouwen en Authenticatie 2017, Part of book or chapter of book (Bartels, S.; Jansen, C.; Schuijling, B. (ed.), Vertrouwen in het burgelijke recht. Liber amicorum prof. mr. S.C.J.J. Kortmann, pp. 239-245)
-
Polymorphic Encryption and Pseudonymisation in Identity Management and Medical Research 2017, Article / Letter to editor (Nieuw Archief voor Wiskunde, vol. 18, iss. 3, (2017), pp. 168-172)
-
Quantum effect logic in cognition 2017, Article / Letter to editor (Journal of Mathematical Psychology, vol. 81, iss. December, (2017), pp. 1-10)
-
Zonder privacy is er geen vrijheid 2017, Contribution for newspaper or weekly magazine (Trouw, 22 april 2017, pp. 14-18)
-
Kijk uit, nepnieuws! 2017, Contribution for newspaper or weekly magazine (Trouw, 14 januari 2017, pp. 4-9)
-
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, Book (monograph)
-
Select while you collect : Over de voorgestelde interceptiebevoegdheden voor inlichtingen- en veiligheidsdiensten 2016, Article / Letter to editor (Nederlands Juristenblad, vol. 2016, iss. 4, (2016), pp. 256-261)
-
The Fall of a Tiny Star 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)
-
Securely Derived Identity Credentials on Smart Phones via Self-enrolment Broek, F. van den; Hampiholi, B.; Jacobs, B.2016, Part of book or chapter of book (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 2016, Part of book or chapter of book (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)
-
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)
-
Aftercare for the Internet of Things 2016, Article / Letter to editor (Csr Magazine, vol. 2, iss. 2, (2016), pp. 61-62)
-
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)
-
-
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)
-
Preface Hoban, M.; Jacobs, B. ; Panangaden, P.2016, Article / Letter to editor (Information and Computation, vol. 250, iss. October, (2016), pp. 1-2)
-
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)
-
Effectuses from Monads 2016, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 325, (2016), pp. 169-183)
-
An Effect-theoretic Account of Lebesgue Integration Jacobs, B. ; Westerbaan, B.E.2015, Article in monograph or in proceedings (Ghica, D.R. (ed.), MFPS XXXI : The 31st Conference on the Mathematical Foundations of Programming Semantics, 22-25 June 2015, Nijmegen, Netherlands, pp. 239-253)
-
Dijkstra and Hoare monads in monadic computation 2015, Article / Letter to editor (Theoretical Computer Science, vol. 604, iss. November, (2015), pp. 30-45)
-
Towards practical Attribute-Based Signatures Hampiholi, B.; Alpar, G.; Broek, F. van den; Jacobs, B.2015, Part of book or chapter of book (Chakraborty, R.S. (ed.), Security, Privacy, and Applied Cryptography Engineering 5th International Conference, SPACE 2015 Jaipur, India, October 3–7, 2015, Proceedings, pp. 310-328)
-
A Recipe for State-and-Effect Triangles 2015, Article in monograph or in proceedings (Moss, L. (ed.), CALCO 2015 : 6th Conference on Algebra and Coalgebra in Computer Science 24-26 June, 2015, Nijmegen, Netherlands, pp. 116-129)
-
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic 2015, Article / Letter to editor (Logical Methods in Computer Science, vol. 11, iss. 3, (2015), pp. 24(1)-24(76))
-
Quotient-Comprehension Chains Cho, K.; Jacobs, B. ; Westerbaan, B.; Westerbaan, Bas2015, Article in monograph or in proceedings (Heunen, C. (ed.), QPL 2015 : Proceedings of the 12th International Workshop on Quantum Physics and Logic Oxford, U.K., July 15-17, 2015, pp. 136-147)
-
From Kleisli categories to commutative C*-algebras: probabilistic Gelfand duality Furber, R.; Jacobs, B.2015, Article / Letter to editor (Logical Methods in Computer Science, vol. 11, iss. 2, (2015), pp. 1-28, article 5)
-
De overheid als verschaffer en beschermer van digitale identiteiten 2015, Article / Letter to editor (Regelmaat : Kwartaalblad voor Wetgevingsvraagstukken, vol. 30, iss. 1, (2015), pp. 37-44)
-
Responsible disclosure and repair Jacobs, B. ; Bos, H.2015, Article / Letter to editor (Csr-Magazin, vol. 1, iss. 1, (2015), pp. 29-30)
-
-
States of Convex Sets Jacobs, B. ; Westerbaan, B.E.; Westerbaan, Bram2015, Article in monograph or in proceedings (Pitts, A. (ed.), FOSSACS 2015 : Foundations of Software Science and Computation Structures 18th International Conference. Proceedings, pp. 87-101)
-
Trace semantics via determinization Jacobs, B. ; Silva, A.; Sokolova, A.2015, Article / Letter to editor (Journal of Computer and System Sciences, vol. 81, iss. 5, (2015), pp. 859-879)
-
Dijkstra Monads in Monadic Computation 2014, Part of book or chapter of book (Bonsangue, M.M. (ed.), Coalgebraic Methods in Computer Science, pp. 135-150)
-
Automata Learning: A Categorical Perspective Jacobs, B. ; Silva, A.2014, Part of book or chapter of book (Breugel, F. van; Kashefi, E.; Palamidessi, C. (ed.), Horizons of the Mind. A Tribute to Prakash Panangaden, pp. 384-406)
-
Initial Algebras of Terms with Binding and Algebraic Structure Jacobs, B. ; Silva, A.2014, Part of book or chapter of book (Casadio, C.; Coecke, B.; Moortgat, M. (ed.), Categories and Types in Logic, Language, and Physics, pp. 211-234)
Now showing items 1-50 of 216
Search Repository
Browse
-
All of Repository
Upload Full Text