Not finding it? Sign in to also search OpenAlex live.
-
Research Infrastructure Contact Zones: A method to visualise and align the activities of major biodiversity informatics initiatives2021 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access
Vincent Smith, Aino Juslén, Ana Casino, François Dusoulier, Dimitrios Koureas, Patricia Mergen, +3 more
0citations -
A Design Flow and EDA-Tool for an Automated Implementation of ASIC Configuration Interfaces2022 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design conference-paper Computer Science Embedded Systems Design Techniques
Johannes Bastl, Jonas Meier, Ralf Wunderlich, Stefan J. Heinen
0citations -
NFDI4Chem - Deliverable D4.4.1: 50 Experimental processes and data publications using NFDI4Chem infrastructure and beyond2023 Zenodo (CERN European Organization for Nuclear Research) report Computer Science Research Data Management Practices Open access
Tillmann G. Fischer, Toni Ditfe, David Rauh, Nicole A. Parks, Johannes C. Liermann, Tobias Schulze, +1 more
0citations -
Data-driven Product-Process Optimization of N-isopropylacrylamide Microgel Flow-Synthesis2023 arXiv (Cornell University) preprint Computer Science Advanced Multi-Objective Optimization Algorithms Open access
Luise F. Kaven, Artur M. Schweidtmann, Jana Israel, Nadja Wolter, Alexander Mitsos
0citations -
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more
0citations