Caterina Urban

5 papers and 33 indexed citations i.

Caterina Urban has authored 5 papers that have received a total of 33 indexed citations. This includes 3 papers in Artificial Intelligence, 2 papers in Computational Theory and Mathematics and 1 paper in Computer Networks and Communications. The topics of these papers are Adversarial Robustness in Machine Learning (2 papers), Formal Methods in Verification (2 papers) and Software Testing and Debugging Techniques (1 paper). Caterina Urban is often cited by papers focused on Adversarial Robustness in Machine Learning (2 papers), Formal Methods in Verification (2 papers) and Software Testing and Debugging Techniques (1 paper) and collaborates with scholars based in France, Germany and Belgium. Caterina Urban's co-authors include Antoine Miné, Maria Christakis, Jade Alglave, Patrick Cousot and Valentin Wüstholz and has published in prestigious journals such as Proceedings of the ACM on Programming Languages and Computer Languages Systems & Structures