( en | de | ru )

 

Disambiguation of "Urban, Caterina"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesizing Ranking Functions from Bits and Pieces.

, , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 54-70. Springer, (2016)

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 Breitenstein

Caterina Casagranda

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)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 SVMs., , , and . CoRR, (2022)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)Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)., , and . Dagstuhl Reports, 6 (11): 108-128 (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)