Chatterjee, K., Fu, H., &; Goharshady, A. K. (2016). Termination analysis of probabilistic programs through Positivstellensatz’s (Vol. 9779, pp. 3–22). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer.https://doi.org/10.1007/978-3-319-41528-4_1 

Polshyn, H., Zhang, C., Naibert, T., Eckstein, J., &; Budakian, R. (2015). Study of Fe (Se, Te) micron-sized rings by magnetic force microscopy. In APS March Meeting 2015 (Vol. 60). San Antonio, TX, United States: American Physical Society.

Parise, F., Lygeros, J., &; Ruess, J. (2015). Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study. Frontiers in Environmental Science. Frontiers.https://doi.org/10.3389/fenvs.2015.00042 

Mertens, J., Paquola, A. C. M., Ku, M., Hatch, E., Böhnke, L., Ladjevardi, S.,https://doi.org/10.1016/j.stem.2015.09.001__Gage, F. H. (2015). Directly reprogrammed human neurons retain aging-associated transcriptomic signatures and reveal age-related nucleocytoplasmic defects. Cell Stem Cell. Elsevier.https://doi.org/10.1016/j.stem.2015.09.001 

Jacinto, F. V., Benner, C., &; Hetzer, M. (2015). The nucleoporin Nu3 regulates embryonic stem cell pluripotency through gene silencing. Genes &; Development. Cold Spring Harbor Laboratory.https://doi.org/10.1101/gad.260919.115 

Ori, A., Toyama, B. H., Harris, M. S., Bock, T., Iskar, M., Bork, P.,https://doi.org/10.1016/j.cels.2015.08.012__Beck, M. (2015). Integrated transcriptome and proteome analyses reveal organ-specific proteome deterioration in old rats. Cell Systems. Elsevier.https://doi.org/10.1016/j.cels.2015.08.012 

Ibarra, A., &; Hetzer, M. (2015). Nuclear pore proteins and the control of genome functions. Genes &; Development. Cold Spring Harbor Laboratory.https://doi.org/10.1101/gad.256495.114 

Hatch, E. M., &; Hetzer, M. (2015). Linking micronuclei to chromosome fragmentation. Cell. Elsevier.https://doi.org/10.1016/j.cell.2015.06.005 

Hatch, E. M., &; Hetzer, M. (2015). Chromothripsis. Current Biology. Elsevier.https://doi.org/10.1016/j.cub.2015.02.033 

Sobral, D., Matthee, J. J., Darvish, B., Schaerer, D., Mobasher, B., Röttgering, H.,https://doi.org/10.1088/0004-637X/808/2/139__Hemmati, S. (2015). Evidence for PopIII-like stellar populations in the most luminous Ly;1 emitters at the epoch of reionisation: Spectroscopic confirmation. The Astrophysical Journal. IOP Publishing.https://doi.org/10.1088/0004-637X/808/2/139 

Sobral, D., Matthee, J. J., Best, P. N., Smail, I., Khostovan, A. A., Milvang-Jensen, B.,https://doi.org/10.1093/mnras/stv1076__Mobasher, B. (2015). CF-HiZELS, an c10 de emission-line survey with spectroscopic follow-up: H;1, [OIII] + H;2 and [OII] luminosity functions at z = 0.8, 1.4 and 2.2 . Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stv1076 

Matthee, J. J., Sobral, D., Santos, S., Röttgering, H., Darvish, B., &; Mobasher, B. (2015). Identification of the brightest Ly;1 emitters at z = 6.6: implications for the evolution of the luminosity function in the reionization era. Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stv947 

Pallottini, A., Ferrara, A., Pacucci, F., Gallerani, S., Salvadori, S., Schneider, R.,https://doi.org/10.1093/mnras/stv1795__Matthee, J. J. (2015). The brightest Ly;1 emitter: Pop III or black hole? Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stv1795 

Colini-Baldeschi, R., Leonardi, S., Henzinger, M. H., &; Starnberger, M. (2015). On multiple keyword sponsored search auctions with budgets. ACM Transactions on Economics and Computation. Association for Computing Machinery.https://doi.org/10.1145/2818357 

Dütting, P., Henzinger, M. H., &; Starnberger, M. (2015). Auctions for heterogeneous items and budget limits. ACM Transactions on Economics and Computation. Association for Computing Machinery.https://doi.org/10.1145/2818351 

Cheung, Y. K., Henzinger, M. H., Hoefer, M., &; Starnberger, M. (2015). Combinatorial auctions with conflict-based externalities. In 11th International Conference on Web and Internet Economics (Vol. 9470, pp. 230–243). Amsterdam, Netherlands: Springer Nature.https://doi.org/10.1007/978-3-662-48995-6_17 

Ben-Zwi, O., Henzinger, M. H., &; Loitzenbauer, V. (2015). Ad exchange: Envy-free auctions with mediators. In 11th International Conference on Web and Internet Economics (Vol. 9470, pp. 104–117). Amsterdam, Netherlands: Springer Nature.https://doi.org/10.1007/978-3-662-48995-6_8 

Henzinger, M. H., Krinninger, S., &; Nanongkai, D. (2015). Improved algorithms for decremental single-source reachability on directed graphs. In 42nd International Colloquium on Automata, Languages and Programming (Vol. 9134, pp. 725–736). Kyoto, Japan: Springer Nature.https://doi.org/10.1007/978-3-662-47672-7_59 

Henzinger, M. H., Krinninger, S., &; Loitzenbauer, V. (2015). Finding 2-edge and 2-vertex strongly connected components in quadratic time. In 2nd International Colloquium on Automata, Languages and Programming (Vol. 9134, pp. 713–724). Kyoto, Japan: Springer Nature.https://doi.org/10.1007/978-3-662-47672-7_58 

Dvoák, W., &; Henzinger, M. H. (2015). Online ad assignment with an ad exchange. In 12th International Workshop of Approximation and Online Algorithms (Vol. 8952, pp. 156–167). Wroclaw, Poland: Springer Nature.https://doi.org/10.1007/978-3-319-18263-6_14