Galkovskyi T, Mileyko Y, Bucksch A, Moore B, Symonova O, Price C, Topp C, Iyer Pascuzzi A, Zurek P, Fang S, Harer J, Benfey P, Weitz J. 2012. GiA Roots: Software for the high throughput analysis of plant root system architecture. BMC Plant Biology. 12, 116.

Tangermann M, Müller K, Aertsen A, Birbaumer N, Braun C, Brunner C, Leeb R, Mehring C, Miller K, Müller Putz G, Nolte G, Pfurtscheller G, Preissl H, Schalk G, Schlögl A, Vidaurre C, Waldert S, Blankertz B. 2012. Review of the BCI competition IV. Frontiers in Neuroscience. 6, 55.

Kruckman A, Rubin S, Sheridan J, Zax B. 2012. A Myhill Nerode theorem for automata with advice. Proceedings GandALF 2012. GandALF: Games, Automata, Logics and Formal Verification, EPTCS, vol. 96, 238–246.

Pickup M, Field D, Rowell D, Young A. 2012. Predicting local adaptation in fragmented plant populations: Implications for restoration genetics. Evolutionary Applications. 5(8), 913–924.

Rabinovich A, Rubin S. 2012. Interpretations in trees with countably many branches. LICS: Symposium on Logic in Computer Science, LICS, , 6280474.

Boker U, Kupferman O. 2012. Translating to Co-Büchi made tight, unified, and useful. ACM Transactions on Computational Logic (TOCL). 13(4), 29.

Sixt MK. 2012. Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology. 197(3), 347–349.

Chatterjee K, Chaubal S, Kamath P. 2012. Faster algorithms for alternating refinement relations. EACSL: European Association for Computer Science Logic, LIPIcs, vol. 16, 167–182.

Chatterjee K, Henzinger MH. 2012. An O(n2) time algorithm for alternating Büchi games. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1386–1399.

Chatterjee K, Velner Y. 2012. Mean payoff pushdown games. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 6280438.

Chatterjee K, Velner Y. 2012. Mean-payoff pushdown games, IST Austria, 33p.

Chatterjee K, Chaubal S, Kamath P. 2012. Faster algorithms for alternating refinement relations, IST Austria, 21p.

Chatterjee K, Doyen L. 2012. Partial-observation stochastic games: How to win when belief fails. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 6280436.

Chatterjee K. 2012. Robustness of structurally equivalent concurrent parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 7213, 270–285.

Chatterjee K, Tracol M. 2012. Decidable problems for probabilistic automata on infinite words. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 6280437.

Cerny P, Henzinger TA, Radhakrishna A. 2012. Simulation distances. Theoretical Computer Science. 413(1), 21–35.

Korc F, Kolmogorov V, Lampert C. 2012. Approximating marginals using discrete energy minimization. ICML: International Conference on Machine Learning, Inferning 2012, .

Korc F, Kolmogorov V, Lampert C. 2012. Approximating marginals using discrete energy minimization, IST Austria, 13p.

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

Biswas R, Sil J. 2012. An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets. Procedia Technology. 4, 820–824.

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. 417(5), 387–394.

Busch KE, Laurent P, Soltesz Z, Murphy RJ, Faivre O, Hedwig B, Thomas M, Smith HL, de Bono M. 2012. Tonic signaling from O2 sensors sets neural circuit activity and behavioral state. Nature Neuroscience. 15(4), 581–591.

Mondelli M, Zhou Q, Ma X, Lottici V. 2012. A cooperative approach for amplify-and-forward differential transmitted reference IR-UWB relay systems. 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). ICASSP: International Conference on Acoustics, Speech and Signal Processing, 2905–2908.

Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. 2012. Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. 47(15), 5729–5734.

Ottakam Thotiyl MM, Freunberger SA, Peng Z, Bruce PG. 2012. The carbon electrode in nonaqueous Li–O2 cells. Journal of the American Chemical Society. 135(1), 494–500.

Choi N-S, Chen Z, Freunberger SA, Ji X, Sun Y-K, Amine K, Yushin G, Nazar LF, Cho J, Bruce PG. 2012. Challenges facing Lithium batteries and electrical double-layer capacitors. Angewandte Chemie International Edition. 51(40), 9994–10024.

Peng Z, Freunberger SA, Chen Y, Bruce PG. 2012. A reversible and higher-rate Li-O2 battery. Science. 337(6094), 563–566.

Chen Y, Freunberger SA, Peng Z, Bardé F, Bruce PG. 2012. Li–O2 battery with a dimethylformamide electrolyte. Journal of the American Chemical Society. 134(18), 7952–7957.

Alistarh D-A, Guerraoui R, Kuznetsov P, Losa G. 2012. On the cost of composing shared-memory algorithms. SPAA: Symposium on Parallelism in Algorithms and Architectures, 298–307.

Alistarh D-A, Attiya H, Guerraoui R, Travers C. 2012. Early deciding synchronous renaming in O(log f) rounds or less. SIROCCO: Structural Information and Communication Complexity, LNCS, vol. 7355 LNCS, 195–206.

Alistarh D-A, Gilbert S, Guerraoui R, Travers C. 2012. Of choices, failures and asynchrony: the many faces of set agreement. Algorithmica (New York). 62(1–2), 595–629.

Alistarh D-A, Bender M, Gilbert S, Guerraoui R. 2012. How to allocate tasks asynchronously. FOCS: Foundations of Computer Science, 331–340.

Alistarh D-A, Gilbert S, Guerraoui R, Travers C. 2012. Generating Fast Indulgent Algorithms. Theory of Computing Systems. 51(4), 404–424.

Robinson MR, Mar KU, Lummaa V. 2012. Senescence and age-specific trade-offs between reproduction and survival in female Asian elephants. Ecology Letters. 15(3), 260–266.

Robinson MR, Sander van Doorn G, Gustafsson L, Qvarnström A. 2012. Environment-dependent selection on mate choice in a natural population of birds. Ecology Letters. 15(6), 611–618.

Goodrich CP, Liu AJ, Nagel SR. 2012. Finite-size scaling at the jamming transition. Physical Review Letters. 109(9), 095704.

Engel J, Schmalhorst PS, Routier F. 2012. Biosynthesis of the fungal cell wall polysaccharide galactomannan requires intraluminal GDP-mannose. Journal of Biological Chemistry. 287(53), 44418–44424.

Hennequin G, Vogels TP, Gerstner W. 2012. Non-normal amplification in random balanced neuronal networks. Physical Review E. 86(1), 011909.

Vinzenz M, Nemethova M, Schur FK, Mueller J, Narita A, Urban E, Winkler C, Schmeiser C, Koestler S, Rottner K, Resch G, Maéda Y, Small J. 2012. Actin branching in the initiation and maintenance of lamellipodia. Journal of Cell Science. 125(11), 2775–2785.

Dengler V, Meier PS, Heusser R, Kupferschmied P, Singer J, Friebe S, Staufer SB, Majcherczyk PA, Moreillon P, Berger-Bächi B, McCallum N. 2012. Deletion of hypothetical wall teichoic acid ligases in Staphylococcus aureus activates the cell wall stress response. FEMS Microbiology Letters. 333(2), 109–120.

Vanstraelen M, Benková E. 2012. Hormonal interactions in the regulation of plant development. Annual Review of Cell and Developmental Biology. 28, 463–487.

Bielach A, Podlesakova K, Marhavý P, Duclercq J, Cuesta C, Muller B, Grunewald W, Tarkowski P, Benková E. 2012. Spatiotemporal regulation of lateral root organogenesis in Arabidopsis by cytokinin. The Plant Cell. 24(10), 3967–3981.

Soylemez O, Kondrashov F. 2012. Estimating the rate of irreversibility in protein evolution. Genome Biology and Evolution. 4(12), 1213–1222.

Asami S, Szekely K, Schanda P, Meier BH, 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. 54(2), 155–168.

Tollinger M, Sivertsen AC, Meier BH, 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. 134(36), 14800–14807.

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. 134(19), 8066–8069.

Huber M, With O, Schanda P, Verel R, Ernst M, Meier BH. 2012. A supplementary coil for 2H decoupling with commercial HCN MAS probes. Journal of Magnetic Resonance. 214, 76–80.

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. 315(3), 643–697.

Povolotskaya I, Kondrashov F, Ledda A, Vlasov P. 2012. Stop codons in bacteria are not selectively equivalent. Biology Direct. 7.

Breen M, Kemena C, Vlasov P, Notredame C, Kondrashov F. 2012. Epistasis as the primary factor in molecular evolution. Nature. 490(7421), 535–538.