Lionel Blatter
Orcid: 0000-0001-9058-2005
According to our database1,
Lionel Blatter
authored at least 9 papers
between 2016 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
0
1
2
3
4
2
1
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Proc. ACM Program. Lang., 2025
2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022
2018
Proceedings of the Tests and Proofs - 12th International Conference, 2018
2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
2016