Not finding it? Sign in to also search OpenAlex live.
-
On the applicability of hybrid systems safety verification tools from the automotive perspective2023 International Journal on Software Tools for Technology Transfer book-chapter Computer Science Formal Methods in Verification Open access
Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu
3citations -
GraspOS Deliverable D3.3: Tools and services2025 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Distributed and Parallel Computing Systems Open access
Thanasis Vergoulis, Serafeim Chatzopoulos, Giulia Malaguarnera, Zenia Xenou, Leonidas Pispiringas, Harry Dimitropoulos, +9 more
0citations -
GraspOS Deliverable D3.3: Tools and services2025 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Distributed and Parallel Computing Systems Open access
Thanasis Vergoulis, Serafeim Chatzopoulos, Giulia Malaguarnera, Zacharoula Xenou, Leonidas Pispiringas, Harry Dimitropoulos, +13 more
0citations -
Inclusive Model-Driven Engineering for Accessible Software2025 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) conference-paper Computer Science Model-Driven Software Engineering Techniques Open access
Dominik Bork, Stefan Klikovits, Judith Michael, Lukas Netz, Bernhard Rumpe⋆
4citations -
DrugEx: Deep Learning Models and Tools for Exploration of Drug-Like Chemical Space2023 Journal of Chemical Information and Modeling article Computer Science Computational Drug Discovery Methods Open access
Martin Šícho, Sohvi Luukkonen, Helle W. van den Maagdenberg, Linde Schoenmaker, Olivier J. M. Béquignon, Gerard J. P. van Westen
40citations -
MPI-BugBench: A Framework for Assessing MPI Correctness Tools2024 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques Open access
Tim Jammer, Emmanuelle Saillard, Simon Schwitanski, Joachim Jenke, Radjasouria Vinayagame, Alexander Hück, +1 more
8citations -
Computational capabilities and compiler development for neutral atom quantum processors—connecting tool developers and hardware experts2024 Quantum Science and Technology article Computer Science Quantum Computing Algorithms and Architecture Open access cited by 1 patent
L. Schmid, David F. Locher, Manuel Rispler, Sebastian Blatt, Johannes Zeiher, Markus Michael Müller, +1 more
33citations -
Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors: Connecting Tool Developers and Hardware Experts2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access
L. Schmid, David F. Locher, Manuel Rispler, Sebastian Blatt, Johannes Zeiher, Markus Michael Müller, +1 more
0citations