Rezwana Reaz
Title
Cited by
Cited by
Year
ASTRAL: genome-scale coalescent-based species tree estimation
S Mirarab, R Reaz, MS Bayzid, T Zimmermann, MS Swenson, T Warnow
Bioinformatics 30 (17), i541-i548, 2014
7802014
Accurate phylogenetic tree reconstruction from quartets: A heuristic approach
R Reaz, MS Bayzid, MS Rahman
PloS one 9 (8), e104008, 2014
782014
STELAR: A statistically consistent coalescent-based species tree estimation method by maximizing triplet consistency
M Islam, K Sarker, T Das, R Reaz, MS Bayzid
BMC genomics 21 (1), 1-13, 2020
102020
ASTRAL: accurate species TRee ALgorithm
S Mirarab, R Reaz, MS Bayzid, T Zimmermann, M Swenson, T Warnow
Bioinformatics 30 (17), i541-i548, 2014
92014
Indeterminate string inference algorithms
S Nazeen, MS Rahman, R Reaz
Journal of Discrete Algorithms 10, 23-34, 2012
92012
Linear time inference of strings from cover arrays using a binary alphabet
TM Moosa, S Nazeen, MS Rahman, R Reaz
International Workshop on Algorithms and Computation, 160-172, 2012
72012
Type-directed Component-based Synthesis using Petri Nets
Y Feng, Y Wang, R Martins, AA Kaushik, I Dillig, M Ali, R Reaz, M Gouda, ...
Technical Report TR-16-01, Department of Computer Science, UT-Austin, 2016
52016
Policy expressions and the bottom-up design of computing policies
R Reaz, HB Acharya, ES Elmallah, JA Cobb, MG Gouda
Computing 101 (9), 1307-1326, 2019
42019
Two-phase nonrepudiation protocols
M Ali, R Reaz, M Gouda
Proceedings of the 7th International Conference on Computing Communication …, 2016
32016
The implication problem of computing policies
R Reaz, M Ali, MG Gouda, MJH Heule, ES Elmallah
Symposium on Self-Stabilizing Systems, 109-123, 2015
32015
Nonrepudiation protocols without a trusted party
M Ali, R Reaz, MG Gouda
International Conference on Networked Systems, 1-15, 2016
22016
Analysis of computing policies using sat solvers (short paper)
MJH Heule, R Reaz, HB Acharya, MG Gouda
International Symposium on Stabilization, Safety, and Security of …, 2016
12016
Analysis of computing policies using sat solvers
MJH Heule, R Reaz, HB Acharya, MG Gouda
Technical Report No. TR-16-14, Department of Computer Science, The …, 2016
12016
Inferring strings from cover arrays
TM Moosa, S Nazeen, MS Rahman, R Reaz
Discrete Mathematics, Algorithms and Applications 5 (02), 1360005, 2013
12013
wQFM: Highly Accurate Genome-scale Species Tree Estimation from Weighted Quartets
M Mahbub, Z Wahab, R Reaz, MS Rahman, M Bayzid
Bioinformatics, 2021
2021
Theory and practice of firewall outsourcing
R Reaz
2020
wQFM: Statistically Consistent Genome-scale Species Tree Estimation from Weighted Quartets
M Mahbub, Z Wahab, R Reaz, MS Rahman, MS Bayzid
bioRxiv, 2020
2020
Executing Firewalls in Public Clouds
R Reaz, ES Elmallah, MG Gouda
2019 10th International Conference on Computing, Communication and …, 2019
2019
An experimental study of Quartets Maxcut and other supertree methods
R Reaz
2013
Constructing phylogenetic trees using quartet-based methods
R Reaz
Department of Computer Science and Engineering (CSE), 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–20