| Publication date | Communities | Collections | Article title | Author(s) | Journal/Conference |
|---|---|---|---|---|---|
| 22 Sep 2025 | SERC | Institute for Infocomm Research | Verification of the CVM Algorithm with a Functional Probabilistic Invariant | Emin Karayel, Seng Joe Watt, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan | International Conference on Interactive Theorem Proving (ITP) |
| 12 Aug 2025 | SERC | Institute for Infocomm Research | Specializing Language Models for 3GPP Standards: Enhancements for Technical Document Queries | Gary Lee, Derek Khu, Feri Guretno, Ernest Kurniawan | 2024 IEEE Globecom Workshops (GC Wkshps) |