Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover. - Martin Hofmann 001; Francis Tang (TPHOLs, 2000)

Implementing a Bioinformatics Workflow in a Parallel and Distributed Environment. - Ching Lian Chua; Francis Tang; Yun-Ping Lim; Liang-Yoong Ho; Arun Krishnan (PDCAT, 2004)

Parallel Computing Platform for the Agent-Based Modeling of Multicellular Biological Systems. - Da-Jun Toh; Francis Tang; Travis Lee; Deepak Sarda; Arun Krishnan; Andrew B. Goryachev (PDCAT, 2004)

A Universal Machine File Format for MPI Jobs. - Francis Tang; Liang-Yoong Ho; Chua Ching Lian; Arun Krishnan (PDCAT, 2004)

Exhaustive whole-genome tandem repeats search. - Arun Krishnan; Francis Tang (Bioinform., 2004)

WebAllergen: a web server for predicting allergenic proteins. - Tariq Riaz; Hen Ley Hor; Arun Krishnan; Francis Tang; Kuo-Bin Li (Bioinform., 2005)

Wildfire: distributed, Grid-enabled workflow construction and execution. - Francis Tang; Ching Lian Chua; Liang-Yoong Ho; Yun-Ping Lim; Praveen Issac; Arun Krishnan (BMC Bioinform., 2005)

CMDWave: Conserved Motifs Detection Using Wavelets. - Tariq Riaz; Kuo-Bin Li; Francis Tang; Arun Krishnan (Silico Biol., 2005)

GEL: Grid execution language. - Chua Ching Lian; Francis Tang; Praveen Issac; Arun Krishnan (J. Parallel Distributed Comput., 2005)

Are Large Language Models Useful for Time Series Data Analysis? - Francis Tang; Ying Ding (CoRR, 2024)