Chatterjee K, Pavlogiannis A, Adlam B, Novak M. 2014. Detailed proofs for “The time scale of evolutionary innovation”, Public Library of Science,10.1371/journal.pcbi.1003818.s001 .
LibreCat: https://research-explorer.ista.ac.at/record/9739
DOI: 10.1371/journal.pcbi.1003818.s001

Hearn J, Stone G, Bunnefeld L, Nicholls J, Barton NH, Lohse K. 2014. Likelihood-based inference of population history from low-coverage de novo genome assemblies. Molecular Ecology. 23(1), 198–211.
LibreCat: https://research-explorer.ista.ac.at/record/2170
DOI: 10.1111/mec.12578

Tragust S, Ugelvig LV, Chapuisat M, Heinze J, Cremer S. 2014. Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies, Dryad,10.5061/dryad.nc0gc .
LibreCat: https://research-explorer.ista.ac.at/record/9753
DOI: 10.5061/dryad.nc0gc

Simmons K, Prentice J, Tkadik G, Homann J, Yee H, Palmer S, Nelson P, Balasubramanian V. 2014. Data from: Transformation of stimulus correlations by the retina, Dryad,10.5061/dryad.246qg .
LibreCat: https://research-explorer.ista.ac.at/record/9752
DOI: 10.5061/dryad.246qg

Zeljkovic I, Okada Y, Huang C, Sankar R, Walkup D, Zhou W, Serbyn M, Chou F, Tsai W, Lin H, Bansil A, Fu L, Hasan M, Madhavan V. 2014. Mapping the unconventional orbital texture in topological crystalline insulators. Nature Physics. 10(8), 572–577.
LibreCat: https://research-explorer.ista.ac.at/record/978
DOI: 10.1038/nphys3012

Serbyn M, Fu L. 2014. Symmetry breaking and Landau quantization in topological crystalline insulators. Physical Review B - Condensed Matter and Materials Physics. 90(3).
LibreCat: https://research-explorer.ista.ac.at/record/979
DOI: 10.1103/PhysRevB.90.035402

Dhar R, Bergmiller T, Wagner A. 2014. Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes. Evolution. 68(6), 1775–1791.
LibreCat: https://research-explorer.ista.ac.at/record/9931
DOI: 10.1111/evo.12373
PMID: 24495000

Dhar R, Bergmiller T, Wagner A. 2014. Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes, Dryad,10.5061/dryad.jc402 .
LibreCat: https://research-explorer.ista.ac.at/record/9932
DOI: 10.5061/dryad.jc402

Immerzeel WW, Petersen L, Ragettli S, Pellicciotti F. 2014. The importance of observed gradients of air temperature and precipitation for modeling runoff from a glacierized watershed in the Nepalese Himalayas. Water Resources Research. 50(3), 2212–2226.
LibreCat: https://research-explorer.ista.ac.at/record/12637
DOI: 10.1002/2013wr014506

Immerzeel WW, Kraaijenbrink PDA, Shea JM, Shrestha AB, Pellicciotti F, Bierkens MFP, de Jong SM. 2014. High-resolution monitoring of Himalayan glacier dynamics using unmanned aerial vehicles. Remote Sensing of Environment. 150(7), 93–103.
LibreCat: https://research-explorer.ista.ac.at/record/12636
DOI: 10.1016/j.rse.2014.04.025

Pellicciotti F, Carenzo M, Bordoy R, Stoffel M. 2014. Changes in glaciers in the Swiss Alps and impact on basin hydrology: Current state of the art and future research. Science of The Total Environment. 493, 1152–1170.
LibreCat: https://research-explorer.ista.ac.at/record/12635
DOI: 10.1016/j.scitotenv.2014.04.022

Gabbi J, Carenzo M, Pellicciotti F, Bauder A, Funk M. 2014. A comparison of empirical and physically based glacier surface melt models for long-term simulations of glacier response. Journal of Glaciology. 60(224), 1140–1154.
LibreCat: https://research-explorer.ista.ac.at/record/12632
DOI: 10.3189/2014jog14j011

Pellicciotti F, Ragettli S, Carenzo M, McPhee J. 2014. Changes of glaciers in the Andes of Chile and priorities for future work. Science of The Total Environment. 493, 1197–1210.
LibreCat: https://research-explorer.ista.ac.at/record/12634
DOI: 10.1016/j.scitotenv.2013.10.055

Kundu PK, Klajn R. 2014. Watching single molecules move in response to light. ACS Nano. 8(12), 11913–11916.
LibreCat: https://research-explorer.ista.ac.at/record/13399
DOI: 10.1021/nn506656r
PMID: 25474733

Kundu PK, Olsen GL, Kiss V, Klajn R. 2014. Nanoporous frameworks exhibiting multiple stimuli responsiveness. Nature Communications. 5, 3588.
LibreCat: https://research-explorer.ista.ac.at/record/13402
DOI: 10.1038/ncomms4588
PMID: 24709950

Singh G, Chan H, Baskin A, Gelman E, Repnin N, Král P, Klajn R. 2014. Self-assembly of magnetite nanocubes into helical superstructures. Science. 345(6201), 1149–1153.
LibreCat: https://research-explorer.ista.ac.at/record/13400
DOI: 10.1126/science.1254132
PMID: 25061133

Klajn R. 2014. Spiropyran-based dynamic materials. Chemical Society Reviews. 43(1), 148–184.
LibreCat: https://research-explorer.ista.ac.at/record/13404
DOI: 10.1039/c3cs60181a
PMID: 23979515

Kundu PK, Lerner A, Kudanda K, Leitus G, Klajn R. 2014. Cyclic kinetics during thermal equilibration of an axially chiral bis-spiropyran. Journal of the American Chemical Society. 136(32), 11276–11279.
LibreCat: https://research-explorer.ista.ac.at/record/13401
DOI: 10.1021/ja505948q
PMID: 25072292

Zdobinsky T, Sankar Maiti P, Klajn R. 2014. Support curvature and conformational freedom control chemical reactivity of immobilized species. Journal of the American Chemical Society. 136(7), 2711–2714.
LibreCat: https://research-explorer.ista.ac.at/record/13403
DOI: 10.1021/ja411573a
PMID: 24320557

Baykusheva DR, Kraus PM, Zhang SB, Rohringer N, Wörner HJ. 2014. The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics. Faraday Discussions. 171, 113–132.
LibreCat: https://research-explorer.ista.ac.at/record/14018
DOI: 10.1039/c4fd00018h
PMID: 25415558

Vasilatou K, Michaud JM, Baykusheva DR, Grassi G, Merkt F. 2014. The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra. The Journal of Chemical Physics. 141(6), 064317.
LibreCat: https://research-explorer.ista.ac.at/record/14019
DOI: 10.1063/1.4890744
PMID: 25134581

Kraus PM, Baykusheva DR, Wörner HJ. 2014. Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules. Journal of Physics B: Atomic, Molecular and Optical Physics. 47(12), 124030.
LibreCat: https://research-explorer.ista.ac.at/record/14021
DOI: 10.1088/0953-4075/47/12/124030
arXiv: 1311.3923

Kraus PM, Baykusheva DR, Wörner HJ. 2014. Two-pulse field-free orientation reveals anisotropy of molecular shape resonance. Physical Review Letters. 113(2), 023001.
LibreCat: https://research-explorer.ista.ac.at/record/14020
DOI: 10.1103/physrevlett.113.023001
PMID: 25062172
arXiv: 1311.3923

Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. 2014. Polynomial-time algorithms for energy games with special weight structures. Algorithmica. 70(3), 457–492.
LibreCat: https://research-explorer.ista.ac.at/record/535
DOI: 10.1007/s00453-013-9843-7
arXiv: 1604.08234

Zobel V, Reininghaus J, Hotz I. 2014. Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature. Topological Methods in Data Analysis and Visualization III . , Mathematics and Visualization, , 249–262.
LibreCat: https://research-explorer.ista.ac.at/record/10886
DOI: 10.1007/978-3-319-04099-8_16

Smutny M, Behrndt M, Campinho P, Ruprecht V, Heisenberg C-PJ. 2014.UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo. In: Tissue Morphogenesis. vol. 1189, 219–235.
LibreCat: https://research-explorer.ista.ac.at/record/6178
DOI: 10.1007/978-1-4939-1164-6_15
PMID: 25245697

Seiringer R. 2014. The excitation spectrum for Bose fluids with weak interactions. Jahresbericht der Deutschen Mathematiker-Vereinigung. 116, 21–41.
LibreCat: https://research-explorer.ista.ac.at/record/10814
DOI: 10.1365/s13291-014-0083-9

Günther D, Reininghaus J, Seidel H-P, Weinkauf T. 2014.Notes on the simplification of the Morse-Smale complex. In: Topological Methods in Data Analysis and Visualization III. , 135–150.
LibreCat: https://research-explorer.ista.ac.at/record/10817
DOI: 10.1007/978-3-319-04099-8_9

Konrad M. 2014. Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1395

Marhavá P. 2014. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1402

Edelsbrunner H, Pausinger F. 2014. Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision. 50(1), 164–177.
LibreCat: https://research-explorer.ista.ac.at/record/2255
DOI: 10.1007/s10851-013-0468-x

Mabillard I, Wagner U. 2014. Eliminating Tverberg points, I. An analogue of the Whitney trick. Proceedings of the Annual Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, 171–180.
LibreCat: https://research-explorer.ista.ac.at/record/2159
DOI: 10.1145/2582112.2582134

Novak S. 2014. Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution. Ecology and Evolution. 4(24), 4589–4597.
LibreCat: https://research-explorer.ista.ac.at/record/2023
DOI: 10.1002/ece3.1289

Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. 2014. Regression-free synthesis for concurrency. CAV: Computer Aided Verification, LNCS, vol. 8559, 568–584.
LibreCat: https://research-explorer.ista.ac.at/record/2218
DOI: 10.1007/978-3-319-08867-9_38

Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications for IOCO testing. IEEE 7th International Conference on Software Testing, Verification and Validation. ICST: International Conference on Software Testing, Verification and Validation, 6823899.
LibreCat: https://research-explorer.ista.ac.at/record/2167
DOI: 10.1109/ICST.2014.50
arXiv: 1904.07083

Chatterjee K, Chmelik M, Daca P. 2014. CEGAR for qualitative analysis of probabilistic systems. CAV: Computer Aided Verification, LNCS, vol. 8559, 473–490.
LibreCat: https://research-explorer.ista.ac.at/record/2063
DOI: 10.1007/978-3-319-08867-9_31

Mitosch K, Bollenbach MT. 2014. Bacterial responses to antibiotics and their combinations. Environmental Microbiology Reports. 6(6), 545–557.
LibreCat: https://research-explorer.ista.ac.at/record/2001
DOI: 10.1111/1758-2229.12190

Gazi P, Pietrzak KZ, Rybar M. 2014. The exact PRF-security of NMAC and HMAC. CRYPTO: International Cryptology Conference, LNCS, vol. 8616, 113–130.
LibreCat: https://research-explorer.ista.ac.at/record/2082
DOI: 10.1007/978-3-662-44371-2_7

Compagnon J, Barone V, Rajshekar S, Kottmeier R, Pranjic-Ferscha K, Behrndt M, Heisenberg C-PJ. 2014. The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ. Developmental Cell. 31(6), 774–783.
LibreCat: https://research-explorer.ista.ac.at/record/1912
DOI: 10.1016/j.devcel.2014.11.003
PMID: 25535919

Grusch M, Schelch K, Riedler R, Gschaider-Reichhart E, Differ C, Berger W, Inglés Prieto Á, Janovjak HL. 2014. Spatio-temporally precise activation of engineered receptor tyrosine kinases by light. EMBO Journal. 33(15), 1713–1726.
LibreCat: https://research-explorer.ista.ac.at/record/2084
DOI: 10.15252/embj.201387695

Matousek J, Sedgwick E, Tancer M, Wagner U. 2014. Embeddability in the 3 sphere is decidable. Proceedings of the Annual Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, 78–84.
LibreCat: https://research-explorer.ista.ac.at/record/2157
DOI: 10.1145/2582112.2582137

Bauer U, Kerber M, Reininghaus J, Wagner H. 2014. PHAT – Persistent Homology Algorithms Toolbox. ICMS 2014: International Congress on Mathematical Software. ICMS: International Congress on Mathematical SoftwareLNCS vol. 8592, 137–143.
LibreCat: https://research-explorer.ista.ac.at/record/10894
DOI: 10.1007/978-3-662-44199-2_24

Chatterjee K, Henzinger TA, Otop J, Velner Y. 2014. Quantitative fair simulation games, IST Austria, 26p.
LibreCat: https://research-explorer.ista.ac.at/record/5428
DOI: 10.15479/AT:IST-2014-315-v1-1

Cremer S. 2014. Gemeinsame Krankheitsabwehr in Ameisengesellschaften. Zoologie., 23–30.
LibreCat: https://research-explorer.ista.ac.at/record/1887

Postiglione MP, Hippenmeyer S. 2014. Monitoring neurogenesis in the cerebral cortex: an update. Future Neurology. 9(3), 323–340.
LibreCat: https://research-explorer.ista.ac.at/record/2175
DOI: 10.2217/fnl.14.18

Milenkovi I, Petrov T, Kovács G. 2014. Patterns of hippocampal tau pathology differentiate neurodegenerative dementias. Dementia and Geriatric Cognitive Disorders. 38(5–6), 375–388.
LibreCat: https://research-explorer.ista.ac.at/record/1913
DOI: 10.1159/000365548
PMID: 25195847

Erdös L. 2014. Random matrices, log-gases and Hölder regularity. Proceedings of the International Congress of Mathematicians. ICM: International Congress of Mathematicians vol. 3, 214–236.
LibreCat: https://research-explorer.ista.ac.at/record/1507

Seiringer R. 2014. Structure of the excitation spectrum for many-body quantum systems. Proceeding of the International Congress of Mathematicans. ICM: International Congress of Mathematicans vol. 3, 1175–1194.
LibreCat: https://research-explorer.ista.ac.at/record/8044

Pentina A, Lampert C. 2014. A PAC-Bayesian bound for Lifelong Learning. ICML: International Conference on Machine Learning vol. 32, 991–999.
LibreCat: https://research-explorer.ista.ac.at/record/2160

Behrndt M. 2014. Forces driving epithelial spreading in zebrafish epiboly. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1403

Cremer S. 2014.Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt  Bayerische Akademie der Wissenschaften. In: Soziale Insekten in einer sich wandelnden Welt. Rundgespräche der Kommission für Ökologie, vol. 43, 65–72.
LibreCat: https://research-explorer.ista.ac.at/record/1888

Iglesias Ham M, Kerber M, Uhler C. Sphere packing with limited overlap. arXiv, 1401.0468.
LibreCat: https://research-explorer.ista.ac.at/record/2012
DOI: 10.48550/arXiv.1401.0468
arXiv: 1401.0468

Stahl E, Martin T, Praetorius FM, Dietz H. 2014. Facile and scalable preparation of pure and dense DNA origami solutions. Angewandte Chemie International Edition. 126(47), 12949–12954.
LibreCat: https://research-explorer.ista.ac.at/record/14301
DOI: 10.1002/ange.201405991
PMID: 25346175

Sweeney LB, Kelley DB. 2014. Harnessing vocal patterns for social communication. Current Opinion in Neurobiology. 28(10), 34–41.
LibreCat: https://research-explorer.ista.ac.at/record/7699
DOI: 10.1016/j.conb.2014.06.006

Guo Y, Seiringer R. 2014. On the mass concentration for Bose-Einstein condensates with attractive interactions. Letters in Mathematical Physics. 104(2), 141–156.
LibreCat: https://research-explorer.ista.ac.at/record/2281
DOI: 10.1007/s11005-013-0667-9
arXiv: 1301.5682

Tkadik G, Marre O, Amodei D, Schneidman E, Bialek W, Berry M. 2014. Searching for collective behavior in a large network of sensory neurons. PLoS Computational Biology. 10(1), e1003408.
LibreCat: https://research-explorer.ista.ac.at/record/2257
DOI: 10.1371/journal.pcbi.1003408

Guan W, Michael AK, McIntosh ML, Koren-Selfridge L, Scott JP, Clark TB. 2014. Stereoselective formation of trisubstituted vinyl boronate esters by the acid-mediated elimination of ;1-hydroxyboronate esters. The Journal of Organic Chemistry. 79(15), 7199–7204.
LibreCat: https://research-explorer.ista.ac.at/record/15161
DOI: 10.1021/jo500773t

Stroeymeyt N, Casillas Perez BE, Cremer S. 2014. Organisational immunity in social insects. Current Opinion in Insect Science. 5(1), 1–15.
LibreCat: https://research-explorer.ista.ac.at/record/1999
DOI: 10.1016/j.cois.2014.09.001

Mognetti BM, Sari A, Angioletti-Uberti S, Cacciuto A, Valeriani C, Frenkel D. 2013. Living clusters and crystals from low-density suspensions of active colloids. Physical Review Letters. 111(24), 245702.
LibreCat: https://research-explorer.ista.ac.at/record/10384
DOI: 10.1103/physrevlett.111.245702
PMID: 24483677
arXiv: 1311.4681

Sari A, Cacciuto A. 2013. Self-assembly of nanoparticles adsorbed on fluid and elastic membranes. Soft Matter. 9(29), 6677.
LibreCat: https://research-explorer.ista.ac.at/record/10386
DOI: 10.1039/c3sm50188d

Napoli JA, Sari A, Cacciuto A. 2013. Collapsing nanoparticle-laden nanotubes. Soft Matter. 9(37), 8881–8886.
LibreCat: https://research-explorer.ista.ac.at/record/10385
DOI: 10.1039/c3sm51495a

Schlögl A, Jonas PM, Schmidt-Hieber C, Guzman SJ. 2013. Stimfit: A fast visualization and analysis environment for cellular neurophysiology. Biomedical Engineering / Biomedizinische Technik. 58(SI-1-Track-G), 000010151520134181.
LibreCat: https://research-explorer.ista.ac.at/record/10396
DOI: 10.1515/bmt-2013-4181
PMID: 24042795

Polshyn H, Budakian R, Gu G. 2013. Cantilever micro-susceptometry of mesoscopic Bi2212 samples. APS March Meeting 2013. APS: American Physical Society, Bulletin of the American Physical Society, vol. 58, N36.00001.
LibreCat: https://research-explorer.ista.ac.at/record/10749

Vanneste S, Friml J. 2013. Calcium: The missing link in auxin action. Plants. 2(4), 650–675.
LibreCat: https://research-explorer.ista.ac.at/record/10895
DOI: 10.3390/plants2040650
PMID: 27137397

Haas A, Lippautz M, Henzinger TA, Payer H, Sokolova A, Kirsch CM, Sezgin A. 2013. Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation. Proceedings of the ACM International Conference on Computing Frontiers - CF ’13. CF: Conference on Computing Frontiers, 17.
LibreCat: https://research-explorer.ista.ac.at/record/10898
DOI: 10.1145/2482767.2482789

Barton NH. 2013.Differentiation. In: Encyclopedia of Biodiversity. , 508–515.
LibreCat: https://research-explorer.ista.ac.at/record/10899
DOI: 10.1016/b978-0-12-384719-5.00031-9

Liang Y, Franks TM, Marchetto MC, Gage FH, Hetzer M. 2013. Dynamic association of NU with the human genome. PLoS Genetics. 9(2), e1003308.
LibreCat: https://research-explorer.ista.ac.at/record/11086
DOI: 10.1371/journal.pgen.1003308
PMID: 23468646

Toyama BH, Savas JN, Park SK, Harris MS, Ingolia NT, Yates JR, Hetzer M. 2013. Identification of long-lived proteins reveals exceptional stability of essential cellular structures. Cell. 154(5), 971–982.
LibreCat: https://research-explorer.ista.ac.at/record/11087
DOI: 10.1016/j.cell.2013.07.037
PMID: 23993091

Hatch EM, Fischer AH, Deerinck TJ, Hetzer M. 2013. Catastrophic nuclear envelope collapse in cancer cell micronuclei. Cell. 154(1), 47–60.
LibreCat: https://research-explorer.ista.ac.at/record/11085
DOI: 10.1016/j.cell.2013.06.007
PMID: 23827674

Regner BM, Vudini D, Domnisoru C, Bartol TM, Hetzer M, Tartakovsky DM, Sejnowski TJ. 2013. Anomalous diffusion of single particles in cytoplasm. Biophysical Journal. 104(8), 1652–1660.
LibreCat: https://research-explorer.ista.ac.at/record/11088
DOI: 10.1016/j.bpj.2013.01.049
PMID: 23601312

Franks TM, Hetzer M. 2013. The role of Nu in transcription regulation in healthy and diseased cells. Trends in Cell Biology. 23(3), 112–117.
LibreCat: https://research-explorer.ista.ac.at/record/11083
DOI: 10.1016/j.tcb.2012.10.013
PMID: 23246429

Toyama BH, Hetzer M. 2013. Protein homeostasis: Live long, won’t prosper. Nature Reviews Molecular Cell Biology. 14, 55–61.
LibreCat: https://research-explorer.ista.ac.at/record/11084
DOI: 10.1038/nrm3496
PMID: 23258296

Waitukaitis SR, Jaeger H. 2013. In situ granular charge measurement by free-fall videography. Review of Scientific Instruments. 84(2), 025104.
LibreCat: https://research-explorer.ista.ac.at/record/115
DOI: 10.1063/1.4789496

Sobral D, Swinbank AM, Stott JP, Matthee JJ, Bower RG, Smail I, Best P, Geach JE, Sharples RM. 2013. The dynamics of z=0.8 H-alpha-selected star-forming galaxies from KMOS/CF-HiZELS. The Astrophysical Journal. 779(2), 139.
LibreCat: https://research-explorer.ista.ac.at/record/11520
DOI: 10.1088/0004-637x/779/2/139
arXiv: 1310.3822

Waitukaitis SR, Roth L, Vitelli V, Jaeger H. 2013. Dynamic jamming fronts. EPL. 102(4), 44001.
LibreCat: https://research-explorer.ista.ac.at/record/116
DOI: 10.1209/0295-5075/102/44001

Baykan E, Weber I, Henzinger MH. 2013. A comprehensive study of techniques for URL-based web page language classification. ACM Transactions on the Web. 7(1), 3.
LibreCat: https://research-explorer.ista.ac.at/record/11671
DOI: 10.1145/2435215.2435218

Jaeger H, Miskin M, Waitukaitis SR. 2013. From nanoscale cohesion to macroscale entanglement: opportunities for designing granular aggregate behaviour by tailoring grain shape and interactions.  AIP Conference Proceedings. Powders and Grains vol. 1542, 3–6.
LibreCat: https://research-explorer.ista.ac.at/record/117
DOI: 10.1063/1.4811858

Dütting P, Henzinger MH, Weber I. 2013. Sponsored search, market equilibria, and the Hungarian Method. Information Processing Letters. 113(3), 67–73.
LibreCat: https://research-explorer.ista.ac.at/record/11759
DOI: 10.1016/j.ipl.2012.11.006
arXiv: 0912.1934

Henzinger MH, Krinninger S, Nanongkai D. 2013. Sublinear-time maintenance of breadth-first spanning tree in partially dynamic networks. 40th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 7966, 607–619.
LibreCat: https://research-explorer.ista.ac.at/record/11793
DOI: 10.1007/978-3-642-39212-2_53
arXiv: 1512.08147

Dütting P, Henzinger MH, Starnberger M. 2013. Valuation compressions in VCG-based combinatorial auctions. 9th International Conference on Web and Internet Economics. WINE: International Conference on Web and Internet Economics, LNCS, vol. 8289, 146–159.
LibreCat: https://research-explorer.ista.ac.at/record/11791
DOI: 10.1007/978-3-642-45046-4_13
arXiv: 1310.3153

Dvoák W, Henzinger MH, Williamson DP. 2013. Maximizing a submodular function with viability constraints. 21st Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LNCS, vol. 8125, 409–420.
LibreCat: https://research-explorer.ista.ac.at/record/11792
DOI: 10.1007/978-3-642-40450-4_35
arXiv: 1611.05753

Henzinger MH, Krinninger S, Nanongkai D. 2013. Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization. 54th Annual Symposium on Foundations of Computer Science. FOCS: Symposium on Foundations of Computer Science, 538–547.
LibreCat: https://research-explorer.ista.ac.at/record/11856
DOI: 10.1109/focs.2013.64
arXiv: 1308.0776

Dütting P, Henzinger MH, Weber I. 2013. Bidder optimal assignments for general utilities. Theoretical Computer Science. 478(3), 22–32.
LibreCat: https://research-explorer.ista.ac.at/record/11902
DOI: 10.1016/j.tcs.2013.01.030

Pieber B, Martinez ST, Cantillo D, Kappe CO. 2013. In situ generation of diimide from hydrazine and oxygen: Continuous-flow transfer hydrogenation of olefins. Angewandte Chemie International Edition. 52(39), 10241–10244.
LibreCat: https://research-explorer.ista.ac.at/record/11959
DOI: 10.1002/anie.201303528

Kappe CO, Pieber B, Dallinger D. 2013. Microwave effects in organic synthesis: Myth or reality? Angewandte Chemie International Edition. 52(4), 1088–1094.
LibreCat: https://research-explorer.ista.ac.at/record/11960
DOI: 10.1002/anie.201204103

Pieber B, Kappe CO. 2013. Direct aerobic oxidation of 2-benzylpyridines in a gas-liquid continuous-flow regime using propylene carbonate as a solvent. Green Chemistry. 15(2), 320–324.
LibreCat: https://research-explorer.ista.ac.at/record/11973
DOI: 10.1039/c2gc36896j

Petersen L, Pellicciotti F, Juszak I, Carenzo M, Brock B. 2013. Suitability of a constant air temperature lapse rate over an Alpine glacier: Testing the Greuell and Böhm model as an alternative. Annals of Glaciology. 54(63), 120–130.
LibreCat: https://research-explorer.ista.ac.at/record/12642
DOI: 10.3189/2013aog63a477

Juszak I, Pellicciotti F. 2013. A comparison of parameterizations of incoming longwave radiation over melting glaciers: Model robustness and seasonal variability. Journal of Geophysical Research: Atmospheres. 118(8), 3066–3084.
LibreCat: https://research-explorer.ista.ac.at/record/12643
DOI: 10.1002/jgrd.50277

Immerzeel WW, Pellicciotti F, Bierkens MFP. 2013. Rising river flows throughout the twenty-first century in two Himalayan glacierized watersheds. Nature Geoscience. 6(9), 742–745.
LibreCat: https://research-explorer.ista.ac.at/record/12640
DOI: 10.1038/ngeo1896

Heynen M, Pellicciotti F, Carenzo M. 2013. Parameter sensitivity of a distributed enhanced temperature-index melt model. Annals of Glaciology. 54(63), 311–321.
LibreCat: https://research-explorer.ista.ac.at/record/12641
DOI: 10.3189/2013aog63a537

Haikala V, Jösch MA, Borst A, Mauss A. 2013. Optogenetic control of fly optomotor responses. Journal of Neuroscience. 33(34), 13927–13934.
LibreCat: https://research-explorer.ista.ac.at/record/1304
DOI: 10.1523/JNEUROSCI.0340-13.2013

Jösch MA, Weber F, Eichner H, Borst A. 2013. Functional specialization of parallel motion detection circuits in the fly. Journal of Neuroscience. 33(3), 902–905.
LibreCat: https://research-explorer.ista.ac.at/record/1305
DOI: 10.1523/JNEUROSCI.3374-12.2013

Fischer JL. 2013. Advection-driven support shrinking in a chemotaxis model with degenerate mobility. SIAM Journal on Mathematical Analysis. 45(3), 1585–1615.
LibreCat: https://research-explorer.ista.ac.at/record/1308
DOI: 10.1137/120874291

Fischer JL. 2013. Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models. Communications in Partial Differential Equations. 38(11), 2004–2047.
LibreCat: https://research-explorer.ista.ac.at/record/1307
DOI: 10.1080/03605302.2013.823548

Fischer JL. 2013. Optimal lower bounds on asymptotic support propagation rates for the thin-film equation. Journal of Differential Equations. 255(10), 3127–3149.
LibreCat: https://research-explorer.ista.ac.at/record/1310
DOI: 10.1016/j.jde.2013.07.028

Chatterjee K, Fijalkow N. 2013. Infinite-state games with finitary conditions. 22nd EACSL Annual Conference on Computer Science Logic. CSL: Computer Science LogicLeibniz International Proceedings in Informatics, LIPIcs, vol. 23, 181–196.
LibreCat: https://research-explorer.ista.ac.at/record/1374
DOI: 10.4230/LIPIcs.CSL.2013.181

Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. 2013. Synthesizing multiple boolean functions using interpolation on a single proof. 2013 Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 77–84.
LibreCat: https://research-explorer.ista.ac.at/record/1385
DOI: 10.1109/FMCAD.2013.6679394
arXiv: 1308.4767

Boker U, Kuperberg D, Kupferman O, Skrzypczak M. 2013. Nondeterminism in the presence of a diverse or unknown future. 7966(PART 2), 89–100.
LibreCat: https://research-explorer.ista.ac.at/record/1387
DOI: 10.1007/978-3-642-39212-2_11

Hausel T, Letellier E, Rodríguez Villegas F. 2013. Positivity for Kac polynomials and DT-invariants of quivers. Annals of Mathematics. 177(3), 1147–1168.
LibreCat: https://research-explorer.ista.ac.at/record/1442
DOI: 10.4007/annals.2013.177.3.8

Hausel T. 2013.Global topology of the Hitchin system. In: Handbook of Moduli: Volume II. Advanced Lectures in Mathematics, vol. 25, 29–70.
LibreCat: https://research-explorer.ista.ac.at/record/1443