Chatterjee, Krishnendu, and Mathieu Tracol. “Decidable Problems for Probabilistic Automata on Infinite Words.”10.1109/LICS.2012.29__Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 6280437, IEEE, 2012, doi:10.1109/LICS.2012.29.
LibreCat: https://research-explorer.ista.ac.at/record/2957
DOI: 10.1109/LICS.2012.29
arXiv: 1107.2091

Cerny, Pavol, et al. “Simulation Distances.”10.1016/j.tcs.2011.08.002__Theoretical Computer Science, vol. 413, no. 1, Elsevier, 2012, pp. 21–35, doi: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, Filip, et al. Approximating Marginals Using Discrete Energy Minimization. ICML, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3124

Korc, Filip, et al. Approximating Marginals Using Discrete Energy Minimization. IST Austria, 2012, doi:10.15479/AT:IST-2012-0003.
LibreCat: https://research-explorer.ista.ac.at/record/5396
DOI: 10.15479/AT:IST-2012-0003

Porsche, Jana. Actual State of Research Data @ ISTAustria. IST Austria, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/5398

Biswas, Ranita, and Jaya Sil. “An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets.”10.1016/j.protcy.2012.05.134__Procedia Technology, vol. 4, Elsevier, 2012, pp. 820–24, doi: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, Carrie, and Dylan Taatjes. “Activator-Mediator Binding Stabilizes RNA Polymerase II Orientation within the Human Mediator-RNA Polymerase II-TFIIF Assembly.”10.1016/j.jmb.2012.02.014__Journal of Molecular Biology, vol. 417, no. 5, Elsevier, 2012, pp. 387–94, doi: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, Karl Emanuel, et al. “Tonic Signaling from O2 Sensors Sets Neural Circuit Activity and Behavioral State.”10.1038/nn.3061__Nature Neuroscience, vol. 15, no. 4, Springer Nature, 2012, pp. 581–91, doi:10.1038/nn.3061.
LibreCat: https://research-explorer.ista.ac.at/record/6136
DOI: 10.1038/nn.3061
PMID: 22388961

Mondelli, Marco, et al. “A Cooperative Approach for Amplify-and-Forward Differential Transmitted Reference IR-UWB Relay Systems.”10.1109/icassp.2012.6288524__2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), IEEE, 2012, pp. 2905–08, doi:10.1109/icassp.2012.6288524.
LibreCat: https://research-explorer.ista.ac.at/record/6746
DOI: 10.1109/icassp.2012.6288524

Lukas, K. C., et al. “Thermoelectric Properties of Ho-Doped Bi0.88Sb0.12.”10.1007/s10853-012-6463-6__Journal of Materials Science, vol. 47, no. 15, Springer Nature, 2012, pp. 5729–34, doi:10.1007/s10853-012-6463-6.
LibreCat: https://research-explorer.ista.ac.at/record/7074
DOI: 10.1007/s10853-012-6463-6

Ottakam Thotiyl, Muhammed M., et al. “The Carbon Electrode in Nonaqueous Li–O2 Cells.”10.1021/ja310258x__Journal of the American Chemical Society, vol. 135, no. 1, ACS, 2012, pp. 494–500, doi:10.1021/ja310258x.
LibreCat: https://research-explorer.ista.ac.at/record/7308
DOI: 10.1021/ja310258x

Choi, Nam-Soon, et al. “Challenges Facing Lithium Batteries and Electrical Double-Layer Capacitors.”10.1002/anie.201201429__Angewandte Chemie International Edition, vol. 51, no. 40, Wiley, 2012, pp. 9994–10024, doi:10.1002/anie.201201429.
LibreCat: https://research-explorer.ista.ac.at/record/7309
DOI: 10.1002/anie.201201429

Peng, Z., et al. “A Reversible and Higher-Rate Li-O2 Battery.”10.1126/science.1223985__Science, vol. 337, no. 6094, AAAS, 2012, pp. 563–66, doi:10.1126/science.1223985.
LibreCat: https://research-explorer.ista.ac.at/record/7310
DOI: 10.1126/science.1223985

Chen, Yuhui, et al. “Li–O2 Battery with a Dimethylformamide Electrolyte.”10.1021/ja302178w__Journal of the American Chemical Society, vol. 134, no. 18, ACS, 2012, pp. 7952–57, doi:10.1021/ja302178w.
LibreCat: https://research-explorer.ista.ac.at/record/7311
DOI: 10.1021/ja302178w

Alistarh, Dan-Adrian, et al. On the Cost of Composing Shared-Memory Algorithms. ACM, 2012, pp. 298–307, doi:10.1145/2312005.2312057.
LibreCat: https://research-explorer.ista.ac.at/record/762
DOI: 10.1145/2312005.2312057

Alistarh, Dan-Adrian, et al. Early Deciding Synchronous Renaming in O(Log f) Rounds or Less. Vol. 7355 LNCS, Springer, 2012, pp. 195–206, doi: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, Dan-Adrian, et al. “Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement.”10.1007/s00453-011-9581-7__Algorithmica (New York), vol. 62, no. 1–2, Springer, 2012, pp. 595–629, doi:10.1007/s00453-011-9581-7.
LibreCat: https://research-explorer.ista.ac.at/record/764
DOI: 10.1007/s00453-011-9581-7

Alistarh, Dan-Adrian, et al. How to Allocate Tasks Asynchronously. IEEE, 2012, pp. 331–40, doi:10.1109/FOCS.2012.41.
LibreCat: https://research-explorer.ista.ac.at/record/766
DOI: 10.1109/FOCS.2012.41

Alistarh, Dan-Adrian, et al. “Generating Fast Indulgent Algorithms.”10.1007/s00224-012-9407-2__Theory of Computing Systems, vol. 51, no. 4, Elsevier, 2012, pp. 404–24, doi:10.1007/s00224-012-9407-2.
LibreCat: https://research-explorer.ista.ac.at/record/767
DOI: 10.1007/s00224-012-9407-2

Robinson, Matthew Richard, et al. “Senescence and Age-Specific Trade-Offs between Reproduction and Survival in Female Asian Elephants.”10.1111/j.1461-0248.2011.01735.x__Ecology Letters, vol. 15, no. 3, Wiley, 2012, pp. 260–66, doi: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