Not finding it? Sign in to also search OpenAlex live.
-
Brightening the Optical Flow through Posit Arithmetic2021 International Symposium on Quality Electronic Design (ISQED) conference-paper Computer Science Numerical Methods and Algorithms Open access
Vinay Saxena, Ankitha Reddy, Jonathan Neudorfer, John Leroy Gustafson, Sangeeth Nambiar, Rainer Leupers, +1 more
11citations -
An Ising machine formulation for design updates in topology optimization of flow channels2026 Engineering With Computers article Computer Science Metaheuristic Optimization Algorithms Research Open access
Yudai Suzuki, Shiori Aoki, Fabian Key, K. Endo, Yoshiki Matsuda, Shu Tanaka, +2 more
4citations -
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 -
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back2025 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access
Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2citations -
Challenging the Security of Logic Locking Schemes in the Era of Deep Learning: A Neuroevolutionary Approach2021 ACM Journal on Emerging Technologies in Computing Systems article Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access
Dominik Šišejković, Farhad Merchant, Lennart M. Reimann, Ahmed Hallawa, Rainer Leupers
85citations -
Wireless Control for Smart Manufacturing: Recent Approaches and Open Challenges2020 Proceedings of the IEEE article Computer Science Network Time Synchronization Technologies Open access cited by 1 patent
Dominik Baumann, Fabian Mager, Ulf Wetzker, Lothar Thiele, Marco Zimmerling, Sebastian Trimpe
73citations