Extensions of the model
M. Lukacisinova, S. Novak, T. Paixao, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9850
DOI: 10.1371/journal.pcbi.1005609.s002

Supplementary methods
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9846
DOI: 10.1371/journal.pgen.1007122.s016

Sensory noise predicts divisive reshaping of receptive fields
M.J. Chalk, P. Masset, B. Gutkin, S. Denève, PLoS Computational Biology 13 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/680
DOI: 10.1371/journal.pcbi.1005582

Heuristic prediction for multiple stresses
M. Lukacisinova, S. Novak, T. Paixao, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9851
DOI: 10.1371/journal.pcbi.1005609.s003

Resistance frequencies for different combination strategies
M. Lukacisinova, S. Novak, T. Paixao, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9852
DOI: 10.1371/journal.pcbi.1005609.s004

Supplementary appendix
M.J. Chalk, P. Masset, B. Gutkin, S. Denève, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9855
DOI: 10.1371/journal.pcbi.1005582.s001

On the marked length spectrum of generic strictly convex billiard tables
G. Huang, V. Kaloshin, A. Sorrentino, Duke Mathematical Journal 167 (2017) 175–209.
LibreCat: https://research-explorer.ista.ac.at/record/8423
DOI: 10.1215/00127094-2017-0038
arXiv: 1603.08838

Dynamical spectral rigidity among Z2-symmetric strictly convex domains close to a circle
J. De Simoi, V. Kaloshin, Q. Wei, Annals of Mathematics 186 (2017) 277–314.
LibreCat: https://research-explorer.ista.ac.at/record/8427
DOI: 10.4007/annals.2017.186.1.7
arXiv: 1606.00230

RNA binding and chaperone activity of the E.coli cold-shock protein CspA
E. Rennella, T. Sára, M. Juen, C. Wunderlich, L. Imbert, Z. Solyom, A. Favier, I. Ayala, K. Weinhäupl, P. Schanda, R. Konrat, C. Kreutz, B. Brutscher, Nucleic Acids Research 45 (2017) 4255–4268.
LibreCat: https://research-explorer.ista.ac.at/record/8449
DOI: 10.1093/nar/gkx044

Protein conformational dynamics studied by 15N and 1H<1 relaxation dispersion: Application to wild-type and A ubiquitin crystals
D.F. Gauto, A. Hessel, P. Rovó, V. Kurauskas, R. Linser, P. Schanda, Solid State Nuclear Magnetic Resonance 87 (2017) 86–95.
LibreCat: https://research-explorer.ista.ac.at/record/8447
DOI: 10.1016/j.ssnmr.2017.04.002

Optimized fast mixing device for real-time NMR applications
R. Franco, A. Favier, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 281 (2017) 125–129.
LibreCat: https://research-explorer.ista.ac.at/record/8448
DOI: 10.1016/j.jmr.2017.05.016

Proton-detected solid-state NMR spectroscopy of a Zinc diffusion facilitator protein in native nanodiscs
B. Bersch, J.M. Dörr, A. Hessel, J.A. Killian, P. Schanda, Angewandte Chemie International Edition 56 (2017) 2508–2512.
LibreCat: https://research-explorer.ista.ac.at/record/8451
DOI: 10.1002/anie.201610441

Methyl-specific isotope labeling strategies for NMR studies of membrane proteins
V. Kurauskas, P. Schanda, R. Sounier, in:, Membrane Protein Structure and Function Characterization, Springer Nature, 2017, pp. 109–123.
LibreCat: https://research-explorer.ista.ac.at/record/8450
DOI: 10.1007/978-1-4939-7151-0_6

A survey of precipitation-induced atmospheric cold pools over oceans and their interactions with the larger-scale environment
P. Zuidema, G. Torri, C.J. Muller, A. Chandra, Surveys in Geophysics 38 (2017) 1283–1305.
LibreCat: https://research-explorer.ista.ac.at/record/9137
DOI: 10.1007/s10712-017-9447-x

Observing convective aggregation
C.E. Holloway, A.A. Wing, S. Bony, C.J. Muller, H. Masunaga, T.S. L’Ecuyer, D.D. Turner, P. Zuidema, Surveys in Geophysics 38 (2017) 1199–1236.
LibreCat: https://research-explorer.ista.ac.at/record/9138
DOI: 10.1007/s10712-017-9419-1

Convective self-aggregation in numerical simulations: A review
A.A. Wing, K. Emanuel, C.E. Holloway, C.J. Muller, Surveys in Geophysics 38 (2017) 1173–1197.
LibreCat: https://research-explorer.ista.ac.at/record/9139
DOI: 10.1007/s10712-017-9408-4

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

Identity and dynamics of mammary stem cells during branching morphogenesis
C. Scheele, E.B. Hannezo, M. Muraro, A. Zomer, N. Langedijk, A. Van Oudenaarden, B. Simons, J. Van Rheenen, Nature 542 (2017) 313–317.
LibreCat: https://research-explorer.ista.ac.at/record/934
DOI: 10.1038/nature21046

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

Transmission of cytokinesis forces via E cadherin dilution and actomyosin flows
D. Pinheiro, E.B. Hannezo, S. Herszterg, F. Bosveld, I. Gaugué, M. Balakireva, Z. Wang, I. Cristo, S. Rigaud, O. Markova, Y. Bellaïche, Nature 545 (2017) 103–107.
LibreCat: https://research-explorer.ista.ac.at/record/937
DOI: 10.1038/nature22041

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

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

Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment
J. Mitchell, W. Zhang, M. Herde, C. Henneberger, H.L. Janovjak, M. O’Mara, C. Jackson, in:, V. Stein (Ed.), Synthetic Protein Switches, Springer, 2017, pp. 89–99.
LibreCat: https://research-explorer.ista.ac.at/record/958
DOI: 10.1007/978-1-4939-6940-1_6

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

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

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

Source data for figures and tables
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9844
DOI: 10.1371/journal.pgen.1007122.s018

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

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

Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal
E.S. Miles, J. Steiner, I. Willis, P. Buri, W.W. Immerzeel, A. Chesnokova, F. Pellicciotti, Frontiers in Earth Science 5 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/12610
DOI: 10.3389/feart.2017.00069

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

Centreline and cross-glacier air temperature variability on an Alpine glacier: Assessing temperature distribution methods and their influence on melt model calculations
T.E. SHAW, B.W. BROCK, Á. AYALA, N. RUTTER, F. Pellicciotti, Journal of Glaciology 63 (2017) 973–988.
LibreCat: https://research-explorer.ista.ac.at/record/12608
DOI: 10.1017/jog.2017.65

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

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

Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices
T. Udayabhaskararao, T. Altantzis, L. Houben, M. Coronado-Puchau, J. Langer, R. Popovitz-Biro, L.M. Liz-Marzán, L. Vukovi, P. Král, S. Bals, R. Klajn, Science 358 (2017) 514–518.
LibreCat: https://research-explorer.ista.ac.at/record/13381
DOI: 10.1126/science.aan6046
PMID: 29074773

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

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

Clathrates grow up
D. Samanta, R. Klajn, Science 355 (2017) 912–912.
LibreCat: https://research-explorer.ista.ac.at/record/13384
DOI: 10.1126/science.aam7927
PMID: 28254902

Chemical systems out of equilibrium
J.H. van Esch, R. Klajn, S. Otto, Chemical Society Reviews 46 (2017) 5474–5475.
LibreCat: https://research-explorer.ista.ac.at/record/13382
DOI: 10.1039/c7cs90088k
PMID: 28884760

Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction
E. Zapartas, S.E. de Mink, R.G. Izzard, S.-C. Yoon, C. Badenes, Y.L.L. Götberg, A. de Koter, C.J. Neijssel, M. Renzo, A. Schootemeijer, T.S. Shrotriya, Astronomy &; Astrophysics 601 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/13477
DOI: 10.1051/0004-6361/201629685
arXiv: 1701.07032

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

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

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

Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering
S.G. Walt, N. Bhargava Ram, M. Atala, N.I. Shvetsov-Shilovski, A. von Conta, D.R. Baykusheva, M. Lein, H.J. Wörner, Nature Communications 8 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/14005
DOI: 10.1038/ncomms15651
PMID: 28643771

Time-resolved x-ray absorption spectroscopy with a water window high-harmonic source
Y. Pertot, C. Schmidt, M. Matthews, A. Chauvet, M. Huppert, V. Svoboda, A. von Conta, A. Tehlar, D.R. Baykusheva, J.-P. Wolf, H.J. Wörner, Science 355 (2017) 264–267.
LibreCat: https://research-explorer.ista.ac.at/record/14008
DOI: 10.1126/science.aah6114
PMID: 28059713

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

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

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

Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/950
DOI: 10.4230/LIPIcs.CONCUR.2017.21
arXiv: 1705.01433

A proof of the orbit conjecture for flipping edge labelled triangulations
A. Lubiw, Z. Masárová, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/683
DOI: 10.4230/LIPIcs.SoCG.2017.49

Statistical and logical methods for property checking
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

Bacterial herd and social immunity to phages
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

Effects of mutations in phage restriction sites during escape from restriction–modification
M. Pleska, C.C. Guet, Biology Letters 13 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/561
DOI: 10.1098/rsbl.2017.0646
PMID: 29237814

Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics
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

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

Algorithmic advances in program analysis and their applications
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

The lac operon in the wild
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

(The exact security of) Message authentication codes
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

The exact security of PMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, IACR Transactions on Symmetric Cryptology 2016 (2017) 145–161.
LibreCat: https://research-explorer.ista.ac.at/record/6196
DOI: 10.13154/TOSC.V2016.I2.145-161

Reactivation of the hippocampal cognitive map in goal-directed spatial tasks
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

Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana 
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

Complexity of constraint satisfaction
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

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

Beyond Hellman’s time-memory trade-offs with applications to proofs of space
H.M. Abusalah, J.F. Alwen, B. Cohen, D. Khilko, K.Z. Pietrzak, L. Reyzin, in:, Springer, 2017, pp. 357–379.
LibreCat: https://research-explorer.ista.ac.at/record/559
DOI: 10.1007/978-3-319-70697-9_13

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

Conic abstractions for hybrid systems
S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132.
LibreCat: https://research-explorer.ista.ac.at/record/647
DOI: 10.1007/978-3-319-65765-3_7

Counterexample guided refinement of template polyhedra
S. Bogomolov, G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2017, pp. 589–606.
LibreCat: https://research-explorer.ista.ac.at/record/631
DOI: 10.1007/978-3-662-54577-5_34

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

Scattering-aware texture reproduction for 3D printing
O. Elek, D. Sumin, R. Zhang, T. Weyrich, K. Myszkowski, B. Bickel, A. Wilkie, J. Krivanek, ACM Transactions on Graphics 36 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/486
DOI: 10.1145/3130800.3130890

Be adaptive avoid overcommitting
Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K.Z. Pietrzak, D. Wichs, in:, J. Katz, H. Shacham (Eds.), Springer, 2017, pp. 133–163.
LibreCat: https://research-explorer.ista.ac.at/record/637
DOI: 10.1007/978-3-319-63688-7_5

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

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

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

Biology of restriction-modification systems at the single-cell and population level
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

Discrete Morse theory for random complexes 
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

Identification of novel regulators of PIN polarity and development of novel auxin sensor
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

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

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

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

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

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

From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
LibreCat: https://research-explorer.ista.ac.at/record/1338
DOI: 10.1007/s10703-016-0256-5
WoS: 000399888900001

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

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

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

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

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

Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers
N.S. Baranova, M. Loose, in:, A. Echard (Ed.), Cytokinesis, 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

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

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

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

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

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

Lower bounds on key derivation for square-friendly applications
M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1174
DOI: 10.4230/LIPIcs.STACS.2017.57
WoS: 000521077300057

Towards practical attacks on Argon2i and balloon hashing
J.F. Alwen, J. Blocki, in:, IEEE, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1176
DOI: 10.1109/EuroSP.2017.47
WoS: 000424197300011

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

Even delta-matroids and the complexity of planar Boolean CSPs
A. Kazda, V. Kolmogorov, M. Rolinek, in:, SIAM, 2017, pp. 307–326.
LibreCat: https://research-explorer.ista.ac.at/record/1192
DOI: 10.1137/1.9781611974782.20
WoS: 000426965800020

Simulating auxiliary inputs, revisited
M. Skórski, in:, Springer, 2017, pp. 159–179.
LibreCat: https://research-explorer.ista.ac.at/record/1178
DOI: 10.1007/978-3-662-53641-4_7
WoS: 000390176000007

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

Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation
W. Steenackers, P. Klíma, M. Quareshy, I. Cesarino, R. Kumpf, S. Corneillie, P. Araújo, T. Viaene, G. Goeminne, M. Nowack, K. Ljung, J. Friml, J. Blakeslee, O. Novák, E. Zaeímalová, R. Napier, W. Boerjan, B. Vanholme, Plant Physiology 173 (2017) 552–565.
LibreCat: https://research-explorer.ista.ac.at/record/1159
DOI: 10.1104/pp.16.00943
WoS: 000394135800041
PMID: 27837086