PUB - Publikationen an der Universität Bielefeld

Alle markieren

• [3]
  

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

  Witte, C., Schmidt, D. & Cimiano, P. (2024). Comparing generative and extractive approaches to information extraction from abstracts describing randomized clinical trials. Journal of Biomedical Semantics , 15(1): 3. BioMed Central. doi:10.1186/s13326-024-00305-2.

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

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

  Howar, F., Jasper, M., Mues, M., Schmidt, D. & Steffen, B. (2021). The RERS challenge: towards controllable and scalable benchmark synthesis. International Journal on Software Tools for Technology Transfer, 23(6), 917-930. Springer Science and Business Media LLC. doi:10.1007/s10009-021-00617-z.

  PUB | PDF | DOI
   
• [1]
  

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

  Jasper, M., Schlüter, M., Schmidt, D. & Steffen, B. (2021). Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees (Lecture Notes in Computer Science). In T. Margaria & B. Steffen (Hrsg.), 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 (S. 242-263). Gehalten auf der 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Cham: Springer International Publishing. doi:10.1007/978-3-030-83723-5_16.

  PUB | DOI