- The determinant bound for discrepancy is almost tight2013 | Faculty of Mathematics and Physics
- Rarity, commonness, and the contribution of individual species to species richness patterns2009 | Faculty of Science
- Wu Wen-Tsun's Work on the Layout of Integrated Circuits and its Place in the Formation of His "Mechanization of Mathematics"Publication without faculty affiliation