default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBart Jacobs 0001
Bart P. F. Jacobs
Person information
- affiliation: Radboud University Nijmegen, The Netherlands
- not to be confused with: Bart Jacobs 0002
Other persons with the same name
- Bart Jacobs 0002
![[0000-0002-3605-249X]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-3605-249X")
— Katholieke Universiteit Leuven, Belgium
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j62]Bart Jacobs:
The authenticity crisis. Comput. Law Secur. Rev. 53: 105962 (2024)- [j61]Bart Jacobs, Bram Westerbaan, Omar Javed, Harm van Stekelenburg, Lian Vervoort, Jan den Besten:
PubHubs identity management. J. Log. Comput. 34(7): 1377-1396 (2024) - [c126]Bart Jacobs:
Some Probabilistic Riddles and Some Logical Solutions. Logics and Type Systems in Theory and Practice 2024: 134-149 - [c125]Bart Jacobs:
Drawing from an Urn is Isometric. FoSSaCS (1) 2024: 101-120 - [i28]Bart Jacobs:
Getting Wiser from Multiple Data: Probabilistic Updating according to Jeffrey and Pearl. CoRR abs/2405.12700 (2024) - [i27]Bart Jacobs:
Drawing with Distance. CoRR abs/2405.18182 (2024) - [i26]Elena Di Lavore, Bart Jacobs, Mario Román:
A Simple Formal Language for Probabilistic Decision Problems. CoRR abs/2410.10643 (2024) - 2023
- [c124]Leon Botros, Merel Brandon, Bart Jacobs, Daniel Ostkamp, Hanna Kathrin Schraffenberger, Marloes Venema:
PostGuard: Towards Easy and Secure Email Communication. CHI Extended Abstracts 2023: 232:1-232:6 - [c123]Bart Jacobs, Dario Stein:
Counting and Matching. CSL 2023: 28:1-28:15 - [c122]Bart Jacobs:
A Principled Approach to Expectation Maximisation and Latent Dirichlet Allocation Using Jeffrey's Update Rule. WoLLIC 2023: 256-273 - [c121]Bart Jacobs, Dario Stein:
Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming. MFPS 2023 - [c120]Bart Jacobs, Dario Stein:
Overdrawing Urns using Categories of Signed Probabilities. ACT 2023: 172-189 - 2022
- [c119]Bart Jacobs:
A Reconstruction of Ewens' Sampling Formula via Lists of Coins. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 339-357 - [c118]Bart Jacobs:
Stick Breaking, in Coalgebra and Probability. CMCS 2022: 176-193 - [c117]Bart Jacobs:
Partitions and Ewens Distributions in element-free Probability Theory. LICS 2022: 23:1-23:9 - [c116]Merel Brandon, Hanna Kathrin Schraffenberger, Wouter Sluis-Thiescheffer, Thea van der Geest, Daniel Ostkamp, Bart Jacobs:
Design Principles for Actual Security. NordiCHI (Adjunct) 2022: 41:1-41:6 - [c115]Bart Jacobs:
Sufficient Statistics and Split Idempotents in Discrete Probability Theory. MFPS 2022 - 2021
- [j60]Andrew S. Hoffman, Bart Jacobs, Bernard van Gastel, Hanna Kathrin Schraffenberger, Tamar Sharon, Berber Pas:
Towards a seamful ethics of Covid-19 contact tracing apps? Ethics Inf. Technol. 23(S1): 105-115 (2021) - [j59]Herman Geuvers, Bart Jacobs:
Relating Apartness and Bisimulation. Log. Methods Comput. Sci. 17(3) (2021) - [j58]Jurriaan Rot, Bart Jacobs, Paul Blain Levy:
Steps and traces. J. Log. Comput. 31(6): 1482-1525 (2021) - [j57]Bart Jacobs, Aleks Kissinger, Fabio Zanasi:
Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals. Math. Struct. Comput. Sci. 31(5): 553-574 (2021) - [c114]Bart Jacobs:
From Multisets over Distributions to Distributions over Multisets. LICS 2021: 1-13 - [c113]Bart Jacobs:
Multinomial and Hypergeometric Distributions in Markov Categories. MFPS 2021: 98-115 - [c112]Bart Jacobs:
Learning from What's Right and Learning from What's Wrong. MFPS 2021: 116-133 - [i25]Bart Jacobs:
From Multisets over Distributions to Distributions over Multisets. CoRR abs/2105.06908 (2021) - 2020
- [j56]Bart Jacobs, Abraham Westerbaan:
Distances between States and between Predicates. Log. Methods Comput. Sci. 16(1) (2020) - [j55]Bart Jacobs:
A channel-based perspective on conjugate priors. Math. Struct. Comput. Sci. 30(1): 44-61 (2020) - [j54]José van Dijck, Bart Jacobs:
Electronic identity services as sociotechnical and political-economic constructs. New Media Soc. 22(5) (2020) - [c111]Bart Jacobs, Sam Staton:
De Finetti's Construction as a Categorical Limit. CMCS 2020: 90-111 - [i24]Herman Geuvers, Bart Jacobs:
Relating Apartness and Bisimulation. CoRR abs/2002.02512 (2020) - [i23]Jurriaan Rot, Bart Jacobs, Paul Blain Levy:
Steps and Traces. CoRR abs/2004.05400 (2020)
2010 – 2019
- 2019
- [j53]Bart Jacobs, Jean Popma:
Medical research, Big Data and the need for privacy by design. Big Data Soc. 6(1): 205395171882435 (2019) - [j52]Pieter T. J. Wolters, Bart P. F. Jacobs:
The security of access to accounts under the PSD2. Comput. Law Secur. Rev. 35(1): 29-41 (2019) - [j51]Bart Jacobs:
The Mathematics of Changing One's Mind, via Jeffrey's or via Pearl's Update Rule. J. Artif. Intell. Res. 65: 783-806 (2019) - [j50]Kenta Cho, Bart Jacobs:
Disintegration and Bayesian inversion via string diagrams. Math. Struct. Comput. Sci. 29(7): 938-971 (2019) - [c110]Bart Jacobs, Aleks Kissinger, Fabio Zanasi:
Causal Inference by String Diagram Surgery. FoSSaCS 2019: 313-329 - [c109]Bart Jacobs:
Learning along a Channel: the Expectation part of Expectation-Maximisation. MFPS 2019: 143-160 - [c108]Bart Jacobs, David Sprunger:
Neural Nets via Forward State Transformation and Backward Loss Transformation. MFPS 2019: 161-177 - [i22]David Sprunger, Bart Jacobs:
The differential calculus of causal functions. CoRR abs/1904.10611 (2019) - 2018
- [j49]Bart Jacobs:
From probability monads to commutative effectuses. J. Log. Algebraic Methods Program. 94: 200-237 (2018) - [c107]Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva:
Learning to Coordinate. It's All About Coordination 2018: 139-159 - [c106]Bart Jacobs, Paul Blain Levy, Jurriaan Rot:
Steps and Traces. CMCS 2018: 122-143 - [c105]Bart Jacobs:
Lower and Upper Conditioning in Quantum Bayesian Theory. QPL 2018: 225-238 - [c104]Bart Jacobs:
A Note on Distances between Probabilistic and Quantum distributions. MFPS 2018: 173-187 - [i21]Bart Jacobs, David Sprunger:
Neural Nets via Forward State Transformation and Backward Loss Transformation. CoRR abs/1803.09356 (2018) - [i20]Bart Jacobs, Fabio Zanasi:
The Logical Essentials of Bayesian Reasoning. CoRR abs/1804.01193 (2018) - [i19]Bart Jacobs:
A Channel-based Exact Inference Algorithm for Bayesian Networks. CoRR abs/1804.08032 (2018) - [i18]Bart Jacobs:
A Mathematical Account of Soft Evidence, and of Jeffrey's 'destructive' versus Pearl's 'constructive' updating. CoRR abs/1807.05609 (2018) - [i17]Bart Jacobs:
Categorical Aspects of Parameter Learning. CoRR abs/1810.05814 (2018) - [i16]Bart Jacobs, Aleks Kissinger, Fabio Zanasi:
Causal Inference by String Diagram Surgery. CoRR abs/1811.08338 (2018) - 2017
- [j48]Bart Jacobs:
A Recipe for State-and-Effect Triangles. Log. Methods Comput. Sci. 13(2) (2017) - [j47]Bart Jacobs:
Hyper Normalisation and Conditioning for Discrete Probability Distributions. Log. Methods Comput. Sci. 13(3) (2017) - [c103]Kenta Cho, Bart Jacobs:
The EfProb Library for Probabilistic Calculations. CALCO 2017: 25:1-25:8 - [c102]Bart Jacobs, Fabio Zanasi:
A Formal Semantics of Influence in Bayesian Reasoning. MFCS 2017: 21:1-21:14 - [i15]Bart Jacobs:
A Recipe for State-and-Effect Triangles. CoRR abs/1703.09034 (2017) - [i14]Bart Jacobs:
A Channel-Based Perspective on Conjugate Priors. CoRR abs/1707.00269 (2017) - [i13]Kenta Cho, Bart Jacobs:
Disintegration and Bayesian Inversion, Both Abstractly and Concretely. CoRR abs/1709.00322 (2017) - [i12]Bart Jacobs, Abraham Westerbaan:
Distances between States and between Predicates. CoRR abs/1711.09740 (2017) - 2016
- [b2]Bart Jacobs:
Introduction to Coalgebra: Towards Mathematics of States and Observation. Cambridge Tracts in Theoretical Computer Science 59, Cambridge University Press 2016, ISBN 9781316823187 - [j46]Matty Hoban, Bart Jacobs, Prakash Panangaden:
Preface. Inf. Comput. 250: 1-2 (2016) - [j45]Bart Jacobs, Jorik Mandemaker, Robert Furber:
The expectation monad in quantum foundations. Inf. Comput. 250: 87-114 (2016) - [c101]Flavio D. Garcia, Bart Jacobs:
The Fall of a Tiny Star. The New Codebreakers 2016: 69-87 - [c100]Bart Jacobs:
Affine Monads and Side-Effect-Freeness. CMCS 2016: 53-72 - [c99]Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo, Bart Jacobs:
Healthiness from Duality. LICS 2016: 682-691 - [c98]Fabian van den Broek, Brinda Hampiholi, Bart Jacobs:
Securely Derived Identity Credentials on Smart Phones via Self-enrolment. STM 2016: 106-121 - [c97]Bart Jacobs:
Effectuses from Monads. MFPS 2016: 169-183 - [c96]Bart Jacobs, Fabio Zanasi:
A Predicate/State Transformer Semantics for Bayesian Learning. MFPS 2016: 185-200 - [e7]Bart Jacobs, Christof Löding:
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. Lecture Notes in Computer Science 9634, Springer 2016, ISBN 978-3-662-49629-9 [contents] - [i11]Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo, Bart Jacobs:
Healthiness from Duality. CoRR abs/1605.00381 (2016) - [i10]Bart Jacobs:
Hyper Normalisation and Conditioning for Discrete Probability Distributions. CoRR abs/1607.02790 (2016) - [i9]Eric R. Verheul, Bart Jacobs, Carlo Meijer, Mireille Hildebrandt, Joeri de Ruiter:
Polymorphic Encryption and Pseudonymisation for Personalised Healthcare. IACR Cryptol. ePrint Arch. 2016: 411 (2016) - 2015
- [j44]Bart Jacobs:
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic. Log. Methods Comput. Sci. 11(3) (2015) - [j43]Bart Jacobs, Alexandra Silva, Ana Sokolova:
Trace semantics via determinization. J. Comput. Syst. Sci. 81(5): 859-879 (2015) - [j42]Robert W. J. Furber, Bart Jacobs:
From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality. Log. Methods Comput. Sci. 11(2) (2015) - [j41]Bart Jacobs:
Dijkstra and Hoare monads in monadic computation. Theor. Comput. Sci. 604: 30-45 (2015) - [c95]Bart Jacobs:
A Recipe for State-and-Effect Triangles. CALCO 2015: 116-129 - [c94]Bart Jacobs, Bas Westerbaan, Bram Westerbaan:
States of Convex Sets. FoSSaCS 2015: 87-101 - [c93]Brinda Hampiholi, Gergely Alpár, Fabian van den Broek, Bart Jacobs:
Towards Practical Attribute-Based Signatures. SPACE 2015: 310-328 - [c92]Robin Adams, Bart Jacobs:
A Type Theory for Probabilistic and Bayesian Reasoning. TYPES 2015: 1:1-1:34 - [c91]Kenta Cho, Bart Jacobs, Bas Westerbaan, Bram Westerbaan:
Quotient-Comprehension Chains. QPL 2015: 136-147 - [c90]Robert Furber, Bart Jacobs:
Towards a Categorical Account of Conditional Probability. QPL 2015: 179-195 - [c89]Bart Jacobs, Bram Westerbaan:
An Effect-Theoretic Account of Lebesgue Integration. MFPS 2015: 239-253 - [i8]Robin Adams, Bart Jacobs:
A Type Theory for Probabilistic and Bayesian Reasoning. CoRR abs/1511.09230 (2015) - [i7]Kenta Cho, Bart Jacobs, Bas Westerbaan, Abraham Westerbaan:
An Introduction to Effectus Theory. CoRR abs/1512.05813 (2015) - 2014
- [c88]Bart Jacobs, Alexandra Silva:
Initial Algebras of Terms with Binding and Algebraic Structure. Categories and Types in Logic, Language, and Physics 2014: 211-234 - [c87]Bart Jacobs, Alexandra Silva:
Automata Learning: A Categorical Perspective. Horizons of the Mind 2014: 384-406 - [c86]Bart Jacobs:
Dijkstra Monads in Monadic Computation. CMCS 2014: 135-150 - [c85]Bart Jacobs, Alexandra Silva, Sam Staton:
Preface. MFPS 2014: 1-2 - [e6]Bart Jacobs, Alexandra Silva, Sam Staton:
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014. Electronic Notes in Theoretical Computer Science 308, Elsevier 2014 [contents] - 2013
- [j40]Flavio D. Garcia, Eric R. Verheul, Bart Jacobs:
Cell-based privacy-friendly roadpricing. Comput. Math. Appl. 65(5): 774-785 (2013) - [j39]Bart Jacobs:
Bases as Coalgebras. Log. Methods Comput. Sci. 9(3) (2013) - [j38]Bart Jacobs:
Dagger Categories of Tame Relations. Logica Universalis 7(3): 341-370 (2013) - [c84]Robert Furber, Bart Jacobs:
From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality. CALCO 2013: 141-157 - [c83]Gergely Alpár, Bart Jacobs:
Towards Practical Attribute-Based Identity Management: The IRMA Trajectory. IDMAN 2013: 1-3 - [c82]Bart Jacobs:
Measurable Spaces and Their Effect Logic. LICS 2013: 83-92 - [c81]Bart Jacobs:
Two of the Grand Changes through Computer and Network Technology. Privacy and Identity Management 2013: 1-11 - [c80]Ichiro Hasuo, Kenta Cho, Toshiki Kataoka, Bart Jacobs:
Coinductive Predicates and Final Sequences in a Fibration. MFPS 2013: 197-214 - [c79]Bart Jacobs:
On Block Structures in Quantum Computation. MFPS 2013: 233-255 - [p4]Dion Coumans, Bart Jacobs:
Scalars, Monads, and Categories. Quantum Physics and Linguistics 2013: 184-216 - 2012
- [c78]Bart Jacobs, Alexandra Silva, Ana Sokolova:
Trace Semantics via Determinization. CMCS 2012: 109-129 - [c77]Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann:
Fibrational Induction Meets Effects. FoSSaCS 2012: 42-57 - [p3]Bart Jacobs, Jan Rutten:
An introduction to (co)algebra and (co)induction. Advanced Topics in Bisimulation and Coinduction 2012: 38-99 - [i6]Bart Jacobs, Jorik Mandemaker:
Relating Operator Spaces via Adjunctions. CoRR abs/1201.1272 (2012) - 2011
- [j37]Ichiro Hasuo, Bart Jacobs:
Traces for coalgebraic components. Math. Struct. Comput. Sci. 21(2): 267-320 (2011) - [j36]Bart Jacobs:
Probabilities, distribution monads, and convex categories. Theor. Comput. Sci. 412(28): 3323-3336 (2011) - [j35]Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva:
Preface. Theor. Comput. Sci. 412(38): 4967-4968 (2011) - [c76]Bart Jacobs:
Bases as Coalgebras. CALCO 2011: 237-252 - [c75]Flavio D. Garcia, Eric R. Verheul, Bart Jacobs:
Cell-Based Roadpricing. EuroPKI 2011: 106-122 - [c74]Bart Jacobs:
Coalgebraic Walks, in Quantum and Turing Computation. FoSSaCS 2011: 12-26 - [c73]Bart Jacobs, Ronny Wichers Schreur:
Logical Formalisation and Analysis of the Mifare Classic Card in PVS. ITP 2011: 3-17 - [c72]Bart Jacobs, Jorik Mandemaker:
The Expectation Monad in Quantum Foundations. QPL 2011: 143-182 - [e5]Bart Jacobs, Peter Selinger, Bas Spitters:
Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011. EPTCS 95, 2011 [contents] - 2010
- [j34]Bart Jacobs:
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories. Log. Methods Comput. Sci. 6(2) (2010) - [j33]Bart Jacobs, Ana Sokolova:
Exemplaric Expressivity of Modal Logics. J. Log. Comput. 20(5): 1041-1068 (2010) - [j32]Chris Heunen, Bart Jacobs:
Quantum Logic in Dagger Kernel Categories. Order 27(2): 177-212 (2010) - [c71]Lejla Batina, Jaap-Henk Hoepman, Bart Jacobs, Wojciech Mostowski, Pim Vullers:
Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings. CARDIS 2010: 209-222 - [c70]Bart Jacobs:
Convexity, Duality and Effects. IFIP TCS 2010: 1-19 - [c69]Flavio D. Garcia, Bart Jacobs:
Privacy-Friendly Energy-Metering via Homomorphic Encryption. STM 2010: 226-238 - [c68]Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva:
Preface. CMCS@ETAPS 2010: 1-2 - [c67]Bart Jacobs:
From Coalgebraic to Monoidal Traces. CMCS@ETAPS 2010: 125-140 - [c66]Ichiro Hasuo, Bart Jacobs, Milad Niqui:
Coalgebraic Representation Theory of Fractals. MFPS 2010: 351-368 - [p2]Bart Jacobs:
Architecture Is Politics: Security and Privacy Issues in Transport and Beyond. Data Protection in a Profiled World 2010: 289-299 - [e4]Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva:
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010. Electronic Notes in Theoretical Computer Science 264(2), Elsevier 2010 [contents] - [i5]Bart Jacobs:
Involutive Categories and Monoids, with a GNS-correspondence. CoRR abs/1003.4552 (2010)
2000 – 2009
- 2009
- [j31]Ben A. M. Schouten, Bart Jacobs:
Biometrics and their use in e-passports. Image Vis. Comput. 27(3): 305-312 (2009) - [j30]