Konstantin Kueffner
Orcid: 0000-0001-8974-2542
According to our database1,
Konstantin Kueffner
authored at least 8 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
1
1
1
1
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024
2023
Int. J. Softw. Tools Technol. Transf., August, 2023
Proceedings of the Runtime Verification - 23rd International Conference, 2023
Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2021
Netw. Sci., 2021
2019
Proceedings of the 4th International Conference on Complexity, 2019