Not finding it? Sign in to also search OpenAlex live.
-
Unchaining Collective Intelligence for Science, Research, and Technology Development by Blockchain-Boosted Community Participation2021 Frontiers in Blockchain article Computer Science Blockchain Technology Applications and Security Open access
Jens Ducrée, Martin Etzrodt, Sönke H. Bartling, Ray Walshe, Tomás Seosamh Harrington, Neslihan Wittek, +7 more
36citations -
Foundations for Entailment Checking in Quantitative Separation Logic2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, +1 more
4citations -
Quantifying rainfall forecast uncertainty and error propagation in flash flood and landslide prediction models2022 conference-abstract Earth and Planetary Sciences Meteorological Phenomena and Simulations Open access
Bastian Winkels, Julian Hofmann, Anil Yıldiz, Ann-Kathrin Edrich, Holger Schüttrumpf, Julia Kowalski
0citations -
AxonEM Dataset: 3D Axon Instance Segmentation of Brain Cortical Regions2021 Lecture notes in computer science conference-paper Biochemistry, Genetics and Molecular Biology Advanced Electron Microscopy Techniques and Applications
Donglai Wei, Kisuk Lee, Hanyu Li, Ran Lu, J. Alexander Bae, Zequan Liu, +10 more
18citations
18 results