Not finding it? Sign in to also search OpenAlex live.
-
Performance comparison of optimization methods on variational quantum algorithms2023 Physical Review A article Computer Science Quantum Computing Algorithms and Architecture Open access
Xavier Bonet-Monroig, Hao Wang, Diederick Vermetten, Bruno Senjean, Charles Moussa, Thomas Bäck, +2 more
106citations -
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu, Taylor Thomas Johnson
28citations -
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, +5 more
4citations -
Private Multi-Hop Accountability for Supply Chains2020 IEEE International Conference on Communications workshops conference-paper Computer Science Blockchain Technology Applications and Security
Jan Pennekamp, Lennart Bader, Roman Matzutt, Philipp Niemietz, Daniel Trauth, Martin Henze, +2 more
21citations -
Microarchitectural Timing Channels and their Prevention on an Open-Source 64-bit RISC-V Core2021 Design, Automation, and Test in Europe conference-paper Computer Science Security and Verification in Computing
Nils Wistoff, Moritz Schneider, Frank K. Gürkaynak, Luca Benini, Gernot Heiser
16citations -
Future Computer Systems and Networking Research in the Netherlands: A Manifesto2022 arXiv (Cornell University) preprint Computer Science Distributed and Parallel Computing Systems Open access
Alexandru Iosup, Fernando A. Kuipers, Ana Lucia Vărbănescu, Paola Grosso, Animesh Trivedi, Jan S. Rellermeyer, +3 more
1citations