PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Jacobs, Bart"

Author of the publication

copydeleteadd this publication to your clipboard
Causal Inference by String Diagram Surgery.

, , and . FoSSaCS, volume 11425 of Lecture Notes in Computer Science, page 313-329. Springer, (2019)

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.

Rahul Barthwal University of Stuttgart

Lukas Bartholomäus University of Stuttgart

Dr. rer. nat. Simon Barth University of Stuttgart

Aneesh Barthakur University of Stuttgart

Alexander Bartler University of Stuttgart

 

Other publications of authors with the same name

Safe Concurrency for Aggregate Objects with Invariants., , , and . SEFM, page 137-147. IEEE Computer Society, (2005)A Generic Architecture for Web Applications to Support Threat Analysis of Infrastructural Components., , , and . Communications and Multimedia Security, volume 175 of IFIP, page 125-130. Springer, (2004)Freyd is Kleisli, for Arrows., and . MSFP@MPC, BCS, (2006)Disintegration and Bayesian inversion via string diagrams., and . Mathematical Structures in Computer Science, 29 (7): 938-971 (2019)Objects and Classes, Co-Algebraically.. Object Orientation with Parallelism and Persistence, page 83-103. Kluwer Academic Publishers, (1995)The Spec# Programming System: Challenges and Directions., , , , , , and . VSTTE, volume 4171 of Lecture Notes in Computer Science, page 144-152. Springer, (2005)Healthiness from Duality., , , and . LICS, page 682-691. ACM, (2016)First Steps Towards Cumulative Inductive Types in CIC., and . ICTAC, volume 9399 of Lecture Notes in Computer Science, page 608-617. Springer, (2015)Categorical Views on Computations on Trees (Extended Abstract)., , and . ICALP, volume 4596 of Lecture Notes in Computer Science, page 619-630. Springer, (2007)A Monad for Basic Java Semantics., and . AMAST, volume 1816 of Lecture Notes in Computer Science, page 150-164. Springer, (2000)