Not finding it? Sign in to also search OpenAlex live.
-
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 -
Implementation of Data Mining Using Simple Linear Regression Algorithm to Predict Export Values2025 Scientific Journal of Engineering Research article Computer Science Data Mining and Machine Learning Applications Open access
Aldi Bastiatul Fawait, Nazaruddin Insyroh, Asno Azzawagama Firdaus
3citations -
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 -
Conceptual design blueprint for the DiSSCo digitization infrastructure - DELIVERABLE D8.12020 Research Ideas and Outcomes article Computer Science Research Data Management Practices Open access
Alex Hardisty, Hannu Saarenmaa, Ana Casino, Mathias Dillen, Karsten Gödderz, Quentin Groom, +8 more
35citations -
bioacoustic-ai/bacpipe: bacpipe v1.3.5 Release Notes2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Music and Audio Processing Open access
Vincent S. Kather, Sylvain Haupert, Clea Parcerisas, Santiago Martínez Balvanera, Ines Nolasco, Ben McEwen, +2 more
0citations -
How fast can a parent estimate the value of their children? A quantum algorithm for stochastic games2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access
Marien Raat, Merlin Incerti-Medici, James R. Wootton, Evert van Nieuwenburg, Daniel Bultrini
0citations -
What rationale would work? Unfolding the role of learners’ attitudes and motivation in predicting learning engagement and perceived learning outcomes in MOOCs33citations
-
pHGen: A pH-Based Key Generation Mechanism Using ISFETs2022 IEEE International Symposium on Hardware Oriented Security and Trust (HOST) conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security
Elmira Moussavi, Dominik Šišejković, Fabian Brings, Daniyar Kizatov, Animesh Singh, Xuan Thang Vu, +4 more
3citations -
pHGen: A pH-Based Key Generation Mechanism Using ISFETs2022 arXiv (Cornell University) preprint Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access
Elmira Moussavi, Dominik Šišejković, Fabian Brings, Daniyar Kizatov, Animesh Kumar Singh, Xuan Thang Vu, +4 more
2citations