SMT-based model checking of max-plus linear systems by Mufid, MSU, Micheli, A, Abate, A, Cimatti, A

Single atom transistor in a 1D optical lattice by Micheli, A, Daley, A, Jaksch, D, Zoller, P

Computation of the transient in max-plus linear systems via SMT-solving by Abate, A, Cimatti, A, Micheli, A, Mufid, MS

Many-particle entanglement in two-component Bose-Einstein condensates by Micheli, A, Jaksch, D, Cirac, J, Zoller, P

Single atom transistor in a 1D optical lattice. by Micheli, A, Daley, A, Jaksch, D, Zoller, P

Inorganic pyrophosphate in plasma, urine, and synovial fluid of patients with pyrophosphate arthropathy (chondrocalcinosis or pseudogout). by Russell, R, Bisaz, S, Fleisch, H, Currey, H, Rubinstein, H, Dietz, A, Boussina, I, Micheli, A, Fallet, G

Physical Health and Transition to Psychosis in People at Clinical High Risk by De Micheli, A, Provenzani, U, Krakowski, K, Oliver, D, Damiani, S, Brondino, N, McGuire, P, Fusar-Poli, P

Effects of benzodiazepine exposure on real-world clinical outcomes in individuals at clinical high risk for psychosis by Livingston, NR, De Micheli, A, McCutcheon, RA, Butler, E, Hamdan, M, Grace, AA, McGuire, P, Egerton, A, Fusar-Poli, P, Modinos, G

Higgs self-coupling measurements using deep learning in the b¯bb¯b final state by Amacker, J, Balunas, W, Beresford, L, Bortoletto, D, Frost, J, Issever, C, Liu, J, McKee, J, Micheli, A, Paredes Saenz, S, Spannowsky, M, Stanislaus, B

Effects of diazepam on hippocampal blood flow in people at clinical high risk for psychosis by Livingston, NR, Kiemes, A, Devenyi, GA, Knight, S, Lukow, PB, Jelen, LA, Reilly, T, Dima, A, Nettis, MA, Casetta, C, Agyekum, T, Zelaya, F, Spencer, T, De Micheli, A, Fusar-Poli, P, Grace, AA, Williams, SCR, McGuire, P, Egerton, A, Chakravarty, MM, Modinos, G

Connectome dysfunction in patients at clinical high risk for psychosis and modulation by oxytocin by Davies, C, Martins, D, Dipasquale, O, McCutcheon, RA, De Micheli, A, Ramella-Cravaro, V, Provenzani, U, Rutigliano, G, Cappucciati, M, Oliver, D, Williams, S, Zelaya, F, Allen, P, Murguia, S, Taylor, D, Shergill, S, Morrison, P, McGuire, P, Paloyelis, Y, Fusar-Poli, P