Edelsbrunner, H., &; Pausinger, F. (2014). Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision. Springer.https://doi.org/10.1007/s10851-013-0468-x 
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. In Proceedings of the Annual Symposium on Computational Geometry (pp. 171–180). Kyoto, Japan: ACM.https://doi.org/10.1145/2582112.2582134 
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. Wiley-Blackwell.https://doi.org/10.1002/ece3.1289 
LibreCat: https://research-explorer.ista.ac.at/record/2023
DOI: 10.1002/ece3.1289

Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., &; Tarrach, T. (2014). Regression-free synthesis for concurrency (Vol. 8559, pp. 568–584). Presented at the CAV: Computer Aided Verification, Vienna, Austria: Springer.https://doi.org/10.1007/978-3-319-08867-9_38 
LibreCat: https://research-explorer.ista.ac.at/record/2218
DOI: 10.1007/978-3-319-08867-9_38

Daca, P., Henzinger, T. A., Krenn, W., &; Nickovic, D. (2014). Compositional specifications for IOCO testing. In IEEE 7th International Conference on Software Testing, Verification and Validation. Cleveland, USA: IEEE.https://doi.org/10.1109/ICST.2014.50 
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 (Vol. 8559, pp. 473–490). Presented at the CAV: Computer Aided Verification, Vienna, Austria: Springer.https://doi.org/10.1007/978-3-319-08867-9_31 
LibreCat: https://research-explorer.ista.ac.at/record/2063
DOI: 10.1007/978-3-319-08867-9_31

Mitosch, K., &; Bollenbach, M. T. (2014). Bacterial responses to antibiotics and their combinations. Environmental Microbiology Reports. Wiley.https://doi.org/10.1111/1758-2229.12190 
LibreCat: https://research-explorer.ista.ac.at/record/2001
DOI: 10.1111/1758-2229.12190

Gazi, P., Pietrzak, K. Z., &; Rybar, M. (2014). The exact PRF-security of NMAC and HMAC. In J. Garay &; R. Gennaro (Eds.) (Vol. 8616, pp. 113–130). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, USA: Springer.https://doi.org/10.1007/978-3-662-44371-2_7 
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.-P. J. (2014). The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ. Developmental Cell. Cell Press.https://doi.org/10.1016/j.devcel.2014.11.003 
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.,https://doi.org/10.15252/embj.201387695__Janovjak, H. L. (2014). Spatio-temporally precise activation of engineered receptor tyrosine kinases by light. EMBO Journal. Wiley-Blackwell.https://doi.org/10.15252/embj.201387695 
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. In Proceedings of the Annual Symposium on Computational Geometry (pp. 78–84). Kyoto, Japan: ACM.https://doi.org/10.1145/2582112.2582137 
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. In ICMS 2014: International Congress on Mathematical Software (Vol. 8592, pp. 137–143). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-662-44199-2_24 
LibreCat: https://research-explorer.ista.ac.at/record/10894
DOI: 10.1007/978-3-662-44199-2_24

Chatterjee, K., Henzinger, T. A., Otop, J., &; Velner, Y. (2014). Quantitative fair simulation games. IST Austria.https://doi.org/10.15479/AT:IST-2014-315-v1-1 
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. Deutsche Zoologische Gesellschaft.
LibreCat: https://research-explorer.ista.ac.at/record/1887

Postiglione, M. P., &; Hippenmeyer, S. (2014). Monitoring neurogenesis in the cerebral cortex: an update. Future Neurology. Future Science Group.https://doi.org/10.2217/fnl.14.18 
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. Karger Publishers.https://doi.org/10.1159/000365548 
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. In Proceedings of the International Congress of Mathematicians (Vol. 3, pp. 214–236). Seoul, Korea: International Congress of Mathematicians.
LibreCat: https://research-explorer.ista.ac.at/record/1507

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

Pentina, A., &; Lampert, C. (2014). A PAC-Bayesian bound for Lifelong Learning (Vol. 32, pp. 991–999). Presented at the ICML: International Conference on Machine Learning, Beijing, China: ML Research Press.
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 (Vol. 43, pp. 65–72). Verlag Dr. Friedrich Pfeil.
LibreCat: https://research-explorer.ista.ac.at/record/1888

Iglesias Ham, M., Kerber, M., &; Uhler, C. (n.d.). Sphere packing with limited overlap. arXiv.https://doi.org/10.48550/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, F. M., &; Dietz, H. (2014). Facile and scalable preparation of pure and dense DNA origami solutions. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/ange.201405991 
LibreCat: https://research-explorer.ista.ac.at/record/14301
DOI: 10.1002/ange.201405991
PMID: 25346175

Sweeney, L. B., &; Kelley, D. B. (2014). Harnessing vocal patterns for social communication. Current Opinion in Neurobiology. Elsevier.https://doi.org/10.1016/j.conb.2014.06.006 
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. Springer.https://doi.org/10.1007/s11005-013-0667-9 
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. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1003408 
LibreCat: https://research-explorer.ista.ac.at/record/2257
DOI: 10.1371/journal.pcbi.1003408

Guan, W., Michael, A. K., McIntosh, M. L., Koren-Selfridge, L., Scott, J. P., &; Clark, T. B. (2014). Stereoselective formation of trisubstituted vinyl boronate esters by the acid-mediated elimination of ;1-hydroxyboronate esters. The Journal of Organic Chemistry. American Chemical Society.https://doi.org/10.1021/jo500773t 
LibreCat: https://research-explorer.ista.ac.at/record/15161
DOI: 10.1021/jo500773t

Stroeymeyt, N., Casillas Perez, B. E., &; Cremer, S. (2014). Organisational immunity in social insects. Current Opinion in Insect Science. Elsevier.https://doi.org/10.1016/j.cois.2014.09.001 
LibreCat: https://research-explorer.ista.ac.at/record/1999
DOI: 10.1016/j.cois.2014.09.001

Mognetti, B. M., 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. American Physical Society.https://doi.org/10.1103/physrevlett.111.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. Royal Society of Chemistry.https://doi.org/10.1039/c3sm50188d 
LibreCat: https://research-explorer.ista.ac.at/record/10386
DOI: 10.1039/c3sm50188d

Napoli, J. A., Sari, A., &; Cacciuto, A. (2013). Collapsing nanoparticle-laden nanotubes. Soft Matter. Royal Society of Chemistry.https://doi.org/10.1039/c3sm51495a 
LibreCat: https://research-explorer.ista.ac.at/record/10385
DOI: 10.1039/c3sm51495a

Schlögl, A., Jonas, P. M., Schmidt-Hieber, C., &; Guzman, S. J. (2013). Stimfit: A fast visualization and analysis environment for cellular neurophysiology. Biomedical Engineering / Biomedizinische Technik. Graz, Austria: De Gruyter.https://doi.org/10.1515/bmt-2013-4181 
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. In APS March Meeting 2013 (Vol. 58). Baltimore, MD, United States: American Physical Society.
LibreCat: https://research-explorer.ista.ac.at/record/10749

Vanneste, S., &; Friml, J. (2013). Calcium: The missing link in auxin action. Plants. MDPI.https://doi.org/10.3390/plants2040650 
LibreCat: https://research-explorer.ista.ac.at/record/10895
DOI: 10.3390/plants2040650
PMID: 27137397

Haas, A., Lippautz, M., Henzinger, T. A., Payer, H., Sokolova, A., Kirsch, C. M., &; Sezgin, A. (2013). 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: ACM Press.https://doi.org/10.1145/2482767.2482789 
LibreCat: https://research-explorer.ista.ac.at/record/10898
DOI: 10.1145/2482767.2482789

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

Liang, Y., Franks, T. M., Marchetto, M. C., Gage, F. H., &; Hetzer, M. (2013). Dynamic association of NU with the human genome. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1003308 
LibreCat: https://research-explorer.ista.ac.at/record/11086
DOI: 10.1371/journal.pgen.1003308
PMID: 23468646

Toyama, B. H., Savas, J. N., Park, S. K., Harris, M. S., Ingolia, N. T., Yates, J. R., &; Hetzer, M. (2013). Identification of long-lived proteins reveals exceptional stability of essential cellular structures. Cell. Elsevier.https://doi.org/10.1016/j.cell.2013.07.037 
LibreCat: https://research-explorer.ista.ac.at/record/11087
DOI: 10.1016/j.cell.2013.07.037
PMID: 23993091

Hatch, E. M., Fischer, A. H., Deerinck, T. J., &; Hetzer, M. (2013). Catastrophic nuclear envelope collapse in cancer cell micronuclei. Cell. Elsevier.https://doi.org/10.1016/j.cell.2013.06.007 
LibreCat: https://research-explorer.ista.ac.at/record/11085
DOI: 10.1016/j.cell.2013.06.007
PMID: 23827674

Regner, B. M., Vudini, D., Domnisoru, C., Bartol, T. M., Hetzer, M., Tartakovsky, D. M., &; Sejnowski, T. J. (2013). Anomalous diffusion of single particles in cytoplasm. Biophysical Journal. Elsevier.https://doi.org/10.1016/j.bpj.2013.01.049 
LibreCat: https://research-explorer.ista.ac.at/record/11088
DOI: 10.1016/j.bpj.2013.01.049
PMID: 23601312

Franks, T. M., &; Hetzer, M. (2013). The role of Nu in transcription regulation in healthy and diseased cells. Trends in Cell Biology. Elsevier.https://doi.org/10.1016/j.tcb.2012.10.013 
LibreCat: https://research-explorer.ista.ac.at/record/11083
DOI: 10.1016/j.tcb.2012.10.013
PMID: 23246429

Toyama, B. H., &; Hetzer, M. (2013). Protein homeostasis: Live long, won’t prosper. Nature Reviews Molecular Cell Biology. Springer Nature.https://doi.org/10.1038/nrm3496 
LibreCat: https://research-explorer.ista.ac.at/record/11084
DOI: 10.1038/nrm3496
PMID: 23258296

Waitukaitis, S. R., &; Jaeger, H. (2013). In situ granular charge measurement by free-fall videography. Review of Scientific Instruments. AIP.https://doi.org/10.1063/1.4789496 
LibreCat: https://research-explorer.ista.ac.at/record/115
DOI: 10.1063/1.4789496

Sobral, D., Swinbank, A. M., Stott, J. P., Matthee, J. J., Bower, R. G., Smail, I.,https://doi.org/10.1088/0004-637x/779/2/139__Sharples, R. M. (2013). The dynamics of z=0.8 H-alpha-selected star-forming galaxies from KMOS/CF-HiZELS. The Astrophysical Journal. IOP Publishing.https://doi.org/10.1088/0004-637x/779/2/139 
LibreCat: https://research-explorer.ista.ac.at/record/11520
DOI: 10.1088/0004-637x/779/2/139
arXiv: 1310.3822

Waitukaitis, S. R., Roth, L., Vitelli, V., &; Jaeger, H. (2013). Dynamic jamming fronts. EPL. Elsevier.https://doi.org/10.1209/0295-5075/102/44001 
LibreCat: https://research-explorer.ista.ac.at/record/116
DOI: 10.1209/0295-5075/102/44001

Baykan, E., Weber, I., &; Henzinger, M. H. (2013). A comprehensive study of techniques for URL-based web page language classification. ACM Transactions on the Web. Association for Computing Machinery.https://doi.org/10.1145/2435215.2435218 
LibreCat: https://research-explorer.ista.ac.at/record/11671
DOI: 10.1145/2435215.2435218

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

Dütting, P., Henzinger, M. H., &; Weber, I. (2013). Sponsored search, market equilibria, and the Hungarian Method. Information Processing Letters. Elsevier.https://doi.org/10.1016/j.ipl.2012.11.006 
LibreCat: https://research-explorer.ista.ac.at/record/11759
DOI: 10.1016/j.ipl.2012.11.006
arXiv: 0912.1934

Henzinger, M. H., Krinninger, S., &; Nanongkai, D. (2013). Sublinear-time maintenance of breadth-first spanning tree in partially dynamic networks. In 40th International Colloquium on Automata, Languages, and Programming (Vol. 7966, pp. 607–619). Riga, Latvia: Springer Nature.https://doi.org/10.1007/978-3-642-39212-2_53 
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, M. H., &; Starnberger, M. (2013). Valuation compressions in VCG-based combinatorial auctions. In 9th International Conference on Web and Internet Economics (Vol. 8289, pp. 146–159). Cambridge, MA, USA: Springer Nature.https://doi.org/10.1007/978-3-642-45046-4_13 
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, M. H., &; Williamson, D. P. (2013). Maximizing a submodular function with viability constraints. In 21st Annual European Symposium on Algorithms (Vol. 8125, pp. 409–420). Sophia Antipolis, France: Springer Nature.https://doi.org/10.1007/978-3-642-40450-4_35 
LibreCat: https://research-explorer.ista.ac.at/record/11792
DOI: 10.1007/978-3-642-40450-4_35
arXiv: 1611.05753

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

Dütting, P., Henzinger, M. H., &; Weber, I. (2013). Bidder optimal assignments for general utilities. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2013.01.030 
LibreCat: https://research-explorer.ista.ac.at/record/11902
DOI: 10.1016/j.tcs.2013.01.030

Pieber, B., Martinez, S. T., Cantillo, D., &; Kappe, C. O. (2013). In situ generation of diimide from hydrazine and oxygen: Continuous-flow transfer hydrogenation of olefins. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.201303528 
LibreCat: https://research-explorer.ista.ac.at/record/11959
DOI: 10.1002/anie.201303528

Kappe, C. O., Pieber, B., &; Dallinger, D. (2013). Microwave effects in organic synthesis: Myth or reality? Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.201204103 
LibreCat: https://research-explorer.ista.ac.at/record/11960
DOI: 10.1002/anie.201204103

Pieber, B., &; Kappe, C. O. (2013). Direct aerobic oxidation of 2-benzylpyridines in a gas-liquid continuous-flow regime using propylene carbonate as a solvent. Green Chemistry. Royal Society of Chemistry.https://doi.org/10.1039/c2gc36896j 
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. International Glaciological Society.https://doi.org/10.3189/2013aog63a477 
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. American Geophysical Union.https://doi.org/10.1002/jgrd.50277 
LibreCat: https://research-explorer.ista.ac.at/record/12643
DOI: 10.1002/jgrd.50277

Immerzeel, W. W., Pellicciotti, F., &; Bierkens, M. F. P. (2013). Rising river flows throughout the twenty-first century in two Himalayan glacierized watersheds. Nature Geoscience. Springer Nature.https://doi.org/10.1038/ngeo1896 
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. International Glaciological Society.https://doi.org/10.3189/2013aog63a537 
LibreCat: https://research-explorer.ista.ac.at/record/12641
DOI: 10.3189/2013aog63a537

Haikala, V., Jösch, M. A., Borst, A., &; Mauss, A. (2013). Optogenetic control of fly optomotor responses. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.0340-13.2013 
LibreCat: https://research-explorer.ista.ac.at/record/1304
DOI: 10.1523/JNEUROSCI.0340-13.2013

Jösch, M. A., Weber, F., Eichner, H., &; Borst, A. (2013). Functional specialization of parallel motion detection circuits in the fly. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.3374-12.2013 
LibreCat: https://research-explorer.ista.ac.at/record/1305
DOI: 10.1523/JNEUROSCI.3374-12.2013

Fischer, J. L. (2013). Advection-driven support shrinking in a chemotaxis model with degenerate mobility. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics .https://doi.org/10.1137/120874291 
LibreCat: https://research-explorer.ista.ac.at/record/1308
DOI: 10.1137/120874291

Fischer, J. L. (2013). Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models. Communications in Partial Differential Equations. Taylor &; Francis.https://doi.org/10.1080/03605302.2013.823548 
LibreCat: https://research-explorer.ista.ac.at/record/1307
DOI: 10.1080/03605302.2013.823548

Fischer, J. L. (2013). Optimal lower bounds on asymptotic support propagation rates for the thin-film equation. Journal of Differential Equations. Academic Press.https://doi.org/10.1016/j.jde.2013.07.028 
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. In 22nd EACSL Annual Conference on Computer Science Logic (Vol. 23, pp. 181–196). Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CSL.2013.181 
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. In 2013 Formal Methods in Computer-Aided Design (pp. 77–84). Portland, OR, United States: IEEE.https://doi.org/10.1109/FMCAD.2013.6679394 
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. Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer.https://doi.org/10.1007/978-3-642-39212-2_11 
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. Princeton University Press.https://doi.org/10.4007/annals.2013.177.3.8 
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 (Vol. 25, pp. 29–70). International Press.
LibreCat: https://research-explorer.ista.ac.at/record/1443

Hausel, T., Letellier, E., &; Rodríguez Villegas, F. (2013). Arithmetic harmonic analysis on character and quiver varieties II. Advances in Mathematics. Academic Press.https://doi.org/10.1016/j.aim.2012.10.009 
LibreCat: https://research-explorer.ista.ac.at/record/1469
DOI: 10.1016/j.aim.2012.10.009

De Cataldo, M., Hausel, T., &; Migliorini, L. (2013). Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces. Journal of Singularities. Worldwide Center of Mathematics.https://doi.org/10.5427/jsing.2013.7c 
LibreCat: https://research-explorer.ista.ac.at/record/1470
DOI: 10.5427/jsing.2013.7c

Aceto, L., Henzinger, M. H., &; Sgall, J. (2013). 38th International Colloquium on Automata, Languages and Programming. Information and Computation. Elsevier.https://doi.org/10.1016/j.ic.2012.11.002 
LibreCat: https://research-explorer.ista.ac.at/record/11758
DOI: 10.1016/j.ic.2012.11.002

Kahane, N., Ribes, V., Kicheva, A., Briscoe, J., &; Kalcheim, C. (2013). The transition from differentiation to growth during dermomyotome-derived myogenesis depends on temporally restricted hedgehog signaling. Development. Company of Biologists.https://doi.org/10.1242/dev.092726 
LibreCat: https://research-explorer.ista.ac.at/record/1726
DOI: 10.1242/dev.092726

Kicheva, A., Holtzer, L., Wartlick, O., Schmidt, T., &; González Gaitán, M. (2013). Quantitative imaging of morphogen gradients in drosophila imaginal discs. Cold Spring Harbor Protocols. Cold Spring Harbor Laboratory Press.https://doi.org/10.1101/pdb.top074237 
LibreCat: https://research-explorer.ista.ac.at/record/1727
DOI: 10.1101/pdb.top074237

Ares, N., Katsaros, G., Golovach, V., Zhang, J., Prager, A., Glazman, L.,https://doi.org/10.1063/1.4858959__De Franceschi, S. (2013). SiGe quantum dots for fast hole spin Rabi oscillations. Applied Physics Letters. American Institute of Physics.https://doi.org/10.1063/1.4858959 
LibreCat: https://research-explorer.ista.ac.at/record/1760
DOI: 10.1063/1.4858959

Ares, N., Golovach, V., Katsaros, G., Stoffel, M., Fournel, F., Glazman, L.,https://doi.org/10.1103/PhysRevLett.110.046602__De Franceschi, S. (2013). Nature of tunable hole g factors in quantum dots. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.110.046602 
LibreCat: https://research-explorer.ista.ac.at/record/1759
DOI: 10.1103/PhysRevLett.110.046602

Abdumalikov, A., Fink, J. M., Juliusson, K., Pechal, M., Berger, S., Wallraff, A., &; Filipp, S. (2013). Experimental realization of non-Abelian non-adiabatic geometric gates. Nature. Nature Publishing Group.https://doi.org/10.1038/nature12010 
LibreCat: https://research-explorer.ista.ac.at/record/1785
DOI: 10.1038/nature12010

Lang, C., Eichler, C., Steffen, L., Fink, J. M., Woolley, M., Blais, A., &; Wallraff, A. (2013). Correlations, indistinguishability and entanglement in Hong-Ou-Mandel experiments at microwave frequencies. Nature Physics. Nature Publishing Group.https://doi.org/10.1038/nphys2612 
LibreCat: https://research-explorer.ista.ac.at/record/1787
DOI: 10.1038/nphys2612

Nissen, F., Fink, J. M., Mlynek, J., Wallraff, A., &; Keeling, J. (2013). Collective suppression of linewidths in circuit QED. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.110.203602 
LibreCat: https://research-explorer.ista.ac.at/record/1786
DOI: 10.1103/PhysRevLett.110.203602

Novarino, G., Baek, S., &; Gleeson, J. (2013). The sacred disease: The puzzling genetics of epileptic disorders. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2013.09.019 
LibreCat: https://research-explorer.ista.ac.at/record/1790
DOI: 10.1016/j.neuron.2013.09.019

Sazanov, L. A., Baradaran, R., Efremov, R., Berrisford, J., &; Minhas, G. (2013). A long road towards the structure of respiratory complex I, a giant molecular proton pump. Biochemical Society Transactions. Portland Press.https://doi.org/10.1042/BST20130193 
LibreCat: https://research-explorer.ista.ac.at/record/1977
DOI: 10.1042/BST20130193

Baradaran, R., Berrisford, J., Minhas, G., &; Sazanov, L. A. (2013). Crystal structure of the entire respiratory complex i. Nature. Nature Publishing Group.https://doi.org/10.1038/nature11871 
LibreCat: https://research-explorer.ista.ac.at/record/1978
DOI: 10.1038/nature11871

Vicoso, B., &; Bachtrog, D. (2013). Reversal of an ancient sex chromosome to an autosome in Drosophila. Nature. Nature Publishing Group.https://doi.org/10.1038/nature12235 
LibreCat: https://research-explorer.ista.ac.at/record/1991
DOI: 10.1038/nature12235

Bonny, M., Fischer Friedrich, E., Loose, M., Schwille, P., &; Kruse, K. (2013). Membrane binding of MinE allows for a comprehensive description of Min-protein pattern formation. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1003347 
LibreCat: https://research-explorer.ista.ac.at/record/1988
DOI: 10.1371/journal.pcbi.1003347

Uhler, C., Raskutti, G., Bühlmann, P., &; Yu, B. (2013). Geometry of the faithfulness assumption in causal inference. The Annals of Statistics. Institute of Mathematical Statistics.https://doi.org/10.1214/12-AOS1080 
LibreCat: https://research-explorer.ista.ac.at/record/2010
DOI: 10.1214/12-AOS1080
arXiv: 1207.0547

Uhler, C., Slavkovic, A., &; Fienberg, S. (2013). Privacy-preserving data sharing for genome-wide association studies. Journal of Privacy and Confidentiality . Carnegie Mellon University.https://doi.org/10.29012/jpc.v5i1.629 
LibreCat: https://research-explorer.ista.ac.at/record/2009
DOI: 10.29012/jpc.v5i1.629

Vicoso, B., Kaiser, V., &; Bachtrog, D. (2013). Sex biased gene expression at homomorphic sex chromosomes in emus and its implication for sex chromosome evolution. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1217027110 
LibreCat: https://research-explorer.ista.ac.at/record/2074
DOI: 10.1073/pnas.1217027110

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

Coros, S., Thomaszewski, B., Noris, G., Sueda, S., Forberg, M., Sumner, R.,https://doi.org/10.1145/2461912.2461953__Bickel, B. (2013). Computational design of mechanical characters. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2461912.2461953 
LibreCat: https://research-explorer.ista.ac.at/record/2108
DOI: 10.1145/2461912.2461953

Papas, M., Regg, C., Jarosz, W., Bickel, B., Jackson, P., Matusik, W.,https://doi.org/10.1145/2461912.2461974__Groß, M. (2013). Fabricating translucent materials using continuous pigment mixtures. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2461912.2461974 
LibreCat: https://research-explorer.ista.ac.at/record/2110
DOI: 10.1145/2461912.2461974

Bermano, A., Bruschweiler, P., Grundhöfer, A., Iwai, D., Bickel, B., &; Groß, M. (2013). Augmenting physical avatars using projector-based illumination. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2508363.2508416 
LibreCat: https://research-explorer.ista.ac.at/record/2111
DOI: 10.1145/2508363.2508416

Hildebrand, K., Bickel, B., &; Alexa, M. (2013). Orthogonal slicing for additive manufacturing. Computers and Graphics (Pergamon). Elsevier.https://doi.org/10.1016/j.cag.2013.05.011 
LibreCat: https://research-explorer.ista.ac.at/record/2109
DOI: 10.1016/j.cag.2013.05.011

Skouras, M., Thomaszewski, B., Coros, S., Bickel, B., &; Groß, M. (2013). Computational design of actuated deformable characters. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2461912.2461979 
LibreCat: https://research-explorer.ista.ac.at/record/2107
DOI: 10.1145/2461912.2461979

Miguel, E., Tamstorf, R., Bradley, D., Schvartzman, S., Thomaszewski, B., Bickel, B.,https://doi.org/10.1145/2508363.2508389 __Otaduy, M. (2013). Modeling and estimation of internal friction in cloth. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2508363.2508389  
LibreCat: https://research-explorer.ista.ac.at/record/2112
DOI: 10.1145/2508363.2508389 

Dirksen, S., Maas, J., &; Van Neerven, J. (2013). Poisson stochastic integration in Banach spaces. Electronic Journal of Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/EJP.v18-2945  
LibreCat: https://research-explorer.ista.ac.at/record/2117
DOI: 10.1214/EJP.v18-2945 

Rouiller, O., Bickel, B., Kautz, J., Matusik, W., &; Alexa, M. (2013). 3D printing spatially varying BRDFs. IEEE Computer Graphics and Applications. IEEE.https://doi.org/10.1109/MCG.2013.82  
LibreCat: https://research-explorer.ista.ac.at/record/2113
DOI: 10.1109/MCG.2013.82 

Bickel, B., &; Alexa, M. (2013). Computational aspects of fabrication: Modeling, design and 3d printing. IEEE Computer Graphics and Applications. IEEE.https://doi.org/10.1109/MCG.2013.89 
LibreCat: https://research-explorer.ista.ac.at/record/2114
DOI: 10.1109/MCG.2013.89

Gigli, N., &; Maas, J. (2013). Gromov-Hausdorff convergence of discrete transportation metrics. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics .https://doi.org/10.1137/120886315  
LibreCat: https://research-explorer.ista.ac.at/record/2129
DOI: 10.1137/120886315 

Lemeshko, M. (2013). Manipulating scattering of ultracold atoms with light-induced dissipation. Frontiers Physics. Frontiers Media.https://doi.org/10.3389/fphy.2013.00017 
LibreCat: https://research-explorer.ista.ac.at/record/2139
DOI: 10.3389/fphy.2013.00017