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