A new proof rule for almost-sure termination
A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM on Programming Languages 2 (2017).

Magnetic force microscopy studies of mesoscopic superconducting structures
H. Polshyn, Magnetic Force Microscopy Studies of Mesoscopic Superconducting Structures, University of Illinois at Urbana-Champaign, 2017.

 Probing and controlling fluxoid states in multiply-connected mesoscopic superconducting structures
H. Polshyn, T. Naibert, R. Budakian, in:, APS March Meeting 2017, American Physical Society, 2017.

An American in Allied-occupied Austria: John Dos Passos Reports on &quot;The Vienna Frontier&quot;
B. Wenzl, in:, J. Parker, R. Poole (Eds.), Austria and America: 20th-Century Cross-Cultural Encounters, LIT Verlag Berlin-Münster-Wien-Zürich-London, 2017, pp. 73–80.

Nu recruits the Wd–SeA/COMPASS complex to promoters to regulate K4 trimethylation in hematopoietic progenitor cells
T.M. Franks, A. McCloskey, M.N. Shokhirev, C. Benner, A. Rathore, M. Hetzer, Genes &; Development 31 (2017) 2222–2234.

Nu3 interacts with So to enable bimodal gene regulation and maintenance of neural progenitor cells
T. Toda, J.Y. Hsu, S.B. Linker, L. Hu, S.T. Schafer, J. Mertens, F.V. Jacinto, M. Hetzer, F.H. Gage, Cell Stem Cell 21 (2017) 618–634.e7.

Nucleolar expansion and elevated protein translation in premature aging
A. Buchwalter, M. Hetzer, Nature Communications 8 (2017).

An application of stochastic differential equations to evolutionary algorithms
T. Paixao, J. Pérez Heredia, in:, Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, ACM, 2017, pp. 3–11.

ALMA reveals metals yet no dust within multiple components in C
J.J. Matthee, D. Sobral, F. Boone, H. Röttgering, D. Schaerer, M. Girard, A. Pallottini, L. Vallini, A. Ferrara, B. Darvish, B. Mobasher, The Astrophysical Journal 851 (2017).

The CALYMHA survey: Ly;1 luminosity function and global escape fraction of Ly;1 photons at z = 2.23
D. Sobral, J.J. Matthee, P. Best, A. Stroe, H. Röttgering, I. Oteo, I. Smail, L. Morabito, A. Paulino-Afonso, Monthly Notices of the Royal Astronomical Society 466 (2017) 1242–1258.

A 1.4 de blind survey for C II], C III] and C IV at z c 0.7–1.5 – I. Nature, morphologies and equivalent widths 
A. Stroe, D. Sobral, J.J. Matthee, J. Calhau, I. Oteo, Monthly Notices of the Royal Astronomical Society 471 (2017) 2558–2574.

The production and escape of Lyman-Continuum radiation from star-forming galaxies at z c 2 and their redshift evolution
J.J. Matthee, D. Sobral, P. Best, A.A. Khostovan, I. Oteo, R. Bouwens, H. Röttgering, Monthly Notices of the Royal Astronomical Society 465 (2017) 3637–3655.

A 1.4 de blind survey for C II], C III] and C IV at z c 0.7–1.5 – II. Luminosity functions and cosmic average line ratios
A. Stroe, D. Sobral, J.J. Matthee, J. Calhau, I. Oteo, Monthly Notices of the Royal Astronomical Society 471 (2017) 2575–2586.

The origin of scatter in the stellar mass–halo mass relation of central galaxies in the EAGLE simulation
J.J. Matthee, J. Schaye, R.A. Crain, M. Schaller, R. Bower, T. Theuns, Monthly Notices of the Royal Astronomical Society 465 (2017) 2381–2396.

Boötes-HiZELS: An optical to near-infrared survey of emission-line galaxies at z = 0.4–4.7
J.J. Matthee, D. Sobral, P. Best, I. Smail, F. Bian, B. Darvish, H. Röttgering, X. Fan, Monthly Notices of the Royal Astronomical Society 471 (2017) 629–649.

Spectroscopic properties of luminous Ly;1 emitters at z  6–7 and comparison to the Lyman-break population
J.J. Matthee, D. Sobral, B. Darvish, S. Santos, B. Mobasher, A. Paulino-Afonso, H. Röttgering, L. Alegre, Monthly Notices of the Royal Astronomical Society 472 (2017) 772–787.

The KMOS Deep Survey (KDS) – I. Dynamical measurements of typical star-forming galaxies at z  3.5
O.J. Turner, M. Cirasuolo, C.M. Harrison, R.J. McLure, J.S. Dunlop, A.M. Swinbank, H.L. Johnson, D. Sobral, J.J. Matthee, R.M. Sharples, Monthly Notices of the Royal Astronomical Society 471 (2017) 1280–1320.

FliPer: Checking the reliability of global seismic parameters from automatic pipelines
L.A. Bugnet, R.A. Garcia, G.R. Davies, S. Mathur, E. Corsaro, ArXiv (n.d.).

Capacity releasing diffusion for speed and locality
D. Wang, K. Fountoulakis, M.H. Henzinger, M.W. Mahoney,  Satish Rao , in:, Proceedings of the 34th International Conference on Machine Learning, ML Research Press, 2017, pp. 3598–3607.

Sublinear-time maintenance of breadth-first spanning trees in partially dynamic networks
M.H. Henzinger, S. Krinninger, D. Nanongkai, ACM Transactions on Algorithms 13 (2017).