Ole Lübke

Orcid: 0000-0001-5962-6583

According to our database1, Ole Lübke authored at least 3 papers between 2021 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy.
Proceedings of the Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, 2024

2023
Computer Aided Design and Grading for an Electronic Functional Programming Exam.
Proceedings of the Proceedings Twelfth International Workshop on Trends in Functional Programming in Education, 2023

2021
WCET-aware reachability for verified simplex design: work-in-progress.
Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021


  Loading...