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).
LibreCat: https://research-explorer.ista.ac.at/record/10418
DOI: 10.1145/3158121
arXiv: 1711.03588

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.
LibreCat: https://research-explorer.ista.ac.at/record/10663

 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.
LibreCat: https://research-explorer.ista.ac.at/record/10745

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.
LibreCat: https://research-explorer.ista.ac.at/record/1075

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.
LibreCat: https://research-explorer.ista.ac.at/record/11066
DOI: 10.1101/gad.306753.117
PMID: 29269482

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.
LibreCat: https://research-explorer.ista.ac.at/record/11067
DOI: 10.1016/j.stem.2017.08.012
PMID: 28919367

Nucleolar expansion and elevated protein translation in premature aging
A. Buchwalter, M. Hetzer, Nature Communications 8 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/11065
DOI: 10.1038/s41467-017-00322-z
PMID: 28855503

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.
LibreCat: https://research-explorer.ista.ac.at/record/1112
DOI: 10.1145/3040718.3040729

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).
LibreCat: https://research-explorer.ista.ac.at/record/11518
DOI: 10.3847/1538-4357/aa9931
arXiv: 1709.06569

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.
LibreCat: https://research-explorer.ista.ac.at/record/11562
DOI: 10.1093/mnras/stw3090
arXiv: 1609.05897

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.
LibreCat: https://research-explorer.ista.ac.at/record/11566
DOI: 10.1093/mnras/stx1712
arXiv: 1703.10169

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.
LibreCat: https://research-explorer.ista.ac.at/record/11564
DOI: 10.1093/mnras/stw2973
arXiv: 1605.08782

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.
LibreCat: https://research-explorer.ista.ac.at/record/11567
DOI: 10.1093/mnras/stx1713
arXiv: 1703.10169

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.
LibreCat: https://research-explorer.ista.ac.at/record/11565
DOI: 10.1093/mnras/stw2884
arXiv: 1608.08218

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.
LibreCat: https://research-explorer.ista.ac.at/record/11561
DOI: 10.1093/mnras/stx1569
arXiv: 1702.04721

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.
LibreCat: https://research-explorer.ista.ac.at/record/11572
DOI: 10.1093/mnras/stx2061
arXiv: 1706.06591

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.
LibreCat: https://research-explorer.ista.ac.at/record/11573
DOI: 10.1093/mnras/stx1366
arXiv: 1704.06263

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.).
LibreCat: https://research-explorer.ista.ac.at/record/11633
DOI: 10.48550/arXiv.1711.02890
arXiv: 1711.02890

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.
LibreCat: https://research-explorer.ista.ac.at/record/11651
arXiv: 1706.05826

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).
LibreCat: https://research-explorer.ista.ac.at/record/11665
DOI: 10.1145/3146550
arXiv: 1512.08147