Combining Logic and Probability: Languages, Algorithms and Applications
Mathematics for Computer Science
From Automated Verification to Automated Design
Principles of Computer System Design: An Introduction
High-Level Actions
Graph kernels and applications in chemoinformatics
Computer-Aided Algorithm Design: Automated Tuning, Configuration, Selection and Beyond
Topics in Mathematics of Data Science
Algorithmic Aspects of Machine Learning
Convex Optimization