( en | de | ru )

 

Disambiguierung von "Urban, Caterina"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Precise Widening Operators for Proving Termination by Abstract Interpretation.

, und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 136-152. (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Caterina Giorno

Caterina Appel

Caterina Breitenstein

Caterina Casagranda

Caterina Kern

 

Weitere Publikationen von Autoren mit dem selben Namen

Abstract Interpretation as Automated Deduction., und . CADE, Volume 9195 von Lecture Notes in Computer Science, Seite 450-464. Springer, (2015)Permission Inference for Array Programs., , , , und . CAV (2), Volume 10982 von Lecture Notes in Computer Science, Seite 55-74. Springer, (2018)Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations., , , , und . APSEC, Seite 560-561. IEEE, (2022)An Abstract Interpretation Framework for Input Data Usage., und . ESOP, Volume 10801 von Lecture Notes in Computer Science, Seite 683-710. Springer, (2018)The Abstract Domain of Segmented Ranking Functions.. SAS, Volume 7935 von Lecture Notes in Computer Science, Seite 43-62. Springer, (2013)Perfectly Parallel Fairness Certification of Neural Networks., , , und . CoRR, (2019)A Formal Framework to Measure the Incompleteness of Abstract Interpretations., , , und . SAS, Volume 14284 von Lecture Notes in Computer Science, Seite 114-138. Springer, (2023)FuncTion: An Abstract Domain Functor for Termination - (Competition Contribution).. TACAS, Volume 9035 von Lecture Notes in Computer Science, Seite 464-466. Springer, (2015)Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer., und . IJCAI, Seite 4150-4154. IJCAI/AAAI Press, (2016)Static Analysis by Abstract Interpretation of Functional Temporal Properties of Programs. (Analyse Statique par Interprétation Abstraite de Propriétés Temporelles Fonctionnelles des Programmes).. École Normale Supérieure, Paris, France, (2015)