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

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

De La Bretèche R, Browning TD, Salberger P. Counting rational points on the Cayley ruled cubic. European Journal of Mathematics. 2016;2(1):55-72. doi: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 TD, Loughran D. Failures of weak approximation in families. Compositio Mathematica. 2016;152(7):1435-1475. doi:10.1112/S0010437X16007405
LibreCat: https://research-explorer.ista.ac.at/record/264
DOI: 10.1112/S0010437X16007405

Krenn S, Pietrzak KZ, Wadia A, Wichs D. A counterexample to the chain rule for conditional HILL entropy. Computational Complexity. 2016;25(3):567-605. doi: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, et al. Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs. ACS Applied Materials and Interfaces. 2016;8(30):19579-19586. doi:10.1021/acsami.6b02529
LibreCat: https://research-explorer.ista.ac.at/record/366
DOI: 10.1021/acsami.6b02529

Mahmood F, Chan C, Alpichshev Z, et al. Selective scattering between Floquet Bloch and Volkov states in a topological insulator. Nature Physics. 2016;12(4):306-310. doi:10.1038/nphys3609
LibreCat: https://research-explorer.ista.ac.at/record/389
DOI: 10.1038/nphys3609

Willmann K, Sacco R, Martins R, et al. Expanding the interactome of the noncanonical NF-;aB signaling pathway. Journal of Proteome Research. 2016;15(9):2900-2909. doi: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. The complexity of deciding legality of a single step of magic: The gathering. In: Vol 285. IOS Press; 2016:1432-1439. doi: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. Perfect-information stochastic games with generalized mean-payoff objectives. In: Vol 05-08-July-2016. IEEE; 2016:247-256. doi:10.1145/2933575.2934513
LibreCat: https://research-explorer.ista.ac.at/record/480
DOI: 10.1145/2933575.2934513

Burton B, de Mesmay AN, Wagner U. Finding non-orientable surfaces in 3-manifolds. In: Vol 51. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing; 2016:24.1-24.15. doi: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. What is decidable about partially observable Markov decision processes with <9-regular objectives. Journal of Computer and System Sciences. 2016;82(5):878-911. doi: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. Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. 2016;234:26-48. doi: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. Quantitative Interprocedural Analysis. IST Austria; 2016. doi: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. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria; 2016. doi: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. Termination and Worst-Case Analysis of Recursive Programs. IST Austria; 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5446

Anonymous 1, Anonymous 2, Anonymous 3. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria; 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5447

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria; 2016. doi: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. Strong Amplifiers of Natural Selection. IST Austria; 2016. doi: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. Data-Centric Dynamic Partial Order Reduction. IST Austria; 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5448
arXiv: 1610.01188

Mattei S, Schur FK, Briggs JA. Retrovirus maturation—an extraordinary structural transformation. Current Opinion in Virology. 2016;18(6):27-35. doi: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. Quantum phase magnification. Science. 2016;352(6293):1552-1555. doi:10.1126/science.aaf3397
LibreCat: https://research-explorer.ista.ac.at/record/587
DOI: 10.1126/science.aaf3397

Mondelli M, Hassani SH, Urbanke RL. Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors. IEEE Transactions on Information Theory. 2016;62(12):6698-6712. doi: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 HD, Urbankez R. Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels. In: 2016 IEEE International Symposium on Information Theory . IEEE; 2016:1755-1759. doi:10.1109/isit.2016.7541600
LibreCat: https://research-explorer.ista.ac.at/record/6733
DOI: 10.1109/isit.2016.7541600
arXiv: 1601.06048

Moll PJW, Potter AC, Nair NL, et al. Magnetic torque anomaly in the quantum limit of Weyl semimetals. Nature Communications. 2016;7. doi:10.1038/ncomms12492
LibreCat: https://research-explorer.ista.ac.at/record/7068
DOI: 10.1038/ncomms12492

Mourad E, Coustan L, Lannelongue P, et al. Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors. Nature Materials. 2016;16(4):446-453. doi:10.1038/nmat4808
LibreCat: https://research-explorer.ista.ac.at/record/7279
DOI: 10.1038/nmat4808
arXiv: 1711.11518

Freunberger SA. Batteries: Charging ahead rationally. Nature Energy. 2016;1(6). doi: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. 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. 2016;12(8). doi: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, et al. Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets. Nature Genetics. 2016;48(5):481-487. doi: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. Are lock free concurrent algorithms practically wait free . Journal of the ACM. 2016;63(4). doi:10.1145/2903136
LibreCat: https://research-explorer.ista.ac.at/record/786
DOI: 10.1145/2903136
arXiv: 1311.3200

Barron HC, Vogels TP, Emir UE, et al. Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories. Neuron. 2016;90(1):191-203. doi: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 GS, Hostettler R, Knoll A, Der R. Self-organized control of an tendon driven arm by differential extrinsic plasticity. In: Proceedings of the Artificial Life Conference 2016. Vol 28. MIT Press; 2016:142-143. doi: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 TP, Froemke RC, Sprekeler H. Receptive field formation by interacting excitatory and inhibitory synaptic plasticity. bioRxiv. 2016.
LibreCat: https://research-explorer.ista.ac.at/record/8128

Singer J, Manzano-Szalai K, Singer J, et al. Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform. OncoImmunology. 2016;5(7). doi: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. Enhancing bitcoin security and performance with strong consistency via collective signing. In: Proceedings of the 25th USENIX Conference on Security Symposium. USENIX Association; 2016:279–296.
LibreCat: https://research-explorer.ista.ac.at/record/8302
arXiv: 1602.06997

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

Krivelevich M, Kwan MA, Sudakov B. Cycles and matchings in randomly perturbed digraphs and hypergraphs. Combinatorics, Probability and Computing. 2016;25(6):909-927. doi: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. Error-robust modes of the retinal population code. PLoS Computational Biology. 2016;12(11). doi: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. Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees. 2016. doi:10.5061/dryad.4b565
LibreCat: https://research-explorer.ista.ac.at/record/9720
DOI: 10.5061/dryad.4b565

Potter A, Serbyn M, Vishwanath A. Thermoelectric transport signatures of Dirac composite fermions in the half-filled Landau level. Physical Review X. 2016;6(3). doi: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, et al. Landau Level Splittings, Phase Transitions, and Nonuniform Charge Distribution in Trilayer Graphene. Physical Review Letters. 2016;117(6). doi: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. Shedding light on the grey zone of speciation along a continuum of genomic divergence. PLoS Biology. 2016;14(12). doi:10.1371/journal.pbio.2000234
LibreCat: https://research-explorer.ista.ac.at/record/1158
DOI: 10.1371/journal.pbio.2000234

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

Bakail MM, Ochsenbein F. Targeting protein–protein interactions, a wide open field for drug design. Comptes Rendus Chimie. 2016;19(1-2):19-27. doi: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 MS, Palacci JA, Adachi T, et al. Dynamic self-assembly of microscale rotors and swimmers. Soft Matter. 2016;12(20):4584-4589. doi:10.1039/c5sm03127c
LibreCat: https://research-explorer.ista.ac.at/record/9051
DOI: 10.1039/c5sm03127c
PMID: 27121100
arXiv: 1509.06330

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

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

Mcmahon D, Natsopoulou M, Doublet V, 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. 2016;283(1833). doi: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, et al. Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss. 2016. doi: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. Power-law entanglement spectrum in many-body localized phases. Physical Review Letters. 2016;117(16). doi:10.1103/PhysRevLett.117.160601
LibreCat: https://research-explorer.ista.ac.at/record/984
DOI: 10.1103/PhysRevLett.117.160601

Serbyn M, Moore J. Spectral statistics across the many-body localization transition. Physical Review B - Condensed Matter and Materials Physics. 2016;93(4). doi: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. Asymmetric power boosts extortion in an economic experiment. PLoS One. 2016;11(10). doi: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. Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information. PLoS One. 2016;11(9). doi: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. Genetic manipulation of glycogen allocation affects replicative lifespan in E coli. PLoS Genetics. 2016;12(4). doi: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. Superconductivity and nematic fluctuations in a model of doped FeSe monolayers: Determinant quantum Monte Carlo study. Physical Review B - Condensed Matter and Materials Physics. 2016;94(15). doi: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 BW. An enhanced temperature index model for debris-covered glaciers accounting for thickness effect. Advances in Water Resources. 2016;94:457-469. doi: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 WW, Pellicciotti F. Contrasting climate change impact on river flows from high-altitude catchments in the Himalayan and Andes Mountains. PNAS. 2016;113(33):9222-9227. doi:10.1073/pnas.1606526113
LibreCat: https://research-explorer.ista.ac.at/record/12618
DOI: 10.1073/pnas.1606526113
PMID: 27482082

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

BRUN F, BURI P, MILES ES, et al. Quantifying volume loss from ice cliffs on debris-covered glaciers using high-resolution terrestrial and aerial photogrammetry. Journal of Glaciology. 2016;62(234):684-695. doi: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 WW, Pellicciotti F. Air temperature variability in a high-elevation Himalayan catchment. Annals of Glaciology. 2016;57(71):212-222. doi:10.3189/2016aog71a076
LibreCat: https://research-explorer.ista.ac.at/record/12622
DOI: 10.3189/2016aog71a076

Miles ES, Pellicciotti F, Willis IC, Steiner JF, Buri P, Arnold NS. Refined energy-balance modelling of a supraglacial pond, Langtang Khola, Nepal. Annals of Glaciology. 2016;57(71):29-40. doi:10.3189/2016aog71a421
LibreCat: https://research-explorer.ista.ac.at/record/12624
DOI: 10.3189/2016aog71a421

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

SHAW TE, BROCK BW, FYFFE CL, Pellicciotti F, RUTTER N, DIOTRI F. Air temperature distribution and energy-balance modelling of a debris-covered glacier. Journal of Glaciology. 2016;62(231):185-198. doi:10.1017/jog.2016.31
LibreCat: https://research-explorer.ista.ac.at/record/12621
DOI: 10.1017/jog.2016.31

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

Ragettli S, Bolch T, Pellicciotti F. Heterogeneous glacier thinning patterns over the last 40 years in Langtang Himal, Nepal. The Cryosphere. 2016;10(5):2075-2097. doi: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 MY, Vickers M, et al. DNA demethylation is initiated in the central cells of Arabidopsis and rice. Proceedings of the National Academy of Sciences. 2016;113(52):15138-15143. doi: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, et al. Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation than somatic tissues. Proceedings of the National Academy of Sciences. 2016;113(52):15132-15137. doi: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. High performance computing at IST Austria: Modelling the human hippocampus. In: AHP - Austrian HPC Meeting 2016. VSC - Vienna Scientific Cluster; 2016:37.
LibreCat: https://research-explorer.ista.ac.at/record/12903

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

Udayabhaskararao T, Kundu PK, Ahrens J, Klajn R. Inside Cover: Reversible Photoisomerization of Spiropyran on the Surfaces of Au25 Nanoclusters (ChemPhysChem 12/2016). Vol 17. Wiley; 2016:1711-1711. doi:10.1002/cphc.201600480
LibreCat: https://research-explorer.ista.ac.at/record/13388
DOI: 10.1002/cphc.201600480

Götberg YLL, Davies MB, Mustill AJ, Johansen A, Church RP. Long-term stability of the HR 8799 planetary system without resonant lock. Astronomy &; Astrophysics. 2016;592. doi: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 TA, Kupferman O. Dynamic resource allocation games. In: Vol 9928. Springer; 2016:153-166. doi: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 DR, von Conta A, Wörner HJ. Attosecond delays in molecular photoionization. Physical Review Letters. 2016;117(9). doi: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, et al. In situ frequency gating and beam splitting of vacuum- and extreme-ultraviolet pulses. Light: Science &; Applications. 2016;5(11):e16170-e16170. doi: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 AM, Hall AR. Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria. Molecular Biology and Evolution. 2016;33(3):770-782. doi:10.1093/molbev/msv270
LibreCat: https://research-explorer.ista.ac.at/record/5749
DOI: 10.1093/molbev/msv270
PMID: 26609077

Acar H. Selective barriers to horizontal gene transfer. 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1121

Edelsbrunner H, Pausinger F. Approximation and convergence of the intrinsic volume. Advances in Mathematics. 2016;287:674-703. doi: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. Studying the complexities of transcriptional regulation. 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1128

Morri M. Optical functionalization of human class A orphan G-protein coupled receptors. 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1124

Schwarz J. Quantitative analysis of haptotactic cell migration. 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1129

Pentina A. Theoretical foundations of multi-task lifelong learning. 2016. doi:10.15479/AT:ISTA:TH_776
LibreCat: https://research-explorer.ista.ac.at/record/1126
DOI: 10.15479/AT:ISTA:TH_776

Mabillard I. Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1123

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

Mishra RK. Synaptic plasticity rules at C-C recurrent synapses in hippocampus. 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1396

Novak S. Evolutionary proccesses in variable emvironments. 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1125

Tarrach T. Automatic synthesis of synchronisation primitives for concurrent programs. 2016. doi:10.15479/at:ista:1130
LibreCat: https://research-explorer.ista.ac.at/record/1130
DOI: 10.15479/at:ista:1130

Daca P, Henzinger TA, Kretinsky J, Petrov T. Linear distances between Markov chains. In: Vol 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi: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 TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. In: Vol 9636. Springer; 2016:112-129. doi: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 TA. Abstraction-driven concolic testing. In: Vol 9583. Springer; 2016:328-347. doi: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 TA, Kupriyanov A. Array folds logic. In: Vol 9780. Springer; 2016:230-248. doi: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. Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs. In: Vol 57. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik; 2016. doi: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. Fast approximations for boundary element based brittle fracture simulation. In: Vol 35. ACM; 2016. doi:10.1145/2897824.2925902
LibreCat: https://research-explorer.ista.ac.at/record/1362
DOI: 10.1145/2897824.2925902

Abusalah HM, Fuchsbauer G, Pietrzak KZ. Offline witness encryption. In: Vol 9696. Springer; 2016:285-303. doi: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 HM, Fuchsbauer G, Pietrzak KZ. Constrained PRFs for unbounded inputs. In: Vol 9610. Springer; 2016:413-428. doi: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 HM, Fuchsbauer G. Constrained PRFs for unbounded inputs with short keys. In: Vol 9696. Springer; 2016:445-463. doi: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 HL. A phytochrome sensory domain permits receptor activation by red light. Angewandte Chemie - International Edition. 2016;55(21):6339-6342. doi:10.1002/anie.201601736
LibreCat: https://research-explorer.ista.ac.at/record/1441
DOI: 10.1002/anie.201601736

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

Dejonghe W, Kuenen S, Mylle E, et al. Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification. Nature Communications. 2016;7. doi:10.1038/ncomms11710
LibreCat: https://research-explorer.ista.ac.at/record/1346
DOI: 10.1038/ncomms11710

Watzinger H, Kloeffel C, Vukusi L, et al. Heavy-hole states in germanium hut wires. Nano Letters. 2016;16(11):6879-6885. doi: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, et al. Safety assured formal model driven design of the multifunction vehicle bus controller. In: Vol 9995. Springer; 2016:757-763. doi: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