| 2025 | MODELS | DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins. | Eduardo de Conto, Blaise Genest, Arvind Easwaran, Nicholas Ng, Shweta Menon |
| 2018 | ICARCV | An Improvement to Discrete Fuzzy Logic Control. | Saw Jing Wen, Nicholas Ng, Lim Choo Min |
| 2018 | ICSE | A static verification framework for message passing in Go using behavioural types. | Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida |
| 2017 | POPL | Fencing off go: liveness and safety for channel-based programming. | Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida |
| 2016 | CC | Static deadlock detection for concurrent go by global session graph synthesis. | Nicholas Ng, Nobuko Yoshida |
| 2016 | FPL | EURECA compilation: Automatic optimisation of cycle-reconfigurable circuits. | Xinyu Niu, Nicholas Ng, Tomofumi Yuki, Shaojun Wang, Nobuko Yoshida, Wayne Luk |
| 2015 | CC | Protocols by Default - Safe MPI Code Generation Based on Session Types. | Nicholas Ng, Jos Gabriel de Figueiredo Coutinho, Nobuko Yoshida |
| 2015 | OOPSLA | Protocol-based verification of message-passing parallel programs. | Hugo A. Lpez, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Csar Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
| 2014 | PDP | Pabble: Parameterised Scribble for Parallel Programming. | Nicholas Ng, Nobuko Yoshida |
| 2013 | SEFM | Scalable Session Programming for Heterogeneous High-Performance Systems. | Nicholas Ng, Nobuko Yoshida, Wayne Luk |
| 2011 | Coordination | Safe Parallel Programming with Session Java. | Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis |