Therapeutic Perspectives for Microbiota Transplantation in Digestive Diseases and Neoplasia-A Literature Review
Boicean, Adrian, Bratu, Dan, Bacila, Ciprian, Tanasescu, Ciprian, Fleacă, Radu Sorin, Mohor, Calin Ilie, Comaniciu, Andra, Băluță, Teodora, Roman, Mihai Dan, Chicea, Radu, Cristian, Adrian Nicolae, Hasegan, Adrian, Birsan, Sabrina, Dura, Horațiu, Mohor, Cosmin Ioan
Published in Pathogens (Basel) (26.05.2023)
Published in Pathogens (Basel) (26.05.2023)
Get full text
Journal Article
Scalable Quantitative Verification for Deep Neural Networks
Baluta, Teodora, Chua, Zheng Leong, Meel, Kuldeep S., Saxena, Prateek
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) (01.05.2021)
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) (01.05.2021)
Get full text
Conference Proceeding
User-Customizable Transpilation of Scripting Languages
Wang, Bo, Kolluri, Aashish, Nikolić, Ivica, Baluta, Teodora, Saxena, Prateek
Published in Proceedings of ACM on programming languages (06.04.2023)
Published in Proceedings of ACM on programming languages (06.04.2023)
Get full text
Journal Article
Modeling the effects of insider threats on cybersecurity of complex systems
Baluta, Teodora, Ramapantulu, Lavanya, Yong Meng Teo, Ee-Chien Chang
Published in 2017 Winter Simulation Conference (WSC) (01.12.2017)
Published in 2017 Winter Simulation Conference (WSC) (01.12.2017)
Get full text
Conference Proceeding
User-Customizable Transpilation of Scripting Languages
Wang, Bo, Kolluri, Aashish, Nikolić, Ivica, Baluta, Teodora, Saxena, Prateek
Published in arXiv.org (06.03.2023)
Published in arXiv.org (06.03.2023)
Get full text
Paper
Journal Article
Membership Inference Attacks and Generalization: A Causal Perspective
Baluta, Teodora, Shen, Shiqi, Hitarth, S, Tople, Shruti, Saxena, Prateek
Published in arXiv.org (30.10.2022)
Published in arXiv.org (30.10.2022)
Get full text
Paper
Journal Article
Explaining SAT Solving Using Causal Reasoning
Yang, Jiong, Shaw, Arijit, Baluta, Teodora, Soos, Mate, Meel, Kuldeep S
Published in arXiv.org (09.06.2023)
Published in arXiv.org (09.06.2023)
Get full text
Paper
Journal Article
Scalable Quantitative Verification For Deep Neural Networks
Baluta, Teodora, Zheng Leong Chua, Meel, Kuldeep S, Saxena, Prateek
Published in arXiv.org (23.03.2021)
Published in arXiv.org (23.03.2021)
Get full text
Paper
Journal Article
Quantitative Verification of Neural Networks And its Security Applications
Baluta, Teodora, Shen, Shiqi, Shinde, Shweta, Meel, Kuldeep S, Saxena, Prateek
Published in arXiv.org (25.06.2019)
Published in arXiv.org (25.06.2019)
Get full text
Paper
Journal Article