A. A. Wing, K. Emanuel, C. E. Holloway, and C. J. Muller, “Convective self-aggregation in numerical simulations: A review,” Surveys in Geophysics, vol. 38, no. 6. Springer Nature, pp. 1173–1197, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9139
DOI: 10.1007/s10712-017-9408-4

O. Richet, C. J. Muller, and J.-M. Chomaz, “Impact of a mean current on the internal tide energy dissipation at the critical latitude,” Journal of Physical Oceanography, vol. 47, no. 6. American Meteorological Society, pp. 1457–1472, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9152
DOI: 10.1175/jpo-d-16-0197.1

C. Scheele et al., “Identity and dynamics of mammary stem cells during branching morphogenesis,” Nature, vol. 542, no. 7641. Nature Publishing Group, pp. 313–317, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/934
DOI: 10.1038/nature21046

J. Sedzinski, E. B. Hannezo, F. Tu, M. Biro, and J. Wallingford, “RhoA regulates actin network dynamics during apical surface emergence in multiciliated epithelial cells ,” Journal of Cell Science, vol. 130, no. 5. Company of Biologists, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/936
DOI: 10.1242/jcs.202234

D. Pinheiro et al., “Transmission of cytokinesis forces via E cadherin dilution and actomyosin flows,” Nature, vol. 545, no. 7652. Nature Publishing Group, pp. 103–107, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/937
DOI: 10.1038/nature22041

X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “JFIX: Semantics-based repair of Java programs via symbolic  PathFinder,” in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, United States, 2017, pp. 376–379.
LibreCat: https://research-explorer.ista.ac.at/record/941
DOI: 10.1145/3092703.3098225

D. Zilberman, “An evolutionary case for functional gene body methylation in plants and animals,” Genome Biology, vol. 18, no. 1. Springer Nature, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9506
DOI: 10.1186/s13059-017-1230-2
PMID: 28486944

J. Mitchell et al., “Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment,” in Synthetic Protein Switches, vol. 1596, V. Stein, Ed. Springer, 2017, pp. 89–99.
LibreCat: https://research-explorer.ista.ac.at/record/958
DOI: 10.1007/978-1-4939-6940-1_6

B. Cheng, G. A. Tribello, and M. Ceriotti, “The Gibbs free energy of homogeneous nucleation: From atomistic nuclei to the planar limit,” The Journal of Chemical Physics, vol. 147, no. 10. AIP Publishing, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9660
DOI: 10.1063/1.4997180
PMID: 28915742
arXiv: 1703.06062

B. Cheng and M. Ceriotti, “Bridging the gap between atomistic and macroscopic models of homogeneous nucleation,” The Journal of Chemical Physics, vol. 146, no. 3. AIP Publishing, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9661
DOI: 10.1063/1.4973883
PMID: 28109231
arXiv: 1610.01322

P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, and F. Costantini, “Data from: Ret and Et promote directed movements of progenitor cells during renal branching morphogenesis.” Dryad, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9707
DOI: 10.5061/dryad.pk16b

N. Nikolic et al., “Source data for figures and tables.” Public Library of Science, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9844
DOI: 10.1371/journal.pgen.1007122.s018

A. Ayala, F. Pellicciotti, S. MacDonell, J. McPhee, and P. Burlando, “Patterns of glacier ablation across North-Central Chile: Identifying the limits of empirical melt models under sublimation-favorable conditions,” Water Resources Research, vol. 53, no. 7. American Geophysical Union, pp. 5601–5625, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/12611
DOI: 10.1002/2016wr020126

E. S. MILES, I. C. WILLIS, N. S. ARNOLD, J. STEINER, and F. Pellicciotti, “Spatial, seasonal and interannual variability of supraglacial ponds in the Langtang Valley of Nepal, 1999–2013,” Journal of Glaciology, vol. 63, no. 237. Cambridge University Press, pp. 88–105, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/12612
DOI: 10.1017/jog.2016.120

E. S. Miles et al., “Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal,” Frontiers in Earth Science, vol. 5. Frontiers Media, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/12610
DOI: 10.3389/feart.2017.00069

A. AYALA, F. Pellicciotti, N. PELEG, and P. BURLANDO, “Melt and surface sublimation across a glacier in a dry environment: distributed energy-balance modelling of Juncal Norte Glacier, Chile,” Journal of Glaciology, vol. 63, no. 241. Cambridge University Press, pp. 803–822, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/12609
DOI: 10.1017/jog.2017.46

T. E. SHAW, B. W. BROCK, Á. AYALA, N. RUTTER, and F. Pellicciotti, “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, vol. 63, no. 242. Cambridge University Press, pp. 973–988, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/12608
DOI: 10.1017/jog.2017.65

A. Schlögl and J. Kiss, “Scientific Computing at IST Austria,” in AHP – Austrian HPC Meeting 2017, Grundlsee, Austria, 2017, p. 28.
LibreCat: https://research-explorer.ista.ac.at/record/12905

J. Kretinsky, T. Meggendorfer, C. Waldmann, and M. Weininger, “Index appearance record for transforming Rabin automata into parity automata,” in Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10205, pp. 443–460.
LibreCat: https://research-explorer.ista.ac.at/record/13160
DOI: 10.1007/978-3-662-54577-5_26
arXiv: 1701.05738

T. Udayabhaskararao et al., “Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices,” Science, vol. 358, no. 6362. American Association for the Advancement of Science, pp. 514–518, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/13381
DOI: 10.1126/science.aan6046
PMID: 29074773

M. Sawczyk and R. Klajn, “Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles,” Journal of the American Chemical Society, vol. 139, no. 49. American Chemical Society, pp. 17973–17978, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/13380
DOI: 10.1021/jacs.7b09111
PMID: 29193964

J. Ahrens, T. Bian, T. Vexler, and R. Klajn, “Irreversible bleaching of donor-acceptor stenhouse adducts on the surfaces of magnetite nanoparticles,” ChemPhotoChem, vol. 1, no. 5. Wiley, pp. 230–236, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/13383
DOI: 10.1002/cptc.201700009

D. Samanta and R. Klajn, “Clathrates grow up,” Science, vol. 355, no. 6328. American Association for the Advancement of Science, pp. 912–912, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/13384
DOI: 10.1126/science.aam7927
PMID: 28254902

J. H. van Esch, R. Klajn, and S. Otto, “Chemical systems out of equilibrium,” Chemical Society Reviews, vol. 46, no. 18. Royal Society of Chemistry, pp. 5474–5475, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/13382
DOI: 10.1039/c7cs90088k
PMID: 28884760

E. Zapartas et al., “Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction,” Astronomy &; Astrophysics, vol. 601, no. A&;A. EDP Sciences, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/13477
DOI: 10.1051/0004-6361/201629685
arXiv: 1701.07032

Y. L. L. Götberg, S. E. de Mink, and J. H. Groh, “Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity,” Astronomy &; Astrophysics, vol. 608. EDP Sciences, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/13476
DOI: 10.1051/0004-6361/201730472
arXiv: 1701.07439

D. R. Baykusheva, S. Brennecke, M. Lein, and H. J. Wörner, “Signatures of electronic structure in bicircular high-harmonic spectroscopy,” Physical Review Letters, vol. 119, no. 20. American Physical Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/14031
DOI: 10.1103/physrevlett.119.203201
PMID: 29219334
arXiv: 1710.04474

D. R. Baykusheva, S. Brennecke, M. Lein, and H. J. Wörner, “Signatures of electronic structure in bicircular high-harmonic spectroscopy,” Physical Review Letters, vol. 119, no. 20. American Physical Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/14004
DOI: 10.1103/physrevlett.119.203201
arXiv: 1710.04474

S. G. Walt et al., “Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering,” Nature Communications, vol. 8. Springer Nature, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/14005
DOI: 10.1038/ncomms15651
PMID: 28643771

Y. Pertot et al., “Time-resolved x-ray absorption spectroscopy with a water window high-harmonic source,” Science, vol. 355, no. 6322. American Association for the Advancement of Science, pp. 264–267, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/14008
DOI: 10.1126/science.aah6114
PMID: 28059713

D. R. Baykusheva and H. J. Wörner, “Theory of attosecond delays in molecular photoionization,” The Journal of Chemical Physics, vol. 146, no. 12. AIP Publishing, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/14006
DOI: 10.1063/1.4977933
PMID: 28388142

I. Jordan, M. Huppert, S. Pabst, A. S. Kheifets, D. R. Baykusheva, and H. J. Wörner, “Spin-orbit delays in photoemission,” Physical Review A, vol. 95, no. 1. American Physical Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/14009
DOI: 10.1103/physreva.95.013404

D. R. Baykusheva and H. J. Wörner, “Comment on ‘Time delays in molecular photoionization,’” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 50, no. 7. IOP Publishing, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/14007
DOI: 10.1088/1361-6455/aa62b5
arXiv: 1611.09352

G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” presented at the CONCUR: Concurrency Theory, Berlin, Germany, 2017, vol. 85.
LibreCat: https://research-explorer.ista.ac.at/record/950
DOI: 10.4230/LIPIcs.CONCUR.2017.21
arXiv: 1705.01433

A. Lubiw, Z. Masárová, and U. Wagner, “A proof of the orbit conjecture for flipping edge labelled triangulations,” presented at the SoCG: Symposium on Computational Geometry, Brisbane, Australia, 2017, vol. 77.
LibreCat: https://research-explorer.ista.ac.at/record/683
DOI: 10.4230/LIPIcs.SoCG.2017.49

P. Daca, “Statistical and logical methods for property checking,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1155
DOI: 10.15479/AT:ISTA:TH_730

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

M. Pleska and C. C. Guet, “Effects of mutations in phage restriction sites during escape from restriction–modification,” Biology Letters, vol. 13, no. 12. The Royal Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/561
DOI: 10.1098/rsbl.2017.0646
PMID: 29237814

K. Mitosch, “Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/818
DOI: 10.15479/AT:ISTA:th_862

K. Mitosch, G. Rieckh, and M. T. Bollenbach, “Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment,” Cell Systems, vol. 4, no. 4. Cell Press, pp. 393–403, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/666
DOI: 10.1016/j.cels.2017.03.001

A. Pavlogiannis, “Algorithmic advances in program analysis and their applications,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/821
DOI: 10.15479/AT:ISTA:th_854

F. Jesse, “The lac operon in the wild,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/820
DOI: 10.15479/AT:ISTA:th_857

M. Rybar, “(The exact security of) Message authentication codes,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/838
DOI: 10.15479/AT:ISTA:th_828

P. Gazi, K. Z. Pietrzak, and M. Rybar, “The exact security of PMAC,” IACR Transactions on Symmetric Cryptology, vol. 2016, no. 2. Ruhr University Bochum, pp. 145–161, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6196
DOI: 10.13154/TOSC.V2016.I2.145-161

H. Xu, “Reactivation of the hippocampal cognitive map in goal-directed spatial tasks,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/837
DOI: 10.15479/AT:ISTA:th_858

M. Adamowski, “Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana ,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/938
DOI: 10.15479/AT:ISTA:th_842

M. Rolinek, “Complexity of constraint satisfaction,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/992
DOI: 10.15479/AT:ISTA:th_815

H. Edelsbrunner, A. Nikitenko, and M. Reitzner, “Expected sizes of poisson Delaunay mosaics and their discrete Morse functions,” Advances in Applied Probability, vol. 49, no. 3. Cambridge University Press, pp. 745–767, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/718
DOI: 10.1017/apr.2017.20
arXiv: 1607.05915

H. M. Abusalah, J. F. Alwen, B. Cohen, D. Khilko, K. Z. Pietrzak, and L. Reyzin, “Beyond Hellman’s time-memory trade-offs with applications to proofs of space,” presented at the ASIACRYPT: Theory and Applications of Cryptology and Information Security, Hong Kong, China, 2017, vol. 10625, pp. 357–379.
LibreCat: https://research-explorer.ista.ac.at/record/559
DOI: 10.1007/978-3-319-70697-9_13

J. Alt, “Singularities of the density of states of random Gram matrices,” Electronic Communications in Probability, vol. 22. Institute of Mathematical Statistics, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/550
DOI: 10.1214/17-ECP97

S. Bogomolov, M. Giacobbe, T. A. Henzinger, and H. Kong, “Conic abstractions for hybrid systems,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 116–132.
LibreCat: https://research-explorer.ista.ac.at/record/647
DOI: 10.1007/978-3-319-65765-3_7

S. Bogomolov, G. Frehse, M. Giacobbe, and T. A. Henzinger, “Counterexample guided refinement of template polyhedra,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10205, pp. 589–606.
LibreCat: https://research-explorer.ista.ac.at/record/631
DOI: 10.1007/978-3-662-54577-5_34

L. Erdös and D. J. Schröder, “Fluctuations of functions of Wigner matrices,” Electronic Communications in Probability, vol. 21. Institute of Mathematical Statistics, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1144
DOI: 10.1214/16-ECP38

O. Elek et al., “Scattering-aware texture reproduction for 3D printing,” ACM Transactions on Graphics, vol. 36, no. 6. ACM, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/486
DOI: 10.1145/3130800.3130890

Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K. Z. Pietrzak, and D. Wichs, “Be adaptive avoid overcommitting,” presented at the CRYPTO: Cryptology, Santa Barbara, CA, United States, 2017, vol. 10401, pp. 133–163.
LibreCat: https://research-explorer.ista.ac.at/record/637
DOI: 10.1007/978-3-319-63688-7_5

A. Etheridge and N. H. Barton, “Data for: Establishment in a new habitat by polygenic adaptation.” Mendeley Data, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9842
DOI: 10.17632/nw68fxzjpm.1

F. Locatello, M. Tschannen, G. Rätsch, and M. Jaggi, “Greedy algorithms for cone constrained optimization with convergence guarantees,” in Advances in Neural Information Processing Systems, Long Beach, CA, United States, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/14206
arXiv: 1705.11041

F. Locatello, R. Khanna, M. Tschannen, and M. Jaggi, “A unified optimization view on generalized matching pursuit and Frank-Wolfe,” in Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, Fort Lauderdale, FL, United States, 2017, vol. 54, pp. 860–868.
LibreCat: https://research-explorer.ista.ac.at/record/14205
arXiv: 1702.06457

M. Pleska, “Biology of restriction-modification systems at the single-cell and population level,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/202
DOI: 10.15479/AT:ISTA:th_916

A. Nikitenko, “Discrete Morse theory for random complexes ,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6287
DOI: 10.15479/AT:ISTA:th_873

T. Prat, “Identification of novel regulators of PIN polarity and development of novel auxin sensor,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1127

A. Martin Del Campo Sanchez, S. A. Cepeda Humerez, and C. Uhler, “Exact goodness-of-fit testing for the Ising model,” Scandinavian Journal of Statistics, vol. 44, no. 2. Wiley-Blackwell, pp. 285–306, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/2016
DOI: 10.1111/sjos.12251
WoS: 000400985000001
arXiv: 1410.1242

Z. Bao and L. Erdös, “Delocalization for a class of random block band matrices,” Probability Theory and Related Fields, vol. 167, no. 3–4. Springer, pp. 673–776, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1528
DOI: 10.1007/s00440-015-0692-y
WoS: 000398842700004

U. Bauer, M. Kerber, J. Reininghaus, and H. Wagner, “Phat - Persistent homology algorithms toolbox,” Journal of Symbolic Computation, vol. 78. Academic Press, pp. 76–90, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1433
DOI: 10.1016/j.jsc.2016.03.008
WoS: 000384396000005

M. Svoreová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cbrná, and C. Belta, “Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games,” Nonlinear Analysis: Hybrid Systems, vol. 23, no. 2. Elsevier, pp. 230–253, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1407
DOI: 10.1016/j.nahs.2016.04.006
WoS: 000390637000014
arXiv: 1410.5387

P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, and M. Cani, “Adaptive physically based models in computer graphics,” Computer Graphics Forum, vol. 36, no. 6. Wiley-Blackwell, pp. 312–337, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1367
DOI: 10.1111/cgf.12941
WoS: 000408634200019

P. Cerny et al., “From non-preemptive to preemptive scheduling using synchronization synthesis,” Formal Methods in System Design, vol. 50, no. 2–3. Springer, pp. 97–139, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1338
DOI: 10.1007/s10703-016-0256-5
WoS: 000399888900001

M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking the evolution of gene regulatory networks,” Acta Informatica, vol. 54, no. 8. Springer, pp. 765–787, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1351
DOI: 10.1007/s00236-016-0278-x
WoS: 000414343200003

T. Paixao, J. Pérez Heredia, D. Sudholt, and B. Trubenova, “Towards a runtime comparison of natural and artificial evolution,” Algorithmica, vol. 78, no. 2. Springer, pp. 681–713, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1336
DOI: 10.1007/s00453-016-0212-1
WoS: 000400379500013

O. H. Ajanki, L. Erdös, and T. H. Krüger, “Universality for general Wigner-type matrices,” Probability Theory and Related Fields, vol. 169, no. 3–4. Springer, pp. 667–727, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1337
DOI: 10.1007/s00440-016-0740-2
WoS: 000414358400002

T. Brázdil, K. Chatterjee, V. Forejt, and A. Kudera, “Trading performance for stability in Markov decision processes,” Journal of Computer and System Sciences, vol. 84. Elsevier, pp. 144–170, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1294
DOI: 10.1016/j.jcss.2016.09.009
WoS: 000388430000011

U. Sauerzopf et al., “Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence,” European Journal of Neuroscience, vol. 45, no. 1. Wiley-Blackwell, pp. 45–57, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1228
DOI: 10.1111/ejn.13418
WoS: 000392487100005
PMID: 27690184

N. S. Baranova and M. Loose, “Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers,” in Cytokinesis, vol. 137, A. Echard, Ed. Academic Press, 2017, pp. 355–370.
LibreCat: https://research-explorer.ista.ac.at/record/1213
DOI: 10.1016/bs.mcb.2016.03.036
WoS: 000403542900022

T. Moser and R. Seiringer, “Triviality of a model of particles with point interactions in the thermodynamic limit,” Letters in Mathematical Physics, vol. 107, no. 3. Springer, pp. 533–552, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1198
DOI: 10.1007/s11005-016-0915-x
WoS: 000394280200007

Z. Bao, L. Erdös, and K. Schnelli, “Local law of addition of random matrices on optimal scale,” Communications in Mathematical Physics, vol. 349, no. 3. Springer, pp. 947–990, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1207
DOI: 10.1007/s00220-016-2805-6
WoS: 000393696700005

T. A. Henzinger and J. Otop, “Model measuring for discrete and hybrid systems,” Nonlinear Analysis: Hybrid Systems, vol. 23. Elsevier, pp. 166–190, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1196
DOI: 10.1016/j.nahs.2016.09.001
WoS: 000390637000011

N. H. Barton, “How does epistasis influence the response to selection?,” Heredity, vol. 118. Nature Publishing Group, pp. 96–109, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1199
DOI: 10.1038/hdy.2016.109
WoS: 000392229100011

P. Zwiernik, C. Uhler, and D. Richards, “Maximum likelihood estimation for linear Gaussian covariance models,” Journal of the Royal Statistical Society. Series B: Statistical Methodology, vol. 79, no. 4. Wiley-Blackwell, pp. 1269–1292, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1208
DOI: 10.1111/rssb.12217
WoS: 000411712300012

M. Skórski, “Lower bounds on key derivation for square-friendly applications,” presented at the STACS: Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 2017, vol. 66.
LibreCat: https://research-explorer.ista.ac.at/record/1174
DOI: 10.4230/LIPIcs.STACS.2017.57
WoS: 000521077300057

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

E. Kiltz, K. Z. Pietrzak, D. Venturi, D. Cash, and A. Jain, “Efficient authentication from hard learning problems,” Journal of Cryptology, vol. 30, no. 4. Springer, pp. 1238–1275, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1187
DOI: 10.1007/s00145-016-9247-3
WoS: 000410788600007

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

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

A. Akopyan, I. Bárány, and S. Robins, “Algebraic vertices of non-convex polyhedra,” Advances in Mathematics, vol. 308. Academic Press, pp. 627–644, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1180
DOI: 10.1016/j.aim.2016.12.026
WoS: 000409292900015

W. Steenackers et al., “Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation,” Plant Physiology, vol. 173, no. 1. American Society of Plant Biologists, pp. 552–565, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1159
DOI: 10.1104/pp.16.00943
WoS: 000394135800041
PMID: 27837086

S. Novak and R. Kollár, “Spatial gene frequency waves under genotype dependent dispersal,” Genetics, vol. 205, no. 1. Genetics Society of America, pp. 367–374, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1169
DOI: 10.1534/genetics.116.193946
WoS: 000393677300025

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

J. Spaek, M. Zegrodnik, and J. Kaczmarczyk, “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, vol. 95, no. 2. American Physical Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1162
DOI: 10.1103/PhysRevB.95.024506
WoS: 000391852800006

E. P. Gajda-Zagorska, R. Schaefer, M. Smoka, D. Pardo, and J. Alvarez Aramberri, “A multi objective memetic inverse solver reinforced by local optimization methods,” Journal of Computational Science, vol. 18. Elsevier, pp. 85–94, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1152
DOI: 10.1016/j.jocs.2016.06.007
WoS: 000393528700009

E. Perrone, A. Rappold, and W. Müller, “D inf s optimality in copula models,” Statistical Methods and Applications, vol. 26, no. 3. Springer, pp. 403–418, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1168
DOI: 10.1007/s10260-016-0375-6
WoS: 000407973200004

M. Wysokiski and J. Kaczmarczyk, “Unconventional superconductivity in generalized Hubbard model role of electron–hole symmetry breaking terms,” Journal of Physics: Condensed Matter, vol. 29, no. 8. IOP Publishing Ltd., 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1163
DOI: 10.1088/1361-648X/aa532f
WoS: 000393955500001

H. Edelsbrunner, A. Glazyrin, O. Musin, and A. Nikitenko, “The Voronoi functional is maximized by the Delaunay triangulation in the plane,” Combinatorica, vol. 37, no. 5. Springer, pp. 887–910, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1173
DOI: 10.1007/s00493-016-3308-y
WoS: 000418056000005

J. Müller and M. K. Sixt, “Cell migration: Making the waves,” Current Biology, vol. 27, no. 1. Cell Press, pp. –, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1161
DOI: 10.1016/j.cub.2016.11.035
WoS: 000391902500010

G. Avni, S. Goel, T. A. Henzinger, and G. Rodríguez Navas, “Computing scores of forwarding schemes in switched networks with probabilistic faults,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10206, pp. 169–187.
LibreCat: https://research-explorer.ista.ac.at/record/1116
DOI: 10.1007/978-3-662-54580-5_10
WoS: 000440733400010

J. Gan, S.-M. Weng, A. Pernia-Andrade, J. L. Csicsvari, and P. M. Jonas, “Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo,” Neuron, vol. 93, no. 2. Elsevier, pp. 308–314, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1118
DOI: 10.1016/j.neuron.2016.12.018
WoS: 000396428200010

C. Chen,  itaru Arai, R. Satterield, S. Young, and P. M. Jonas, “Synaptotagmin 2 is the fast C+ sensor at a central inhibitory synapse,” Cell Reports, vol. 18, no. 3. Cell Press, pp. 723–736, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1117
DOI: 10.1016/j.celrep.2016.12.067
WoS: 000396470600013

J. O’Neill, C. N. Boccara, F. Stella, P. Schönenberger, and J. L. Csicsvari, “Superficial layers of the medial entorhinal cortex replay independently of the hippocampus,” Science, vol. 355, no. 6321. American Association for the Advancement of Science, pp. 184–188, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1132
DOI: 10.1126/science.aag2787
WoS: 000391743700044

X. Li, R. Seiringer, and M. Lemeshko, “Angular self-localization of impurities rotating in a bosonic bath,” Physical Review A, vol. 95, no. 3. American Physical Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1120
DOI: 10.1103/PhysRevA.95.033608
WoS: 000395981900009

E. Yakaboylu and M. Lemeshko, “Anomalous screening of quantum impurities by a neutral environment,” Physical Review Letters, vol. 118, no. 8. American Physical Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1133
DOI: 10.1103/PhysRevLett.118.085302
WoS: 000394667600003

M. Lemeshko, “Quasiparticle approach to molecules interacting with quantum solvents,” Physical Review Letters, vol. 118, no. 9. American Physical Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1119
DOI: 10.1103/PhysRevLett.118.095301
WoS: 000404769200006