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

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

K. Mitosch and M. T. Bollenbach, “Bacterial responses to antibiotics and their combinations,” Environmental Microbiology Reports, vol. 6, no. 6. Wiley, pp. 545–557, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2001
DOI: 10.1111/1758-2229.12190

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

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

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. Behrndt, “Forces driving epithelial spreading in zebrafish epiboly,” IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1403

S. Cremer, “Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt  Bayerische Akademie der Wissenschaften,” in Soziale Insekten in einer sich wandelnden Welt, vol. 43, Verlag Dr. Friedrich Pfeil, 2014, pp. 65–72.
LibreCat: https://research-explorer.ista.ac.at/record/1888

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

L. B. Sweeney and D. B. Kelley, “Harnessing vocal patterns for social communication,” Current Opinion in Neurobiology, vol. 28, no. 10. Elsevier, pp. 34–41, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/7699
DOI: 10.1016/j.conb.2014.06.006

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

N. Stroeymeyt, B. E. Casillas Perez, and S. Cremer, “Organisational immunity in social insects,” Current Opinion in Insect Science, vol. 5, no. 1. Elsevier, pp. 1–15, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1999
DOI: 10.1016/j.cois.2014.09.001

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. Sari and A. Cacciuto, “Self-assembly of nanoparticles adsorbed on fluid and elastic membranes,” Soft Matter, vol. 9, no. 29. Royal Society of Chemistry, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/10386
DOI: 10.1039/c3sm50188d

J. A. Napoli, A. Sari, and A. Cacciuto, “Collapsing nanoparticle-laden nanotubes,” Soft Matter, vol. 9, no. 37. Royal Society of Chemistry, pp. 8881–8886, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/10385
DOI: 10.1039/c3sm51495a

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

A. Haas et al., “Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation,” in Proceedings of the ACM International Conference on Computing Frontiers - CF ’13, Ischia, Italy, 2013, no. 5.
LibreCat: https://research-explorer.ista.ac.at/record/10898
DOI: 10.1145/2482767.2482789

N. H. Barton, “Differentiation,” in Encyclopedia of Biodiversity, 2nd ed., Elsevier, 2013, pp. 508–515.
LibreCat: https://research-explorer.ista.ac.at/record/10899
DOI: 10.1016/b978-0-12-384719-5.00031-9

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

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

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

S. R. Waitukaitis and H. Jaeger, “In situ granular charge measurement by free-fall videography,” Review of Scientific Instruments, vol. 84, no. 2. AIP, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/115
DOI: 10.1063/1.4789496

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

S. R. Waitukaitis, L. Roth, V. Vitelli, and H. Jaeger, “Dynamic jamming fronts,” EPL, vol. 102, no. 4. Elsevier, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/116
DOI: 10.1209/0295-5075/102/44001

E. Baykan, I. Weber, and M. H. Henzinger, “A comprehensive study of techniques for URL-based web page language classification,” ACM Transactions on the Web, vol. 7, no. 1. Association for Computing Machinery, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/11671
DOI: 10.1145/2435215.2435218

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

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

P. Dütting, M. H. Henzinger, and I. Weber, “Bidder optimal assignments for general utilities,” Theoretical Computer Science, vol. 478, no. 3. Elsevier, pp. 22–32, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/11902
DOI: 10.1016/j.tcs.2013.01.030

B. Pieber, S. T. Martinez, D. Cantillo, and C. O. Kappe, “In situ generation of diimide from hydrazine and oxygen: Continuous-flow transfer hydrogenation of olefins,” Angewandte Chemie International Edition, vol. 52, no. 39. Wiley, pp. 10241–10244, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/11959
DOI: 10.1002/anie.201303528

C. O. Kappe, B. Pieber, and D. Dallinger, “Microwave effects in organic synthesis: Myth or reality?,” Angewandte Chemie International Edition, vol. 52, no. 4. Wiley, pp. 1088–1094, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/11960
DOI: 10.1002/anie.201204103

B. Pieber and C. O. Kappe, “Direct aerobic oxidation of 2-benzylpyridines in a gas-liquid continuous-flow regime using propylene carbonate as a solvent,” Green Chemistry, vol. 15, no. 2. Royal Society of Chemistry, pp. 320–324, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/11973
DOI: 10.1039/c2gc36896j

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

W. W. Immerzeel, F. Pellicciotti, and M. F. P. Bierkens, “Rising river flows throughout the twenty-first century in two Himalayan glacierized watersheds,” Nature Geoscience, vol. 6, no. 9. Springer Nature, pp. 742–745, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/12640
DOI: 10.1038/ngeo1896

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

V. Haikala, M. A. Jösch, A. Borst, and A. Mauss, “Optogenetic control of fly optomotor responses,” Journal of Neuroscience, vol. 33, no. 34. Society for Neuroscience, pp. 13927–13934, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1304
DOI: 10.1523/JNEUROSCI.0340-13.2013

M. A. Jösch, F. Weber, H. Eichner, and A. Borst, “Functional specialization of parallel motion detection circuits in the fly,” Journal of Neuroscience, vol. 33, no. 3. Society for Neuroscience, pp. 902–905, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1305
DOI: 10.1523/JNEUROSCI.3374-12.2013

J. L. Fischer, “Advection-driven support shrinking in a chemotaxis model with degenerate mobility,” SIAM Journal on Mathematical Analysis, vol. 45, no. 3. Society for Industrial and Applied Mathematics , pp. 1585–1615, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1308
DOI: 10.1137/120874291

J. L. Fischer, “Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models,” Communications in Partial Differential Equations, vol. 38, no. 11. Taylor &; Francis, pp. 2004–2047, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1307
DOI: 10.1080/03605302.2013.823548

J. L. Fischer, “Optimal lower bounds on asymptotic support propagation rates for the thin-film equation,” Journal of Differential Equations, vol. 255, no. 10. Academic Press, pp. 3127–3149, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1310
DOI: 10.1016/j.jde.2013.07.028

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

T. Hausel, E. Letellier, and F. Rodríguez Villegas, “Arithmetic harmonic analysis on character and quiver varieties II,” Advances in Mathematics, vol. 234. Academic Press, pp. 85–128, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1469
DOI: 10.1016/j.aim.2012.10.009

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

L. Aceto, M. H. Henzinger, and J. Sgall, “th International Colloquium on Automata, Languages and Programming,” Information and Computation, vol. 222, no. 1. Elsevier, p. 1, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/11758
DOI: 10.1016/j.ic.2012.11.002

N. Kahane, V. Ribes, A. Kicheva, J. Briscoe, and C. Kalcheim, “The transition from differentiation to growth during dermomyotome-derived myogenesis depends on temporally restricted hedgehog signaling,” Development, vol. 140, no. 8. Company of Biologists, pp. 1740–1750, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1726
DOI: 10.1242/dev.092726

A. Kicheva, L. Holtzer, O. Wartlick, T. Schmidt, and M. González Gaitán, “Quantitative imaging of morphogen gradients in drosophila imaginal discs,” Cold Spring Harbor Protocols, vol. 8, no. 5. Cold Spring Harbor Laboratory Press, pp. 387–403, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1727
DOI: 10.1101/pdb.top074237

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

A. Abdumalikov et al., “Experimental realization of non-Abelian non-adiabatic geometric gates,” Nature, vol. 496, no. 7446. Nature Publishing Group, pp. 482–485, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1785
DOI: 10.1038/nature12010

C. Lang et al., “Correlations, indistinguishability and entanglement in Hong-Ou-Mandel experiments at microwave frequencies,” Nature Physics, vol. 9, no. 6. Nature Publishing Group, pp. 345–348, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1787
DOI: 10.1038/nphys2612

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

G. Novarino, S. Baek, and J. Gleeson, “The sacred disease: The puzzling genetics of epileptic disorders,” Neuron, vol. 80, no. 1. Elsevier, pp. 9–11, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1790
DOI: 10.1016/j.neuron.2013.09.019

L. A. Sazanov, R. Baradaran, R. Efremov, J. Berrisford, and G. Minhas, “A long road towards the structure of respiratory complex I, a giant molecular proton pump,” Biochemical Society Transactions, vol. 41, no. 5. Portland Press, pp. 1265–1271, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1977
DOI: 10.1042/BST20130193

R. Baradaran, J. Berrisford, G. Minhas, and L. A. Sazanov, “Crystal structure of the entire respiratory complex i,” Nature, vol. 494, no. 7438. Nature Publishing Group, pp. 443–448, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1978
DOI: 10.1038/nature11871

B. Vicoso and D. Bachtrog, “Reversal of an ancient sex chromosome to an autosome in Drosophila,” Nature, vol. 499, no. 7458. Nature Publishing Group, pp. 332–335, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1991
DOI: 10.1038/nature12235

M. Bonny, E. Fischer Friedrich, M. Loose, P. Schwille, and K. Kruse, “Membrane binding of MinE allows for a comprehensive description of Min-protein pattern formation,” PLoS Computational Biology, vol. 9, no. 12. Public Library of Science, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1988
DOI: 10.1371/journal.pcbi.1003347

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

B. Vicoso, V. Kaiser, and D. Bachtrog, “Sex biased gene expression at homomorphic sex chromosomes in emus and its implication for sex chromosome evolution,” PNAS, vol. 110, no. 16. National Academy of Sciences, pp. 6453–6458, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2074
DOI: 10.1073/pnas.1217027110

B. Vicoso, J. Emerson, Y. Zektser, S. Mahajan, and D. Bachtrog, “Comparative sex chromosome genomics in snakes: Differentiation evolutionary strata and lack of global dosage compensation,” PLoS Biology, vol. 11, no. 8. Public Library of Science, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2076
DOI: 10.1371/journal.pbio.1001643

S. Coros et al., “Computational design of mechanical characters,” ACM Transactions on Graphics, vol. 32, no. 4. ACM, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2108
DOI: 10.1145/2461912.2461953

M. Papas et al., “Fabricating translucent materials using continuous pigment mixtures,” ACM Transactions on Graphics, vol. 32, no. 4. ACM, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2110
DOI: 10.1145/2461912.2461974

A. Bermano, P. Bruschweiler, A. Grundhöfer, D. Iwai, B. Bickel, and M. Groß, “Augmenting physical avatars using projector-based illumination,” ACM Transactions on Graphics, vol. 32, no. 6. ACM, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2111
DOI: 10.1145/2508363.2508416

K. Hildebrand, B. Bickel, and M. Alexa, “Orthogonal slicing for additive manufacturing,” Computers and Graphics (Pergamon), vol. 37, no. 6. Elsevier, pp. 669–675, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2109
DOI: 10.1016/j.cag.2013.05.011

M. Skouras, B. Thomaszewski, S. Coros, B. Bickel, and M. Groß, “Computational design of actuated deformable characters,” ACM Transactions on Graphics, vol. 32, no. 4. ACM, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2107
DOI: 10.1145/2461912.2461979

E. Miguel et al., “Modeling and estimation of internal friction in cloth,” ACM Transactions on Graphics, vol. 32, no. 6. ACM, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2112
DOI: 10.1145/2508363.2508389 

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 

O. Rouiller, B. Bickel, J. Kautz, W. Matusik, and M. Alexa, “D printing spatially varying BRDFs,” IEEE Computer Graphics and Applications, vol. 33, no. 6. IEEE, pp. 48–57, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2113
DOI: 10.1109/MCG.2013.82 

B. Bickel and M. Alexa, “Computational aspects of fabrication: Modeling, design and 3d printing,” IEEE Computer Graphics and Applications, vol. 33, no. 6. IEEE, pp. 24–25, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2114
DOI: 10.1109/MCG.2013.89

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

P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Quantitative abstraction refinement,” in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language, Rome, Italy, 2013, pp. 115–128.
LibreCat: https://research-explorer.ista.ac.at/record/2182
DOI: 10.1145/2429069.2429085

T. Biedl, M. Held, and S. Huber, “Recognizing straight skeletons and Voronoi diagrams and reconstructing their input,” presented at the ISVD: Voronoi Diagrams in Science and Engineering, St. Petersburg, Russia, 2013, pp. 37–46.
LibreCat: https://research-explorer.ista.ac.at/record/2209
DOI: 10.1109/ISVD.2013.11

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