Synthesis and verification of delf-aware computing systems Autor Calinescu, R, Autili, M, Camara, J, Di Marco, A, Gerasimou, S, Inverardi, P, Perucci, A, Jansen, N, Katoen, J, Kwiatkowska, M, Mengshoel, O, Spalazzese, R, Tivoli, M

Mathematical modeling of SARS-CoV-2 variant substitutions in European countries: transmission dynamics and epidemiological insights Autor de Rioja, VL, Perramon-Malavez, A, Alonso, S, Andrés, C, Antón, A, Bordoy, AE, Càmara, J, Cardona, P, Català, M, López, D, Martí, S, Martró, E, Saludes, V, Prats, C, Alvarez-Lacalle, E