Login / Signup
Quang Thinh Trac
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 3
Top Topics
Formal Semantics
Theorem Prover
Data Mining And Statistical
Modelling Language
Top Venues
BMC Bioinform.
FTSCS
KSE
</>
Publications
</>
Viet Phuong Hoang
,
Quang Thinh Trac
,
Ha-Nam Nguyen
,
Trung-Nghia Vu
Analysis of Mutant-Allele Isoform Expression of TP53 in Breast Cancer.
KSE
(2023)
Dat Thanh Nguyen
,
Quang Thinh Trac
,
Thi-Hau Nguyen
,
Ha-Nam Nguyen
,
Nir Ohad
,
Yudi Pawitan
,
Trung-Nghia Vu
Circall: fast and accurate methodology for discovery of circular RNAs from paired-end RNA-sequencing data.
BMC Bioinform.
22 (1) (2021)
Quang Thinh Trac
,
Mizuhito Ogawa
Formal Semantics Extraction from MIPS Instruction Manual.
FTSCS
(2019)