Programming Language Features for Refinement

by Jason Koenig, K. Rustan M. Leino
Published 2016-06-01

The Dafny Integrated Development Environment

by K. Rustan M. Leino, Valentin Wüstholz
Published 2014-04-01

Genetic correlations between energy status indicator traits and female fertility in primiparous Nordic Red Dairy cattle

by T. Mehtiö, P. Mäntysaari, E. Negussie, A.-M. Leino, J. Pösö, E.A. Mäntysaari, M.H. Lidauer
Published 2020-01-01

High-spin states beyond the proton drip-line: Quasiparticle alignments in 113Cs

by P.T. Wady, J.F. Smith, B. Hadinia, D.M. Cullen, S.J. Freeman, I.G. Darby, S. Eeckhaudt, T. Grahn, P.T. Greenlees, P.M. Jones, R. Julin, S. Juutinen, H. Kettunen, M. Leino, A.-P. Leppänen, B.M. McGuirk, P. Nieminen, M. Nyman, R.D. Page, J. Pakarinen, E.S. Paul, P. Rahkila, S.V. Rigby, C. Scholey, J. Uusitalo, R. Wadsworth
Published 2015-01-01

Spectroscopy at the two-proton drip line: Excited states in 158W

by D.T. Joss, R.D. Page, A. Herzán, L. Donosa, J. Uusitalo, R.J. Carroll, I.G. Darby, K. Andgren, B. Cederwall, S. Eeckhaudt, T. Grahn, P.T. Greenlees, B. Hadinia, U. Jakobsson, P.M. Jones, R. Julin, S. Juutinen, M. Leino, A.-P. Leppanen, M. Nyman, D. O'Donnell, J. Pakarinen, P. Rahkila, M. Sandzelius, J. Sarén, C. Scholey, D. Seweryniak, J. Simpson, J. Sorri
Published 2017-09-01

Population of a low-spin positive-parity band from high-spin intruder states in 177Au: The two-state mixing effect

by M. Venhart, M. Balogh, A. Herzáň, J.L. Wood, F.A. Ali, D.T. Joss, A.N. Andreyev, K. Auranen, R.J. Carroll, M.C. Drummond, J.L. Easton, P.T. Greenlees, T. Grahn, A. Gredley, J. Henderson, U. Jakobsson, R. Julin, S. Juutinen, J. Konki, E.A. Lawrie, M. Leino, V. Matoušek, C.G. McPeake, D. O'Donnell, R.D. Page, J. Pakarinen, P. Papadakis, J. Partanen, P. Peura, P. Rahkila, P. Ruotsalainen, M. Sandzelius, J. Sarén, B. Saygı, M. Sedlák, C. Scholey, J. Sorri, S. Stolze, A. Thornthwaite, R. Urban, J. Uusitalo, M. Veselský, F.P. Wearing
Published 2020-07-01

Spectroscopic factor and proton formation probability for the d3/2 proton emitter 151mLu

by F. Wang, B.H. Sun, Z. Liu, R.D. Page, C. Qi, C. Scholey, S.F. Ashley, L. Bianco, I.J. Cullen, I.G. Darby, S. Eeckhaudt, A.B. Garnsworthy, W. Gelletly, M.B. Gomez-Hornillos, T. Grahn, P.T. Greenlees, D.G. Jenkins, G.A. Jones, P. Jones, D.T. Joss, R. Julin, S. Juutinen, S. Ketelhut, S. Khan, A. Kishada, M. Leino, M. Niikura, M. Nyman, J. Pakarinen, S. Pietri, Z. Podolyak, P. Rahkila, S. Rigby, J. Saren, T. Shizuma, J. Sorri, S. Steer, J. Thomson, N.J. Thompson, J. Uusitalo, P.M. Walker, S. Williams, H.F. Zhang, W.Q. Zhang, L.H. Zhu
Published 2017-07-01

Towards saturation of the electron-capture delayed fission probability: The new isotopes 240Es and 236Bk

by J. Konki, J. Khuyagbaatar, J. Uusitalo, P.T. Greenlees, K. Auranen, H. Badran, M. Block, R. Briselet, D.M. Cox, M. Dasgupta, A. Di Nitto, Ch.E. Düllmann, T. Grahn, K. Hauschild, A. Herzán, R.-D. Herzberg, F.P. Heßberger, D.J. Hinde, R. Julin, S. Juutinen, E. Jäger, B. Kindler, J. Krier, M. Leino, B. Lommel, A. Lopez-Martens, D.H. Luong, M. Mallaburn, K. Nishio, J. Pakarinen, P. Papadakis, J. Partanen, P. Peura, P. Rahkila, K. Rezynkina, P. Ruotsalainen, M. Sandzelius, J. Sarén, C. Scholey, J. Sorri, S. Stolze, B. Sulignano, Ch. Theisen, A. Ward, A. Yakushev, V. Yakusheva
Published 2017-01-01