| 2023 | |
|---|---|
  [bibtex] | Thomas Noll. Concurrent Separation Logic with Probabilities, Talk at Research seminar on Open Problems in Concurrency Theory Bertinoro, Italy, 2023. |
| 2022 | |
[bibtex] | Thomas Noll. Analysing Train Delays by Episode Mining, Talk at MOVES Dagstuhl Workshop, Dagstuhl, Germany, 2022. |
| Show all | |