Porsche, J. (2014). Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none.
LibreCat: https://research-explorer.ista.ac.at/record/5422

Chatterjee, K., Chmelik, M., Gupta, R., &; Kanodia, A. (2014). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria.https://doi.org/10.15479/AT:IST-2014-305-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/5424
DOI: 10.15479/AT:IST-2014-305-v1-1

Chatterjee, K., Chmelik, M., Gupta, R., &; Kanodia, A. (2014). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria.https://doi.org/10.15479/AT:IST-2014-305-v2-1 
LibreCat: https://research-explorer.ista.ac.at/record/5426
DOI: 10.15479/AT:IST-2014-305-v2-1

Chatterjee, K., Kössler, A., Pavlogiannis, A., &; Schmid, U. (2014). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. IST Austria.https://doi.org/10.15479/AT:IST-2014-300-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/5423
DOI: 10.15479/AT:IST-2014-300-v1-1

Chatterjee, K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2014). Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria.https://doi.org/10.15479/AT:IST-2014-314-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/5427
DOI: 10.15479/AT:IST-2014-314-v1-1

Anonymous, 1, Anonymous, 2, Anonymous, 3, &; Anonymous, 4. (2014). Optimal cost almost-sure reachability in POMDPs. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/5425

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2014). Nested weighted automata. IST Austria.https://doi.org/10.15479/AT:IST-2014-170-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/5415
DOI: 10.15479/AT:IST-2014-170-v1-1

Chatterjee, K., Ibsen-Jensen, R., &; Nowak, M. (2014). The complexity of evolution on graphs. IST Austria.https://doi.org/10.15479/AT:IST-2014-190-v2-2 
LibreCat: https://research-explorer.ista.ac.at/record/5421
DOI: 10.15479/AT:IST-2014-190-v2-2

Huszár, K., &; Rolinek, M. (n.d.). Playful Math - An introduction to mathematical games. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/7038

Lagator, M., Morgan, A., Neve, P., &; Colegrave, N. (2014). Role of sex and migration in adaptation to sink environments. Evolution. Wiley.https://doi.org/10.1111/evo.12440 
LibreCat: https://research-explorer.ista.ac.at/record/2083
DOI: 10.1111/evo.12440

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

Wolf, S., Mcmahon, D., Lim, K., Pull, C., Clark, S., Paxton, R., &; Osborne, J. (2014). So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0103989 
LibreCat: https://research-explorer.ista.ac.at/record/2086
DOI: 10.1371/journal.pone.0103989

Lovrics, A., Gao, Y., Juhász, B., Bock, I., Byrne, H., Dinnyés, A., &; Kovács, K. (2014). Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0111430 
LibreCat: https://research-explorer.ista.ac.at/record/2004
DOI: 10.1371/journal.pone.0111430

Chatterjee, K., Pavlogiannis, A., Adlam, B., &; Nowak, M. (2014). The time scale of evolutionary innovation. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1003818 
LibreCat: https://research-explorer.ista.ac.at/record/2039
DOI: 10.1371/journal.pcbi.1003818

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

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

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

Hearn, J., Stone, G., Bunnefeld, L., Nicholls, J., Barton, N. H., &; Lohse, K. (2014). Likelihood-based inference of population history from low-coverage de novo genome assemblies. Molecular Ecology. Wiley-Blackwell.https://doi.org/10.1111/mec.12578 
LibreCat: https://research-explorer.ista.ac.at/record/2170
DOI: 10.1111/mec.12578

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

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

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

Chatterjee, K., Henzinger, M. H., Krinninger, S., &; Nanongkai, D. (2014). Polynomial-time algorithms for energy games with special weight structures. Algorithmica. Springer.https://doi.org/10.1007/s00453-013-9843-7 
LibreCat: https://research-explorer.ista.ac.at/record/535
DOI: 10.1007/s00453-013-9843-7
arXiv: 1604.08234

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

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

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

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

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

Aminof, B., &; Rubin, S. (2014). First cycle games. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 146, pp. 83–90). Grenoble, France: Open Publishing Association.https://doi.org/10.4204/EPTCS.146.11 
LibreCat: https://research-explorer.ista.ac.at/record/475
DOI: 10.4204/EPTCS.146.11
arXiv: 1404.0843

Tobler, M., Plath, M., Riesch, R., Schlupp, I., Grasse, A. V., Munimanda, G.,https://doi.org/10.1111/jeb.12370__Moodley, Y. (2014). Selection from parasites favours immunogenetic diversity but not divergence among locally adapted host populations. Journal of Evolutionary Biology. Wiley.https://doi.org/10.1111/jeb.12370 
LibreCat: https://research-explorer.ista.ac.at/record/1905
DOI: 10.1111/jeb.12370
PMID: 24725091

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

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

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

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

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

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

Blanc, R., Gupta, A., Kovács, L., &; Kragl, B. (2013). Tree interpolation in Vampire. Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Stellenbosch, South Africa: Springer.https://doi.org/10.1007/978-3-642-45221-5_13 
LibreCat: https://research-explorer.ista.ac.at/record/2237
DOI: 10.1007/978-3-642-45221-5_13

Michaliszyn, J., &; Otop, J. (2013). Elementary modal logics over transitive structures. Presented at the CSL: Computer Science Logic, Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CSL.2013.563 
LibreCat: https://research-explorer.ista.ac.at/record/2243
DOI: 10.4230/LIPIcs.CSL.2013.563

Matousek, J., Sedgwick, E., Tancer, M., &; Wagner, U. (2013). Untangling two systems of noncrossing curves. Presented at the GD: Graph Drawing and Network Visualization, Bordeaux, France: Springer.https://doi.org/10.1007/978-3-319-03841-4_41 
LibreCat: https://research-explorer.ista.ac.at/record/2244
DOI: 10.1007/978-3-319-03841-4_41
arXiv: 1302.6475

Alwen, J. F., Krenn, S., Pietrzak, K. Z., &; Wichs, D. (2013). Learning with rounding, revisited: New reduction properties and applications. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer.https://doi.org/10.1007/978-3-642-40041-4_4 
LibreCat: https://research-explorer.ista.ac.at/record/2259
DOI: 10.1007/978-3-642-40041-4_4

Kiltz, E., Pietrzak, K. Z., &; Szegedy, M. (2013). Digital signatures with minimal overhead from indifferentiable random invertible functions. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer.https://doi.org/10.1007/978-3-642-40041-4_31 
LibreCat: https://research-explorer.ista.ac.at/record/2258
DOI: 10.1007/978-3-642-40041-4_31

Danowski, P., Goldfarb, D., Schaffner, V., &; Seidler, W. (2013). Linked (Open) Data - Bibliographische Daten im Semantic Web. VÖB Mitteilungen. Verein Österreichischer Bibliothekarinnen und Bibliothekare.
LibreCat: https://research-explorer.ista.ac.at/record/2256

Bernhard, D., Fuchsbauer, G., &; Ghadafi, E. (2013). Efficient signatures of knowledge and DAA in the standard model. Presented at the ACNS: Applied Cryptography and Network Security, Banff, AB, Canada: Springer.https://doi.org/10.1007/978-3-642-38980-1_33 
LibreCat: https://research-explorer.ista.ac.at/record/2260
DOI: 10.1007/978-3-642-38980-1_33

Liang, H., Xiao, G., Yin, H., Hippenmeyer, S., Horowitz, J., &; Ghashghaei, T. (2013). Neural development is dependent on the function of specificity protein 2 in cell cycle progression. Development. Company of Biologists.https://doi.org/10.1242/dev.085621 
LibreCat: https://research-explorer.ista.ac.at/record/2264
DOI: 10.1242/dev.085621
PMID: 23293287

Bachrach, Y., Kohli, P., Kolmogorov, V., &; Zadimoghaddam, M. (2013). Optimal Coalition Structures in Cooperative Graph Games (pp. 81–87). Presented at the AAAI: Conference on Artificial Intelligence, Bellevue, WA, United States: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/2270
arXiv: 1108.5248

Kolmogorov, V. (2013). Reweighted message passing revisited. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/2273

Gridchyn, I., &; Kolmogorov, V. (2013). Potts model, parametric maxflow and k-submodular functions (pp. 2320–2327). Presented at the ICCV: International Conference on Computer Vision, Sydney, Australia: IEEE.https://doi.org/10.1109/ICCV.2013.288 
LibreCat: https://research-explorer.ista.ac.at/record/2276
DOI: 10.1109/ICCV.2013.288
arXiv: 1310.1771

Uhler, C., &; Wright, S. (2013). Packing ellipsoids with overlap. SIAM Review. Society for Industrial and Applied Mathematics .https://doi.org/10.1137/120872309 
LibreCat: https://research-explorer.ista.ac.at/record/2280
DOI: 10.1137/120872309
arXiv: 1204.0235

Pickup, M., &; Barrett, S. (2013). The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant. Ecology and Evolution. Wiley-Blackwell.https://doi.org/10.1002/ece3.465 
LibreCat: https://research-explorer.ista.ac.at/record/2287
DOI: 10.1002/ece3.465

Campinho, P., Behrndt, M., Ranft, J., Risler, T., Minc, N., &; Heisenberg, C.-P. J. (2013). Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/ncb2869 
LibreCat: https://research-explorer.ista.ac.at/record/2282
DOI: 10.1038/ncb2869

Campinho, P., &; Heisenberg, C.-P. J. (2013). The force and effect of cell proliferation. EMBO Journal. Wiley-Blackwell.https://doi.org/10.1038/emboj.2013.225 
LibreCat: https://research-explorer.ista.ac.at/record/2286
DOI: 10.1038/emboj.2013.225
PMID: 24097062

Henzinger, T. A. (2013). Quantitative reactive modeling and verification. Computer Science Research and Development. Springer.https://doi.org/10.1007/s00450-013-0251-7 
LibreCat: https://research-explorer.ista.ac.at/record/2289
DOI: 10.1007/s00450-013-0251-7

Boutté, Y., Jonsson, K., Mcfarlane, H., Johnson, E., Gendre, D., Swarup, R.,https://doi.org/10.1073/pnas.1309057110__Bhalerao, R. (2013). ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1309057110 
LibreCat: https://research-explorer.ista.ac.at/record/2290
DOI: 10.1073/pnas.1309057110
PMID: 24043780

Kazmar, T., Kvon, E., Stark, A., &; Lampert, C. (2013). Drosophila Embryo Stage Annotation using Label Propagation. Presented at the ICCV: International Conference on Computer Vision, Sydney, Australia: IEEE.https://doi.org/10.1109/ICCV.2013.139 
LibreCat: https://research-explorer.ista.ac.at/record/2294
DOI: 10.1109/ICCV.2013.139

Sharmanska, V., Quadrianto, N., &; Lampert, C. (2013). Learning to rank using privileged information (pp. 825–832). Presented at the ICCV: International Conference on Computer Vision, Sydney, Australia: IEEE.https://doi.org/10.1109/ICCV.2013.107 
LibreCat: https://research-explorer.ista.ac.at/record/2293
DOI: 10.1109/ICCV.2013.107

Ferrara, A., Fuchsbauer, G., &; Warinschi, B. (2013). Cryptographically enforced RBAC (pp. 115–129). Presented at the CSF: Computer Security Foundations, New Orleans, LA, United States: IEEE.https://doi.org/10.1109/CSF.2013.15 
LibreCat: https://research-explorer.ista.ac.at/record/2291
DOI: 10.1109/CSF.2013.15

Dragoi, C., Enea, C., &; Sighireanu, M. (2013). Local shape analysis for overlaid data structures (Vol. 7935, pp. 150–171). Presented at the SAS: Static Analysis Symposium, Seattle, WA, United States: Springer.https://doi.org/10.1007/978-3-642-38856-9_10 
LibreCat: https://research-explorer.ista.ac.at/record/2298
DOI: 10.1007/978-3-642-38856-9_10

Godhal, Y., Chatterjee, K., &; Henzinger, T. A. (2013). Synthesis of AMBA AHB from formal specification: A case study. International Journal on Software Tools for Technology Transfer. Springer.https://doi.org/10.1007/s10009-011-0207-9 
LibreCat: https://research-explorer.ista.ac.at/record/2299
DOI: 10.1007/s10009-011-0207-9

Seiringer, R. (2013). Hot topics in cold gases: A mathematical physics perspective. Japanese Journal of Mathematics. Springer.https://doi.org/10.1007/s11537-013-1264-5 
LibreCat: https://research-explorer.ista.ac.at/record/2297
DOI: 10.1007/s11537-013-1264-5
arXiv: 0908.3686

Danowski, P., &; Pohl, A. (2013). (Open) Linked Data in Bibliotheken (Vol. 50). De Gruyter.https://doi.org/10.1515/9783110278736 
LibreCat: https://research-explorer.ista.ac.at/record/2306
DOI: 10.1515/9783110278736

Giuliani, A., Lieb, É., &; Seiringer, R. (2013). Realization of stripes and slabs in two and three dimensions. Physical Review B. American Physical Society.https://doi.org/10.1103/PhysRevB.88.064401 
LibreCat: https://research-explorer.ista.ac.at/record/2300
DOI: 10.1103/PhysRevB.88.064401
arXiv: 1305.5323

Henzinger, T. A., Sezgin, A., &; Vafeiadis, V. (2013). Aspect-oriented linearizability proofs. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentina: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-642-40184-8_18 
LibreCat: https://research-explorer.ista.ac.at/record/2328
DOI: 10.1007/978-3-642-40184-8_18

Kupczok, A., &; Bollback, J. P. (2013). Probabilistic models for CRISPR spacer content evolution . BMC Evolutionary Biology. BioMed Central.https://doi.org/10.1186/1471-2148-13-54 
LibreCat: https://research-explorer.ista.ac.at/record/2412
DOI: 10.1186/1471-2148-13-54

Fernandes Redondo, R. A., Kupczok, A., Stift, G., &; Bollback, J. P. (2013). Complete genome sequence of the novel phage MG- infecting bacillus weihenstephanensis. Genome Announcements. American Society for Microbiology.https://doi.org/10.1128/genomeA.00216-13 
LibreCat: https://research-explorer.ista.ac.at/record/2410
DOI: 10.1128/genomeA.00216-13

Piskac, R., Wies, T., &; Zufferey, D. (2013). Automating separation logic using SMT. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer.https://doi.org/10.1007/978-3-642-39799-8_54 
LibreCat: https://research-explorer.ista.ac.at/record/2447
DOI: 10.1007/978-3-642-39799-8_54

Simon, S., Kubes, M., Baster, P., Robert, S., Dobrev, P., Friml, J.,https://doi.org/10.1111/nph.12437__Zaeímalová, E. (2013). Defining the selectivity of processes along the auxin response chain: A study using auxin analogues. New Phytologist. Wiley.https://doi.org/10.1111/nph.12437 
LibreCat: https://research-explorer.ista.ac.at/record/2443
DOI: 10.1111/nph.12437

Chatterjee, K., Gaiser, A., &; Kretinsky, J. (2013). Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer.https://doi.org/10.1007/978-3-642-39799-8_37 
LibreCat: https://research-explorer.ista.ac.at/record/2446
DOI: 10.1007/978-3-642-39799-8_37
arXiv: 1304.5281

Chatterjee, K., &; aCki, J. (2013). Faster algorithms for Markov decision processes with low treewidth. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer.https://doi.org/10.1007/978-3-642-39799-8_36 
LibreCat: https://research-explorer.ista.ac.at/record/2444
DOI: 10.1007/978-3-642-39799-8_36
arXiv: 1304.0084

Sanchez-Romero, I., Ariza, A., Wilson, K., Skjøt, M., Vind, J., De Maria, L.,https://doi.org/10.1371/journal.pone.0070013__Sánchez Ruiz, J. (2013). Mechanism of protein kinetic stabilization by engineered disulfide crosslinks. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0070013 
LibreCat: https://research-explorer.ista.ac.at/record/2471
DOI: 10.1371/journal.pone.0070013

Cazzonelli, C., Vanstraelen, M., Simon, S., Yin, K., Carron Arthur, A., Nisar, N.,https://doi.org/10.1371/journal.pone.0070069__Pogson, B. (2013). Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0070069 
LibreCat: https://research-explorer.ista.ac.at/record/2472
DOI: 10.1371/journal.pone.0070069

covanová, M., Sauer, M., Rychtá, J., Friml, J., Petrásek, J., &; Zaeímalová, E. (2013). Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0070050 
LibreCat: https://research-explorer.ista.ac.at/record/2470
DOI: 10.1371/journal.pone.0070050

Ando, R., Thuerey, N., &; Wojtan, C. (2013). Highly adaptive liquid simulations on tetrahedral meshes. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2461912.2461982 
LibreCat: https://research-explorer.ista.ac.at/record/2466
DOI: 10.1145/2461912.2461982

Bernstein, G., &; Wojtan, C. (2013). Putting holes in holey geometry: Topology change for arbitrary surfaces. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2461912.2462027 
LibreCat: https://research-explorer.ista.ac.at/record/2467
DOI: 10.1145/2461912.2462027

Bojsen-Hansen, M., &; Wojtan, C. (2013). Liquid surface tracking with error compensation. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2461912.2461991 
LibreCat: https://research-explorer.ista.ac.at/record/2468
DOI: 10.1145/2461912.2461991

Maître, J.-L., &; Heisenberg, C.-P. J. (2013). Three functions of cadherins in cell adhesion. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2013.06.019 
LibreCat: https://research-explorer.ista.ac.at/record/2469
DOI: 10.1016/j.cub.2013.06.019
PMID: 23885883

Barton, N. H., Etheridge, A., Kelleher, J., &; Véber, A. (2013). Genetic hitch-hiking in spatially extended populations. Theoretical Population Biology. Elsevier.https://doi.org/10.1016/j.tpb.2012.12.001 
LibreCat: https://research-explorer.ista.ac.at/record/2473
DOI: 10.1016/j.tpb.2012.12.001

Almagor, S., Boker, U., &; Kupferman, O. (2013). Formalizing and reasoning about quality. Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer.https://doi.org/10.1007/978-3-642-39212-2_3 
LibreCat: https://research-explorer.ista.ac.at/record/2517
DOI: 10.1007/978-3-642-39212-2_3

Kolmogorov, V. (2013). The power of linear programming for finite-valued CSPs: A constructive characterization (Vol. 7965, pp. 625–636). Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer.https://doi.org/10.1007/978-3-642-39206-1_53 
LibreCat: https://research-explorer.ista.ac.at/record/2518
DOI: 10.1007/978-3-642-39206-1_53
arXiv: 1207.7213

Quadrianto, N., Sharmanska, V., Knowles, D., &; Ghahramani, Z. (2013). The supervised IBP: Neighbourhood preserving infinite latent feature models. In Proceedings of the 29th conference uncertainty in Artificial Intelligence (pp. 527–536). Bellevue, WA, United States: AUAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/2520

Erdös, L., Fournais, S., &; Solovej, J. (2013). Stability and semiclassics in self-generated fields. Journal of the European Mathematical Society. European Mathematical Society.https://doi.org/10.4171/JEMS/416 
LibreCat: https://research-explorer.ista.ac.at/record/2698
DOI: 10.4171/JEMS/416
arXiv: 1105.0506

Barton, N. H., &; Paixao, T. (2013). Can quantitative and population genetics help us understand evolutionary computation? In Proceedings of the 15th annual conference on Genetic and evolutionary computation (pp. 1573–1580). Amsterdam, Netherlands: ACM.https://doi.org/10.1145/2463372.2463568 
LibreCat: https://research-explorer.ista.ac.at/record/2718
DOI: 10.1145/2463372.2463568

Long, H., Paixao, T., Azevedo, R., &; Zufall, R. (2013). Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.113.153536 
LibreCat: https://research-explorer.ista.ac.at/record/2720
DOI: 10.1534/genetics.113.153536
PMID: 23934880

Erdös, L., &; Farrell, B. (2013). Local eigenvalue density for general MANOVA matrices. Journal of Statistical Physics. Springer.https://doi.org/10.1007/s10955-013-0807-8 
LibreCat: https://research-explorer.ista.ac.at/record/2782
DOI: 10.1007/s10955-013-0807-8
arXiv: 1207.0031

cadek, M., Krcál, M., Matousek, J., Vokínek, L., &; Wagner, U. (2013). Extending continuous maps: Polynomiality and undecidability. In 45th Annual ACM Symposium on theory of computing (pp. 595–604). Palo Alto, CA, United States: ACM.https://doi.org/10.1145/2488608.2488683 
LibreCat: https://research-explorer.ista.ac.at/record/2807
DOI: 10.1145/2488608.2488683