M. Meyn et al., “Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs,” ACS Applied Materials and Interfaces, vol. 8, no. 30. American Chemical Society, pp. 19579–19586, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/366
DOI: 10.1021/acsami.6b02529

F. Mahmood et al., “Selective scattering between Floquet Bloch and Volkov states in a topological insulator,” Nature Physics, vol. 12, no. 4. Nature Publishing Group, pp. 306–310, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/389
DOI: 10.1038/nphys3609

K. Willmann et al., “Expanding the interactome of the noncanonical NF-;aB signaling pathway,” Journal of Proteome Research, vol. 15, no. 9. American Chemical Society, pp. 2900–2909, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/460
DOI: 10.1021/acs.jproteome.5b01004

K. Chatterjee and R. Ibsen-Jensen, “The complexity of deciding legality of a single step of magic: The gathering,” presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands, 2016, vol. 285, pp. 1432–1439.
LibreCat: https://research-explorer.ista.ac.at/record/478
DOI: 10.3233/978-1-61499-672-9-1432

K. Chatterjee and L. Doyen, “Perfect-information stochastic games with generalized mean-payoff objectives,” presented at the LICS: Logic in Computer Science, New York, NY, USA, 2016, vol. 05-08-July-2016, pp. 247–256.
LibreCat: https://research-explorer.ista.ac.at/record/480
DOI: 10.1145/2933575.2934513

B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces in 3-manifolds,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 24.1-24.15.
LibreCat: https://research-explorer.ista.ac.at/record/1379
DOI: 10.4230/LIPIcs.SoCG.2016.24

K. Chatterjee, M. Chmelik, and M. Tracol, “What is decidable about partially observable Markov decision processes with <9-regular objectives,” Journal of Computer and System Sciences, vol. 82, no. 5. Elsevier, pp. 878–911, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1477
DOI: 10.1016/j.jcss.2016.02.009
arXiv: 1309.2802

K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Optimal cost almost-sure reachability in POMDPs,” Artificial Intelligence, vol. 234. Elsevier, pp. 26–48, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1529
DOI: 10.1016/j.artint.2016.01.007
arXiv: 1411.3880

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

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

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

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

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

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

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

S. Mattei, F. K. Schur, and J. A. Briggs, “Retrovirus maturation—an extraordinary structural transformation,” Current Opinion in Virology, vol. 18, no. 6. Elsevier, pp. 27–35, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5771
DOI: 10.1016/j.coviro.2016.02.008

O. Hosten, R. Krishnakumar, N. Engelsen, and M. Kasevich, “Quantum phase magnification,” Science, vol. 352, no. 6293. American Association for the Advancement of Science, pp. 1552–1555, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/587
DOI: 10.1126/science.aaf3397

M. Mondelli, S. H. Hassani, and R. L. Urbanke, “Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors,” IEEE Transactions on Information Theory, vol. 62, no. 12. IEEE, pp. 6698–6712, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/6732
DOI: 10.1109/tit.2016.2616117
arXiv: 1501.02444

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

P. J. W. Moll et al., “Magnetic torque anomaly in the quantum limit of Weyl semimetals,” Nature Communications, vol. 7. Springer Nature, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/7068
DOI: 10.1038/ncomms12492

E. Mourad et al., “Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors,” Nature Materials, vol. 16, no. 4. Springer Nature, pp. 446–453, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/7279
DOI: 10.1038/nmat4808
arXiv: 1711.11518

S. A. Freunberger, “Batteries: Charging ahead rationally,” Nature Energy, vol. 1, no. 6. Springer Nature, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/7297
DOI: 10.1038/nenergy.2016.74

Y. Tang, C.-Y. Zhao, S. Tan, and H.-W. Xue, “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, vol. 12, no. 8. Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/7599
DOI: 10.1371/journal.pgen.1006252

Z. Zhu et al., “Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets,” Nature Genetics, vol. 48, no. 5. Springer Nature, pp. 481–487, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/7737
DOI: 10.1038/ng.3538

D.-A. Alistarh, K. Censor Hillel, and N. Shavit, “Are lock free concurrent algorithms practically wait free ,” Journal of the ACM, vol. 63, no. 4. ACM, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/786
DOI: 10.1145/2903136
arXiv: 1311.3200

H. C. Barron et al., “Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories,” Neuron, vol. 90, no. 1. Elsevier, pp. 191–203, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/8020
DOI: 10.1016/j.neuron.2016.02.031
PMID: 26996082

G. S. Martius, R. Hostettler, A. Knoll, and R. Der, “Self-organized control of an tendon driven arm by differential extrinsic plasticity,” in Proceedings of the Artificial Life Conference 2016, Cancun, Mexico, 2016, vol. 28, pp. 142–143.
LibreCat: https://research-explorer.ista.ac.at/record/8094
DOI: 10.7551/978-0-262-33936-0-ch029

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

J. Singer et al., “Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform,” OncoImmunology, vol. 5, no. 7. Taylor &; Francis, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/8241
DOI: 10.1080/2162402x.2016.1171446

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

P. Drobinski, B. Alonzo, S. Bastin, N. D. Silva, and C. J. Muller, “Scaling of precipitation extremes with temperature in the French Mediterranean region: What explains the hook shape?,” Journal of Geophysical Research: Atmospheres, vol. 121, no. 7. American Geophysical Union, pp. 3100–3119, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9140
DOI: 10.1002/2015jd023497

M. Krivelevich, M. A. Kwan, and B. Sudakov, “Cycles and matchings in randomly perturbed digraphs and hypergraphs,” Combinatorics, Probability and Computing, vol. 25, no. 6. Cambridge University Press, pp. 909–927, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9591
DOI: 10.1017/s0963548316000079
arXiv: 1501.04816

J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkadik, and M. Berry, “Error-robust modes of the retinal population code,” PLoS Computational Biology, vol. 12, no. 11. Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1197
DOI: 10.1371/journal.pcbi.1005148

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

A. Potter, M. Serbyn, and A. Vishwanath, “Thermoelectric transport signatures of Dirac composite fermions in the half-filled Landau level,” Physical Review X, vol. 6, no. 3. American Physical Society, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/983
DOI: 10.1103/PhysRevX.6.031026

L. Campos et al., “Landau Level Splittings, Phase Transitions, and Nonuniform Charge Distribution in Trilayer Graphene,” Physical Review Letters, vol. 117, no. 6. American Physical Society, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/985
DOI: 10.1103/PhysRevLett.117.066601

C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, and N. Bierne, “Shedding light on the grey zone of speciation along a continuum of genomic divergence,” PLoS Biology, vol. 14, no. 12. Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1158
DOI: 10.1371/journal.pbio.2000234

M. P. Zagórski, Z. Burda, and B. Wacaw, “Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks,” PLoS Computational Biology, vol. 12, no. 12. Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1167
DOI: 10.1371/journal.pcbi.1005218

M. M. Bakail and F. Ochsenbein, “Targeting protein–protein interactions, a wide open field for drug design,” Comptes Rendus Chimie, vol. 19, no. 1–2. Elsevier, pp. 19–27, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9019
DOI: 10.1016/j.crci.2015.12.004

M. S. Davies Wykes et al., “Dynamic self-assembly of microscale rotors and swimmers,” Soft Matter, vol. 12, no. 20. Royal Society of Chemistry, pp. 4584–4589, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9051
DOI: 10.1039/c5sm03127c
PMID: 27121100
arXiv: 1509.06330

H. Moyses, J. A. Palacci, S. Sacanna, and D. G. Grier, “Trochoidal trajectories of self-propelled Janus particles in a diverging laser beam,” Soft Matter, vol. 12, no. 30. Royal Society of Chemistry , pp. 6357–6364, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9052
DOI: 10.1039/c6sm01163b
PMID: 27338294
arXiv: 1609.01497

J. T. Huff, D. Zilberman, and S. W. Roy, “Mechanism for DNA transposons to generate introns on genomic scales,” Nature, vol. 538, no. 7626. Springer Nature , pp. 533–536, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9456
DOI: 10.1038/nature20110
PMID: 27760113

D. Mcmahon et al., “Elevated virulence of an emerging viral genotype as a driver of honeybee loss,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 283, no. 1833. Royal Society, The, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1262
DOI: 10.1098/rspb.2016.0811

D. Mcmahon et al., “Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss.” Dryad, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9704
DOI: 10.5061/dryad.cq7t1

M. Serbyn, A. Michailidis, D. Abanin, and Z. Papi, “Power-law entanglement spectrum in many-body localized phases,” Physical Review Letters, vol. 117, no. 16. American Physical Society, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/984
DOI: 10.1103/PhysRevLett.117.160601

M. Serbyn and J. Moore, “Spectral statistics across the many-body localization transition,” Physical Review B - Condensed Matter and Materials Physics, vol. 93, no. 4. American Physical Society, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/986
DOI: 10.1103/PhysRevB.93.041424

C. Hilbe, K. Hagel, and M. Milinski, “Asymmetric power boosts extortion in an economic experiment,” PLoS One, vol. 11, no. 10. Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1322
DOI: 10.1371/journal.pone.0163867

P. Hillenbrand, U. Gerland, and G. Tkadik, “Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information,” PLoS One, vol. 11, no. 9. Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1270
DOI: 10.1371/journal.pone.0163628

A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, and M. Ackermann, “Genetic manipulation of glycogen allocation affects replicative lifespan in E coli,” PLoS Genetics, vol. 12, no. 4. Public Library of Science, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1250
DOI: 10.1371/journal.pgen.1005974

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

M. Carenzo, F. Pellicciotti, J. Mabillard, T. Reid, and B. W. Brock, “An enhanced temperature index model for debris-covered glaciers accounting for thickness effect,” Advances in Water Resources, vol. 94. Elsevier, pp. 457–469, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/12620
DOI: 10.1016/j.advwatres.2016.05.001

S. Ragettli, W. W. Immerzeel, and F. Pellicciotti, “Contrasting climate change impact on river flows from high-altitude catchments in the Himalayan and Andes Mountains,” PNAS, vol. 113, no. 33. Proceedings of the National Academy of Sciences, pp. 9222–9227, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/12618
DOI: 10.1073/pnas.1606526113
PMID: 27482082

P. Kraaijenbrink, S. W. Meijer, J. M. Shea, F. Pellicciotti, S. M. De Jong, and W. W. Immerzeel, “Seasonal surface velocities of a Himalayan glacier derived by automated correlation of unmanned aerial vehicle imagery,” Annals of Glaciology, vol. 57, no. 71. International Glaciological Society, pp. 103–113, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/12625
DOI: 10.3189/2016aog71a072

F. BRUN et al., “Quantifying volume loss from ice cliffs on debris-covered glaciers using high-resolution terrestrial and aerial photogrammetry,” Journal of Glaciology, vol. 62, no. 234. Cambridge University Press, pp. 684–695, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/12619
DOI: 10.1017/jog.2016.54

M. Heynen, E. Miles, S. Ragettli, P. Buri, W. W. Immerzeel, and F. Pellicciotti, “Air temperature variability in a high-elevation Himalayan catchment,” Annals of Glaciology, vol. 57, no. 71. International Glaciological Society, pp. 212–222, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/12622
DOI: 10.3189/2016aog71a076

E. S. Miles, F. Pellicciotti, I. C. Willis, J. F. Steiner, P. Buri, and N. S. Arnold, “Refined energy-balance modelling of a supraglacial pond, Langtang Khola, Nepal,” Annals of Glaciology, vol. 57, no. 71. International Glaciological Society, pp. 29–40, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/12624
DOI: 10.3189/2016aog71a421

P. Buri, F. Pellicciotti, J. F. Steiner, E. S. Miles, and W. W. Immerzeel, “A grid-based model of backwasting of supraglacial ice cliffs on debris-covered glaciers,” Annals of Glaciology, vol. 57, no. 71. International Glaciological Society, pp. 199–211, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/12623
DOI: 10.3189/2016aog71a059

T. E. SHAW, B. W. BROCK, C. L. FYFFE, F. Pellicciotti, N. RUTTER, and F. DIOTRI, “Air temperature distribution and energy-balance modelling of a debris-covered glacier,” Journal of Glaciology, vol. 62, no. 231. Cambridge University Press, pp. 185–198, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/12621
DOI: 10.1017/jog.2016.31

P. Buri, E. S. Miles, J. F. Steiner, W. W. Immerzeel, P. Wagnon, and F. Pellicciotti, “A physically based 3D model of ice cliff evolution over debriscovered glaciers,” Journal of Geophysical Research: Earth Surface, vol. 121, no. 12. American Geophysical Union, pp. 2471–2493, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/12613
DOI: 10.1002/2016jf004039

S. Ragettli, T. Bolch, and F. Pellicciotti, “Heterogeneous glacier thinning patterns over the last 40 years in Langtang Himal, Nepal,” The Cryosphere, vol. 10, no. 5. Copernicus Publications, pp. 2075–2097, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/12617
DOI: 10.5194/tc-10-2075-2016

K. Park et al., “DNA demethylation is initiated in the central cells of Arabidopsis and rice,” Proceedings of the National Academy of Sciences, vol. 113, no. 52. National Academy of Sciences, pp. 15138–15143, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9477
DOI: 10.1073/pnas.1619047114
PMID: 27956642

P.-H. Hsieh et al., “Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation than somatic tissues,” Proceedings of the National Academy of Sciences, vol. 113, no. 52. National Academy of Sciences, pp. 15132–15137, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9473
DOI: 10.1073/pnas.1619074114
PMID: 27956643

A. Schlögl and S. Stadlbauer, “High performance computing at IST Austria: Modelling the human hippocampus,” in AHP - Austrian HPC Meeting 2016, Grundlsee, Austria, 2016, p. 37.
LibreCat: https://research-explorer.ista.ac.at/record/12903

P. K. Kundu, S. Das, J. Ahrens, and R. Klajn, “Controlling the lifetimes of dynamic nanoparticle aggregates by spiropyran functionalization,” Nanoscale, vol. 8, no. 46. Royal Society of Chemistry, pp. 19280–19286, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/13385
DOI: 10.1039/c6nr05959g
PMID: 27830865

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

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

G. Avni, T. A. Henzinger, and O. Kupferman, “Dynamic resource allocation games,” presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom, 2016, vol. 9928, pp. 153–166.
LibreCat: https://research-explorer.ista.ac.at/record/1341
DOI: 10.1007/978-3-662-53354-3_13

M. Huppert, I. Jordan, D. R. Baykusheva, A. von Conta, and H. J. Wörner, “Attosecond delays in molecular photoionization,” Physical Review Letters, vol. 117, no. 9. American Physical Society, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/14010
DOI: 10.1103/physrevlett.117.093001
PMID: 27610849
arXiv: 1607.07435

R. Rajeev et al., “In situ frequency gating and beam splitting of vacuum- and extreme-ultraviolet pulses,” Light: Science &; Applications, vol. 5, no. 11. Springer Nature, pp. e16170–e16170, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/14012
DOI: 10.1038/lsa.2016.170
PMID: 30167130

S. Wielgoss, T. Bergmiller, A. M. Bischofberger, and A. R. Hall, “Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria,” Molecular Biology and Evolution, vol. 33, no. 3. Oxford University Press, pp. 770–782, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5749
DOI: 10.1093/molbev/msv270
PMID: 26609077

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

H. Edelsbrunner and F. Pausinger, “Approximation and convergence of the intrinsic volume,” Advances in Mathematics, vol. 287. Academic Press, pp. 674–703, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1662
DOI: 10.1016/j.aim.2015.10.004

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

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

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

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

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

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

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

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

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

P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Linear distances between Markov chains,” presented at the CONCUR: Concurrency Theory, Quebec City; Canada, 2016, vol. 59.
LibreCat: https://research-explorer.ista.ac.at/record/1093
DOI: 10.4230/LIPIcs.CONCUR.2016.20

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

P. Daca, A. Gupta, and T. A. Henzinger, “Abstraction-driven concolic testing,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA, 2016, vol. 9583, pp. 328–347.
LibreCat: https://research-explorer.ista.ac.at/record/1230
DOI: 10.1007/978-3-662-49122-5_16

P. Daca, T. A. Henzinger, and A. Kupriyanov, “Array folds logic,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9780, pp. 230–248.
LibreCat: https://research-explorer.ista.ac.at/record/1391
DOI: 10.1007/978-3-319-41540-6_13

K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs,” presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark, 2016, vol. 57.
LibreCat: https://research-explorer.ista.ac.at/record/1071
DOI: 10.4230/LIPIcs.ESA.2016.28

D. Hahn and C. Wojtan, “Fast approximations for boundary element based brittle fracture simulation,” presented at the ACM SIGGRAPH, Anaheim, CA, USA, 2016, vol. 35, no. 4.
LibreCat: https://research-explorer.ista.ac.at/record/1362
DOI: 10.1145/2897824.2925902

H. M. Abusalah, G. Fuchsbauer, and K. Z. Pietrzak, “Offline witness encryption,” presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK, 2016, vol. 9696, pp. 285–303.
LibreCat: https://research-explorer.ista.ac.at/record/1229
DOI: 10.1007/978-3-319-39555-5_16

H. M. Abusalah, G. Fuchsbauer, and K. Z. Pietrzak, “Constrained PRFs for unbounded inputs,” presented at the CT-RSA: Topics in Cryptology, San Francisco, CA, USA, 2016, vol. 9610, pp. 413–428.
LibreCat: https://research-explorer.ista.ac.at/record/1236
DOI: 10.1007/978-3-319-29485-8_24

H. M. Abusalah and G. Fuchsbauer, “Constrained PRFs for unbounded inputs with short keys,” presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK, 2016, vol. 9696, pp. 445–463.
LibreCat: https://research-explorer.ista.ac.at/record/1235
DOI: 10.1007/978-3-319-39555-5_24

E. Gschaider-Reichhart, Á. Inglés Prieto, A.-M. Tichy, C. Mckenzie, and H. L. Janovjak, “A phytochrome sensory domain permits receptor activation by red light,” Angewandte Chemie - International Edition, vol. 55, no. 21. Wiley, pp. 6339–6342, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1441
DOI: 10.1002/anie.201601736

T. Friedlander, R. Prizak, C. C. Guet, N. H. Barton, and G. Tkadik, “Intrinsic limits to gene regulation by global crosstalk,” Nature Communications, vol. 7. Nature Publishing Group, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1358
DOI: 10.1038/ncomms12307

W. Dejonghe et al., “Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification,” Nature Communications, vol. 7. Nature Publishing Group, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1346
DOI: 10.1038/ncomms11710

H. Watzinger et al., “Heavy-hole states in germanium hut wires,” Nano Letters, vol. 16, no. 11. American Chemical Society, pp. 6879–6885, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1328
DOI: 10.1021/acs.nanolett.6b02715

Y. Jiang et al., “Safety assured formal model driven design of the multifunction vehicle bus controller,” presented at the FM: International Symposium on Formal Methods, Limassol, Cyprus, 2016, vol. 9995, pp. 757–763.
LibreCat: https://research-explorer.ista.ac.at/record/1205
DOI: 10.1007/978-3-319-48989-6_47

V. Kolmogorov, “Commutativity in the algorithmic Lovasz local lemma,” in Proceedings - Annual IEEE Symposium on Foundations of Computer Science, New Brunswick, NJ, USA , 2016, vol. 2016–December.
LibreCat: https://research-explorer.ista.ac.at/record/1193
DOI: 10.1109/FOCS.2016.88
arXiv: 1506.08547

K. Chatterjee, H. Fu, P. Novotný, and R. Hasheminezhad, “Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 327–342.
LibreCat: https://research-explorer.ista.ac.at/record/1438
DOI: 10.1145/2837614.2837639
arXiv: 1510.08517

N. H. Barton, “Data from: How does epistasis influence the response to selection?” Dryad, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9710
DOI: 10.5061/dryad.s5s7r

R. A. Fernandes Redondo, H. de Vladar, T. Wodarski, and J. P. Bollback, “Data from evolutionary interplay between structure, energy and epistasis in the coat protein of the =54 phage family.” The Royal Society, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/9864
DOI: 10.6084/m9.figshare.4315652.v1

R. Fulek, “C-planarity of embedded cyclic c-graphs,” presented at the GD: Graph Drawing and Network Visualization, Athens, Greece, 2016, vol. 9801, pp. 94–106.
LibreCat: https://research-explorer.ista.ac.at/record/1165
DOI: 10.1007/978-3-319-50106-2_8