A
Aralex
Aachen research explorer
Sign in
Menu
Papers
Authors
Topics
Journals
Patents
Institutions
Departments
Sign in
Papers
Authors
Topics
Journals
Patents
Organizations
Institutions
Departments
Papers matching “tool path design”
2
Sort:
Relevance
Cited
Newest
Oldest
Fwci
Patents
⇩ CSV
Not finding it?
Sign in
to also search OpenAlex live.
Developing a Quantum Crypto Theorem Prover from Scratch (Invited Talk)
2026
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
article
Computer Science
Logic, Reasoning, and Knowledge
Open access
Dominique Unruh
0
citations
Evaluating the Performance of OpenMP Offloading on the NEC SX-Aurora TSUBASA Vector Engine
2021
Supercomputing Frontiers and Innovations
article
Computer Science
Distributed and Parallel Computing Systems
Open access
Tim Cramer
2
citations
2 results