Gaillochet, C., Stiehl, T., Wenzl, C., Ripoll, J.-J., Bailey-Steinitz, L. J., Li, L.,https://doi.org/10.7554/elife.30135__Lohmann, J. U. (2017). Control of plant cell fate transitions by transcriptional and hormonal signals. ELife. eLife Sciences Publications.https://doi.org/10.7554/elife.30135 

Menke, T., Burns, P., Higginbotham, A. P., Kampel, N. S., Peterson, R., Cicak, K.,https://doi.org/10.1063/1.5000973__Lehnert, K. (2017). Reconfigurable re-entrant cavity for wireless coupling to an electro-optomechanical device. Review of Scientific Instruments. American Institute of Physics.https://doi.org/10.1063/1.5000973 

Rosenthal, E., Chapman, B., Higginbotham, A. P., Kerckhoff, J., &; Lehnert, K. (2017). Breaking Lorentz reciprocity with frequency conversion and delay. APS Physics, Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.119.147703 

Lyons, D. B., &; Zilberman, D. (2017). DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes. ELife. eLife Sciences Publications.https://doi.org/10.7554/elife.30674 

Clifton, B., Whitfield, J., Sanchez-Romero, I., Herde, M., Henneberger, C., Janovjak, H. L., &; Jackson, C. (2017). Ancestral protein reconstruction and circular permutation for improving the stability and dynamic range of FRET sensors. In V. Stein (Ed.), Synthetic Protein Switches (Vol. 1596, pp. 71–87). Springer.https://doi.org/10.1007/978-1-4939-6940-1_5 

Bandeira, A. S., Ferber, A., &; Kwan, M. A. (2017). Resilience for the Littlewood-Offord problem. Electronic Notes in Discrete Mathematics. Elsevier.https://doi.org/10.1016/j.endm.2017.06.025 

Krivelevich, M., Kwan, M. A., &; Sudakov, B. (2017). Bounded-degree spanning trees in randomly perturbed graphs. SIAM Journal on Discrete Mathematics. Society for Industrial &; Applied Mathematics.https://doi.org/10.1137/15m1032910 

Bandeira, A. S., Ferber, A., &; Kwan, M. A. (2017). Resilience for the Littlewood–Offord problem. Advances in Mathematics. Elsevier.https://doi.org/10.1016/j.aim.2017.08.031 

Greenhill, C., Isaev, M., Kwan, M. A., &; McKay, B. D. (2017). The average number of spanning trees in sparse graphs with given degrees. European Journal of Combinatorics. Elsevier.https://doi.org/10.1016/j.ejc.2017.02.003 

Avni, G., Guha, S., &; Kupferman, O. (2017). Timed network games with clocks (Vol. 83). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.MFCS.2017.37 

Prentice, J., Marre, O., Ioffe, M., Loback, A., Tkadik, G., &; Berry, M. (2017). Data from: Error-robust modes of the retinal population code. Dryad.https://doi.org/10.5061/dryad.1f1rc 

Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S.,https://doi.org/10.1371/journal.pgen.1007122__Ackermann, M. (2017). Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1007122 

Pleska, M., &; Guet, C. C. (2017). Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification. The Royal Society.https://doi.org/10.6084/m9.figshare.5633917.v1 

Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S.,https://doi.org/10.1371/journal.pgen.1007122.s017__Ackermann, M. (2017). Mathematical model. Public Library of Science.https://doi.org/10.1371/journal.pgen.1007122.s017 

Lukacisinova, M., Novak, S., &; Paixao, T. (2017). Modelling and simulation details. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005609.s001 

Lukacisinova, M., Novak, S., &; Paixao, T. (2017). Extensions of the model. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005609.s002 

Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S.,https://doi.org/10.1371/journal.pgen.1007122.s016__Ackermann, M. (2017). Supplementary methods. Public Library of Science.https://doi.org/10.1371/journal.pgen.1007122.s016 

Chalk, M. J., Masset, P., Gutkin, B., &; Denève, S. (2017). Sensory noise predicts divisive reshaping of receptive fields. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005582 

Lukacisinova, M., Novak, S., &; Paixao, T. (2017). Heuristic prediction for multiple stresses. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005609.s003 

Lukacisinova, M., Novak, S., &; Paixao, T. (2017). Resistance frequencies for different combination strategies. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005609.s004 

Chalk, M. J., Masset, P., Gutkin, B., &; Denève, S. (2017). Supplementary appendix. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005582.s001 

Huang, G., Kaloshin, V., &; Sorrentino, A. (2017). On the marked length spectrum of generic strictly convex billiard tables. Duke Mathematical Journal. Duke University Press.https://doi.org/10.1215/00127094-2017-0038 

De Simoi, J., Kaloshin, V., &; Wei, Q. (2017). Dynamical spectral rigidity among Z2-symmetric strictly convex domains close to a circle. Annals of Mathematics. Annals of Mathematics.https://doi.org/10.4007/annals.2017.186.1.7 

Rennella, E., Sára, T., Juen, M., Wunderlich, C., Imbert, L., Solyom, Z.,https://doi.org/10.1093/nar/gkx044__Brutscher, B. (2017). RNA binding and chaperone activity of the E.coli cold-shock protein CspA. Nucleic Acids Research. Oxford University Press.https://doi.org/10.1093/nar/gkx044 

Gauto, D. F., Hessel, A., Rovó, P., Kurauskas, V., Linser, R., &; Schanda, P. (2017). Protein conformational dynamics studied by 15N and 1H<1 relaxation dispersion: Application to wild-type and A ubiquitin crystals. Solid State Nuclear Magnetic Resonance. Elsevier.https://doi.org/10.1016/j.ssnmr.2017.04.002 

Franco, R., Favier, A., Schanda, P., &; Brutscher, B. (2017). Optimized fast mixing device for real-time NMR applications. Journal of Magnetic Resonance. Elsevier.https://doi.org/10.1016/j.jmr.2017.05.016 

Bersch, B., Dörr, J. M., Hessel, A., Killian, J. A., &; Schanda, P. (2017). Proton-detected solid-state NMR spectroscopy of a Zinc diffusion facilitator protein in native nanodiscs. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.201610441 

Kurauskas, V., Schanda, P., &; Sounier, R. (2017). Methyl-specific isotope labeling strategies for NMR studies of membrane proteins. In Membrane protein structure and function characterization (Vol. 1635, pp. 109–123). Springer Nature.https://doi.org/10.1007/978-1-4939-7151-0_6 

Zuidema, P., Torri, G., Muller, C. J., &; Chandra, A. (2017). A survey of precipitation-induced atmospheric cold pools over oceans and their interactions with the larger-scale environment. Surveys in Geophysics. Springer Nature.https://doi.org/10.1007/s10712-017-9447-x 

Holloway, C. E., Wing, A. A., Bony, S., Muller, C. J., Masunaga, H., L’Ecuyer, T. S.,https://doi.org/10.1007/s10712-017-9419-1__Zuidema, P. (2017). Observing convective aggregation. Surveys in Geophysics. Springer Nature.https://doi.org/10.1007/s10712-017-9419-1 

Wing, A. A., Emanuel, K., Holloway, C. E., &; Muller, C. J. (2017). Convective self-aggregation in numerical simulations: A review. Surveys in Geophysics. Springer Nature.https://doi.org/10.1007/s10712-017-9408-4 

Richet, O., Muller, C. J., &; Chomaz, J.-M. (2017). Impact of a mean current on the internal tide energy dissipation at the critical latitude. Journal of Physical Oceanography. American Meteorological Society.https://doi.org/10.1175/jpo-d-16-0197.1 

Scheele, C., Hannezo, E. B., Muraro, M., Zomer, A., Langedijk, N., Van Oudenaarden, A.,https://doi.org/10.1038/nature21046__Van Rheenen, J. (2017). Identity and dynamics of mammary stem cells during branching morphogenesis. Nature. Nature Publishing Group.https://doi.org/10.1038/nature21046 

Sedzinski, J., Hannezo, E. B., Tu, F., Biro, M., &; Wallingford, J. (2017). RhoA regulates actin network dynamics during apical surface emergence in multiciliated epithelial cells . Journal of Cell Science. Company of Biologists.https://doi.org/10.1242/jcs.202234 

Pinheiro, D., Hannezo, E. B., Herszterg, S., Bosveld, F., Gaugué, I., Balakireva, M.,https://doi.org/10.1038/nature22041__Bellaïche, Y. (2017). Transmission of cytokinesis forces via E cadherin dilution and actomyosin flows. Nature. Nature Publishing Group.https://doi.org/10.1038/nature22041 

Le, X., Chu, D. H., Lo, D., Le Goues, C., &; Visser, W. (2017). JFIX: Semantics-based repair of Java programs via symbolic  PathFinder. In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 376–379). Santa Barbara, CA, United States: ACM.https://doi.org/10.1145/3092703.3098225 

Zilberman, D. (2017). An evolutionary case for functional gene body methylation in plants and animals. Genome Biology. Springer Nature.https://doi.org/10.1186/s13059-017-1230-2 

Mitchell, J., Zhang, W., Herde, M., Henneberger, C., Janovjak, H. L., O’Mara, M., &; Jackson, C. (2017). Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment. In V. Stein (Ed.), Synthetic Protein Switches (Vol. 1596, pp. 89–99). Springer.https://doi.org/10.1007/978-1-4939-6940-1_6 

Cheng, B., Tribello, G. A., &; Ceriotti, M. (2017). The Gibbs free energy of homogeneous nucleation: From atomistic nuclei to the planar limit. The Journal of Chemical Physics. AIP Publishing.https://doi.org/10.1063/1.4997180 

Cheng, B., &; Ceriotti, M. (2017). Bridging the gap between atomistic and macroscopic models of homogeneous nucleation. The Journal of Chemical Physics. AIP Publishing.https://doi.org/10.1063/1.4973883 

Riccio, P., Cebrián, C., Zong, H., Hippenmeyer, S., &; Costantini, F. (2017). Data from: Ret and Et promote directed movements of progenitor cells during renal branching morphogenesis. Dryad.https://doi.org/10.5061/dryad.pk16b 

Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S.,https://doi.org/10.1371/journal.pgen.1007122.s018__Ackermann, M. (2017). Source data for figures and tables. Public Library of Science.https://doi.org/10.1371/journal.pgen.1007122.s018 

Ayala, A., Pellicciotti, F., MacDonell, S., McPhee, J., &; Burlando, P. (2017). Patterns of glacier ablation across North-Central Chile: Identifying the limits of empirical melt models under sublimation-favorable conditions. Water Resources Research. American Geophysical Union.https://doi.org/10.1002/2016wr020126 

MILES, E. S., WILLIS, I. C., ARNOLD, N. S., STEINER, J., &; Pellicciotti, F. (2017). Spatial, seasonal and interannual variability of supraglacial ponds in the Langtang Valley of Nepal, 1999–2013. Journal of Glaciology. Cambridge University Press.https://doi.org/10.1017/jog.2016.120 

Miles, E. S., Steiner, J., Willis, I., Buri, P., Immerzeel, W. W., Chesnokova, A., &; Pellicciotti, F. (2017). Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal. Frontiers in Earth Science. Frontiers Media.https://doi.org/10.3389/feart.2017.00069 

AYALA, A., Pellicciotti, F., PELEG, N., &; BURLANDO, P. (2017). Melt and surface sublimation across a glacier in a dry environment: distributed energy-balance modelling of Juncal Norte Glacier, Chile. Journal of Glaciology. Cambridge University Press.https://doi.org/10.1017/jog.2017.46 

SHAW, T. E., BROCK, B. W., AYALA, Á., RUTTER, N., &; Pellicciotti, F. (2017). Centreline and cross-glacier air temperature variability on an Alpine glacier: Assessing temperature distribution methods and their influence on melt model calculations. Journal of Glaciology. Cambridge University Press.https://doi.org/10.1017/jog.2017.65 

Schlögl, A., &; Kiss, J. (2017). Scientific Computing at IST Austria. In AHP – Austrian HPC Meeting 2017 (p. 28). Grundlsee, Austria: FSP Scientific Computing.

Kretinsky, J., Meggendorfer, T., Waldmann, C., &; Weininger, M. (2017). Index appearance record for transforming Rabin automata into parity automata. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 10205, pp. 443–460). Uppsala, Sweden: Springer.https://doi.org/10.1007/978-3-662-54577-5_26 

Udayabhaskararao, T., Altantzis, T., Houben, L., Coronado-Puchau, M., Langer, J., Popovitz-Biro, R.,https://doi.org/10.1126/science.aan6046__Klajn, R. (2017). Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.aan6046 

Sawczyk, M., &; Klajn, R. (2017). Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles. Journal of the American Chemical Society. American Chemical Society.https://doi.org/10.1021/jacs.7b09111 

Ahrens, J., Bian, T., Vexler, T., &; Klajn, R. (2017). Irreversible bleaching of donor-acceptor stenhouse adducts on the surfaces of magnetite nanoparticles. ChemPhotoChem. Wiley.https://doi.org/10.1002/cptc.201700009 

Samanta, D., &; Klajn, R. (2017). Clathrates grow up. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.aam7927 

van Esch, J. H., Klajn, R., &; Otto, S. (2017). Chemical systems out of equilibrium. Chemical Society Reviews. Royal Society of Chemistry.https://doi.org/10.1039/c7cs90088k 

Zapartas, E., de Mink, S. E., Izzard, R. G., Yoon, S.-C., Badenes, C., Götberg, Y. L. L.,https://doi.org/10.1051/0004-6361/201629685__Shrotriya, T. S. (2017). Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction. Astronomy &; Astrophysics. EDP Sciences.https://doi.org/10.1051/0004-6361/201629685 

Götberg, Y. L. L., de Mink, S. E., &; Groh, J. H. (2017). Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity. Astronomy &; Astrophysics. EDP Sciences.https://doi.org/10.1051/0004-6361/201730472 

Baykusheva, D. R., Brennecke, S., Lein, M., &; Wörner, H. J. (2017). Signatures of electronic structure in bicircular high-harmonic spectroscopy. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.119.203201 

Baykusheva, D. R., Brennecke, S., Lein, M., &; Wörner, H. J. (2017). Signatures of electronic structure in bicircular high-harmonic spectroscopy. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.119.203201 

Walt, S. G., Bhargava Ram, N., Atala, M., Shvetsov-Shilovski, N. I., von Conta, A., Baykusheva, D. R.,https://doi.org/10.1038/ncomms15651__Wörner, H. J. (2017). Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering. Nature Communications. Springer Nature.https://doi.org/10.1038/ncomms15651 

Pertot, Y., Schmidt, C., Matthews, M., Chauvet, A., Huppert, M., Svoboda, V.,https://doi.org/10.1126/science.aah6114__Wörner, H. J. (2017). Time-resolved x-ray absorption spectroscopy with a water window high-harmonic source. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.aah6114 

Baykusheva, D. R., &; Wörner, H. J. (2017). Theory of attosecond delays in molecular photoionization. The Journal of Chemical Physics. AIP Publishing.https://doi.org/10.1063/1.4977933 

Jordan, I., Huppert, M., Pabst, S., Kheifets, A. S., Baykusheva, D. R., &; Wörner, H. J. (2017). Spin-orbit delays in photoemission. Physical Review A. American Physical Society.https://doi.org/10.1103/physreva.95.013404 

Baykusheva, D. R., &; Wörner, H. J. (2017). Comment on ‘Time delays in molecular photoionization.’ Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing.https://doi.org/10.1088/1361-6455/aa62b5 

Avni, G., Henzinger, T. A., &; Chonev, V. K. (2017). Infinite-duration bidding games (Vol. 85). Presented at the CONCUR: Concurrency Theory, Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2017.21 

Lubiw, A., Masárová, Z., &; Wagner, U. (2017). A proof of the orbit conjecture for flipping edge labelled triangulations (Vol. 77). Presented at the SoCG: Symposium on Computational Geometry, Brisbane, Australia: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SoCG.2017.49 

Daca, P. (2017). Statistical and logical methods for property checking. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:TH_730 

Payne, P. (2017). Bacterial herd and social immunity to phages. Institute of Science and Technology Austria.

Pleska, M., &; Guet, C. C. (2017). Effects of mutations in phage restriction sites during escape from restriction–modification. Biology Letters. The Royal Society.https://doi.org/10.1098/rsbl.2017.0646 

Mitosch, K. (2017). Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_862 

Mitosch, K., Rieckh, G., &; Bollenbach, M. T. (2017). Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment. Cell Systems. Cell Press.https://doi.org/10.1016/j.cels.2017.03.001 

Pavlogiannis, A. (2017). Algorithmic advances in program analysis and their applications. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_854 

Jesse, F. (2017). The lac operon in the wild. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_857 

Rybar, M. (2017). (The exact security of) Message authentication codes. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_828 

Gazi, P., Pietrzak, K. Z., &; Rybar, M. (2017). The exact security of PMAC. IACR Transactions on Symmetric Cryptology. Ruhr University Bochum.https://doi.org/10.13154/TOSC.V2016.I2.145-161 

Xu, H. (2017). Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_858 

Adamowski, M. (2017). Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_842 

Rolinek, M. (2017). Complexity of constraint satisfaction. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_815 

Edelsbrunner, H., Nikitenko, A., &; Reitzner, M. (2017). Expected sizes of poisson Delaunay mosaics and their discrete Morse functions. Advances in Applied Probability. Cambridge University Press.https://doi.org/10.1017/apr.2017.20 

Abusalah, H. M., Alwen, J. F., Cohen, B., Khilko, D., Pietrzak, K. Z., &; Reyzin, L. (2017). Beyond Hellman’s time-memory trade-offs with applications to proofs of space (Vol. 10625, pp. 357–379). Presented at the ASIACRYPT: Theory and Applications of Cryptology and Information Security, Hong Kong, China: Springer.https://doi.org/10.1007/978-3-319-70697-9_13 

Alt, J. (2017). Singularities of the density of states of random Gram matrices. Electronic Communications in Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/17-ECP97 

Bogomolov, S., Giacobbe, M., Henzinger, T. A., &; Kong, H. (2017). Conic abstractions for hybrid systems (Vol. 10419, pp. 116–132). Presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany: Springer.https://doi.org/10.1007/978-3-319-65765-3_7 

Bogomolov, S., Frehse, G., Giacobbe, M., &; Henzinger, T. A. (2017). Counterexample guided refinement of template polyhedra (Vol. 10205, pp. 589–606). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden: Springer.https://doi.org/10.1007/978-3-662-54577-5_34 

Erdös, L., &; Schröder, D. J. (2017). Fluctuations of functions of Wigner matrices. Electronic Communications in Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/16-ECP38 

Elek, O., Sumin, D., Zhang, R., Weyrich, T., Myszkowski, K., Bickel, B.,https://doi.org/10.1145/3130800.3130890__Krivanek, J. (2017). Scattering-aware texture reproduction for 3D printing. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/3130800.3130890 

Jafargholi, Z., Kamath Hosdurg, C., Klein, K., Komargodski, I., Pietrzak, K. Z., &; Wichs, D. (2017). Be adaptive avoid overcommitting. In J. Katz &; H. Shacham (Eds.) (Vol. 10401, pp. 133–163). Presented at the CRYPTO: Cryptology, Santa Barbara, CA, United States: Springer.https://doi.org/10.1007/978-3-319-63688-7_5 

Etheridge, A., &; Barton, N. H. (2017). Data for: Establishment in a new habitat by polygenic adaptation. Mendeley Data.https://doi.org/10.17632/nw68fxzjpm.1 

Locatello, F., Tschannen, M., Rätsch, G., &; Jaggi, M. (2017). Greedy algorithms for cone constrained optimization with convergence guarantees. In Advances in Neural Information Processing Systems. Long Beach, CA, United States.

Locatello, F., Khanna, R., Tschannen, M., &; Jaggi, M. (2017). A unified optimization view on generalized matching pursuit and Frank-Wolfe. In Proceedings of the 20th International Conference on Artificial Intelligence and Statistics (Vol. 54, pp. 860–868). Fort Lauderdale, FL, United States: ML Research Press.

Pleska, M. (2017). Biology of restriction-modification systems at the single-cell and population level. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_916 

Nikitenko, A. (2017). Discrete Morse theory for random complexes . Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_873 

Prat, T. (2017). Identification of novel regulators of PIN polarity and development of novel auxin sensor. Institute of Science and Technology Austria.

Martin Del Campo Sanchez, A., Cepeda Humerez, S. A., &; Uhler, C. (2017). Exact goodness-of-fit testing for the Ising model. Scandinavian Journal of Statistics. Wiley-Blackwell.https://doi.org/10.1111/sjos.12251 

Bao, Z., &; Erdös, L. (2017). Delocalization for a class of random block band matrices. Probability Theory and Related Fields. Springer.https://doi.org/10.1007/s00440-015-0692-y 

Bauer, U., Kerber, M., Reininghaus, J., &; Wagner, H. (2017). Phat - Persistent homology algorithms toolbox. Journal of Symbolic Computation. Academic Press.https://doi.org/10.1016/j.jsc.2016.03.008 

Svoreová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cbrná, I., &; Belta, C. (2017). Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. Elsevier.https://doi.org/10.1016/j.nahs.2016.04.006 

Manteaux, P., Wojtan, C., Narain, R., Redon, S., Faure, F., &; Cani, M. (2017). Adaptive physically based models in computer graphics. Computer Graphics Forum. Wiley-Blackwell.https://doi.org/10.1111/cgf.12941 

Cerny, P., Clarke, E., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., Samanta, R., &; Tarrach, T. (2017). From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. Springer.https://doi.org/10.1007/s10703-016-0256-5 

Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., &; Petrov, T. (2017). Model checking the evolution of gene regulatory networks. Acta Informatica. Springer.https://doi.org/10.1007/s00236-016-0278-x 

Paixao, T., Pérez Heredia, J., Sudholt, D., &; Trubenova, B. (2017). Towards a runtime comparison of natural and artificial evolution. Algorithmica. Springer.https://doi.org/10.1007/s00453-016-0212-1 

Ajanki, O. H., Erdös, L., &; Krüger, T. H. (2017). Universality for general Wigner-type matrices. Probability Theory and Related Fields. Springer.https://doi.org/10.1007/s00440-016-0740-2