Seminar
Beating Brute Force Search for QBF Satisfiability, and Implications for Formula Size Lower Bounds
Secure Information Flow: Formal Modelling, Analysis and Practical Applications
Central Limit Theorems for Some Random Simplicial Complexes
Parameterized Algorithms for Minimum Vertex Cover Problem
Hierarchical Coded Caching: Divide and Conquer
First Order Logics Extended With Counting Quantifiers
How to Run your Chores, and Get to Dinner on Time
Sparsest Cut in Bounded Treewidth Graphs
Low-rank Matrix and Tensor Recovery: Theory and Algorithms
Pages
