Martina Rohde

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 3

Top Topics

Boolean Satisfiability

Clause Learning Sat Solvers

Top Venues

Datenschutz und Datensicherheit

Publications

Anastasia-Maria Leventi-Peetz, Jörg-Volker Peetz, Martina Rohde
ML Supported Predictions for SAT Solvers Performance. CoRR (2021)
Frank Sonnenberg, Thomas Borsch, Martina Rohde
VS-Zulassung. Datenschutz und Datensicherheit 43 (10) (2019)
Martina Rohde, Werner Schindler
Künstliche Intelligenz in Evaluierung und Zulassung. Datenschutz und Datensicherheit 43 (10) (2019)
Martina Rohde, Andreas Schmidt, Timo Hauschild
IT Security - A Crucial Success Factor for e-Government! I3E (2002)