3 Publikationen
-
2024 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2988952Witte, Christian, Schmidt, David, and Cimiano, Philipp. “Comparing generative and extractive approaches to information extraction from abstracts describing randomized clinical trials”. Journal of Biomedical Semantics 15.1 (2024): 3.PUB | DOI | WoS | PubMed | Europe PMC
-
2021 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2989313Howar, Falk, Jasper, Marc, Mues, Malte, Schmidt, David, and Steffen, Bernhard. “The RERS challenge: towards controllable and scalable benchmark synthesis”. International Journal on Software Tools for Technology Transfer 23.6 (2021): 917-930.PUB | PDF | DOI
-
2021 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2989314Jasper, Marc, Schlüter, Maximilian, Schmidt, David, and Steffen, Bernhard. “Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees”. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends. 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV. Ed. Tiziana Margaria and Bernhard Steffen. Cham: Springer International Publishing, 2021. Lecture Notes in Computer Science. 242-263.PUB | DOI