by J.-C. Kassing, H. Nagel, A. Schlecht, and J. Giesl. In Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2026), Lisbon, Portugal, Lecture Notes in Computer Science 16689, pages 304-323, 2026.
Download Paper | Extended Version | Download Slides | Evaluation Website
by J.-C. Kassing, L. Spitzer, J. Giesl. In Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming (PPDP 2025), Rende, Italy, Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, Article 10, 2025.
Download Paper | Extended Version | Download Slides | Evaluation Website
by E. Ahrens, J.-C. Kassing, J. Giesl, J.-P. Katoen. In Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025), Birmingham, UK, LIPIcs, Volume 337, pages 6:1-6:21, 2025.
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 Computer Science 14740, pages 360-380, 2024.
Download Paper | Extended Version | Download Slides | Evaluation Website
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 | Extended Version | Download Slides | Evaluation Website
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 | Extended Version | Download Slides | Evaluation Website
by J.-C. Kassing and J. Giesl. In Proceedings of the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, Lecture Notes in Computer Science 14132, pages 344-364, 2023.
Download Paper | Extended Version | Download Slides | Evaluation Website
by J.-C. Kassing and J. Giesl. Published in Science of Computer Programming, Volume 251, Article 103417, 2026.
by J.-C. Kassing and J. Giesl. Published in Logical Methods in Computer Science, Volume 21, Issue 4, 2025.
by J.-C. Kassing and J. Giesl. Published in Principles of Verification: Cycling the Probabilistic Landscape (Festschrift), Lecture Notes in Computer Science 15260, pages 339-366, 2024.
by H. Bolke-Hermanns, J.-C. Kassing, M. Schaub, and M. Scholkemper (editors). Published by RWTH Aachen University, Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science (Dagstuhl Event 24223), 110 pages, 2024.
by J.-C. Kassing, L. Spitzer, and J. Giesl. In 21st International Workshop on Termination, Lisbon, Portugal, 2026.
by J.-C. Kassing, A. Scheid, H. Nagel, and J. Giesl. In 6th Workshop on Verification of Probabilistic Programs, Lisbon, Portugal, 2026.
by J.-C. Kassing, A. Schüßler, T. Sokolowski, and J. Giesl. In 15th International Workshop on Confluence, Lisbon, Portugal, 2026.
by J.-C. Kassing, M. Leven Rosarius, H. Nagel, and J. Giesl. In 15th International Workshop on Confluence, Lisbon, Portugal, 2026.
by J.-C. Kassing, T. Sokolowski. In 14th International Workshop on Confluence, Leipzig, Germany, 2025.
by F. Frohn, C. Fuhs, J. Giesl, J.-C. Kassing, N. Lommen. In 20th International Workshop on Termination, Leipzig, Germany, 2025.
by J.-C. Kassing, J. Giesl. In 20th International Workshop on Termination, Leipzig, Germany, 2025.
by J.-C. Kassing, G. Vartanyan, J. Giesl. In 20th International Workshop on Termination, Leipzig, Germany, 2025.
by J.-C. Kassing, J. Giesl. In 19th International Workshop on Termination, Obergurgl, Austria, 2023.
by E. Ahrens, J.-C. Kassing. Published in ACM SIGLOG News, Volume 12, Issue 4, pages 6-7, 2025.