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.

  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.

  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.
  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, Steffen B (Eds); Lecture Notes in Computer Science, Cham: Springer International Publishing: 242-263.

  PUB | DOI