Stefano Quer

2 ta ish

Туринский политехнический университет

1. To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties

   P. Camurati, C. Loiacono, Paolo Pasini +2

   MaqolaFormal Methods in VerificationPORTO Publications Open Repository TOrino (Politecnico di Torino)20140 iqtibos

   ABIABI:AkademIndex/2014.article.000209

2. A Weakly-Supervised Framework for Low-Cost and Reliable Air Pollution Monitoring

   Francesco Vitale, Andrea Senese, Stefano Quer +3

   MaqolaOAOchiq kirish20260 iqtibos

   ABIABI:AkademIndex/2026.article.058965