pith. sign in

Bart Jacobs

Identifiers

  • name variant Bart Jacobs 0.60 · backfill

Papers (24)

  1. The differential calculus of causal functions cs.LO · 2019 · author #2
  2. Abstract I/O Specification cs.LO · 2019 · author #3
  3. Causal Inference by String Diagram Surgery cs.LO · 2018 · author #1
  4. Categorical Aspects of Parameter Learning cs.AI · 2018 · author #1
  5. The Mathematics of Changing one's Mind, via Jeffrey's or via Pearl's update rule cs.AI · 2018 · author #1
  6. A Channel-based Exact Inference Algorithm for Bayesian Networks cs.AI · 2018 · author #1
  7. The Logical Essentials of Bayesian Reasoning cs.AI · 2018 · author #1
  8. Neural Nets via Forward State Transformation and Backward Loss Transformation cs.NE · 2018 · author #1
  9. A Channel-Based Perspective on Conjugate Priors cs.LO · 2017 · author #1
  10. Healthiness from Duality cs.LO · 2016 · author #4
  11. An Introduction to Effectus Theory cs.LO · 2015 · author #2
  12. Quotient-Comprehension Chains cs.LO · 2015 · author #2
  13. Category Theory in Coq 8.5 cs.LO · 2015 · author #2
  14. Proceedings 8th International Workshop on Quantum Physics and Logic quant-ph · 2012 · author #1
  15. Relating Operator Spaces via Adjunctions cs.LO · 2012 · author #1
  16. Dagger Categories of Tame Relations math.LO · 2011 · author #1
  17. Involutive Categories and Monoids, with a GNS-correspondence cs.LO · 2010 · author #1
  18. Scalars, Monads, and Categories math.RA · 2010 · author #2
  19. Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories cs.LO · 2009 · author #1
  20. Duality for Convexity math.LO · 2009 · author #1
  21. Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories cs.LO · 2009 · author #1
  22. Quantum Logic in Dagger Kernel Categories math.LO · 2009 · author #2
  23. Crossing Borders: Security and Privacy Issues of the European e-Passport cs.CR · 2008 · author #3
  24. Generic Trace Semantics via Coinduction cs.LO · 2007 · author #2

Mentions

  • 1210.0298 #1 · backfill · confidence 0.70 Bart Jacobs
  • 1201.1272 #1 · backfill · confidence 0.70 Bart Jacobs
  • 1101.1077 #1 · backfill · confidence 0.70 Bart Jacobs
  • 1003.4552 #1 · backfill · confidence 0.70 Bart Jacobs
  • 1003.0585 #2 · backfill · confidence 0.70 Bart Jacobs
  • 0912.0931 #1 · backfill · confidence 0.70 Bart Jacobs
  • 0911.3834 #1 · backfill · confidence 0.70 Bart Jacobs
  • 0905.4090 #1 · backfill · confidence 0.70 Bart Jacobs
  • 0902.2355 #2 · backfill · confidence 0.70 Bart Jacobs
  • 0801.3930 #3 · backfill · confidence 0.70 Bart Jacobs
  • 0710.2505 #2 · backfill · confidence 0.70 Bart Jacobs

Frequent Coauthors