The minimum backlog problem, Proceedings of the International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS'2007), pp.1-18 ,
DOI : 10.1016/j.tcs.2015.08.027
URL : http://arxiv.org/abs/0804.4819
The Cinderella Game on Holes and Anti-holes, Proceedings of the 37th Workshop on Graph-Theoretic Concepts in Computer Science (WG'2011), pp.71-82, 2011. ,
DOI : 10.1145/28395.28434
The bu?er minimization problem for multiprocessor scheduling with conflicts, Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP'2001), pp.862-874, 2001. ,
Two algorithms for maintaining order in a list, Proceedings of the nineteenth annual ACM conference on Theory of computing , STOC '87, pp.365-372, 1987. ,
DOI : 10.1145/28395.28434
Yices ? A high-performance SMT solver. Downloadable from http ,
How Cinderella won the bucket game (and lived happily ever after), Mathematics Magazine, vol.84, pp.290-285, 2011. ,
Optimal Backlog in the Plane, Proceedings of the 4th International Workshop on Algorithmic Aspects of Wireless Sensor Networks (ALGOSENSORS'2008), pp.141-150, 2008. ,
DOI : 10.1112/S0025579300000784
Combinatorics problem C5. Problem Shortlist of the 50th International Mathematical Olympiad, pp.33-35, 2009. ,