Get started
Author

Francis Tang

Observed name: Tang, Francis
OpenAlex ID: A5111401075
Exhaustive whole-genome tandem repeats search
2004 · Arun Krishnan, Francis Tang · Bioinformatics · 46
PDF
Wildfire: distributed, Grid-enabled workflow construction and execution
2005 · Francis Tang, Ching Lian Chua, et al. · BMC Bioinformatics · 41
PDF
GEL: Grid execution language
2005 · Chua Ching Lian, Francis Tang, et al. · Journal of Parallel and Distributed Computing · 24
Parallel Computing Platform for the Agent-Based Modeling of Multicellular Biological Systems
2004 · Toh Da-Jun, Francis Tang, et al. · Lecture notes in computer science · 16
Generation of verification conditions for Abadi and Leino’s Logic of Objects
1910 · Francis Tang, Martin Hofmann · 6
Implementing a Bioinformatics Workflow in a Parallel and Distributed Environment
2004 · Ching-Lian Chua, Francis Tang, et al. · Lecture notes in computer science · 4
Towards feasible, machine-assisted verification of object-oriented programs
2002 · Francis Tang · ERA · 4
PDF
Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover
2000 · Martin Hofmann, Francis Tang · Lecture notes in computer science · 4
CMDWave: Conserved Motifs Detection Using Wavelets
2005 · Tariq Riaz, Kuo-Bin Li, et al. · In Silico Biology · 3
PDF
A Universal Machine File Format for MPI Jobs
2004 · Francis Tang, Ho Liang Yoong, et al. · Lecture notes in computer science
Works count: 18
Citation count: 148
H-index: 5
I10-index: 4
Year
Topic
Type