Blockchain-based Mechanism Design for Collaborative Mathematical Research JX Lim, B Monnot, G Piliouras 2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2022 | 4 | 2022 |
A blockchain-based approach for collaborative formalization of mathematics and programs JX Lim, B Monnot, S Lin, G Piliouras 2021 IEEE International Conference on Blockchain (Blockchain), 321-326, 2021 | 3 | 2021 |
Sequence Composition JX Lim, BT Li, MHT Ling Encyclopedia of Bioinformatics and Computational Biology 3, 323-326, 2019 | 1 | 2019 |
(Auto)Complete this Proof: Decentralized Proof Generation via Smart Contracts JX Lim, B Monnot, S Lin, G Piliouras 6th Conference on Artificial Intelligence and Theorem Proving (AITP 2021), 74-76, 2021 | | 2021 |
Gene Ontology and KEGG Orthology Mappings for 10 Strains of Pseudomonas stutzeri JX Lim, BT Li, MHT Ling EC Proteomics AND Bioinformatics, 2019 | | 2019 |