Login / Signup
Manuel Bentele
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 3
Top Topics
Open Source
Laser Scanning
Concurrent Processes
Search Algorithm
Top Venues
CloudComp
GI-Jahrestagung
TACAS (3)
</>
Publications
</>
Frank Schüssele
,
Manuel Bentele
,
Daniel Dietsch
,
Matthias Heizmann
,
Xinyu Jiang
,
Dominik Klumpp
,
Andreas Podelski
Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution).
TACAS (3)
(2024)
Dirk von Suchodoletz
,
Simon Rettberg
,
Manuel Bentele
,
Steffen Ritter
,
Christian Rößler
bwLehrpool als offene und flexible Betriebsplattform für PC-Pools mit optionalem Fernzugriff.
GI-Jahrestagung
(2022)
Manuel Bentele
,
Dirk von Suchodoletz
,
Manuel Messner
,
Simon Rettberg
Towards a GPU-Accelerated Open Source VDI for OpenStack.
CloudComp
(2021)