Zufferey, D. (2013). Analysis of dynamic message passing programs. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:1405 
LibreCat: https://research-explorer.ista.ac.at/record/1405
DOI: 10.15479/at:ista:1405

Bansal, K., Koskinen, E., Wies, T., &; Zufferey, D. (2013). Structural Counter Abstraction. (N. Piterman &; S. Smolka, Eds.). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Rome, Italy: Springer.https://doi.org/10.1007/978-3-642-36742-7_5 
LibreCat: https://research-explorer.ista.ac.at/record/2847
DOI: 10.1007/978-3-642-36742-7_5

Campinho, P. (2013). Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1406

Zagorsky, B., Reiter, J., Chatterjee, K., &; Nowak, M. (2013). Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0080814 
LibreCat: https://research-explorer.ista.ac.at/record/2247
DOI: 10.1371/journal.pone.0080814

Reiter, J., Boei, I., Allen, B., Chatterjee, K., &; Nowak, M. (2013). The effect of one additional driver mutation on tumor progression. Evolutionary Applications. Wiley-Blackwell.https://doi.org/10.1111/eva.12020 
LibreCat: https://research-explorer.ista.ac.at/record/2858
DOI: 10.1111/eva.12020

Boei, I., Reiter, J., Allen, B., Antal, T., Chatterjee, K., Shah, P.,https://doi.org/10.7554/eLife.00747__Nowak, M. (2013). Evolutionary dynamics of cancer in response to targeted combination therapy. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.00747 
LibreCat: https://research-explorer.ista.ac.at/record/2816
DOI: 10.7554/eLife.00747

Reiter, J., Boei, I., Chatterjee, K., &; Nowak, M. (2013). TTP: Tool for tumor progression. In Proceedings of 25th Int. Conf. on Computer Aided Verification (Vol. 8044, pp. 101–106). St. Petersburg, Russia: Springer.https://doi.org/10.1007/978-3-642-39799-8_6 
LibreCat: https://research-explorer.ista.ac.at/record/2000
DOI: 10.1007/978-3-642-39799-8_6
arXiv: 1303.5251

Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., &; Tarrach, T. (2013). Efficient synthesis for concurrency by semantics-preserving transformations (Vol. 8044, pp. 951–967). Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer.https://doi.org/10.1007/978-3-642-39799-8_68 
LibreCat: https://research-explorer.ista.ac.at/record/2445
DOI: 10.1007/978-3-642-39799-8_68

Tragust, S., Mitteregger, B., Barone, V., Konrad, M., Ugelvig, L. V., &; Cremer, S. (2013). Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2012.11.034 
LibreCat: https://research-explorer.ista.ac.at/record/2926
DOI: 10.1016/j.cub.2012.11.034

Brázdil, T., Chatterjee, K., Forejt, V., &; Kudera, A. (2013). Trading performance for stability in Markov decision processes. In 28th Annual ACM/IEEE Symposium (pp. 331–340). New Orleans, LA, United States: IEEE.https://doi.org/10.1109/LICS.2013.39 
LibreCat: https://research-explorer.ista.ac.at/record/2305
DOI: 10.1109/LICS.2013.39
arXiv: 1305.4103

Chatterjee, K., Kößler, A., &; Schmid, U. (2013). Automated analysis of real-time scheduling using graph games. In Proceedings of the 16th International conference on Hybrid systems: Computation and control (pp. 163–172). Philadelphia, PA, United States: ACM.https://doi.org/10.1145/2461328.2461356 
LibreCat: https://research-explorer.ista.ac.at/record/2820
DOI: 10.1145/2461328.2461356

Takhanov, R., &; Kolmogorov, V. (2013). Inference algorithms for pattern-based CRFs on sequence data. In ICML’13 Proceedings of the 30th International Conference on International (Vol. 28, pp. 145–153). Atlanta, GA, USA: ML Research Press.
LibreCat: https://research-explorer.ista.ac.at/record/2272

Remy, E., Baster, P., Friml, J., &; Duque, P. (2013). ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling &; Behavior. Taylor &; Francis.https://doi.org/10.4161/psb.25688 
LibreCat: https://research-explorer.ista.ac.at/record/2448
DOI: 10.4161/psb.25688
PMID: 23857365

Refardt, D., Bergmiller, T., &; Kümmerli, R. (2013). Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society.https://doi.org/10.1098/rspb.2012.3035 
LibreCat: https://research-explorer.ista.ac.at/record/2853
DOI: 10.1098/rspb.2012.3035
PMID: 23516238

Refardt, D., Bergmiller, T., &; Kümmerli, R. (2013). Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection. Dryad.https://doi.org/10.5061/dryad.b1q2n 
LibreCat: https://research-explorer.ista.ac.at/record/9751
DOI: 10.5061/dryad.b1q2n

Joo, W. J., Sweeney, L. B., Liang, L., &; Luo, L. (2013). Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2013.03.022 
LibreCat: https://research-explorer.ista.ac.at/record/7785
DOI: 10.1016/j.neuron.2013.03.022

Dziembowski, S., Faust, S., Kolmogorov, V., &; Pietrzak, K. Z. (2013). Proofs of Space. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/2274

Woehrmann, M. H., Bray, W. M., Durbin, J. K., Nisam, S. C., Michael, A. K., Glassey, E.,https://doi.org/10.1039/c3mb70245f__Lokey, R. S. (2013). Large-scale cytological profiling for functional analysis of bioactive compounds. Molecular BioSystems. Royal Society of Chemistry.https://doi.org/10.1039/c3mb70245f 
LibreCat: https://research-explorer.ista.ac.at/record/15162
DOI: 10.1039/c3mb70245f

Sari, A., &; Cacciuto, A. (2012). Mechanism of membrane tube formation induced by adhesive nanocomponents. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.109.188101 
LibreCat: https://research-explorer.ista.ac.at/record/10387
DOI: 10.1103/physrevlett.109.188101
PMID: 23215334
arXiv: 1206.3528

Sari, A., &; Cacciuto, A. (2012). Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.108.118101 
LibreCat: https://research-explorer.ista.ac.at/record/10388
DOI: 10.1103/physrevlett.108.118101
PMID: 22540513
arXiv: 1201.0036

Erne, B., Graff, M., Klemm, W., Danzl, J. G., &; Leschber, G. (2012). Bulla in the lung. The Lancet. Elsevier.https://doi.org/10.1016/S0140-6736(12)60690-4 
LibreCat: https://research-explorer.ista.ac.at/record/1055
DOI: 10.1016/S0140-6736(12)60690-4

Mark, M., Haller, E., Lauber, K., Danzl, J. G., Janisch, A., Büchler, H.,https://doi.org/10.1103/PhysRevLett.108.215302__Nägerl, H. (2012). Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.108.215302 
LibreCat: https://research-explorer.ista.ac.at/record/1056
DOI: 10.1103/PhysRevLett.108.215302
arXiv: 1201.1008

Polshyn, H., &; Budakian, R. (2012). Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc. In APS March Meeting 2012 (Vol. 57). Boston, MA, United States: American Physical Society.
LibreCat: https://research-explorer.ista.ac.at/record/10750

zur Nedden, S., Doney, A. S., &; Frenguelli, B. G. (2012). The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In S. Masino &; D. Boison (Eds.), Adenosine (1st ed., pp. 109–129). New York: Springer.https://doi.org/10.1007/978-1-4614-3903-5_6 
LibreCat: https://research-explorer.ista.ac.at/record/10896
DOI: 10.1007/978-1-4614-3903-5_6

Gomez-Cavazos, J. S., &; Hetzer, M. (2012). Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins. Current Opinion in Cell Biology. Elsevier.https://doi.org/10.1016/j.ceb.2012.08.008 
LibreCat: https://research-explorer.ista.ac.at/record/11089
DOI: 10.1016/j.ceb.2012.08.008
PMID: 22995343

Vargas, J. D., Hatch, E. M., Anderson, D. J., &; Hetzer, M. (2012). Transient nuclear envelope rupturing during interphase in human cancer cells. Nucleus. Taylor &; Francis.https://doi.org/10.4161/nucl.18954 
LibreCat: https://research-explorer.ista.ac.at/record/11091
DOI: 10.4161/nucl.18954
PMID: 22567193

D’Angelo, M. A., Gomez-Cavazos, J. S., Mei, A., Lackner, D. H., &; Hetzer, M. (2012). A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. Elsevier.https://doi.org/10.1016/j.devcel.2011.11.021 
LibreCat: https://research-explorer.ista.ac.at/record/11093
DOI: 10.1016/j.devcel.2011.11.021
PMID: 22264802

Savas, J. N., Toyama, B. H., Xu, T., Yates, J. R., &; Hetzer, M. (2012). Extremely long-lived nuclear pore proteins in the rat brain. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1217421 
LibreCat: https://research-explorer.ista.ac.at/record/11092
DOI: 10.1126/science.1217421
PMID: 22300851

Hatch, E. M., &; Hetzer, M. (2012). RNP export by nuclear envelope budding. Cell. Elsevier.https://doi.org/10.1016/j.cell.2012.04.018 
LibreCat: https://research-explorer.ista.ac.at/record/11090
DOI: 10.1016/j.cell.2012.04.018
PMID: 22579277

Waitukaitis, S. R., &; Jaeger, H. (2012). Impact-activated solidification of dense suspensions via dynamic jamming fronts. Nature. Nature Publishing Group.https://doi.org/10.1038/nature11187 
LibreCat: https://research-explorer.ista.ac.at/record/113
DOI: 10.1038/nature11187

Waitukaitis, S. R., &; Jaeger, H. (2012). Solidification of a cornstarch and water suspension. Revista Cubana de Fisica. Universidad de La Habana.
LibreCat: https://research-explorer.ista.ac.at/record/114

Dütting, P., Henzinger, M. H., &; Weber, I. (2012). Maximizing revenue from strategic recommendations under decaying trust. In Proceedings of the 21st ACM international conference on Information and knowledge management (pp. 2268–2286). Maui, HI, United States: Association for Computing Machinery.https://doi.org/10.1145/2396761.2398621 
LibreCat: https://research-explorer.ista.ac.at/record/11656
DOI: 10.1145/2396761.2398621

Lukas, K. C., Joshi, G., Modic, K. A., Ren, Z. F., &; Opeil, C. P. (2012). Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. Springer Nature.https://doi.org/10.1007/s10853-012-6463-6 
LibreCat: https://research-explorer.ista.ac.at/record/11751
DOI: 10.1007/s10853-012-6463-6
arXiv: 1201.6304

Dütting, P., Henzinger, M. H., &; Starnberger, M. (2012). Auctions with heterogeneous items and budget limits. In 8th International Workshop on Internet and Network Economics (Vol. 7695, pp. 44–57). Liverpool, United Kingdom: Springer Nature.https://doi.org/10.1007/978-3-642-35311-6_4 
LibreCat: https://research-explorer.ista.ac.at/record/11794
DOI: 10.1007/978-3-642-35311-6_4
arXiv: 1209.6448

Colini-Baldeschi, R., Henzinger, M. H., Leonardi, S., &; Starnberger, M. (2012). On multiple keyword sponsored search auctions with budgets. In 39th International Colloquium on Automata, Languages, and Programming (Vol. 7392, pp. 1–12). Warwick, United Kingdom: Springer Nature.https://doi.org/10.1007/978-3-642-31585-5_1 
LibreCat: https://research-explorer.ista.ac.at/record/11795
DOI: 10.1007/978-3-642-31585-5_1

Pieber, B., Cantillo, D., &; Kappe, C. O. (2012). Direct arylation of benzene with aryl bromides using hightemperature/highpressure process windows: Expanding the scope of C-H activation chemistry. Chemistry – A European Journal. Wiley.https://doi.org/10.1002/chem.201103748 
LibreCat: https://research-explorer.ista.ac.at/record/11964
DOI: 10.1002/chem.201103748
PMID: 22396386

Kumar, G. S., Pieber, B., Reddy, K. R., &; Kappe, C. O. (2012). Copper-catalyzed formation of C-O bonds by direct ;1-C-H bond activation of ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats. Chemistry - A European Journal. Wiley.https://doi.org/10.1002/chem.201200815 
LibreCat: https://research-explorer.ista.ac.at/record/11963
DOI: 10.1002/chem.201200815
PMID: 22492535

Ragettli, S., &; Pellicciotti, F. (2012). Calibration of a physically based, spatially distributed hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological processes to constrain model parameters. Water Resources Research. American Geophysical Union.https://doi.org/10.1029/2011wr010559 
LibreCat: https://research-explorer.ista.ac.at/record/12644
DOI: 10.1029/2011wr010559

Pellicciotti, F., Buergi, C., Immerzeel, W. W., Konz, M., &; Shrestha, A. B. (2012). Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies. Mountain Research and Development. International Mountain Society.https://doi.org/10.1659/mrd-journal-d-11-00092.1 
LibreCat: https://research-explorer.ista.ac.at/record/12646
DOI: 10.1659/mrd-journal-d-11-00092.1

Immerzeel, W. W., Pellicciotti, F., &; Shrestha, A. B. (2012). Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin. Mountain Research and Development. International Mountain Society.https://doi.org/10.1659/mrd-journal-d-11-00097.1 
LibreCat: https://research-explorer.ista.ac.at/record/12647
DOI: 10.1659/mrd-journal-d-11-00097.1

Reid, T. D., Carenzo, M., Pellicciotti, F., &; Brock, B. W. (2012). Including debris cover effects in a distributed model of glacier ablation. Journal of Geophysical Research: Atmospheres. American Geophysical Union.https://doi.org/10.1029/2012jd017795 
LibreCat: https://research-explorer.ista.ac.at/record/12648
DOI: 10.1029/2012jd017795

Beyer, D., Henzinger, T. A., Keremoglu, M., &; Wendler, P. (2012). Conditional model checking: A technique to pass information between verifiers. In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. Cary, NC, USA: ACM.https://doi.org/10.1145/2393596.2393664 
LibreCat: https://research-explorer.ista.ac.at/record/1384
DOI: 10.1145/2393596.2393664

De Cataldo, M., Hausel, T., &; Migliorini, L. (2012). Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. Princeton University Press.https://doi.org/10.4007/annals.2012.175.3.7 
LibreCat: https://research-explorer.ista.ac.at/record/1472
DOI: 10.4007/annals.2012.175.3.7

Hausel, T., &; Pauly, C. (2012). Prym varieties of spectral covers. Geometry and Topology. University of Warwick.https://doi.org/10.2140/gt.2012.16.1609 
LibreCat: https://research-explorer.ista.ac.at/record/1471
DOI: 10.2140/gt.2012.16.1609

Browning, T. D., &; Baier, S. (2012). Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter.https://doi.org/10.1515/crelle.2012.039 
LibreCat: https://research-explorer.ista.ac.at/record/171
DOI: https://doi.org/10.1515/crelle.2012.039

Kicheva, A., Cohen, M., &; Briscoe, J. (2012). Developmental pattern formation: Insights from physics and biology. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1225182 
LibreCat: https://research-explorer.ista.ac.at/record/1725
DOI: 10.1126/science.1225182

Zhang, J., Katsaros, G., Montalenti, F., Scopece, D., Rezaev, R., Mickel, C.,https://doi.org/10.1103/PhysRevLett.109.085502__Schmidt, O. (2012). Monolithic growth of ultrathin Ge nanowires on Si(001) . Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.109.085502 
LibreCat: https://research-explorer.ista.ac.at/record/1757
DOI: 10.1103/PhysRevLett.109.085502

Lee, E., Jiang, X., Aguado, R., Katsaros, G., Lieber, C., &; De Franceschi, S. (2012). Zero-bias anomaly in a nanowire quantum dot coupled to superconductors. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.109.186802 
LibreCat: https://research-explorer.ista.ac.at/record/1758
DOI: 10.1103/PhysRevLett.109.186802

Mongillo, M., Spathis, P., Katsaros, G., Gentile, P., &; De Franceschi, S. (2012). Multifunctional devices and logic gates with undoped silicon nanowires. Nano Letters. American Chemical Society.https://doi.org/10.1021/nl300930m 
LibreCat: https://research-explorer.ista.ac.at/record/1756
DOI: 10.1021/nl300930m

Mlynek, J., Abdumalikov, A., Fink, J. M., Steffen, L., Baur, M., Lang, C.,https://doi.org/10.1103/PhysRevA.86.053838__Wallraff, A. (2012). Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society.https://doi.org/10.1103/PhysRevA.86.053838 
LibreCat: https://research-explorer.ista.ac.at/record/1783
DOI: 10.1103/PhysRevA.86.053838