Samuel Merten
Orcid: 0000-0001-8763-0053
According to our database1,
Samuel Merten
authored at least 5 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the International Conference on Assured Autonomy, 2024
2018
Proceedings of the Practical Aspects of Declarative Languages, 2018
Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees.
Proceedings of the Programming Languages and Systems, 2018
2017
Brief Announcement: Certified Multiplicative Weights Update: Verified Learning Without Regret.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017