| Targeting Wnt-driven cancer through the inhibition of Porcupine by LGK974 J Liu, S Pan, MH Hsieh, N Ng, F Sun, T Wang, S Kasibhatla, AG Schuller, ... Proceedings of the National Academy of Sciences 110 (50), 20224-20229, 2013 | 882 | 2013 |
| Inactivating mutations of RNF43 confer Wnt dependency in pancreatic ductal adenocarcinoma X Jiang, HX Hao, JD Growney, S Woolfenden, C Bottiglio, N Ng, B Lu, ... Proceedings of the National Academy of Sciences 110 (31), 12649-12654, 2013 | 447 | 2013 |
| Behavioral types in programming languages D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ... Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016 | 208 | 2016 |
| The Scribble protocol language N Yoshida, R Hu, R Neykova, N Ng Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos …, 2014 | 157 | 2014 |
| Multiparty Session C: Safe parallel programming with message optimisation N Ng, N Yoshida, K Honda Objects, Models, Components, Patterns: 50th International Conference, TOOLS …, 2012 | 105 | 2012 |
| A static verification framework for message passing in go using behavioural types J Lange, N Ng, B Toninho, N Yoshida Proceedings of the 40th International Conference on Software Engineering …, 2018 | 92 | 2018 |
| Static deadlock detection for concurrent go by global session graph synthesis N Ng, N Yoshida Proceedings of the 25th International Conference on Compiler Construction …, 2016 | 90 | 2016 |
| Fencing off go: liveness and safety for channel-based programming J Lange, N Ng, B Toninho, N Yoshida ACM SIGPLAN Notices 52 (1), 748-761, 2017 | 84 | 2017 |
| Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures D Castro, R Hu, SS Jongmans, N Ng, N Yoshida Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019 | 82 | 2019 |
| Protocol-based verification of message-passing parallel programs HA López, ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, ... Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015 | 71 | 2015 |
| Discovery of pyridinyl acetamide derivatives as potent, selective, and orally bioavailable porcupine inhibitors D Cheng, J Liu, D Han, G Zhang, W Gao, MH Hsieh, N Ng, S Kasibhatla, ... ACS medicinal chemistry letters 7 (7), 676-680, 2016 | 66 | 2016 |
| Protocols by default: Safe MPI code generation based on session types N Ng, JG de Figueiredo Coutinho, N Yoshida Compiler Construction: 24th International Conference, CC 2015, Held as Part …, 2015 | 60 | 2015 |
| Identification of synthetic lethality of PRKDC in MYC-dependent human cancers by pooled shRNA screening Z Zhou, M Patel, N Ng, MH Hsieh, AP Orth, JR Walker, S Batalov, ... BMC cancer 14, 1-13, 2014 | 52 | 2014 |
| Regenerative phenotype in mice with a point mutation in transforming growth factor β type I receptor (TGFBR1) J Liu, K Johnson, J Li, V Piamonte, BM Steffy, MH Hsieh, N Ng, J Zhang, ... Proceedings of the National Academy of Sciences 108 (35), 14560-14565, 2011 | 47 | 2011 |
| Safe parallel programming with session java N Ng, N Yoshida, O Pernet, R Hu, Y Kryftis Coordination Models and Languages: 13th International Conference …, 2011 | 40 | 2011 |
| Pharmacological inhibition of porcupine induces regression of experimental skin fibrosis by targeting Wnt signalling CW Chen, C Beyer, J Liu, C Maier, C Li, T Trinh-Minh, X Xu, SH Cole, ... Annals of the rheumatic diseases 76 (4), 773-778, 2017 | 35 | 2017 |
| Pabble: parameterised scribble N Ng, N Yoshida Service Oriented Computing and Applications 9, 269-284, 2015 | 35 | 2015 |
| Pabble: Parameterised scribble for parallel programming N Ng, N Yoshida 2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014 | 31 | 2014 |
| Verification of MPI programs using session types K Honda, ERB Marques, F Martins, N Ng, VT Vasconcelos, N Yoshida Recent Advances in the Message Passing Interface: 19th European MPI Users …, 2012 | 30 | 2012 |
| Towards deductive verification of MPI programs against session types ERB Marques, F Martins, VT Vasconcelos, N Ng, N Martins arXiv preprint arXiv:1312.2705, 2013 | 26 | 2013 |
Nobuko YoshidaDepartment of Computer Science, University of OxfordCorreu electrònic verificat a cs.ox.ac.uk