Login / Signup
Hui-Min Lin
Publication Activity (10 Years)
Years Active: 2013-2016
Publications (10 Years): 1
Top Topics
Theorem Prover
Probabilistic Reasoning
Combining Multiple
Computing Systems
Top Venues
BMC Bioinform.
J. Comput. Sci. Technol.
</>
Publications
</>
Li-Li Xu
,
Hui-Min Lin
Complete Proof Systems for Amortised Probabilistic Bisimulations.
J. Comput. Sci. Technol.
31 (2) (2016)
Lun-Ching Chang
,
Hui-Min Lin
,
Etienne Sibille
,
George C. Tseng
Meta-analysis methods for combining multiple expression profiles: comparisons, statistical characterization and an application guideline.
BMC Bioinform.
14 (2013)