Author | Title | Subject | Date | Publication Type | ||
---|---|---|---|---|---|---|
1 |
![]() |
Sacharny, David | A lane-based approach to large-scale unmanned aircraft systems traffic management | 2022 | dissertation | |
2 |
![]() |
He, Shaobo | Improving automation and scalability of rigorous program reasoning | 2019 | dissertation | |
3 |
![]() |
Tran, Deim-Trang Thi | Normalization RNA-SEQ towards the improvement of Gene expression signatures | 2022 | dissertation |