Ontology Verification with Repositories. - Michael Grüninger; Torsten Hahmann; Ali Hashemi 001; Darren Ong (FOIS, 2010)

Verification of Time Ontologies with Points and Intervals. - Michael Grüninger; Darren Ong (TIME, 2011)

Constructing an Ontology Repository: A Case Study with Theories of Time Intervals. - Darren Ong; Michael Grüninger (WoMO, 2011)

Modular first-order ontologies via repositories. - Michael Grüninger; Torsten Hahmann; Ali Hashemi 001; Darren Ong; Atalay Özgövde (Appl. Ontology, 2012)

Comparison of cuFHE vs TFHE on Arithmetic Circuit Computation. - Darren Ong; Russell Yap; Chern Nam Yap (ICCCS, 2023)