Galkovskyi, T., Mileyko, Y., Bucksch, A., Moore, B., Symonova, O., Price, C.,https://doi.org/10.1186/1471-2229-12-116__Weitz, J. (2012). GiA Roots: Software for the high throughput analysis of plant root system architecture. BMC Plant Biology. BioMed Central.https://doi.org/10.1186/1471-2229-12-116 

Tangermann, M., Müller, K., Aertsen, A., Birbaumer, N., Braun, C., Brunner, C.,https://doi.org/10.3389/fnins.2012.00055__Blankertz, B. (2012). Review of the BCI competition IV. Frontiers in Neuroscience. Frontiers Research Foundation.https://doi.org/10.3389/fnins.2012.00055 

Kruckman, A., Rubin, S., Sheridan, J., &; Zax, B. (2012). A Myhill Nerode theorem for automata with advice. In Proceedings GandALF 2012 (Vol. 96, pp. 238–246). Napoli, Italy: Open Publishing Association.https://doi.org/10.4204/EPTCS.96.18 

Pickup, M., Field, D., Rowell, D., &; Young, A. (2012). Predicting local adaptation in fragmented plant populations: Implications for restoration genetics. Evolutionary Applications. Wiley-Blackwell.https://doi.org/10.1111/j.1752-4571.2012.00284.x 

Rabinovich, A., &; Rubin, S. (2012). Interpretations in trees with countably many branches. Presented at the LICS: Symposium on Logic in Computer Science, Dubrovnik, Croatia: IEEE.https://doi.org/10.1109/LICS.2012.65 

Boker, U., &; Kupferman, O. (2012). Translating to Co-Büchi made tight, unified, and useful. ACM Transactions on Computational Logic (TOCL). ACM.https://doi.org/10.1145/2362355.2362357 

Sixt, M. K. (2012). Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology. Rockefeller University Press.https://doi.org/10.1083/jcb.201204039 

Chatterjee, K., Chaubal, S., &; Kamath, P. (2012). Faster algorithms for alternating refinement relations (Vol. 16, pp. 167–182). Presented at the EACSL: European Association for Computer Science Logic, Fontainebleau, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CSL.2012.167 

Chatterjee, K., &; Henzinger, M. H. (2012). An O(n2) time algorithm for alternating Büchi games. In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 1386–1399). Kyoto, Japan: SIAM.https://doi.org/10.1137/1.9781611973099.109 

Chatterjee, K., &; Velner, Y. (2012). Mean payoff pushdown games. In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. Dubrovnik, Croatia : IEEE.https://doi.org/10.1109/LICS.2012.30 

Chatterjee, K., &; Velner, Y. (2012). Mean-payoff pushdown games. IST Austria.https://doi.org/10.15479/AT:IST-2012-0002 

Chatterjee, K., Chaubal, S., &; Kamath, P. (2012). Faster algorithms for alternating refinement relations. IST Austria.https://doi.org/10.15479/AT:IST-2012-0001 

Chatterjee, K., &; Doyen, L. (2012). Partial-observation stochastic games: How to win when belief fails. In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. Dubrovnik, Croatia: IEEE.https://doi.org/10.1109/LICS.2012.28 

Chatterjee, K. (2012). Robustness of structurally equivalent concurrent parity games (Vol. 7213, pp. 270–285). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Tallinn, Estonia: Springer.https://doi.org/10.1007/978-3-642-28729-9_18 

Chatterjee, K., &; Tracol, M. (2012). Decidable problems for probabilistic automata on infinite words. In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. Dubrovnik, Croatia : IEEE.https://doi.org/10.1109/LICS.2012.29 

Cerny, P., Henzinger, T. A., &; Radhakrishna, A. (2012). Simulation distances. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2011.08.002 

Korc, F., Kolmogorov, V., &; Lampert, C. (2012). Approximating marginals using discrete energy minimization. Presented at the ICML: International Conference on Machine Learning, Edinburgh, Scotland: ICML.

Korc, F., Kolmogorov, V., &; Lampert, C. (2012). Approximating marginals using discrete energy minimization. IST Austria.https://doi.org/10.15479/AT:IST-2012-0003 

Porsche, J. (2012). Actual state of research data @ ISTAustria. IST Austria.

Biswas, R., &; Sil, J. (2012). An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets. Procedia Technology. Elsevier.https://doi.org/10.1016/j.protcy.2012.05.134 

Bernecky, C., &; Taatjes, D. (2012). Activator-mediator binding stabilizes RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF assembly. Journal of Molecular Biology. Elsevier.https://doi.org/10.1016/j.jmb.2012.02.014 

Busch, K. E., Laurent, P., Soltesz, Z., Murphy, R. J., Faivre, O., Hedwig, B.,https://doi.org/10.1038/nn.3061__de Bono, M. (2012). Tonic signaling from O2 sensors sets neural circuit activity and behavioral state. Nature Neuroscience. Springer Nature.https://doi.org/10.1038/nn.3061 

Mondelli, M., Zhou, Q., Ma, X., &; Lottici, V. (2012). A cooperative approach for amplify-and-forward differential transmitted reference IR-UWB relay systems. In 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) (pp. 2905–2908). Kyoto, Japan: IEEE.https://doi.org/10.1109/icassp.2012.6288524 

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 

Ottakam Thotiyl, M. M., Freunberger, S. A., Peng, Z., &; Bruce, P. G. (2012). The carbon electrode in nonaqueous Li–O2 cells. Journal of the American Chemical Society. ACS.https://doi.org/10.1021/ja310258x 

Choi, N.-S., Chen, Z., Freunberger, S. A., Ji, X., Sun, Y.-K., Amine, K.,https://doi.org/10.1002/anie.201201429__Bruce, P. G. (2012). Challenges facing Lithium batteries and electrical double-layer capacitors. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.201201429 

Peng, Z., Freunberger, S. A., Chen, Y., &; Bruce, P. G. (2012). A reversible and higher-rate Li-O2 battery. Science. AAAS.https://doi.org/10.1126/science.1223985 

Chen, Y., Freunberger, S. A., Peng, Z., Bardé, F., &; Bruce, P. G. (2012). Li–O2 battery with a dimethylformamide electrolyte. Journal of the American Chemical Society. ACS.https://doi.org/10.1021/ja302178w 

Alistarh, D.-A., Guerraoui, R., Kuznetsov, P., &; Losa, G. (2012). On the cost of composing shared-memory algorithms (pp. 298–307). Presented at the SPAA: Symposium on Parallelism in Algorithms and Architectures, ACM.https://doi.org/10.1145/2312005.2312057 

Alistarh, D.-A., Attiya, H., Guerraoui, R., &; Travers, C. (2012). Early deciding synchronous renaming in O(log f) rounds or less (Vol. 7355 LNCS, pp. 195–206). Presented at the SIROCCO: Structural Information and Communication Complexity, Springer.https://doi.org/10.1007/978-3-642-31104-8_17 

Alistarh, D.-A., Gilbert, S., Guerraoui, R., &; Travers, C. (2012). Of choices, failures and asynchrony: the many faces of set agreement. Algorithmica (New York). Springer.https://doi.org/10.1007/s00453-011-9581-7 

Alistarh, D.-A., Bender, M., Gilbert, S., &; Guerraoui, R. (2012). How to allocate tasks asynchronously (pp. 331–340). Presented at the FOCS: Foundations of Computer Science, IEEE.https://doi.org/10.1109/FOCS.2012.41 

Alistarh, D.-A., Gilbert, S., Guerraoui, R., &; Travers, C. (2012). Generating Fast Indulgent Algorithms. Theory of Computing Systems. Elsevier.https://doi.org/10.1007/s00224-012-9407-2 

Robinson, M. R., Mar, K. U., &; Lummaa, V. (2012). Senescence and age-specific trade-offs between reproduction and survival in female Asian elephants. Ecology Letters. Wiley.https://doi.org/10.1111/j.1461-0248.2011.01735.x 

Robinson, M. R., Sander van Doorn, G., Gustafsson, L., &; Qvarnström, A. (2012). Environment-dependent selection on mate choice in a natural population of birds. Ecology Letters. Wiley.https://doi.org/10.1111/j.1461-0248.2012.01780.x 

Goodrich, C. P., Liu, A. J., &; Nagel, S. R. (2012). Finite-size scaling at the jamming transition. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.109.095704 

Engel, J., Schmalhorst, P. S., &; Routier, F. (2012). Biosynthesis of the fungal cell wall polysaccharide galactomannan requires intraluminal GDP-mannose. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology.https://doi.org/10.1074/jbc.M112.398321 

Hennequin, G., Vogels, T. P., &; Gerstner, W. (2012). Non-normal amplification in random balanced neuronal networks. Physical Review E. American Physical Society.https://doi.org/10.1103/physreve.86.011909 

Vinzenz, M., Nemethova, M., Schur, F. K., Mueller, J., Narita, A., Urban, E.,https://doi.org/10.1242/jcs.107623__Small, J. (2012). Actin branching in the initiation and maintenance of lamellipodia. Journal of Cell Science. Company of Biologists.https://doi.org/10.1242/jcs.107623 

Dengler, V., Meier, P. S., Heusser, R., Kupferschmied, P., Singer, J., Friebe, S.,https://doi.org/10.1111/j.1574-6968.2012.02603.x__McCallum, N. (2012). Deletion of hypothetical wall teichoic acid ligases in Staphylococcus aureus activates the cell wall stress response. FEMS Microbiology Letters. Oxford University Press.https://doi.org/10.1111/j.1574-6968.2012.02603.x 

Vanstraelen, M., &; Benková, E. (2012). Hormonal interactions in the regulation of plant development. Annual Review of Cell and Developmental Biology. Annual Reviews.https://doi.org/10.1146/annurev-cellbio-101011-155741 

Bielach, A., Podlesakova, K., Marhavý, P., Duclercq, J., Cuesta, C., Muller, B.,https://doi.org/10.1105/tpc.112.103044__Benková, E. (2012). Spatiotemporal regulation of lateral root organogenesis in Arabidopsis by cytokinin. The Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.112.103044 

Soylemez, O., &; Kondrashov, F. (2012). Estimating the rate of irreversibility in protein evolution. Genome Biology and Evolution. Oxford University Press.https://doi.org/10.1093/gbe/evs096 

Asami, S., Szekely, K., Schanda, P., Meier, B. H., &; Reif, B. (2012). Optimal degree of protonation for 1H detection of aliphatic sites in randomly deuterated proteins as a function of the MAS frequency. Journal of Biomolecular NMR. Springer Nature.https://doi.org/10.1007/s10858-012-9659-9 

Tollinger, M., Sivertsen, A. C., Meier, B. H., Ernst, M., &; Schanda, P. (2012). Site-resolved measurement of microsecond-to-millisecond conformational-exchange processes in proteins by solid-state NMR spectroscopy. Journal of the American Chemical Society. American Chemical Society.https://doi.org/10.1021/ja303591y 

Rennella, E., Cutuil, T., Schanda, P., Ayala, I., Forge, V., &; Brutscher, B. (2012). Real-time NMR characterization of structure and dynamics in a transiently populated protein folding intermediate. Journal of the American Chemical Society. American Chemical Society.https://doi.org/10.1021/ja302598j 

Huber, M., With, O., Schanda, P., Verel, R., Ernst, M., &; Meier, B. H. (2012). A supplementary coil for 2H decoupling with commercial HCN MAS probes. Journal of Magnetic Resonance. Elsevier.https://doi.org/10.1016/j.jmr.2011.10.010 

Kaloshin, V., &; Saprykina, M. (2012). An example of a nearly integrable Hamiltonian system with a trajectory dense in a set of maximal Hausdorff dimension. Communications in Mathematical Physics. Springer Nature.https://doi.org/10.1007/s00220-012-1532-x 

Povolotskaya, I., Kondrashov, F., Ledda, A., &; Vlasov, P. (2012). Stop codons in bacteria are not selectively equivalent. Biology Direct. BioMed Central.https://doi.org/10.1186/1745-6150-7-30 

Breen, M., Kemena, C., Vlasov, P., Notredame, C., &; Kondrashov, F. (2012). Epistasis as the primary factor in molecular evolution. Nature. Nature Publishing Group.https://doi.org/10.1038/nature11510