Follow
David M. Schmidt
David M. Schmidt
Other namesDavid Schmidt, David Maria Schmidt
PhD Student and Research Associate in the Semantic Computing Group at CITEC, Bielefeld University
Verified email at uni-bielefeld.de - Homepage
Title
Cited by
Cited by
Year
The RERS challenge: towards controllable and scalable benchmark synthesis
F Howar, M Jasper, M Mues, D Schmidt, B Steffen
International Journal on Software Tools for Technology Transfer 23 (6), 917-930, 2021
122021
Every component matters: Generating parallel verification benchmarks with hardness guarantees
M Jasper, M Schlüter, D Schmidt, B Steffen
Leveraging Applications of Formal Methods, Verification and Validation …, 2021
12021
Comparing generative and extractive approaches to information extraction from abstracts describing randomized clinical trials
C Witte, DM Schmidt, P Cimiano
Journal of Biomedical Semantics 15, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–3