1. Adapting proof automation to adapt proofs;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018;2018
2. Structure Formation in Large Theories;Lecture Notes in Computer Science;2015
3. Management of Change in Declarative Languages;Lecture Notes in Computer Science;2012
4. Verification of Software Product Lines with Delta-Oriented Slicing;Formal Verification of Object-Oriented Software;2011
5. ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System;Resource-Adaptive Cognitive Processes;2010