We are hiring new doctoral researchers, student research assistants, and tutors. Apply now!
Paper on Non-termination Witnesses accepted at ASE 2025!

Index of Publications

Selection by year

Selection by category

Selection by author

Selection by research interest

Selection by funding

Complete list of publications