PUB - Publikationen an der Universität Bielefeld

Alle markieren

• [3]
  

  2024 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2988952

  Witte, C., Schmidt, D., and Cimiano, P. (2024). Comparing generative and extractive approaches to information extraction from abstracts describing randomized clinical trials. Journal of Biomedical Semantics 15:3.

  PUB | DOI | WoS | PubMed | Europe PMC
   
• [2]
  

  2021 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2989313

  Howar, F., Jasper, M., Mues, M., Schmidt, D., and Steffen, B. (2021). The RERS challenge: towards controllable and scalable benchmark synthesis. International Journal on Software Tools for Technology Transfer 23, 917-930.

  PUB | PDF | DOI
   
• [1]
  

  2021 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2989314

  Jasper, M., Schlüter, M., Schmidt, D., and Steffen, B. (2021). “Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees” in 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, Margaria, T., and Steffen, B. eds. Lecture Notes in Computer Science (Cham: Springer International Publishing), 242-263.

  PUB | DOI