Shavel, A., Cadavid, D., Ibáñez, M., Carrete, A., &; Cabot, A. (2012). Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor. Journal of the American Chemical Society. ACS.https://doi.org/10.1021/ja209688a 
LibreCat: https://research-explorer.ista.ac.at/record/340
DOI: 10.1021/ja209688a

Cadavid, D., Ibáñez, M., Gorsse, S., López, A., Cirera, A., Morante, J., &; Cabot, A. (2012). Bottom-up processing of thermoelectric nanocomposites from colloidal nanocrystal building blocks: The case of ATe–PbTe. Journal of Nanoparticle Research. Kluwer.https://doi.org/10.1007/s11051-012-1328-0 
LibreCat: https://research-explorer.ista.ac.at/record/345
DOI: 10.1007/s11051-012-1328-0

Ibáñez, M., Zamani, R., Lalonde, A., Cadavid, D., Li, W., Shavel, A.,https://doi.org/10.1021/ja211952z__Cabot, A. (2012). Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric properties. Journal of the American Chemical Society. ACS.https://doi.org/10.1021/ja211952z 
LibreCat: https://research-explorer.ista.ac.at/record/347
DOI: 10.1021/ja211952z

Ghosal, A., Iercan, D., Kirsch, C., Henzinger, T. A., &; Sangiovanni Vincentelli, A. (2012). Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code. Science of Computer Programming. Elsevier.https://doi.org/10.1016/j.scico.2010.06.004 
LibreCat: https://research-explorer.ista.ac.at/record/3836
DOI: 10.1016/j.scico.2010.06.004

Chatterjee, K., &; Doyen, L. (2012). Energy parity games. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2012.07.038 
LibreCat: https://research-explorer.ista.ac.at/record/2972
DOI: 10.1016/j.tcs.2012.07.038
arXiv: 1001.5183

Alur, R., Cerny, P., &; Weinstein, S. (2012). Algorithmic analysis of array-accessing programs. ACM Transactions on Computational Logic (TOCL). ACM.https://doi.org/10.1145/2287718.2287727 
LibreCat: https://research-explorer.ista.ac.at/record/2967
DOI: 10.1145/2287718.2287727

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 
LibreCat: https://research-explorer.ista.ac.at/record/492
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/493
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/495
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/498
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/496
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/494
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/506
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/497
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3165
DOI: 10.1137/1.9781611973099.109
arXiv: 1109.5018

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 
LibreCat: https://research-explorer.ista.ac.at/record/2956
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/5377
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/5378
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/2955
DOI: 10.1109/LICS.2012.28
arXiv: 1107.2141

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 
LibreCat: https://research-explorer.ista.ac.at/record/3341
DOI: 10.1007/978-3-642-28729-9_18
arXiv: 1107.2009

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 
LibreCat: https://research-explorer.ista.ac.at/record/2957
DOI: 10.1109/LICS.2012.29
arXiv: 1107.2091

Cerny, P., Henzinger, T. A., &; Radhakrishna, A. (2012). Simulation distances. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2011.08.002 
LibreCat: https://research-explorer.ista.ac.at/record/3249
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/3124

Korc, F., Kolmogorov, V., &; Lampert, C. (2012). Approximating marginals using discrete energy minimization. IST Austria.https://doi.org/10.15479/AT:IST-2012-0003 
LibreCat: https://research-explorer.ista.ac.at/record/5396
DOI: 10.15479/AT:IST-2012-0003

Porsche, J. (2012). Actual state of research data @ ISTAustria. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/5398

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 
LibreCat: https://research-explorer.ista.ac.at/record/5839
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/596
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6136
DOI: 10.1038/nn.3061
PMID: 22388961

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 
LibreCat: https://research-explorer.ista.ac.at/record/6746
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/7074
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/7308
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/7309
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/7310
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/7311
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/762
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/763
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/764
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/766
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/767
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/7749
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/7748
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/7776
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/801
DOI: 10.1074/jbc.M112.398321
PMID: 23139423

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 
LibreCat: https://research-explorer.ista.ac.at/record/8024
DOI: 10.1103/physreve.86.011909
PMID: 23005454

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 
LibreCat: https://research-explorer.ista.ac.at/record/808
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/8246
DOI: 10.1111/j.1574-6968.2012.02603.x
PMID: 22640011

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 
LibreCat: https://research-explorer.ista.ac.at/record/826
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/829
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/846
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/8463
DOI: 10.1007/s10858-012-9659-9