Matousek, J., Sedgwick, E., Tancer, M., &; Wagner, U. (2016). Untangling two systems of noncrossing curves. Israel Journal of Mathematics. Springer.https://doi.org/10.1007/s11856-016-1294-9 
LibreCat: https://research-explorer.ista.ac.at/record/1411
DOI: 10.1007/s11856-016-1294-9

Browning, T. D., &; Newton, R. (2016). The proportion of failures of the Hasse norm principle. Mathematika. Cambridge University Press.https://doi.org/10.1112/S0025579315000261 
LibreCat: https://research-explorer.ista.ac.at/record/262
DOI: 10.1112/S0025579315000261

De La Bretèche, R., Browning, T. D., &; Salberger, P. (2016). Counting rational points on the Cayley ruled cubic. European Journal of Mathematics. Springer Nature.https://doi.org/10.1007/s40879-015-0049-1 
LibreCat: https://research-explorer.ista.ac.at/record/263
DOI: 10.1007/s40879-015-0049-1

Bright, M., Browning, T. D., &; Loughran, D. (2016). Failures of weak approximation in families. Compositio Mathematica. Cambridge University Press.https://doi.org/10.1112/S0010437X16007405 
LibreCat: https://research-explorer.ista.ac.at/record/264
DOI: 10.1112/S0010437X16007405

Krenn, S., Pietrzak, K. Z., Wadia, A., &; Wichs, D. (2016). A counterexample to the chain rule for conditional HILL entropy. Computational Complexity. Springer.https://doi.org/10.1007/s00037-015-0120-9 
LibreCat: https://research-explorer.ista.ac.at/record/1479
DOI: 10.1007/s00037-015-0120-9

Meyn, M., Perálvarez, M., Heuer Jungemann, A., Hertog, W., Ibáñez, M., Nafria, R.,https://doi.org/10.1021/acsami.6b02529__Kanaras, A. (2016). Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs. ACS Applied Materials and Interfaces. American Chemical Society.https://doi.org/10.1021/acsami.6b02529 
LibreCat: https://research-explorer.ista.ac.at/record/366
DOI: 10.1021/acsami.6b02529

Mahmood, F., Chan, C., Alpichshev, Z., Gardner, D., Lee, Y., Lee, P., &; Gedik, N. (2016). Selective scattering between Floquet Bloch and Volkov states in a topological insulator. Nature Physics. Nature Publishing Group.https://doi.org/10.1038/nphys3609 
LibreCat: https://research-explorer.ista.ac.at/record/389
DOI: 10.1038/nphys3609

Willmann, K., Sacco, R., Martins, R., Garncarz, W., Krolo, A., Knapp, S.,https://doi.org/10.1021/acs.jproteome.5b01004__Boztug, K. (2016). Expanding the interactome of the noncanonical NF-;aB signaling pathway. Journal of Proteome Research. American Chemical Society.https://doi.org/10.1021/acs.jproteome.5b01004 
LibreCat: https://research-explorer.ista.ac.at/record/460
DOI: 10.1021/acs.jproteome.5b01004

Chatterjee, K., &; Ibsen-Jensen, R. (2016). The complexity of deciding legality of a single step of magic: The gathering (Vol. 285, pp. 1432–1439). Presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands: IOS Press.https://doi.org/10.3233/978-1-61499-672-9-1432 
LibreCat: https://research-explorer.ista.ac.at/record/478
DOI: 10.3233/978-1-61499-672-9-1432

Chatterjee, K., &; Doyen, L. (2016). Perfect-information stochastic games with generalized mean-payoff objectives (Vol. 05-08-July-2016, pp. 247–256). Presented at the LICS: Logic in Computer Science, New York, NY, USA: IEEE.https://doi.org/10.1145/2933575.2934513 
LibreCat: https://research-explorer.ista.ac.at/record/480
DOI: 10.1145/2933575.2934513

Burton, B., de Mesmay, A. N., &; Wagner, U. (2016). Finding non-orientable surfaces in 3-manifolds (Vol. 51, p. 24.1-24.15). Presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.https://doi.org/10.4230/LIPIcs.SoCG.2016.24 
LibreCat: https://research-explorer.ista.ac.at/record/1379
DOI: 10.4230/LIPIcs.SoCG.2016.24

Chatterjee, K., Chmelik, M., &; Tracol, M. (2016). What is decidable about partially observable Markov decision processes with <9-regular objectives. Journal of Computer and System Sciences. Elsevier.https://doi.org/10.1016/j.jcss.2016.02.009 
LibreCat: https://research-explorer.ista.ac.at/record/1477
DOI: 10.1016/j.jcss.2016.02.009
arXiv: 1309.2802

Chatterjee, K., Chmelik, M., Gupta, R., &; Kanodia, A. (2016). Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. Elsevier.https://doi.org/10.1016/j.artint.2016.01.007 
LibreCat: https://research-explorer.ista.ac.at/record/1529
DOI: 10.1016/j.artint.2016.01.007
arXiv: 1411.3880

Chatterjee, K., Pavlogiannis, A., &; Velner, Y. (2016). Quantitative interprocedural analysis. IST Austria.https://doi.org/10.15479/AT:IST-2016-523-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/5445
DOI: 10.15479/AT:IST-2016-523-v1-1

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., &; Nowak, M. (2016). Amplification on undirected population structures: Comets beat stars. IST Austria.https://doi.org/10.15479/AT:IST-2016-648-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/5449
DOI: 10.15479/AT:IST-2016-648-v1-1

Anonymous, 1, Anonymous, 2, &; Anonymous, 3. (2016). Termination and worst-case analysis of recursive programs. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/5446

Anonymous, 1, Anonymous, 2, &; Anonymous, 3. (2016). Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/5447

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., &; Nowak, M. (2016). Arbitrarily strong amplifiers of natural selection. IST Austria.https://doi.org/10.15479/AT:IST-2017-749-v3-1 
LibreCat: https://research-explorer.ista.ac.at/record/5453
DOI: 10.15479/AT:IST-2017-749-v3-1

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., &; Nowak, M. (2016). Strong amplifiers of natural selection. IST Austria.https://doi.org/10.15479/AT:IST-2016-728-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/5451
DOI: 10.15479/AT:IST-2016-728-v1-1

Anonymous, 1, Anonymous, 2, Anonymous, 3, &; Anonymous, 4. (2016). Data-centric dynamic partial order reduction. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/5448
arXiv: 1610.01188

Mattei, S., Schur, F. K., &; Briggs, J. A. (2016). Retrovirus maturation—an extraordinary structural transformation. Current Opinion in Virology. Elsevier.https://doi.org/10.1016/j.coviro.2016.02.008 
LibreCat: https://research-explorer.ista.ac.at/record/5771
DOI: 10.1016/j.coviro.2016.02.008

Hosten, O., Krishnakumar, R., Engelsen, N., &; Kasevich, M. (2016). Quantum phase magnification. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.aaf3397 
LibreCat: https://research-explorer.ista.ac.at/record/587
DOI: 10.1126/science.aaf3397

Mondelli, M., Hassani, S. H., &; Urbanke, R. L. (2016). Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors. IEEE Transactions on Information Theory. IEEE.https://doi.org/10.1109/tit.2016.2616117 
LibreCat: https://research-explorer.ista.ac.at/record/6732
DOI: 10.1109/tit.2016.2616117
arXiv: 1501.02444

Kudekar, S., Kumar, S., Mondelli, M., Pfister, H. D., &; Urbankez, R. (2016). Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels. In 2016 IEEE International Symposium on Information Theory  (pp. 1755–1759). Barcelona, Spain: IEEE.https://doi.org/10.1109/isit.2016.7541600 
LibreCat: https://research-explorer.ista.ac.at/record/6733
DOI: 10.1109/isit.2016.7541600
arXiv: 1601.06048

Moll, P. J. W., Potter, A. C., Nair, N. L., Ramshaw, B. J., Modic, K. A., Riggs, S.,https://doi.org/10.1038/ncomms12492__Analytis, J. G. (2016). Magnetic torque anomaly in the quantum limit of Weyl semimetals. Nature Communications. Springer Nature.https://doi.org/10.1038/ncomms12492 
LibreCat: https://research-explorer.ista.ac.at/record/7068
DOI: 10.1038/ncomms12492

Mourad, E., Coustan, L., Lannelongue, P., Zigah, D., Mehdi, A., Vioux, A.,https://doi.org/10.1038/nmat4808__Fontaine, O. (2016). Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors. Nature Materials. Springer Nature.https://doi.org/10.1038/nmat4808 
LibreCat: https://research-explorer.ista.ac.at/record/7279
DOI: 10.1038/nmat4808
arXiv: 1711.11518

Freunberger, S. A. (2016). Batteries: Charging ahead rationally. Nature Energy. Springer Nature.https://doi.org/10.1038/nenergy.2016.74 
LibreCat: https://research-explorer.ista.ac.at/record/7297
DOI: 10.1038/nenergy.2016.74

Tang, Y., Zhao, C.-Y., Tan, S., &; Xue, H.-W. (2016). Arabidopsis type II phosphatidylinositol 4-kinase PK;35 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor AN. PLOS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1006252 
LibreCat: https://research-explorer.ista.ac.at/record/7599
DOI: 10.1371/journal.pgen.1006252

Zhu, Z., Zhang, F., Hu, H., Bakshi, A., Robinson, M. R., Powell, J. E.,https://doi.org/10.1038/ng.3538__Yang, J. (2016). Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets. Nature Genetics. Springer Nature.https://doi.org/10.1038/ng.3538 
LibreCat: https://research-explorer.ista.ac.at/record/7737
DOI: 10.1038/ng.3538

Alistarh, D.-A., Censor Hillel, K., &; Shavit, N. (2016). Are lock free concurrent algorithms practically wait free . Journal of the ACM. ACM.https://doi.org/10.1145/2903136 
LibreCat: https://research-explorer.ista.ac.at/record/786
DOI: 10.1145/2903136
arXiv: 1311.3200

Barron, H. C., Vogels, T. P., Emir, U. E., Makin, T. R., O’Shea, J., Clare, S.,https://doi.org/10.1016/j.neuron.2016.02.031__Behrens, T. E. J. (2016). Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2016.02.031 
LibreCat: https://research-explorer.ista.ac.at/record/8020
DOI: 10.1016/j.neuron.2016.02.031
PMID: 26996082

Martius, G. S., Hostettler, R., Knoll, A., &; Der, R. (2016). Self-organized control of an tendon driven arm by differential extrinsic plasticity. In Proceedings of the Artificial Life Conference 2016 (Vol. 28, pp. 142–143). Cancun, Mexico: MIT Press.https://doi.org/10.7551/978-0-262-33936-0-ch029 
LibreCat: https://research-explorer.ista.ac.at/record/8094
DOI: 10.7551/978-0-262-33936-0-ch029

Clopath, C., Vogels, T. P., Froemke, R. C., &; Sprekeler, H. (2016). Receptive field formation by interacting excitatory and inhibitory synaptic plasticity. bioRxiv. Cold Spring Harbor Laboratory.
LibreCat: https://research-explorer.ista.ac.at/record/8128

Singer, J., Manzano-Szalai, K., Singer, J., Thell, K., Bentley-Lukschal, A., Stremnitzer, C.,https://doi.org/10.1080/2162402x.2016.1171446__Jensen-Jarolim, E. (2016). Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform. OncoImmunology. Taylor &; Francis.https://doi.org/10.1080/2162402x.2016.1171446 
LibreCat: https://research-explorer.ista.ac.at/record/8241
DOI: 10.1080/2162402x.2016.1171446

Kokoris Kogias, E., Jovanovic, P., Gailly, N., Khoffi, I., Gasser, L., &; Ford, B. (2016). Enhancing bitcoin security and performance with strong consistency via collective signing. In Proceedings of the 25th USENIX Conference on Security Symposium (pp. 279–296). Austin, TX, United States: USENIX Association.
LibreCat: https://research-explorer.ista.ac.at/record/8302
arXiv: 1602.06997

Drobinski, P., Alonzo, B., Bastin, S., Silva, N. D., &; Muller, C. J. (2016). Scaling of precipitation extremes with temperature in the French Mediterranean region: What explains the hook shape? Journal of Geophysical Research: Atmospheres. American Geophysical Union.https://doi.org/10.1002/2015jd023497 
LibreCat: https://research-explorer.ista.ac.at/record/9140
DOI: 10.1002/2015jd023497

Krivelevich, M., Kwan, M. A., &; Sudakov, B. (2016). Cycles and matchings in randomly perturbed digraphs and hypergraphs. Combinatorics, Probability and Computing. Cambridge University Press.https://doi.org/10.1017/s0963548316000079 
LibreCat: https://research-explorer.ista.ac.at/record/9591
DOI: 10.1017/s0963548316000079
arXiv: 1501.04816

Prentice, J., Marre, O., Ioffe, M., Loback, A., Tkadik, G., &; Berry, M. (2016). Error-robust modes of the retinal population code. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005148 
LibreCat: https://research-explorer.ista.ac.at/record/1197
DOI: 10.1371/journal.pcbi.1005148

Mcmahon, D., Fürst, M., Caspar, J., Theodorou, P., Brown, M., &; Paxton, R. (2016). Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees. Dryad.https://doi.org/10.5061/dryad.4b565 
LibreCat: https://research-explorer.ista.ac.at/record/9720
DOI: 10.5061/dryad.4b565

Potter, A., Serbyn, M., &; Vishwanath, A. (2016). Thermoelectric transport signatures of Dirac composite fermions in the half-filled Landau level. Physical Review X. American Physical Society.https://doi.org/10.1103/PhysRevX.6.031026 
LibreCat: https://research-explorer.ista.ac.at/record/983
DOI: 10.1103/PhysRevX.6.031026

Campos, L., Taychatanapat, T., Serbyn, M., Surakitbovorn, K., Watanabe, K., Taniguchi, T.,https://doi.org/10.1103/PhysRevLett.117.066601__Jarillo Herrero, P. (2016). Landau Level Splittings, Phase Transitions, and Nonuniform Charge Distribution in Trilayer Graphene. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.117.066601 
LibreCat: https://research-explorer.ista.ac.at/record/985
DOI: 10.1103/PhysRevLett.117.066601

Roux, C., Fraisse, C., Romiguier, J., Anciaux, Y., Galtier, N., &; Bierne, N. (2016). Shedding light on the grey zone of speciation along a continuum of genomic divergence. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.2000234 
LibreCat: https://research-explorer.ista.ac.at/record/1158
DOI: 10.1371/journal.pbio.2000234

Zagórski, M. P., Burda, Z., &; Wacaw, B. (2016). Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005218 
LibreCat: https://research-explorer.ista.ac.at/record/1167
DOI: 10.1371/journal.pcbi.1005218

Bakail, M. M., &; Ochsenbein, F. (2016). Targeting protein–protein interactions, a wide open field for drug design. Comptes Rendus Chimie. Elsevier.https://doi.org/10.1016/j.crci.2015.12.004 
LibreCat: https://research-explorer.ista.ac.at/record/9019
DOI: 10.1016/j.crci.2015.12.004

Davies Wykes, M. S., Palacci, J. A., Adachi, T., Ristroph, L., Zhong, X., Ward, M. D.,https://doi.org/10.1039/c5sm03127c__Shelley, M. J. (2016). Dynamic self-assembly of microscale rotors and swimmers. Soft Matter. Royal Society of Chemistry.https://doi.org/10.1039/c5sm03127c 
LibreCat: https://research-explorer.ista.ac.at/record/9051
DOI: 10.1039/c5sm03127c
PMID: 27121100
arXiv: 1509.06330

Moyses, H., Palacci, J. A., Sacanna, S., &; Grier, D. G. (2016). Trochoidal trajectories of self-propelled Janus particles in a diverging laser beam. Soft Matter. Royal Society of Chemistry .https://doi.org/10.1039/c6sm01163b 
LibreCat: https://research-explorer.ista.ac.at/record/9052
DOI: 10.1039/c6sm01163b
PMID: 27338294
arXiv: 1609.01497

Huff, J. T., Zilberman, D., &; Roy, S. W. (2016). Mechanism for DNA transposons to generate introns on genomic scales. Nature. Springer Nature .https://doi.org/10.1038/nature20110 
LibreCat: https://research-explorer.ista.ac.at/record/9456
DOI: 10.1038/nature20110
PMID: 27760113

Mcmahon, D., Natsopoulou, M., Doublet, V., Fürst, M., Weging, S., Brown, M.,https://doi.org/10.1098/rspb.2016.0811__Paxton, R. (2016). Elevated virulence of an emerging viral genotype as a driver of honeybee loss. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The.https://doi.org/10.1098/rspb.2016.0811 
LibreCat: https://research-explorer.ista.ac.at/record/1262
DOI: 10.1098/rspb.2016.0811

Mcmahon, D., Natsopoulou, M., Doublet, V., Fürst, M., Weging, S., Brown, M.,https://doi.org/10.5061/dryad.cq7t1__Paxton, R. (2016). Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss. Dryad.https://doi.org/10.5061/dryad.cq7t1 
LibreCat: https://research-explorer.ista.ac.at/record/9704
DOI: 10.5061/dryad.cq7t1

Serbyn, M., Michailidis, A., Abanin, D., &; Papi, Z. (2016). Power-law entanglement spectrum in many-body localized phases. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.117.160601 
LibreCat: https://research-explorer.ista.ac.at/record/984
DOI: 10.1103/PhysRevLett.117.160601

Serbyn, M., &; Moore, J. (2016). Spectral statistics across the many-body localization transition. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/PhysRevB.93.041424 
LibreCat: https://research-explorer.ista.ac.at/record/986
DOI: 10.1103/PhysRevB.93.041424

Hilbe, C., Hagel, K., &; Milinski, M. (2016). Asymmetric power boosts extortion in an economic experiment. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0163867 
LibreCat: https://research-explorer.ista.ac.at/record/1322
DOI: 10.1371/journal.pone.0163867

Hillenbrand, P., Gerland, U., &; Tkadik, G. (2016). Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0163628 
LibreCat: https://research-explorer.ista.ac.at/record/1270
DOI: 10.1371/journal.pone.0163628

Boehm, A., Arnoldini, M., Bergmiller, T., Röösli, T., Bigosch, C., &; Ackermann, M. (2016). Genetic manipulation of glycogen allocation affects replicative lifespan in E coli. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1005974 
LibreCat: https://research-explorer.ista.ac.at/record/1250
DOI: 10.1371/journal.pgen.1005974

Dumitrescu, P., Serbyn, M., Scalettar, R., &; Vishwanath, A. (2016). Superconductivity and nematic fluctuations in a model of doped FeSe monolayers: Determinant quantum Monte Carlo study. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/PhysRevB.94.155127 
LibreCat: https://research-explorer.ista.ac.at/record/987
DOI: 10.1103/PhysRevB.94.155127

Carenzo, M., Pellicciotti, F., Mabillard, J., Reid, T., &; Brock, B. W. (2016). An enhanced temperature index model for debris-covered glaciers accounting for thickness effect. Advances in Water Resources. Elsevier.https://doi.org/10.1016/j.advwatres.2016.05.001 
LibreCat: https://research-explorer.ista.ac.at/record/12620
DOI: 10.1016/j.advwatres.2016.05.001

Ragettli, S., Immerzeel, W. W., &; Pellicciotti, F. (2016). Contrasting climate change impact on river flows from high-altitude catchments in the Himalayan and Andes Mountains. PNAS. Proceedings of the National Academy of Sciences.https://doi.org/10.1073/pnas.1606526113 
LibreCat: https://research-explorer.ista.ac.at/record/12618
DOI: 10.1073/pnas.1606526113
PMID: 27482082

Kraaijenbrink, P., Meijer, S. W., Shea, J. M., Pellicciotti, F., De Jong, S. M., &; Immerzeel, W. W. (2016). Seasonal surface velocities of a Himalayan glacier derived by automated correlation of unmanned aerial vehicle imagery. Annals of Glaciology. International Glaciological Society.https://doi.org/10.3189/2016aog71a072 
LibreCat: https://research-explorer.ista.ac.at/record/12625
DOI: 10.3189/2016aog71a072

BRUN, F., BURI, P., MILES, E. S., WAGNON, P., STEINER, J., BERTHIER, E.,https://doi.org/10.1017/jog.2016.54__Pellicciotti, F. (2016). Quantifying volume loss from ice cliffs on debris-covered glaciers using high-resolution terrestrial and aerial photogrammetry. Journal of Glaciology. Cambridge University Press.https://doi.org/10.1017/jog.2016.54 
LibreCat: https://research-explorer.ista.ac.at/record/12619
DOI: 10.1017/jog.2016.54

Heynen, M., Miles, E., Ragettli, S., Buri, P., Immerzeel, W. W., &; Pellicciotti, F. (2016). Air temperature variability in a high-elevation Himalayan catchment. Annals of Glaciology. International Glaciological Society.https://doi.org/10.3189/2016aog71a076 
LibreCat: https://research-explorer.ista.ac.at/record/12622
DOI: 10.3189/2016aog71a076

Miles, E. S., Pellicciotti, F., Willis, I. C., Steiner, J. F., Buri, P., &; Arnold, N. S. (2016). Refined energy-balance modelling of a supraglacial pond, Langtang Khola, Nepal. Annals of Glaciology. International Glaciological Society.https://doi.org/10.3189/2016aog71a421 
LibreCat: https://research-explorer.ista.ac.at/record/12624
DOI: 10.3189/2016aog71a421

Buri, P., Pellicciotti, F., Steiner, J. F., Miles, E. S., &; Immerzeel, W. W. (2016). A grid-based model of backwasting of supraglacial ice cliffs on debris-covered glaciers. Annals of Glaciology. International Glaciological Society.https://doi.org/10.3189/2016aog71a059 
LibreCat: https://research-explorer.ista.ac.at/record/12623
DOI: 10.3189/2016aog71a059

SHAW, T. E., BROCK, B. W., FYFFE, C. L., Pellicciotti, F., RUTTER, N., &; DIOTRI, F. (2016). Air temperature distribution and energy-balance modelling of a debris-covered glacier. Journal of Glaciology. Cambridge University Press.https://doi.org/10.1017/jog.2016.31 
LibreCat: https://research-explorer.ista.ac.at/record/12621
DOI: 10.1017/jog.2016.31

Buri, P., Miles, E. S., Steiner, J. F., Immerzeel, W. W., Wagnon, P., &; Pellicciotti, F. (2016). A physically based 3D model of ice cliff evolution over debriscovered glaciers. Journal of Geophysical Research: Earth Surface. American Geophysical Union.https://doi.org/10.1002/2016jf004039 
LibreCat: https://research-explorer.ista.ac.at/record/12613
DOI: 10.1002/2016jf004039

Ragettli, S., Bolch, T., &; Pellicciotti, F. (2016). Heterogeneous glacier thinning patterns over the last 40 years in Langtang Himal, Nepal. The Cryosphere. Copernicus Publications.https://doi.org/10.5194/tc-10-2075-2016 
LibreCat: https://research-explorer.ista.ac.at/record/12617
DOI: 10.5194/tc-10-2075-2016

Park, K., Kim, M. Y., Vickers, M., Park, J.-S., Hyun, Y., Okamoto, T.,https://doi.org/10.1073/pnas.1619047114__Scholten, S. (2016). DNA demethylation is initiated in the central cells of Arabidopsis and rice. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1619047114 
LibreCat: https://research-explorer.ista.ac.at/record/9477
DOI: 10.1073/pnas.1619047114
PMID: 27956642

Hsieh, P.-H., He, S., Buttress, T., Gao, H., Couchman, M., Fischer, R. L.,https://doi.org/10.1073/pnas.1619074114__Feng, X. (2016). Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation than somatic tissues. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1619074114 
LibreCat: https://research-explorer.ista.ac.at/record/9473
DOI: 10.1073/pnas.1619074114
PMID: 27956643

Schlögl, A., &; Stadlbauer, S. (2016). High performance computing at IST Austria: Modelling the human hippocampus. In AHP - Austrian HPC Meeting 2016 (p. 37). Grundlsee, Austria: VSC - Vienna Scientific Cluster.
LibreCat: https://research-explorer.ista.ac.at/record/12903

Kundu, P. K., Das, S., Ahrens, J., &; Klajn, R. (2016). Controlling the lifetimes of dynamic nanoparticle aggregates by spiropyran functionalization. Nanoscale. Royal Society of Chemistry.https://doi.org/10.1039/c6nr05959g 
LibreCat: https://research-explorer.ista.ac.at/record/13385
DOI: 10.1039/c6nr05959g
PMID: 27830865

Udayabhaskararao, T., Kundu, P. K., Ahrens, J., &; Klajn, R. (2016). Inside cover: Reversible photoisomerization of spiropyran on the surfaces of Au25 nanoclusters (ChemPhysChem 12/2016). ChemPhysChem (Vol. 17, pp. 1711–1711). Wiley.https://doi.org/10.1002/cphc.201600480 
LibreCat: https://research-explorer.ista.ac.at/record/13388
DOI: 10.1002/cphc.201600480

Götberg, Y. L. L., Davies, M. B., Mustill, A. J., Johansen, A., &; Church, R. P. (2016). Long-term stability of the HR 8799 planetary system without resonant lock. Astronomy &; Astrophysics. EDP Sciences.https://doi.org/10.1051/0004-6361/201526309 
LibreCat: https://research-explorer.ista.ac.at/record/13478
DOI: 10.1051/0004-6361/201526309
arXiv: 1606.07819

Avni, G., Henzinger, T. A., &; Kupferman, O. (2016). Dynamic resource allocation games (Vol. 9928, pp. 153–166). Presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom: Springer.https://doi.org/10.1007/978-3-662-53354-3_13 
LibreCat: https://research-explorer.ista.ac.at/record/1341
DOI: 10.1007/978-3-662-53354-3_13

Huppert, M., Jordan, I., Baykusheva, D. R., von Conta, A., &; Wörner, H. J. (2016). Attosecond delays in molecular photoionization. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.117.093001 
LibreCat: https://research-explorer.ista.ac.at/record/14010
DOI: 10.1103/physrevlett.117.093001
PMID: 27610849
arXiv: 1607.07435

Rajeev, R., Hellwagner, J., Schumacher, A., Jordan, I., Huppert, M., Tehlar, A.,https://doi.org/10.1038/lsa.2016.170__Wörner, H. J. (2016). In situ frequency gating and beam splitting of vacuum- and extreme-ultraviolet pulses. Light: Science &; Applications. Springer Nature.https://doi.org/10.1038/lsa.2016.170 
LibreCat: https://research-explorer.ista.ac.at/record/14012
DOI: 10.1038/lsa.2016.170
PMID: 30167130

Wielgoss, S., Bergmiller, T., Bischofberger, A. M., &; Hall, A. R. (2016). Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria. Molecular Biology and Evolution. Oxford University Press.https://doi.org/10.1093/molbev/msv270 
LibreCat: https://research-explorer.ista.ac.at/record/5749
DOI: 10.1093/molbev/msv270
PMID: 26609077

Acar, H. (2016). Selective barriers to horizontal gene transfer. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1121

Edelsbrunner, H., &; Pausinger, F. (2016). Approximation and convergence of the intrinsic volume. Advances in Mathematics. Academic Press.https://doi.org/10.1016/j.aim.2015.10.004 
LibreCat: https://research-explorer.ista.ac.at/record/1662
DOI: 10.1016/j.aim.2015.10.004

Rieckh, G. (2016). Studying the complexities of transcriptional regulation. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1128

Morri, M. (2016). Optical functionalization of human class A orphan G-protein coupled receptors. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1124

Schwarz, J. (2016). Quantitative analysis of haptotactic cell migration. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1129

Pentina, A. (2016). Theoretical foundations of multi-task lifelong learning. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:TH_776 
LibreCat: https://research-explorer.ista.ac.at/record/1126
DOI: 10.15479/AT:ISTA:TH_776

Mabillard, I. (2016). Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1123

Mishra, R. K., Kim, S., Guzmán, J., &; Jonas, P. M. (2016). Symmetric spike timing-dependent plasticity at C–C synapses optimizes storage and recall in autoassociative networks. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms11552 
LibreCat: https://research-explorer.ista.ac.at/record/1432
DOI: 10.1038/ncomms11552

Mishra, R. K. (2016). Synaptic plasticity rules at C-C recurrent synapses in hippocampus. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1396

Novak, S. (2016). Evolutionary proccesses in variable emvironments. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1125

Tarrach, T. (2016). Automatic synthesis of synchronisation primitives for concurrent programs. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:1130 
LibreCat: https://research-explorer.ista.ac.at/record/1130
DOI: 10.15479/at:ista:1130

Daca, P., Henzinger, T. A., Kretinsky, J., &; Petrov, T. (2016). Linear distances between Markov chains (Vol. 59). Presented at the CONCUR: Concurrency Theory, Quebec City; Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2016.20 
LibreCat: https://research-explorer.ista.ac.at/record/1093
DOI: 10.4230/LIPIcs.CONCUR.2016.20

Daca, P., Henzinger, T. A., Kretinsky, J., &; Petrov, T. (2016). Faster statistical model checking for unbounded temporal properties (Vol. 9636, pp. 112–129). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands: Springer.https://doi.org/10.1007/978-3-662-49674-9_7 
LibreCat: https://research-explorer.ista.ac.at/record/1234
DOI: 10.1007/978-3-662-49674-9_7

Daca, P., Gupta, A., &; Henzinger, T. A. (2016). Abstraction-driven concolic testing (Vol. 9583, pp. 328–347). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer.https://doi.org/10.1007/978-3-662-49122-5_16 
LibreCat: https://research-explorer.ista.ac.at/record/1230
DOI: 10.1007/978-3-662-49122-5_16

Daca, P., Henzinger, T. A., &; Kupriyanov, A. (2016). Array folds logic (Vol. 9780, pp. 230–248). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer.https://doi.org/10.1007/978-3-319-41540-6_13 
LibreCat: https://research-explorer.ista.ac.at/record/1391
DOI: 10.1007/978-3-319-41540-6_13

Chatterjee, K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2016). Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs (Vol. 57). Presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik.https://doi.org/10.4230/LIPIcs.ESA.2016.28 
LibreCat: https://research-explorer.ista.ac.at/record/1071
DOI: 10.4230/LIPIcs.ESA.2016.28

Hahn, D., &; Wojtan, C. (2016). Fast approximations for boundary element based brittle fracture simulation (Vol. 35). Presented at the ACM SIGGRAPH, Anaheim, CA, USA: ACM.https://doi.org/10.1145/2897824.2925902 
LibreCat: https://research-explorer.ista.ac.at/record/1362
DOI: 10.1145/2897824.2925902

Abusalah, H. M., Fuchsbauer, G., &; Pietrzak, K. Z. (2016). Offline witness encryption (Vol. 9696, pp. 285–303). Presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK: Springer.https://doi.org/10.1007/978-3-319-39555-5_16 
LibreCat: https://research-explorer.ista.ac.at/record/1229
DOI: 10.1007/978-3-319-39555-5_16

Abusalah, H. M., Fuchsbauer, G., &; Pietrzak, K. Z. (2016). Constrained PRFs for unbounded inputs (Vol. 9610, pp. 413–428). Presented at the CT-RSA: Topics in Cryptology, San Francisco, CA, USA: Springer.https://doi.org/10.1007/978-3-319-29485-8_24 
LibreCat: https://research-explorer.ista.ac.at/record/1236
DOI: 10.1007/978-3-319-29485-8_24

Abusalah, H. M., &; Fuchsbauer, G. (2016). Constrained PRFs for unbounded inputs with short keys (Vol. 9696, pp. 445–463). Presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK: Springer.https://doi.org/10.1007/978-3-319-39555-5_24 
LibreCat: https://research-explorer.ista.ac.at/record/1235
DOI: 10.1007/978-3-319-39555-5_24

Gschaider-Reichhart, E., Inglés Prieto, Á., Tichy, A.-M., Mckenzie, C., &; Janovjak, H. L. (2016). A phytochrome sensory domain permits receptor activation by red light. Angewandte Chemie - International Edition. Wiley.https://doi.org/10.1002/anie.201601736 
LibreCat: https://research-explorer.ista.ac.at/record/1441
DOI: 10.1002/anie.201601736

Friedlander, T., Prizak, R., Guet, C. C., Barton, N. H., &; Tkadik, G. (2016). Intrinsic limits to gene regulation by global crosstalk. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms12307 
LibreCat: https://research-explorer.ista.ac.at/record/1358
DOI: 10.1038/ncomms12307

Dejonghe, W., Kuenen, S., Mylle, E., Vasileva, M. K., Keech, O., Viotti, C.,https://doi.org/10.1038/ncomms11710__Russinova, E. (2016). Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms11710 
LibreCat: https://research-explorer.ista.ac.at/record/1346
DOI: 10.1038/ncomms11710

Watzinger, H., Kloeffel, C., Vukusi, L., Rossell, M., Sessi, V., Kukucka, J.,https://doi.org/10.1021/acs.nanolett.6b02715__Katsaros, G. (2016). Heavy-hole states in germanium hut wires. Nano Letters. American Chemical Society.https://doi.org/10.1021/acs.nanolett.6b02715 
LibreCat: https://research-explorer.ista.ac.at/record/1328
DOI: 10.1021/acs.nanolett.6b02715

Jiang, Y., Liu, H., Song, H., Kong, H., Gu, M., Sun, J., &; Sha, L. (2016). Safety assured formal model driven design of the multifunction vehicle bus controller (Vol. 9995, pp. 757–763). Presented at the FM: International Symposium on Formal Methods, Limassol, Cyprus: Springer.https://doi.org/10.1007/978-3-319-48989-6_47 
LibreCat: https://research-explorer.ista.ac.at/record/1205
DOI: 10.1007/978-3-319-48989-6_47