Takip et
Jin Xing Lim
Jin Xing Lim
Formal Verification Engineer, Runtime Verification Inc
runtimeverification.com üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Blockchain-based Mechanism Design for Collaborative Mathematical Research
JX Lim, B Monnot, G Piliouras
2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2022
12022
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
12021
Sequence Composition
JX Lim, BT Li, MHT Ling
Encyclopedia of Bioinformatics and Computational Biology 3, 323-326, 2019
12019
(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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–5