Publications | Lund University Publications

1 – 7 of 7

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/publication?embed=1&q=supervisor+exact+13dd0a43-baa4-41dd-8dcd-ed303166203e&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2025
Mark Safety and Reliability for Autonomous Robots in Dynamic Environments
Rizwan, Momina ^LU (2025)
- Thesis › Doctoral thesis (compilation)
Mark Fully Declarative Specification of Static Code Checkers
Dura, Alexandru ^LU (2025)
- Thesis › Doctoral thesis (compilation)
2024
Mark Towards Declarative Specification of Static Analysis for Programming Tools
Riouak, Idriss ^LU (2024)
- Thesis › Doctoral thesis (compilation)
Mark Programming for Reliability and Safety in Robotics: The Role of Domain-Specific Languages : Domain Specific Programming for Safe and Reliable Robots
Rizwan, Momina ^LU (2024) In Licentiate thesis 2024(1).
- Thesis › Licentiate thesis
2023
Mark Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis
Riouak, Idriss ^LU (2023)
- Thesis › Licentiate thesis
Mark On the Challenges of Software Performance Optimization with Statistical Methods
Couderc, Noric ^LU (2023)
- Thesis › Doctoral thesis (compilation)
2022
Mark Automatic Collection Selection using Machine Learning
Couderc, Noric ^LU (2022)
- Thesis › Licentiate thesis

your query:: Remove supervisor: Reichenbach, Christoph (LU)