Not finding it? Sign in to also search OpenAlex live.
-
veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing2024 IEEE Transactions on Circuits and Systems I Regular Papers article Engineering Advanced Memory and Neural Computing
Chandan Kumar Jha, Khushboo Qayyum, Kemal Çağlar Coşkun, Simranjeet Singh, Muhammad Hassan, Rainer Leupers, +2 more
7citations -
Development of a high-fidelity computational tool for chemically reacting hypersonic flow simulations2022 King Abdullah University of Science and Technology Repository (King Abdullah University of Science and Technology) preprint Engineering Computational Fluid Dynamics and Aerodynamics Open access
Athanasios Margaritis, Clément Scherding, Olaf Marxen, Peter J. Schmid, Taraneh Sayadi
3citations -
Computational Guidance & Navigation for Bearings-Only Rendezvous – methods and outcomes of GUIBEAR2021 Zenodo (CERN European Organization for Nuclear Research) conference-paper Engineering Spacecraft Dynamics and Control Open access
Pedro Serra, Pedro Lourenço, José Briz Valero, Marco Mammarella, T. V. Peters, Dario Mora Portela, +6 more
1citations -
Generation of Complex Road Networks Using a Simplified Logical Description for the Validation of Automated Vehicles8citations
-
Modular design workflow for 3D printable bioresorbable patient-specific bone scaffolds: extended features and clinical validation2024 Frontiers in Bioengineering and Biotechnology article Engineering Anatomy and Medical Technology Open access
Buddhi Herath, Markus Laubach, Sinduja Suresh, Beat Schmutz, Judith Paige Little, Prasad K.D.V. Yarlagadda, +4 more
5citations -
Road Network Variation Based on HD Map Analysis for the Simulative Safety Assurance of Automated Vehicles3citations
19 results