( en | de | ru )

 

Disambiguation of "Urban, Caterina"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying Attention Robustness of Deep Neural Networks Against Semantic Perturbations.

, , , , and . NFM, volume 13903 of Lecture Notes in Computer Science, page 37-61. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Caterina Giorno

Caterina Appel

Caterina Casagranda

Caterina Breitenstein

Caterina Kern

 

Other publications of authors with the same name

Perfectly Parallel Fairness Certification of Neural Networks., , , and . CoRR, (2019)A Formal Framework to Measure the Incompleteness of Abstract Interpretations., , , and . SAS, volume 14284 of Lecture Notes in Computer Science, page 114-138. Springer, (2023)FuncTion: An Abstract Domain Functor for Termination - (Competition Contribution).. TACAS, volume 9035 of Lecture Notes in Computer Science, page 464-466. Springer, (2015)What Programs Want: Automatic Inference of Input Data Specifications.. CoRR, (2020)Abstract Interpretation-Based Feature Importance for SVMs., , , and . CoRR, (2022)MaxSMT-Based Type Inference for Python 3., , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 12-19. Springer, (2018)Abstract Interpretation-Based Feature Importance for Support Vector Machines., , , and . VMCAI (1), volume 14499 of Lecture Notes in Computer Science, page 27-49. Springer, (2024)Static Analysis of Data Science Software.. SAS, volume 11822 of Lecture Notes in Computer Science, page 17-23. Springer, (2019)Permission Inference for Array Programs., , , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 55-74. Springer, (2018)Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations., , , , and . APSEC, page 560-561. IEEE, (2022)