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 -
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 -
Pupillary and microsaccadic responses to cognitive effort and emotional arousal during complex decision making2020 Journal of Eye Movement Research article Computer Science Gaze Tracking and Assistive Technology Open access
Krzysztof Krejtz, Justyna Żurawska, Andrew T. Duchowski, Szymon Wichary
39citations -
Taking matters into their own hands: Examining online fraud victims’ needs and motivations for pursuing civil litigation2026 International Review of Victimology article Computer Science Cybercrime and Law Enforcement Studies Open access
M. Van Leuken, M. Susanne van ‘t Hoff-de Goede, Rutger Leukfeldt
0citations
12 results