Not finding it? Sign in to also search OpenAlex live.
-
HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model2025 IEEE Computer Society Annual Symposium on VLSI conference-paper Computer Science Embedded Systems Design Techniques
Sascha Neske, Bryan Olmos, Shuhang Zhang, M. Kroening, Stefan Lankes, Wolfgang Gerhard Kunz, +1 more
0citations -
Sustaining Knowledge Infrastructures: Asking Questions and Listening for Answers2026 International Journal of Digital Curation article Computer Science Library Science and Information Open access
Kathleen Gregory, Jonathan Zurbach, Kalpana Shankar, Matthew S. Mayernik, Malcolm Campbell‐Verduyn, Louise M. Bezuidenhout, +1 more
1citations -
Sustaining Knowledge Infrastructures: Asking Questions and Listening for Answers2026 International Journal of Digital Curation article Computer Science Library Science and Information Open access
Kathleen Gregory, Jonathan Zurbach, Kalpana Shankar, Matthew S. Mayernik, Malcolm Campbell‐Verduyn, Louise M. Bezuidenhout, +1 more
0citations -
Evaluating ReLink for Traceability Link Recovery in Practice2025 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) conference-paper Computer Science Software Engineering Research Open access
Ayberk Yaşa, Cemhan Kaan Özaltan, Görkem Ayten, Fatih Kaplama, Ömercan Devran, Baykal Mehmet Uçar, +1 more
2citations -
Research Infrastructure Contact Zones: a framework and dataset to characterise the activities of major biodiversity informatics initiatives2022 Biodiversity Data Journal article Computer Science Research Data Management Practices Open access
Vincent Smith, Sarah Vincent, Matt Woodburn, Wouter Addink, Christos Arvanitidis, Olaf Bánki, +10 more
6citations -
Working across Scales: Shared Building-Blocks of a Sustainable Infrastructure Environment for Bio/Geodiversity Data2025 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access
Jutta Buschbom, James Macklin, Deborah Paul, Elizabeth R. Ellwood, Alina Freire‐Fierro, Wouter Addink, +6 more
0citations -
Automated segmentation of 3D cine cardiovascular magnetic resonance imaging2023 Frontiers in Cardiovascular Medicine article Computer Science Medical Image Segmentation Techniques Open access
Soroosh Tayebi Arasteh, Jennifer Romanowicz, Danielle F. Pace, Polina Golland, Andrew J. Powell, Andreas Maier, +6 more
15citations -
Digitalizing the Chemical Landscape:2023 Proceedings of the Conference on Research Data Infrastructure conference-paper Computer Science Research Data Management Practices Open access
Oliver Koepler, Christoph Steinbeck, Felix Bach, Sonja Herres‐Pawlis, Nicole Jung, Johannes C. Liermann, +2 more
0citations
25 results