Ralf Wimmer
Albert-Ludwigs-Universität Freiburg
H-index: 24
Europe-Germany
Top articles of Ralf Wimmer
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Using Unit Propagation with Universal Reduction in DQBF Preprocessing | arXiv preprint arXiv:2303.14446 | Ralf Wimmer Ming-Yi Hu | 2023/3/25 |
Scale4Edge-Scaling RISC-V for Edge Applications | Wolfgang Ecker Milos Krstic Markus Ulbricht Andreas Mauderer Eyck Jentzsch | 2023 | |
Solving dependency quantified Boolean formulas using quantifier localization | Theoretical Computer Science | Aile Ge-Ernst Christoph Scholl Juraj Síč Ralf Wimmer | 2022/8/10 |
The Scale4Edge RISC-V Ecosystem | Wolfgang Ecker Peer Adelt Wolfgang Mueller Reinhold Heckmann Milos Krstic | 2022/3/14 | |
Diagnosing Partially Observable Markov Decision Processes | Ming Hu Leonore Winterer Ralf Wimmer | 2022/2/17 | |
Minimally Invasive HW/SW Co-debug Live Visualization on Architecture Level | Pascal Pieper Ralf Wimmer Gerhard Angst Rolf Drechsler | 2021/6/22 | |
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions | IEEE Transactions on Automatic Control | Leonore Winterer Sebastian Junges Ralf Wimmer Nils Jansen Ufuk Topcu | 2020/4/24 |
Strengthening deterministic policies for POMDPs | Leonore Winterer Ralf Wimmer Nils Jansen Bernd Becker | 2020 |