Not finding it? Sign in to also search OpenAlex live.
-
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back2025 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access
Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2citations -
Numerical study of the non-conservative NET-RAT traffic flow model by path-conservative central-upwind schemesImage 12024 Computers & Mathematics with Applications article Engineering Traffic control and management Open access
Saeed Mohammadian, Zuduo Zheng, Shaoshuai Chu, Alexander Kurganov
0citations
18 results