Equivalence of Probabilistic mu -Calculus and p-Automata. - Claudia Cauli; Nir Piterman (CIAA, 2017)

Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning. - Claudia Cauli; Meng Li; Nir Piterman; Oksana Tkachuk (CAV (1), 2021)

Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract). - Claudia Cauli; Meng Li; Nir Piterman; Oksana Tkachuk (Description Logics, 2021)

Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract). - Claudia Cauli; Magdalena Ortiz 001; Nir Piterman (Description Logics, 2021)

Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security. - Claudia Cauli; Magdalena Ortiz 001; Nir Piterman (KR, 2021)

Actions over Core-Closed Knowledge Bases. - Claudia Cauli; Magdalena Ortiz 001; Nir Piterman (IJCAR, 2022)