Not finding it? Sign in to also search OpenAlex live.
-
Integrating quantum and classical computing for multi-energy system optimization using Benders decomposition2024 Computers & Chemical Engineering article Computer Science Quantum Computing Algorithms and Architecture Open access
Ludger Leenders, Martin Sollich, Christiane Reinert, André Bardow
9citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops2026 Lecture notes in computer science conference-paper Computer Science Constraint Satisfaction and Optimization Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations
11 results