Similar Items: Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
- Cut-Simulation and Impredicativity
- Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
- FreeStylo: An easy-to-use stylistic device detection tool for stylometry
- EasyGuard: A Gamified App for Generating Strong and Memorable Passwords
- Polylogarithmic Cuts in Models of V^0
- The Structure of Differential Invariants and Differential Cut Elimination