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 -
Combining TF-GridNet And Mixture Encoder For Continuous Speech Separation For Meeting Transcription2024 IEEE Spoken Language Technology Workshop (SLT) conference-paper Computer Science Speech and Audio Processing Open access
Peter Vieting, Simon Berger, Thilo von Neumann, Christoph Boeddeker, Ralf Schlüter, Reinhold Haeb‐Umbach
2citations -
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2citations -
Repairability of Inexact Solvers in Recursive State Estimation with Machine Learning2026 arXiv (Cornell University) preprint Computer Science Target Tracking and Data Fusion in Sensor Networks Open access
Yanjun Ji, Dennis Willsch, Orkun Şensebat, Priyanka Arkalgud Ganeshamurthy, Zhi Pei, M. Sahnawaz Alam, +5 more
0citations