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

The proportion of failures of the Hasse norm principle
T.D. Browning, R. Newton, Mathematika 62 (2016) 337–347.
LibreCat: https://research-explorer.ista.ac.at/record/262
DOI: 10.1112/S0025579315000261

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

Failures of weak approximation in families
M. Bright, T.D. Browning, D. Loughran, Compositio Mathematica 152 (2016) 1435–1475.
LibreCat: https://research-explorer.ista.ac.at/record/264
DOI: 10.1112/S0010437X16007405

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

Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs
M. Meyn, M. Perálvarez, A. Heuer Jungemann, W. Hertog, M. Ibáñez, R. Nafria, A. Genç, J. Arbiol, M. Kovalenko, J. Carreras, A. Cabot, A. Kanaras, ACS Applied Materials and Interfaces 8 (2016) 19579–19586.
LibreCat: https://research-explorer.ista.ac.at/record/366
DOI: 10.1021/acsami.6b02529

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

Expanding the interactome of the noncanonical NF-;aB signaling pathway
K. Willmann, R. Sacco, R. Martins, W. Garncarz, A. Krolo, S. Knapp, K. Bennett, K. Boztug, Journal of Proteome Research 15 (2016) 2900–2909.
LibreCat: https://research-explorer.ista.ac.at/record/460
DOI: 10.1021/acs.jproteome.5b01004

The complexity of deciding legality of a single step of magic: The gathering
K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.
LibreCat: https://research-explorer.ista.ac.at/record/478
DOI: 10.3233/978-1-61499-672-9-1432

Perfect-information stochastic games with generalized mean-payoff objectives
K. Chatterjee, L. Doyen, in:, IEEE, 2016, pp. 247–256.
LibreCat: https://research-explorer.ista.ac.at/record/480
DOI: 10.1145/2933575.2934513

Finding non-orientable surfaces in 3-manifolds
B. Burton, A.N. de Mesmay, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15.
LibreCat: https://research-explorer.ista.ac.at/record/1379
DOI: 10.4230/LIPIcs.SoCG.2016.24

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

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

Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, 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

Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, 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

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

Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds
1 Anonymous, 2 Anonymous, 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

Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, 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

Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, 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

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

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

Quantum phase magnification
O. Hosten, R. Krishnakumar, N. Engelsen, M. Kasevich, Science 352 (2016) 1552–1555.
LibreCat: https://research-explorer.ista.ac.at/record/587
DOI: 10.1126/science.aaf3397

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

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

Magnetic torque anomaly in the quantum limit of Weyl semimetals
P.J.W. Moll, A.C. Potter, N.L. Nair, B.J. Ramshaw, K.A. Modic, S. Riggs, B. Zeng, N.J. Ghimire, E.D. Bauer, R. Kealhofer, F. Ronning, J.G. Analytis, Nature Communications 7 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/7068
DOI: 10.1038/ncomms12492

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

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

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

Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets
Z. Zhu, F. Zhang, H. Hu, A. Bakshi, M.R. Robinson, J.E. Powell, G.W. Montgomery, M.E. Goddard, N.R. Wray, P.M. Visscher, J. Yang, Nature Genetics 48 (2016) 481–487.
LibreCat: https://research-explorer.ista.ac.at/record/7737
DOI: 10.1038/ng.3538

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

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

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

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

Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform
J. Singer, K. Manzano-Szalai, J. Singer, K. Thell, A. Bentley-Lukschal, C. Stremnitzer, F. Roth-Walter, M. Weghofer, M. Ritter, K. Pino Tossi, M. Hörer, U. Michaelis, E. Jensen-Jarolim, OncoImmunology 5 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/8241
DOI: 10.1080/2162402x.2016.1171446

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

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

Cycles and matchings in randomly perturbed digraphs and hypergraphs
M. Krivelevich, M.A. Kwan, B. Sudakov, Combinatorics, Probability and Computing 25 (2016) 909–927.
LibreCat: https://research-explorer.ista.ac.at/record/9591
DOI: 10.1017/s0963548316000079
arXiv: 1501.04816

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Contrasting climate change impact on river flows from high-altitude catchments in the Himalayan and Andes Mountains
S. Ragettli, W.W. Immerzeel, F. Pellicciotti, PNAS 113 (2016) 9222–9227.
LibreCat: https://research-explorer.ista.ac.at/record/12618
DOI: 10.1073/pnas.1606526113
PMID: 27482082

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

Quantifying volume loss from ice cliffs on debris-covered glaciers using high-resolution terrestrial and aerial photogrammetry
F. BRUN, P. BURI, E.S. MILES, P. WAGNON, J. STEINER, E. BERTHIER, S. RAGETTLI, P. KRAAIJENBRINK, W.W. IMMERZEEL, F. Pellicciotti, Journal of Glaciology 62 (2016) 684–695.
LibreCat: https://research-explorer.ista.ac.at/record/12619
DOI: 10.1017/jog.2016.54

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

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

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

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

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

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

DNA demethylation is initiated in the central cells of Arabidopsis and rice
K. Park, M.Y. Kim, M. Vickers, J.-S. Park, Y. Hyun, T. Okamoto, D. Zilberman, R.L. Fischer, X. Feng, Y. Choi, S. Scholten, Proceedings of the National Academy of Sciences 113 (2016) 15138–15143.
LibreCat: https://research-explorer.ista.ac.at/record/9477
DOI: 10.1073/pnas.1619047114
PMID: 27956642

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

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

Controlling the lifetimes of dynamic nanoparticle aggregates by spiropyran functionalization
P.K. Kundu, S. Das, J. Ahrens, R. Klajn, Nanoscale 8 (2016) 19280–19286.
LibreCat: https://research-explorer.ista.ac.at/record/13385
DOI: 10.1039/c6nr05959g
PMID: 27830865

Inside cover: Reversible photoisomerization of spiropyran on the surfaces of Au25 nanoclusters (ChemPhysChem 12/2016)
T. Udayabhaskararao, P.K. Kundu, J. Ahrens, R. Klajn, Inside Cover: Reversible Photoisomerization of Spiropyran on the Surfaces of Au25 Nanoclusters (ChemPhysChem 12/2016), Wiley, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/13388
DOI: 10.1002/cphc.201600480

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

Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016, pp. 153–166.
LibreCat: https://research-explorer.ista.ac.at/record/1341
DOI: 10.1007/978-3-662-53354-3_13

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

In situ frequency gating and beam splitting of vacuum- and extreme-ultraviolet pulses
R. Rajeev, J. Hellwagner, A. Schumacher, I. Jordan, M. Huppert, A. Tehlar, B.R. Niraghatam, D.R. Baykusheva, N. Lin, A. von Conta, H.J. Wörner, Light: Science &; Applications 5 (2016) e16170–e16170.
LibreCat: https://research-explorer.ista.ac.at/record/14012
DOI: 10.1038/lsa.2016.170
PMID: 30167130

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

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

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

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

Optical functionalization of human class A orphan G-protein coupled receptors
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

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

Theoretical foundations of multi-task lifelong learning
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

Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture
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

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

Synaptic plasticity rules at C-C recurrent synapses in hippocampus
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

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

Automatic synthesis of synchronisation primitives for concurrent programs
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

Linear distances between Markov chains
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1093
DOI: 10.4230/LIPIcs.CONCUR.2016.20

Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
LibreCat: https://research-explorer.ista.ac.at/record/1234
DOI: 10.1007/978-3-662-49674-9_7

Abstraction-driven concolic testing
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
LibreCat: https://research-explorer.ista.ac.at/record/1230
DOI: 10.1007/978-3-662-49122-5_16

Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
LibreCat: https://research-explorer.ista.ac.at/record/1391
DOI: 10.1007/978-3-319-41540-6_13

Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1071
DOI: 10.4230/LIPIcs.ESA.2016.28

Fast approximations for boundary element based brittle fracture simulation
D. Hahn, C. Wojtan, in:, ACM, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1362
DOI: 10.1145/2897824.2925902

Offline witness encryption
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.
LibreCat: https://research-explorer.ista.ac.at/record/1229
DOI: 10.1007/978-3-319-39555-5_16

Constrained PRFs for unbounded inputs
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 413–428.
LibreCat: https://research-explorer.ista.ac.at/record/1236
DOI: 10.1007/978-3-319-29485-8_24

Constrained PRFs for unbounded inputs with short keys
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.
LibreCat: https://research-explorer.ista.ac.at/record/1235
DOI: 10.1007/978-3-319-39555-5_24

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

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

Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification
W. Dejonghe, S. Kuenen, E. Mylle, M.K. Vasileva, O. Keech, C. Viotti, J. Swerts, M. Fendrych, F. Ortiz Morea, K. Mishev, S. Delang, S. Scholl, X. Zarza, M. Heilmann, J. Kourelis, J. Kasprowicz, L. Nguyen, A. Drozdzecki, I. Van Houtte, A. Szatmári, M. Majda, G. Baisa, S. Bednarek, S. Robert, D. Audenaert, C. Testerink, T. Munnik, D. Van Damme, I. Heilmann, K. Schumacher, J. Winne, J. Friml, P. Verstreken, E. Russinova, Nature Communications 7 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1346
DOI: 10.1038/ncomms11710

Heavy-hole states in germanium hut wires
H. Watzinger, C. Kloeffel, L. Vukusi, M. Rossell, V. Sessi, J. Kukucka, R. Kirchschlager, E. Lausecker, A. Truhlar, M. Glaser, A. Rastelli, A. Fuhrer, D. Loss, G. Katsaros, Nano Letters 16 (2016) 6879–6885.
LibreCat: https://research-explorer.ista.ac.at/record/1328
DOI: 10.1021/acs.nanolett.6b02715

Safety assured formal model driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.
LibreCat: https://research-explorer.ista.ac.at/record/1205
DOI: 10.1007/978-3-319-48989-6_47