Publications
Below you can find a chronological list of all my publications.
Conference Papers
by J.-C. Kassing and J. Giesl. In Principles of Verification: Cycling the Probabilistic Landscape (Festschrift), Aachen, Germany, Lecture Notes in Computer Science 15260, pages 339-366, 2024.Download Paper
by J.-C. Kassing, G. Vartanyan, and J. Giesl. In Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, France, Lecture Notes in Artificial Intelligence 14740, pages 360-380, 2024.Download Paper | Download Slides
by J.-C. Kassing, S. Dollase, and J. Giesl. In Proceedings of the 17th International Symposium on Functional and Logic Programming (FLOPS 2024), Kumamoto, Japan, Lecture Notes in Computer Science 14659, pages 62-80, 2024.Download Paper | Download Slides
by J.-C. Kassing, F. Frohn, and J. Giesl. In Proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2024), Luxembourg City, Luxembourg, Lecture Notes in Computer Science 14575, pages 206-228, 2024.Download Paper | Download Slides
by J.-C. Kassing and J. Giesl. In Proceedings of the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, Lecture Notes in Artificial Intelligence 14132, pages 344-364, 2023.Download Paper | Download Slides
Preprints
