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 
LibreCat: https://research-explorer.ista.ac.at/record/941
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/9506
DOI: 10.1186/s13059-017-1230-2
PMID: 28486944

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 
LibreCat: https://research-explorer.ista.ac.at/record/958
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/9660
DOI: 10.1063/1.4997180
PMID: 28915742
arXiv: 1703.06062

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 
LibreCat: https://research-explorer.ista.ac.at/record/9661
DOI: 10.1063/1.4973883
PMID: 28109231
arXiv: 1610.01322

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 
LibreCat: https://research-explorer.ista.ac.at/record/9707
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/9844
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/12611
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/12612
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/12610
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/12609
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/12608
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/12905

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 
LibreCat: https://research-explorer.ista.ac.at/record/13160
DOI: 10.1007/978-3-662-54577-5_26
arXiv: 1701.05738

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 
LibreCat: https://research-explorer.ista.ac.at/record/13381
DOI: 10.1126/science.aan6046
PMID: 29074773

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 
LibreCat: https://research-explorer.ista.ac.at/record/13380
DOI: 10.1021/jacs.7b09111
PMID: 29193964

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 
LibreCat: https://research-explorer.ista.ac.at/record/13383
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/13384
DOI: 10.1126/science.aam7927
PMID: 28254902

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 
LibreCat: https://research-explorer.ista.ac.at/record/13382
DOI: 10.1039/c7cs90088k
PMID: 28884760

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 
LibreCat: https://research-explorer.ista.ac.at/record/13477
DOI: 10.1051/0004-6361/201629685
arXiv: 1701.07032

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 
LibreCat: https://research-explorer.ista.ac.at/record/13476
DOI: 10.1051/0004-6361/201730472
arXiv: 1701.07439

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 
LibreCat: https://research-explorer.ista.ac.at/record/14031
DOI: 10.1103/physrevlett.119.203201
PMID: 29219334
arXiv: 1710.04474

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 
LibreCat: https://research-explorer.ista.ac.at/record/14004
DOI: 10.1103/physrevlett.119.203201
arXiv: 1710.04474

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 
LibreCat: https://research-explorer.ista.ac.at/record/14005
DOI: 10.1038/ncomms15651
PMID: 28643771

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 
LibreCat: https://research-explorer.ista.ac.at/record/14008
DOI: 10.1126/science.aah6114
PMID: 28059713

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 
LibreCat: https://research-explorer.ista.ac.at/record/14006
DOI: 10.1063/1.4977933
PMID: 28388142

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 
LibreCat: https://research-explorer.ista.ac.at/record/14009
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/14007
DOI: 10.1088/1361-6455/aa62b5
arXiv: 1611.09352

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 
LibreCat: https://research-explorer.ista.ac.at/record/950
DOI: 10.4230/LIPIcs.CONCUR.2017.21
arXiv: 1705.01433

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 
LibreCat: https://research-explorer.ista.ac.at/record/683
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/1155
DOI: 10.15479/AT:ISTA:TH_730

Payne, P. (2017). Bacterial herd and social immunity to phages. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/6291

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 
LibreCat: https://research-explorer.ista.ac.at/record/561
DOI: 10.1098/rsbl.2017.0646
PMID: 29237814

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 
LibreCat: https://research-explorer.ista.ac.at/record/818
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/666
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/821
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/820
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/838
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6196
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/837
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/938
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/992
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/718
DOI: 10.1017/apr.2017.20
arXiv: 1607.05915

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 
LibreCat: https://research-explorer.ista.ac.at/record/559
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/550
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/647
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/631
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/1144
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/486
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/637
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/9842
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/14206
arXiv: 1705.11041

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

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 
LibreCat: https://research-explorer.ista.ac.at/record/202
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6287
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/1127

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 
LibreCat: https://research-explorer.ista.ac.at/record/2016
DOI: 10.1111/sjos.12251
WoS: 000400985000001
arXiv: 1410.1242

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 
LibreCat: https://research-explorer.ista.ac.at/record/1528
DOI: 10.1007/s00440-015-0692-y
WoS: 000398842700004

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 
LibreCat: https://research-explorer.ista.ac.at/record/1433
DOI: 10.1016/j.jsc.2016.03.008
WoS: 000384396000005

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 
LibreCat: https://research-explorer.ista.ac.at/record/1407
DOI: 10.1016/j.nahs.2016.04.006
WoS: 000390637000014
arXiv: 1410.5387

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 
LibreCat: https://research-explorer.ista.ac.at/record/1367
DOI: 10.1111/cgf.12941
WoS: 000408634200019

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 
LibreCat: https://research-explorer.ista.ac.at/record/1338
DOI: 10.1007/s10703-016-0256-5
WoS: 000399888900001

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 
LibreCat: https://research-explorer.ista.ac.at/record/1351
DOI: 10.1007/s00236-016-0278-x
WoS: 000414343200003

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 
LibreCat: https://research-explorer.ista.ac.at/record/1336
DOI: 10.1007/s00453-016-0212-1
WoS: 000400379500013

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 
LibreCat: https://research-explorer.ista.ac.at/record/1337
DOI: 10.1007/s00440-016-0740-2
WoS: 000414358400002

Brázdil, T., Chatterjee, K., Forejt, V., &; Kudera, A. (2017). Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. Elsevier.https://doi.org/10.1016/j.jcss.2016.09.009 
LibreCat: https://research-explorer.ista.ac.at/record/1294
DOI: 10.1016/j.jcss.2016.09.009
WoS: 000388430000011

Sauerzopf, U., Sacco, R., Novarino, G., Niello, M., Weidenauer, A., Praschak Rieder, N.,https://doi.org/10.1111/ejn.13418__Willeit, M. (2017). Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence. European Journal of Neuroscience. Wiley-Blackwell.https://doi.org/10.1111/ejn.13418 
LibreCat: https://research-explorer.ista.ac.at/record/1228
DOI: 10.1111/ejn.13418
WoS: 000392487100005
PMID: 27690184

Baranova, N. S., &; Loose, M. (2017). Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers. In A. Echard (Ed.), Cytokinesis (Vol. 137, pp. 355–370). Academic Press.https://doi.org/10.1016/bs.mcb.2016.03.036 
LibreCat: https://research-explorer.ista.ac.at/record/1213
DOI: 10.1016/bs.mcb.2016.03.036
WoS: 000403542900022

Moser, T., &; Seiringer, R. (2017). Triviality of a model of particles with point interactions in the thermodynamic limit. Letters in Mathematical Physics. Springer.https://doi.org/10.1007/s11005-016-0915-x 
LibreCat: https://research-explorer.ista.ac.at/record/1198
DOI: 10.1007/s11005-016-0915-x
WoS: 000394280200007

Bao, Z., Erdös, L., &; Schnelli, K. (2017). Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s00220-016-2805-6 
LibreCat: https://research-explorer.ista.ac.at/record/1207
DOI: 10.1007/s00220-016-2805-6
WoS: 000393696700005

Henzinger, T. A., &; Otop, J. (2017). Model measuring for discrete and hybrid systems. Nonlinear Analysis: Hybrid Systems. Elsevier.https://doi.org/10.1016/j.nahs.2016.09.001 
LibreCat: https://research-explorer.ista.ac.at/record/1196
DOI: 10.1016/j.nahs.2016.09.001
WoS: 000390637000011

Barton, N. H. (2017). How does epistasis influence the response to selection? Heredity. Nature Publishing Group.https://doi.org/10.1038/hdy.2016.109 
LibreCat: https://research-explorer.ista.ac.at/record/1199
DOI: 10.1038/hdy.2016.109
WoS: 000392229100011

Zwiernik, P., Uhler, C., &; Richards, D. (2017). Maximum likelihood estimation for linear Gaussian covariance models. Journal of the Royal Statistical Society. Series B: Statistical Methodology. Wiley-Blackwell.https://doi.org/10.1111/rssb.12217 
LibreCat: https://research-explorer.ista.ac.at/record/1208
DOI: 10.1111/rssb.12217
WoS: 000411712300012

Skórski, M. (2017). Lower bounds on key derivation for square-friendly applications (Vol. 66). Presented at the STACS: Symposium on Theoretical Aspects of Computer Science, Hannover, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.STACS.2017.57 
LibreCat: https://research-explorer.ista.ac.at/record/1174
DOI: 10.4230/LIPIcs.STACS.2017.57
WoS: 000521077300057

Alwen, J. F., &; Blocki, J. (2017). Towards practical attacks on Argon2i and balloon hashing. Presented at the EuroS&;P: European Symposium on Security and Privacy, Paris, France: IEEE.https://doi.org/10.1109/EuroSP.2017.47 
LibreCat: https://research-explorer.ista.ac.at/record/1176
DOI: 10.1109/EuroSP.2017.47
WoS: 000424197300011

Kiltz, E., Pietrzak, K. Z., Venturi, D., Cash, D., &; Jain, A. (2017). Efficient authentication from hard learning problems. Journal of Cryptology. Springer.https://doi.org/10.1007/s00145-016-9247-3 
LibreCat: https://research-explorer.ista.ac.at/record/1187
DOI: 10.1007/s00145-016-9247-3
WoS: 000410788600007

Kazda, A., Kolmogorov, V., &; Rolinek, M. (2017). Even delta-matroids and the complexity of planar Boolean CSPs (pp. 307–326). Presented at the SODA: Symposium on Discrete Algorithms, Barcelona, Spain: SIAM.https://doi.org/10.1137/1.9781611974782.20 
LibreCat: https://research-explorer.ista.ac.at/record/1192
DOI: 10.1137/1.9781611974782.20
WoS: 000426965800020

Skórski, M. (2017). Simulating auxiliary inputs, revisited (Vol. 9985, pp. 159–179). Presented at the TCC: Theory of Cryptography Conference, Springer.https://doi.org/10.1007/978-3-662-53641-4_7 
LibreCat: https://research-explorer.ista.ac.at/record/1178
DOI: 10.1007/978-3-662-53641-4_7
WoS: 000390176000007

Akopyan, A., Bárány, I., &; Robins, S. (2017). Algebraic vertices of non-convex polyhedra. Advances in Mathematics. Academic Press.https://doi.org/10.1016/j.aim.2016.12.026 
LibreCat: https://research-explorer.ista.ac.at/record/1180
DOI: 10.1016/j.aim.2016.12.026
WoS: 000409292900015

Steenackers, W., Klíma, P., Quareshy, M., Cesarino, I., Kumpf, R., Corneillie, S.,https://doi.org/10.1104/pp.16.00943__Vanholme, B. (2017). Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation. Plant Physiology. American Society of Plant Biologists.https://doi.org/10.1104/pp.16.00943 
LibreCat: https://research-explorer.ista.ac.at/record/1159
DOI: 10.1104/pp.16.00943
WoS: 000394135800041
PMID: 27837086

Novak, S., &; Kollár, R. (2017). Spatial gene frequency waves under genotype dependent dispersal. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.116.193946 
LibreCat: https://research-explorer.ista.ac.at/record/1169
DOI: 10.1534/genetics.116.193946
WoS: 000393677300025

Altmeyer, S., Do, Y., &; Lai, Y. (2017). Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio. Scientific Reports. Nature Publishing Group.https://doi.org/10.1038/srep40012 
LibreCat: https://research-explorer.ista.ac.at/record/1160
DOI: 10.1038/srep40012
WoS: 000391269700001

Spaek, J., Zegrodnik, M., &; Kaczmarczyk, J. (2017). Universal properties of high temperature superconductors from real space pairing t-J-U model and its quantitative comparison with experiment. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/PhysRevB.95.024506 
LibreCat: https://research-explorer.ista.ac.at/record/1162
DOI: 10.1103/PhysRevB.95.024506
WoS: 000391852800006

Gajda-Zagorska, E. P., Schaefer, R., Smoka, M., Pardo, D., &; Alvarez Aramberri, J. (2017). A multi objective memetic inverse solver reinforced by local optimization methods. Journal of Computational Science. Elsevier.https://doi.org/10.1016/j.jocs.2016.06.007 
LibreCat: https://research-explorer.ista.ac.at/record/1152
DOI: 10.1016/j.jocs.2016.06.007
WoS: 000393528700009

Perrone, E., Rappold, A., &; Müller, W. (2017). D inf s optimality in copula models. Statistical Methods and Applications. Springer.https://doi.org/10.1007/s10260-016-0375-6 
LibreCat: https://research-explorer.ista.ac.at/record/1168
DOI: 10.1007/s10260-016-0375-6
WoS: 000407973200004

Wysokiski, M., &; Kaczmarczyk, J. (2017). Unconventional superconductivity in generalized Hubbard model role of electron–hole symmetry breaking terms. Journal of Physics: Condensed Matter. IOP Publishing Ltd.https://doi.org/10.1088/1361-648X/aa532f 
LibreCat: https://research-explorer.ista.ac.at/record/1163
DOI: 10.1088/1361-648X/aa532f
WoS: 000393955500001

Edelsbrunner, H., Glazyrin, A., Musin, O., &; Nikitenko, A. (2017). The Voronoi functional is maximized by the Delaunay triangulation in the plane. Combinatorica. Springer.https://doi.org/10.1007/s00493-016-3308-y 
LibreCat: https://research-explorer.ista.ac.at/record/1173
DOI: 10.1007/s00493-016-3308-y
WoS: 000418056000005

Müller, J., &; Sixt, M. K. (2017). Cell migration: Making the waves. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2016.11.035 
LibreCat: https://research-explorer.ista.ac.at/record/1161
DOI: 10.1016/j.cub.2016.11.035
WoS: 000391902500010

Avni, G., Goel, S., Henzinger, T. A., &; Rodríguez Navas, G. (2017). Computing scores of forwarding schemes in switched networks with probabilistic faults (Vol. 10206, pp. 169–187). 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-54580-5_10 
LibreCat: https://research-explorer.ista.ac.at/record/1116
DOI: 10.1007/978-3-662-54580-5_10
WoS: 000440733400010

Gan, J., Weng, S.-M., Pernia-Andrade, A., Csicsvari, J. L., &; Jonas, P. M. (2017). Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2016.12.018 
LibreCat: https://research-explorer.ista.ac.at/record/1118
DOI: 10.1016/j.neuron.2016.12.018
WoS: 000396428200010

Chen, C., Arai,https://doi.org/10.1016/j.celrep.2016.12.067__itaru, Satterield, R., Young, S., &; Jonas, P. M. (2017). Synaptotagmin 2 is the fast C+ sensor at a central inhibitory synapse. Cell Reports. Cell Press.https://doi.org/10.1016/j.celrep.2016.12.067 
LibreCat: https://research-explorer.ista.ac.at/record/1117
DOI: 10.1016/j.celrep.2016.12.067
WoS: 000396470600013

O’Neill, J., Boccara, C. N., Stella, F., Schönenberger, P., &; Csicsvari, J. L. (2017). Superficial layers of the medial entorhinal cortex replay independently of the hippocampus. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.aag2787 
LibreCat: https://research-explorer.ista.ac.at/record/1132
DOI: 10.1126/science.aag2787
WoS: 000391743700044

Li, X., Seiringer, R., &; Lemeshko, M. (2017). Angular self-localization of impurities rotating in a bosonic bath. Physical Review A. American Physical Society.https://doi.org/10.1103/PhysRevA.95.033608 
LibreCat: https://research-explorer.ista.ac.at/record/1120
DOI: 10.1103/PhysRevA.95.033608
WoS: 000395981900009

Yakaboylu, E., &; Lemeshko, M. (2017). Anomalous screening of quantum impurities by a neutral environment. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.118.085302 
LibreCat: https://research-explorer.ista.ac.at/record/1133
DOI: 10.1103/PhysRevLett.118.085302
WoS: 000394667600003

Lemeshko, M. (2017). Quasiparticle approach to molecules interacting with quantum solvents. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.118.095301 
LibreCat: https://research-explorer.ista.ac.at/record/1119
DOI: 10.1103/PhysRevLett.118.095301
WoS: 000404769200006

Kuhn, B., Nodzyski, T., Errafi, S., Bucher, R., Gupta, S., Aryal, B.,https://doi.org/10.1038/srep41906__Ringli, C. (2017). Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity. Scientific Reports. Nature Publishing Group.https://doi.org/10.1038/srep41906 
LibreCat: https://research-explorer.ista.ac.at/record/1110
DOI: 10.1038/srep41906
WoS: 000393367600001

Deny, S., Ferrari, U., Mace, E., Yger, P., Caplette, R., Picaud, S.,https://doi.org/10.1038/s41467-017-02159-y__Marre, O. (2017). Multiplexed computations in retinal ganglion cells of a single type. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/s41467-017-02159-y 
LibreCat: https://research-explorer.ista.ac.at/record/1104
DOI: 10.1038/s41467-017-02159-y
WoS: 000417241200004

Breuss, M., Hansen, A. H., Landler, L., &; Keays, D. (2017). Brain specific knockin of the pathogenic Tubb5 1K allele causes defects in motor coordination and prepulse inhibition. Behavioural Brain Research. Elsevier.https://doi.org/10.1016/j.bbr.2017.01.029 
LibreCat: https://research-explorer.ista.ac.at/record/1107
DOI: 10.1016/j.bbr.2017.01.029
WoS: 000397369100007

Fink, J. M., Dombi, A., Vukics, A., Wallraff, A., &; Domokos, P. (2017). Observation of the photon blockade breakdown phase transition. Physical Review X. American Physical Society.https://doi.org/10.1103/PhysRevX.7.011012 
LibreCat: https://research-explorer.ista.ac.at/record/1114
DOI: 10.1103/PhysRevX.7.011012
WoS: 000397450500001

Heredia, J., Trubenova, B., Sudholt, D., &; Paixao, T. (2017). Selection limits to adaptive walks on correlated landscapes. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.116.189340 
LibreCat: https://research-explorer.ista.ac.at/record/1111
DOI: 10.1534/genetics.116.189340
WoS: 000394144900025
PMID: 27881471