Lap Chi Lau
Research Performance Summary
First Recorded Paper
Bounded and ordered satisfiability: connecting recognition with Lambek-style calculi to classical satisfiability testing
Year: 2003
Citations: 3
Venue: Math. of language 8
Latest Recorded Paper
Derandomizing Matrix Concentration Inequalities from Free Probability
Year: 2026
Citations: 0
Venue: arXiv preprint arXiv:2601.08111
Last 10 Years Publication Activity
This timeline shows the professor's yearly publication activity.