Integration of a Software Model Checker into Isabelle by Daum, M, Maus, S, Schirmer, N, Seghir, M

Statistical sensitivity of the nEDM apparatus at PSI to n − n′ oscillations by Abel C., Ayres N.J., Bison G., Bodek K., Bondar V., Chiu P.-J., Daum M., Emmenegger S., Flaux P., Ferraris-Bouchez L., Griffith W.C., Grujić Z.D., Hild N., Kirch K., Koss P.A., Kozela A., Krempel J., Lauss B., Lefort T., Leredde A., Mohanmurthy P., Naviliat-Cuncic O., Pais D., Piegsa F.M., Pignol G., Rawlik M., Rebreyend D., Ries D., Roccia S., Rozpedzik D., Schmidt-Wellenburg P., Schnabel A., Severijns N., Thorne J., Virot R., Zejma J., Zsigmond G.

Get full text

The n2EDM experiment at the Paul Scherrer Institute by Abel C., Ayres N. J., Ban G., Bison G., Bodek K., Bondar V., Chanel E., Chiu P.-J., Clement B., Crawford C., Daum M., Emmenegger S., Flaux P., Ferraris-Bouchez L., Griffith W.C., Grujić Z.D., Harris P.G., Heil W., Hild N., Kirch K., Koss P.A., Kozela A., Krempel J., Lauss B., Lefort T., Lemière Y., Leredde A., Mohanmurthy P., Naviliat-Cuncic O., Pais D., Piegsa F.M., Pignol G., Rawlik M., Rebreyend D., Ries D., Roccia S., Ross K., Rozpedzik D., Schmidt-Wellenburg P., Schnabel A., Severijns N., Thorne J., Virot R., Voigt J., Weis A., Wursten E., Zejma J., Zsigmond G.

Get full text