Not finding it? Sign in to also search OpenAlex live.
-
Towards High-Performance Virtual Platforms: A Parallelization Strategy for SystemC TLM-2.0 CPU Models2024 Proceedings - ACM IEEE Design Automation Conference conference-paper Computer Science Embedded Systems Design Techniques
Nils Bosbach, Niko Zurstraßen, Rebecca Pelke, Lukas Jünger, Jan Henrik Weinstock, Rainer Leupers
2citations -
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
2citations -
Work-in-Progress: A Review of the Type, Breadth, and Limitations of Publicly Available Educational Technology Products in 20222024 ASEE Annual Conference & Exposition conference-paper Computer Science Educational Technology and E-Learning
Robert M. Nickel, Sarah Appelhans, R.L. Thomas, Stu Thompson, Stewart J. Thomas, Abdelghany Abouelnagga, +1 more
2citations -
Bridging Data Standards and FAIR Principles in Biodiversity Digital Twinning: Prototyping, Challenges, Lessons Learned, and Future Plans2024 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access
Sharif Islam, Julian Lopez Gordillo, Dag Endresen, Carrie J. Andrew
2citations -
Fi-score: a novel approach to characterise protein topology and aid in drug discovery studies2020 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science Computational Drug Discovery Methods Open access
Austė Kanapeckaitė, Claudia Beaurivage, MATTHEW J. HANCOCK, Erik Verschueren
2citations -
D7.4 How to be FAIR with your data. A teaching and training handbook for higher education institutions2022 Strathprints: The University of Strathclyde institutional repository (University of Strathclyde) book Computer Science Research Data Management Practices Open access
Claudia Engelhardt, Katarzyna Biernacka, Aoife Coffey, Ronald Cornet, Alina Danciu, Yuri Demchenko, +30 more
2citations -
Sparkle: Toward Accessible Meta-Algorithmics for Improving the State of the Art in Solving Challenging Problems2022 IEEE Transactions on Evolutionary Computation article Computer Science Metaheuristic Optimization Algorithms Research Open access
Koen van der Blom, Holger H. Hoos, Chuan Wen Luo, Jeroen Rook
2citations