D.-A. Alistarh, K. Censor Hillel, and N. Shavit, “Are lock-free concurrent algorithms practically wait-free?,” presented at the STOC: Symposium on Theory of Computing, 2014, pp. 714–723.
LibreCat: https://research-explorer.ista.ac.at/record/772
DOI: 10.1145/2591796.2591836
arXiv: 1311.3200

D.-A. Alistarh, J. Kopinsky, A. Matveev, and N. Shavit, “The levelarray: A fast, practical long-lived renaming algorithm,” presented at the ICDCS: International Conference on Distributed Computing Systems, 2014, pp. 348–357.
LibreCat: https://research-explorer.ista.ac.at/record/775
DOI: 10.1109/ICDCS.2014.43
arXiv: 1405.5461

C. P. Goodrich, A. J. Liu, and S. R. Nagel, “Comment on ‘Repulsive contact interactions make jammed particulate systems inherently nonharmonic,’” Physical Review Letters, vol. 112, no. 4. American Physical Society, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/7771
DOI: 10.1103/physrevlett.112.049801
arXiv: 1306.1285

R. Araya, T. P. Vogels, and R. Yuste, “Activity-dependent dendritic spine neck changes are correlated with synaptic strength,” Proceedings of the National Academy of Sciences, vol. 111, no. 28. Proceedings of the National Academy of Sciences, pp. 95–04, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/8021
DOI: 10.1073/pnas.1321869111
PMID: 24982196

C. Tomm, M. Avermann, C. Petersen, W. Gerstner, and T. P. Vogels, “Connection-type-specific biases make uniform random network models consistent with cortical recordings,” Journal of Neurophysiology, vol. 112, no. 8. American Physiological Society, pp. 1801–1814, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/8023
DOI: 10.1152/jn.00629.2013
PMID: 24944218

G. Hennequin, T. P. Vogels, and W. Gerstner, “Optimal control of transient dynamics in balanced networks supports generation of complex movements,” Neuron, vol. 82, no. 6. Elsevier, pp. 1394–1406, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/8022
DOI: 10.1016/j.neuron.2014.04.045
PMID: 24945778

A. P. Higginbotham, F. Kuemmeth, M. Hanson, A. Gossard, and C. Marcus, “Coherent operations and screening in multielectron spin qubits,” APS Physics, Physical Review Letters, vol. 112, no. 2. American Physiological Society, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/96
DOI: 10.1103/PhysRevLett.112.026801
arXiv: 1306.2720

C. Greenhill, M. A. Kwan, and D. Wind, “On the number of spanning trees in random regular graphs,” The Electronic Journal of Combinatorics, vol. 21, no. 1. The Electronic Journal of Combinatorics, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/9594
DOI: 10.37236/3752
arXiv: 1309.6710

M. Perkovic et al., “Correlative light- and electron microscopy with chemical tags,” Journal of Structural Biology, vol. 186, no. 2. Elsevier, pp. 205–213, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/9655
DOI: 10.1016/j.jsb.2014.03.018
PMID: 24698954

M. Lagator, A. Morgan, P. Neve, and N. Colegrave, “Role of sex and migration in adaptation to sink environments,” Evolution, vol. 68, no. 8. Wiley, pp. 2296–2305, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2083
DOI: 10.1111/evo.12440

M. Lagator, A. Morgan, P. Neve, and N. Colegrave, “Data from: Role of sex and migration in adaptation to sink environments.” Dryad, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/9747
DOI: 10.5061/dryad.s42n1

M. Serbyn et al., “Interferometric probes of many-body localization,” Physical Review Letters, vol. 113, no. 14. American Physical Society, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/977
DOI: 10.1103/PhysRevLett.113.147204

M. Serbyn, Z. Papi, and D. Abanin, “Quantum quenches in the many-body localized phase,” Physical Review B - Condensed Matter and Materials Physics, vol. 90, no. 17. American Physical Society, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/980
DOI: 10.1103/PhysRevB.90.174302

A. P. Higginbotham et al., “Hole spin coherence in a Ge/Si heterostructure nanowire,” Nano Letters, vol. 14, no. 6. American Chemical Society, pp. 3582–3586, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/98
DOI: 10.1021/nl501242b
arXiv: 1403.2093

S. Wolf et al., “So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees,” PLoS One, vol. 9, no. 8. Public Library of Science, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2086
DOI: 10.1371/journal.pone.0103989

D. Takagi, J. A. Palacci, A. B. Braunschweig, M. J. Shelley, and J. Zhang, “Hydrodynamic capture of microswimmers into sphere-bound orbits,” Soft Matter, vol. 10, no. 11. Royal Society of Chemistry , 2014.
LibreCat: https://research-explorer.ista.ac.at/record/9050
DOI: 10.1039/c3sm52815d
PMID: 24800268
arXiv: 1309.5662

J. A. Palacci, S. Sacanna, S.-H. Kim, G.-R. Yi, D. J. Pine, and P. M. Chaikin, “Light-activated self-propelled colloids,” Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 372, no. 2029. The Royal Society, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/9166
DOI: 10.1098/rsta.2013.0372
PMID: 25332383
arXiv: 1410.7278

J. T. Huff and D. Zilberman, “Dnmt1-independent CG methylation contributes to nucleosome positioning in diverse eukaryotes,” Cell, vol. 156, no. 6. Elsevier, pp. 1286–1297, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/9458
DOI: 10.1016/j.cell.2014.01.029
PMID: 24630728

Z. Mérai et al., “The AAA-ATPase molecular chaperone Cd/ disassembles sumoylated centromeres, decondenses heterochromatin, and activates ribosomal RNA genes,” Proceedings of the National Academy of Sciences, vol. 111, no. 45. National Academy of Sciences, pp. 16166–16171, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/9479
DOI: 10.1073/pnas.1418564111
PMID: 25344531

B. Cheng and M. Ceriotti, “Direct path integral estimators for isotope fractionation ratios,” The Journal of Chemical Physics, vol. 141, no. 24. AIP Publishing, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/9662
DOI: 10.1063/1.4904293
PMID: 25554138
arXiv: 1412.1308

A. P. Higginbotham et al., “Antilocalization of coulomb blockade in a Ge/Si nanowire,” APS Physics, Physical Review Letters, vol. 112, no. 21. American Physical Society, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/97
DOI: 10.1103/PhysRevLett.112.216806
arXiv: 1401.2948

A. Lovrics et al., “Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord,” PLoS One, vol. 9, no. 11. Public Library of Science, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2004
DOI: 10.1371/journal.pone.0111430

K. Chatterjee, A. Pavlogiannis, B. Adlam, and M. Nowak, “The time scale of evolutionary innovation,” PLoS Computational Biology, vol. 10, no. 9. Public Library of Science, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2039
DOI: 10.1371/journal.pcbi.1003818

M. Lagator, N. Colegrave, and P. Neve, “Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 281, no. 1794. Royal Society, The, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2036
DOI: 10.1098/rspb.2014.1679

M. Konrad, A. V. Grasse, S. Tragust, and S. Cremer, “Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host.” Dryad, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/9740
DOI: 10.5061/dryad.vm0vc

M. Lagator, N. Colegrave, and P. Neve, “Data from: Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses.” Dryad, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/9741
DOI: 10.5061/dryad.85dn7

J. Hearn, G. Stone, L. Bunnefeld, J. Nicholls, N. H. Barton, and K. Lohse, “Likelihood-based inference of population history from low-coverage de novo genome assemblies,” Molecular Ecology, vol. 23, no. 1. Wiley-Blackwell, pp. 198–211, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2170
DOI: 10.1111/mec.12578

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

K. Simmons et al., “Data from: Transformation of stimulus correlations by the retina.” Dryad, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/9752
DOI: 10.5061/dryad.246qg

I. Zeljkovic et al., “Mapping the unconventional orbital texture in topological crystalline insulators,” Nature Physics, vol. 10, no. 8. Nature Publishing Group, pp. 572–577, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/978
DOI: 10.1038/nphys3012

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

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

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

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

P. K. Kundu, G. L. Olsen, V. Kiss, and R. Klajn, “Nanoporous frameworks exhibiting multiple stimuli responsiveness,” Nature Communications, vol. 5. Springer Nature, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/13402
DOI: 10.1038/ncomms4588
PMID: 24709950

R. Klajn, “Spiropyran-based dynamic materials,” Chemical Society Reviews, vol. 43, no. 1. Royal Society of Chemistry, pp. 148–184, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/13404
DOI: 10.1039/c3cs60181a
PMID: 23979515

P. M. Kraus, D. R. Baykusheva, and H. J. Wörner, “Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules,” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 47, no. 12. IOP Publishing, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/14021
DOI: 10.1088/0953-4075/47/12/124030
arXiv: 1311.3923

P. M. Kraus, D. R. Baykusheva, and H. J. Wörner, “Two-pulse field-free orientation reveals anisotropy of molecular shape resonance,” Physical Review Letters, vol. 113, no. 2. American Physical Society, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/14020
DOI: 10.1103/physrevlett.113.023001
PMID: 25062172
arXiv: 1311.3923

K. Chatterjee, M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial-time algorithms for energy games with special weight structures,” Algorithmica, vol. 70, no. 3. Springer, pp. 457–492, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/535
DOI: 10.1007/s00453-013-9843-7
arXiv: 1604.08234

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

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

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

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

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

P. Gazi, K. Z. Pietrzak, and M. Rybar, “The exact PRF-security of NMAC and HMAC,” presented at the CRYPTO: International Cryptology Conference, Santa Barbara, USA, 2014, vol. 8616, no. 1, pp. 113–130.
LibreCat: https://research-explorer.ista.ac.at/record/2082
DOI: 10.1007/978-3-662-44371-2_7

J. Compagnon et al., “The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ,” Developmental Cell, vol. 31, no. 6. Cell Press, pp. 774–783, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1912
DOI: 10.1016/j.devcel.2014.11.003
PMID: 25535919

M. Grusch et al., “Spatio-temporally precise activation of engineered receptor tyrosine kinases by light,” EMBO Journal, vol. 33, no. 15. Wiley-Blackwell, pp. 1713–1726, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2084
DOI: 10.15252/embj.201387695

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

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

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

M. P. Postiglione and S. Hippenmeyer, “Monitoring neurogenesis in the cerebral cortex: an update,” Future Neurology, vol. 9, no. 3. Future Science Group, pp. 323–340, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2175
DOI: 10.2217/fnl.14.18

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

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

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

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

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

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

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

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

W. Guan, A. K. Michael, M. L. McIntosh, L. Koren-Selfridge, J. P. Scott, and T. B. Clark, “Stereoselective formation of trisubstituted vinyl boronate esters by the acid-mediated elimination of ;1-hydroxyboronate esters,” The Journal of Organic Chemistry, vol. 79, no. 15. American Chemical Society, pp. 7199–7204, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/15161
DOI: 10.1021/jo500773t

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

A. Schlögl, P. M. Jonas, C. Schmidt-Hieber, and S. J. Guzman, “Stimfit: A fast visualization and analysis environment for cellular neurophysiology,” Biomedical Engineering / Biomedizinische Technik, vol. 58, no. SI-1-Track-G. De Gruyter, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/10396
DOI: 10.1515/bmt-2013-4181
PMID: 24042795

H. Polshyn, R. Budakian, and G. Gu, “Cantilever micro-susceptometry of mesoscopic Bi2212 samples,” in APS March Meeting 2013, Baltimore, MD, United States, 2013, vol. 58, no. 1.
LibreCat: https://research-explorer.ista.ac.at/record/10749

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

Y. Liang, T. M. Franks, M. C. Marchetto, F. H. Gage, and M. Hetzer, “Dynamic association of NU with the human genome,” PLoS Genetics, vol. 9, no. 2. Public Library of Science, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/11086
DOI: 10.1371/journal.pgen.1003308
PMID: 23468646

B. H. Toyama et al., “Identification of long-lived proteins reveals exceptional stability of essential cellular structures,” Cell, vol. 154, no. 5. Elsevier, pp. 971–982, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/11087
DOI: 10.1016/j.cell.2013.07.037
PMID: 23993091

E. M. Hatch, A. H. Fischer, T. J. Deerinck, and M. Hetzer, “Catastrophic nuclear envelope collapse in cancer cell micronuclei,” Cell, vol. 154, no. 1. Elsevier, pp. 47–60, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/11085
DOI: 10.1016/j.cell.2013.06.007
PMID: 23827674

B. M. Regner et al., “Anomalous diffusion of single particles in cytoplasm,” Biophysical Journal, vol. 104, no. 8. Elsevier, pp. 1652–1660, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/11088
DOI: 10.1016/j.bpj.2013.01.049
PMID: 23601312

D. Sobral et al., “The dynamics of z=0.8 H-alpha-selected star-forming galaxies from KMOS/CF-HiZELS,” The Astrophysical Journal, vol. 779, no. 2. IOP Publishing, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/11520
DOI: 10.1088/0004-637x/779/2/139
arXiv: 1310.3822

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

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

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

W. Dvoák, M. H. Henzinger, and D. P. Williamson, “Maximizing a submodular function with viability constraints,” in 21st Annual European Symposium on Algorithms, Sophia Antipolis, France, 2013, vol. 8125, pp. 409–420.
LibreCat: https://research-explorer.ista.ac.at/record/11792
DOI: 10.1007/978-3-642-40450-4_35
arXiv: 1611.05753

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

L. Petersen, F. Pellicciotti, I. Juszak, M. Carenzo, and B. Brock, “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, vol. 54, no. 63. International Glaciological Society, pp. 120–130, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/12642
DOI: 10.3189/2013aog63a477

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

M. Heynen, F. Pellicciotti, and M. Carenzo, “Parameter sensitivity of a distributed enhanced temperature-index melt model,” Annals of Glaciology, vol. 54, no. 63. International Glaciological Society, pp. 311–321, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/12641
DOI: 10.3189/2013aog63a537

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

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

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

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

T. Hausel, “Global topology of the Hitchin system,” in Handbook of Moduli: Volume II, vol. 25, International Press, 2013, pp. 29–70.
LibreCat: https://research-explorer.ista.ac.at/record/1443

M. De Cataldo, T. Hausel, and L. Migliorini, “Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces,” Journal of Singularities, vol. 7. Worldwide Center of Mathematics, pp. 23–38, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1470
DOI: 10.5427/jsing.2013.7c

N. Ares et al., “SiGe quantum dots for fast hole spin Rabi oscillations,” Applied Physics Letters, vol. 103, no. 26. American Institute of Physics, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1760
DOI: 10.1063/1.4858959

N. Ares et al., “Nature of tunable hole g factors in quantum dots,” Physical Review Letters, vol. 110, no. 4. American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1759
DOI: 10.1103/PhysRevLett.110.046602

F. Nissen, J. M. Fink, J. Mlynek, A. Wallraff, and J. Keeling, “Collective suppression of linewidths in circuit QED,” Physical Review Letters, vol. 110, no. 20. American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1786
DOI: 10.1103/PhysRevLett.110.203602

C. Uhler, G. Raskutti, P. Bühlmann, and B. Yu, “Geometry of the faithfulness assumption in causal inference,” The Annals of Statistics, vol. 41, no. 2. Institute of Mathematical Statistics, pp. 436–463, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2010
DOI: 10.1214/12-AOS1080
arXiv: 1207.0547

C. Uhler, A. Slavkovic, and S. Fienberg, “Privacy-preserving data sharing for genome-wide association studies,” Journal of Privacy and Confidentiality , vol. 5, no. 1. Carnegie Mellon University, pp. 137–166, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2009
DOI: 10.29012/jpc.v5i1.629

S. Dirksen, J. Maas, and J. Van Neerven, “Poisson stochastic integration in Banach spaces,” Electronic Journal of Probability, vol. 18. Institute of Mathematical Statistics, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2117
DOI: 10.1214/EJP.v18-2945 

N. Gigli and J. Maas, “Gromov-Hausdorff convergence of discrete transportation metrics,” SIAM Journal on Mathematical Analysis, vol. 45, no. 2. Society for Industrial and Applied Mathematics , pp. 879–899, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2129
DOI: 10.1137/120886315 

M. Lemeshko, “Manipulating scattering of ultracold atoms with light-induced dissipation,” Frontiers Physics, vol. 1, no. 17. Frontiers Media, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2139
DOI: 10.3389/fphy.2013.00017

T. A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, and A. Sokolova, “Quantitative relaxation of concurrent data structures,” in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language, Rome, Italy, 2013, pp. 317–328.
LibreCat: https://research-explorer.ista.ac.at/record/2181
DOI: 10.1145/2429069.2429109

S. Bhongale, L. Mathey, E. Zhao, S. Yelin, and M. Lemeshko, “Quantum phases of quadrupolar fermi gases in optical lattices,” Physical Review Letters, vol. 110, no. 15. American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2204
DOI: 10.1103/PhysRevLett.110.155301

M. Lemeshko et al., “Controllable quantum spin glasses with magnetic impurities embedded in quantum solids,” Physical Review B - Condensed Matter and Materials Physics, vol. 88, no. 1. American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2206
DOI: 10.1103/PhysRevB.88.014426

M. Lemeshko, R. Krems, J. Doyle, and S. Kais, “Manipulation of molecules with electromagnetic fields,” Molecular Physics, vol. 111, no. 12–13. Taylor &; Francis, pp. 1648–1682, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2205
DOI: 10.1080/00268976.2013.813595

M. Lemeshko and H. Weimer, “Dissipative binding of atoms by non-conservative forces,” Nature Communications, vol. 4. Nature Publishing Group, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2207
DOI: 10.1038/ncomms3230

T. Biedl, M. Held, and S. Huber, “Reconstructing polygons from embedded straight skeletons,” in 29th European Workshop on Computational Geometry, Braunschweig, Germany, 2013, pp. 95–98.
LibreCat: https://research-explorer.ista.ac.at/record/2210

R. Blanc, A. Gupta, L. Kovács, and B. Kragl, “Tree interpolation in Vampire,” vol. 8312. Springer, pp. 173–181, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2237
DOI: 10.1007/978-3-642-45221-5_13

J. Michaliszyn and J. Otop, “Elementary modal logics over transitive structures,” vol. 23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 563–577, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2243
DOI: 10.4230/LIPIcs.CSL.2013.563

J. Matousek, E. Sedgwick, M. Tancer, and U. Wagner, “Untangling two systems of noncrossing curves,” vol. 8242. Springer, pp. 472–483, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2244
DOI: 10.1007/978-3-319-03841-4_41
arXiv: 1302.6475