Login / Signup
Joana Plewnia
ORCID
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 2
Top Topics
Rapid Development
Digital Forensics
Data Driven
Desirable Properties
Top Venues
MeMeA
HCVS/PERR@ETAPS
</>
Publications
</>
Markus Schinle
,
Christina Erler
,
Timon Schneider
,
Joana Plewnia
,
Wilhelm Stork
Data-driven Development of Digital Health Applications on the Example of Dementia Screening.
MeMeA
(2021)
Mihai Herda
,
Michael Kirsten
,
Etienne Brunner
,
Joana Plewnia
,
Ulla Scheler
,
Chiara Staudenmaier
,
Benedikt Wagner
,
Pascal Zwick
,
Bernhard Beckert
Understanding Counterexamples for Relational Properties with DIbugger.
HCVS/PERR@ETAPS
(2019)