Login / Signup
Leander Tentrup
ORCID
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Heavy Metals
Artificial Intelligence
Public Health
Top Venues
Acta informatica
</>
This page only lists publications with an associated author ORCID identifier.
Publications
</>
Bernd Finkbeiner
,
Christopher Hahn
,
Philip Lukert
,
Marvin Stenger
,
Leander Tentrup
Synthesis from hyperproperties.
Acta informatica
57 (1) (2019)