Joana Plewnia

According to our database, Joana Plewnia authored at least 2 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Data-driven Development of Digital Health Applications on the Example of Dementia Screening.

Markus Schinle, Christina Erler, Timon Schneider, Joana Plewnia, Wilhelm Stork

Proceedings of the IEEE International Symposium on Medical Measurements and Applications, 2021

2019

Understanding Counterexamples for Relational Properties with DIbugger.

Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, 2019