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 '15
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