Login / Signup
Niklas O. Metzger
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 3
Top Topics
Distributed Systems
Learning Disabled
Creative Thinking
Fault Tolerance
Top Venues
CoRR
SKILL
ATVA
</>
Publications
</>
Jesko Hecking-Harbusch
,
Niklas O. Metzger
Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems.
CoRR
(2020)
Jesko Hecking-Harbusch
,
Niklas O. Metzger
Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems.
ATVA
(2019)
Timo P. Gros
,
Pascal Leo Held
,
Pascal Lauer
,
Niklas O. Metzger
,
Kallistos Weis
aMAZEing Programming - Providing SKILLs to Fellow Students.
SKILL
(2019)