Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Baluta, Teodora
28  Ergebnisse:
Personensuche X
?
1

User-Customizable Transpilation of Scripting Languages:

Wang, Bo ; Kolluri, Aashish ; Nikolić, Ivica..
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA1 - p. 201-229 , 2023
Link: https://doi.org/10.1145/..
 
?
2

Unforgeability in Stochastic Gradient Descent:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
Baluta, Teodora ; Nikolic, Ivica ; Jain, Racchit.. - p. 1138-1152 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

Therapeutic Perspectives for Microbiota Transplantation in ..:

Boicean, Adrian ; Bratu, Dan ; Bacila, Ciprian...
Pathogens.  12 (2023)  6 - p. 766 , 2023
Link: https://doi.org/10.3390/..
 
?
4

Membership Inference Attacks and Generalization : A Caus..:

, In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security,
Baluta, Teodora ; Shen, Shiqi ; Hitarth, S... - p. 249-262 , 2022
Link: https://dl.acm.org/doi/1..
 
?
5

FOLLOW-UP A CAVERNOUS PORTAL VEIN TRANSFORMATION IN A YOUNG..:

Boicean, Adrian ; Birsan, Sabrina ; Birsan, Alexandru...
Ultrasound in Medicine & Biology.  48 (2022)  - p. S72 , 2022
Link: https://doi.org/10.1016/..
 
?
6

LPGNet : Link Private Graph Networks for Node Classifica..:

, In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security,
Kolluri, Aashish ; Baluta, Teodora ; Hooi, Bryan. - p. 1813-1827 , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

Scalable Quantitative Verification For Deep Neural Networks:

, In: Proceedings of the 43rd International Conference on Software Engineering,
Baluta, Teodora ; Chua, Zheng Leong ; Meel, Kuldeep S.. - p. 312-323 , 2021
Link: https://dl.acm.org/doi/1..
 
?
8

Scalable quantitative verification for deep neural networks:

, In: Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings,
Baluta, Teodora ; Chua, Zheng Leong ; Meel, Kuldeep S.. - p. 248-249 , 2021
Link: https://dl.acm.org/doi/1..
 
?
9

Private Hierarchical Clustering in Federated Networks:

, In: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security,
Kolluri, Aashish ; Baluta, Teodora ; Saxena, Prateek - p. 2342-2360 , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

SynGuar: guaranteeing generalization in programming by exam..:

, In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Wang, Bo ; Baluta, Teodora ; Kolluri, Aashish. - p. 677-689 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

Quantitative Verification of Neural Networks and Its Securi..:

, In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,
Baluta, Teodora ; Shen, Shiqi ; Shinde, Shweta.. - p. 1249-1264 , 2019
Link: https://dl.acm.org/doi/1..
 
?
12

Modeling the effects of insider threats on cybersecurity of..:

, In: Proceedings of the 2017 Winter Simulation Conference,
Baluta, Teodora ; Ramapantulu, Lavanya ; Teo, Yong Meng. - p. 1-12 , 2017
Link: https://dl.acm.org/doi/1..
 
?
13

User-Customizable Transpilation of Scripting Languages:

Wang, Bo ; Kolluri, Aashish ; Nikolić, Ivica..
http://arxiv.org/abs/2301.11220.  , 2023
Link: http://arxiv.org/abs/230..
 
?
14

Explaining SAT Solving Using Causal Reasoning:

Yang, Jiong ; Shaw, Arijit ; Baluta, Teodora..
http://arxiv.org/abs/2306.06294.  , 2023
Link: http://arxiv.org/abs/230..
 
?
15

DuoGlot: User-Customizable Transpilation of Scripting Langu..:

Wang, Bo ; Kolluri, Aashish ; Nikolić, Ivica..
doi:10.1145/3586034.  , 2023
Link: https://zenodo.org/recor..
 
1-15