We stand with Ukraine  

David Schmidt

Orcid: 0000-0001-7728-2884

Affiliations:
  • Semantic Computing Group, Center for Cognitive Interaction Technology (CITEC), Faculty of Technology, Bielefeld University, Germany
  • TU Dortmund University, Germany (former)


According to our database1, David Schmidt authored at least 2 papers between 2020 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
The RERS challenge: towards controllable and scalable benchmark synthesis.
[BibTeX]
[DOI]
Falk Howar
,
Marc Jasper
,
Malte Mues
,
David Schmidt
,
Bernhard Steffen
Int. J. Softw. Tools Technol. Transf., 2021

2020
Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees.
[BibTeX]
[DOI]
Marc Jasper
,
Maximilian Schlüter
,
David Schmidt
,
Bernhard Steffen
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020


  Loading...