Jonas Forster
Orcid: 0000-0002-5050-2565
According to our database1,
Jonas Forster
authored at least 8 papers
between 2020 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2020
2021
2022
2023
2024
2025
0
1
2
3
4
1
2
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025
2024
Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024
Proceedings of the Coalgebraic Methods in Computer Science, 2024
2023
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023
2020
Proceedings of the 13th Conference on Advances in Modal Logic, 2020