Not finding it? Sign in to also search OpenAlex live.
-
A Deductive Verification Infrastructure for Probabilistic Programs2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
22citations -
Hybrid quantum ResNet for car classification and its hyperparameter optimization2023 Quantum Machine Intelligence article Computer Science Quantum Computing Algorithms and Architecture Open access
Asel Sagingalieva, Mohammad Kordzanganeh, Andrii Kurkin, Artem Melnikov, Daniil Kuhmistrov, Michael Romanovich Perelshtein, +2 more
42citations
8 results