A-201 (STCS Seminar Room)
Automated Reasoning for Replicated Systems
Coin Problem and Circuit Lower Bounds
Finding Optimal Shortest Path Trees
Approximate Unitary $n^{2/3}$-Designs Give Rise to Quantum Channels with Superadditive Classical Holevo Capacity
Communication Complexity of Randomness Manipulation
On Protocols and Partitions
New Algorithmic Guarantees for Searching in Large Datasets
On Computing Some Large Numbers with Small Programs
The Deterministic Coding Capacity of Arbitrarily Varying Channels
Pages
