( en | de | ru )

 

Disambiguation of "Jacobs, Bart"

Author of the publication

copydeleteadd this publication to your clipboard
Healthiness from Duality.

, , , and . LICS, page 682-691. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bart Jacobs

Bart Cramer

Bart Maris

Bart Kersbergen

Bart Riel

 

Other publications of authors with the same name

Traces for coalgebraic components., and . Math. Struct. Comput. Sci., 21 (2): 267-320 (2011)Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals., , and . Math. Struct. Comput. Sci., 31 (5): 553-574 (2021)Dijkstra and Hoare monads in monadic computation.. Theor. Comput. Sci., (2015)Preface., , , and . Theor. Comput. Sci., 412 (38): 4967-4968 (2011)Simulations in coalgebra., and . Theor. Comput. Sci., 327 (1-2): 71-108 (2004)Electronic identity services as sociotechnical and political-economic constructs., and . New Media Soc., (2020)A Principled Approach to Expectation Maximisation and Latent Dirichlet Allocation Using Jeffrey's Update Rule.. WoLLIC, volume 13923 of Lecture Notes in Computer Science, page 256-273. Springer, (2023)Initial Algebras of Terms with Binding and Algebraic Structure., and . Categories and Types in Logic, Language, and Physics, volume 8222 of Lecture Notes in Computer Science, page 211-234. Springer, (2014)JML (poster session): notations and tools supporting detailed design in Java., , , , and . OOPSLA Addendum, page 105-106. ACM, (2000)Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming., and . MFPS, volume 3 of EPTICS, EpiSciences, (2023)