Statistics
Publications
6
Citations
208
H-Index
6
Active since
2019
Affiliations
National University of Singapore(Current)
Teodora Baluta is an author at National University of Singapore specializing in computer science, computing, and formal methods.
Publications per year
2019–2023
6
6
Teodora Baluta, Shiqi Shen, Shweta Shinde et al. · Zenodo (CERN European Organization for Nuclear Research) · 2019 · 94 citations · Full text
Scalable Quantitative Verification for Deep Neural Networks
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel et al. · 2021 · 40 citations
Aashish Kolluri, Teodora Baluta, Bryan Hooi et al. · Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security · 2022 · 24 citations · Full text
1–5 of 6