Project Seminar
Computing Equilibria in Atomic Splittable Routing Games
An Attempt to Derandomize the Random Unitary Matrices Used for Decoupling in Quantum Information Theory
Towards Efficient Counter Example to Additivity of Minimum Output Renyi $p$ Entropy
An Introduction to Epistemic Logics
Distance Preserving Minors in Interval Graphs
Constant Depth Circuit Complexity of Powering
Interactive Theorem Proving in Coq and the Curry-Howard Isomorphism
Distance Preserving Minors in Graphs
Quest for an Explicit Quantum Channel with Super-additive Classical Capacity
Pages
