Not finding it? Sign in to also search OpenAlex live.
-
Artifact for: "The Probabilistic Model Checker Storm: Lightning Strikes Twice"2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Tim Quatmann, Matthias Volk, Sebastian Junges, Alexander Bork, Linus Heck, Luko van der Maas, +1 more
0citations -
The FAIR Data Point Populator: collaborative FAIRification and population of FAIR Data Points2024 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science Research Data Management Practices Open access
Daphne Wijnbergen, Rajaram Kaliyaperumal, Luiz Olavo Bonino da Silva Santos, Barend Mons, Marco Roos, Eleni Mina
0citations -
Camtrap DP: an open standard for the FAIR exchange and archiving of camera trap data2023 Remote Sensing in Ecology and Conservation article Computer Science Research Data Management Practices Open access
Jakub W. Bubnicki, Ben Norton, Steve Baskauf, Tom Bruce, Francesca Cagnacci, Jim Casaer, +30 more
31citations -
Passive Data Use for Ethical Digital Public Health Surveillance in a Postpandemic World2021 Journal of Medical Internet Research article Computer Science COVID-19 Digital Contact Tracing Open access
John L. Kilgallon, Ishaan Ashwini Tewarie, Marike L. D. Broekman, Aakanksha Rana, Timothy Richard Smith
17citations -
Experimentally informed decoding of stabilizer codes based on syndrome correlations2025 Physical Review Research article Computer Science Quantum Computing Algorithms and Architecture Open access
Ants Remm, Nathan Lacroix, Lukas Bödeker, Élie Genois, Christoph Hellings, François Swiadek, +6 more
12citations