Not finding it? Sign in to also search OpenAlex live.
-
Experimental certification of multipartite Bell correlations using only few-body symmetric correlations2026 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access
Jiacheng Sun, Mengyao Hu, Paweł Cieśliński, Jinfu Chen, Fei Shi, Bowen Wang, +5 more
0citations -
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
Two-stage automated diagnosis framework for urogenital schistosomiasis in microscopy images from low-resource settings2023 Journal of medical imaging article Computer Science Digital Imaging for Blood Diseases Open access
Prosper Oyibo, Brice Meulah, Michel Bengtson, Lisette van Lieshout, Wellington Aghoghovwia Oyibo, Jan Carel Diehl, +2 more
12citations
20 results