Marius Kamp
According to our database1,
Marius Kamp
authored at least 5 papers
between 2017 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
2021
2022
0
1
2
3
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
CoRR, 2022
2021
Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
2019
Proceedings of the 16th International Conference on Mining Software Repositories, 2019
2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Proceedings of the Third Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2017), 2017