Login / Signup
Reinhard Zeif
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 3
Top Topics
Stochastic Local Search
Sat Solving
Power Supply
Propositional Satisfiability
Top Venues
Elektrotech. Informationstechnik
</>
Publications
</>
Reinhard Zeif
,
Manuel Kubicka
,
Andreas Johann Hörmer
Development and application of an embedded computer system for CubeSats exemplified by the OPS-SAT space mission.
Elektrotech. Informationstechnik
139 (1) (2022)
Andreas Johann Hörmer
,
Manuela Wenger
,
Reinhard Zeif
An innovative FDIR approach for the power supply of the PRETTY SDR satellite payload.
Elektrotech. Informationstechnik
139 (1) (2022)
Manuel Kubicka
,
Reinhard Zeif
,
Maximilian Henkel
,
Andreas Johann Hörmer
Thermal vacuum tests for the ESA's OPS-SAT mission.
Elektrotech. Informationstechnik
139 (1) (2022)