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
103citations -
Latticed k-Induction with an Application to Probabilistic Programs2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
21citations -
A Data-Driven Framework for Anomaly Detection in Industrial Systems Using Log Data2025 Proceedings of the Annual Conference of the IEEE Industrial Electronics Society conference-paper Computer Science Software System Performance and Reliability
Merle Hewing, Yuanchen Zhao, Manuel Vossel, Paul Nieschler, Tobias Kleinert
0citations