Apparently, this user prefers to keep an air of mystery about them.
9 How to prove the structured program theorem? oct 10 '13
5 Who are the legislators of Paxos? dec 29
4 Data structure to store sphere points (latitude,longitude) and retrieve all points within a distance jan 8
3 Algorithm to check whether a complete, undirected graph is fullfilling the triangle inequality nov 8 '13
3 Double, down facing arrow in operational semantics oct 18 '13
3 Solving a recurrence sep 26 '13
2 Are there any papers published proving how University Time Table Scheduling Problem is NP-Complete? jan 25