Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

295 Publications


2012 | Journal Article | IST-REx-ID: 7309
Choi, Nam-Soon, Zonghai Chen, Stefan Alexander Freunberger, Xiulei Ji, Yang-Kook Sun, Khalil Amine, Gleb Yushin, Linda F. Nazar, Jaephil Cho, and Peter G. Bruce. “Challenges Facing Lithium Batteries and Electrical Double-Layer Capacitors.” Angewandte Chemie International Edition 51, no. 40 (2012): 9994–10024. https://doi.org/10.1002/anie.201201429.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7310
Peng, Z., Stefan Alexander Freunberger, Y. Chen, and P. G. Bruce. “A Reversible and Higher-Rate Li-O2 Battery.” Science 337, no. 6094 (2012): 563–66. https://doi.org/10.1126/science.1223985.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7311
Chen, Yuhui, Stefan Alexander Freunberger, Zhangquan Peng, Fanny Bardé, and Peter G. Bruce. “Li–O2 Battery with a Dimethylformamide Electrolyte.” Journal of the American Chemical Society 134, no. 18 (2012): 7952–57. https://doi.org/10.1021/ja302178w.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7748
Robinson, Matthew Richard, G. Sander van Doorn, Lars Gustafsson, and Anna Qvarnström. “Environment-Dependent Selection on Mate Choice in a Natural Population of Birds.” Ecology Letters 15, no. 6 (2012): 611–18. https://doi.org/10.1111/j.1461-0248.2012.01780.x.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7749
Robinson, Matthew Richard, Khyne U Mar, and Virpi Lummaa. “Senescence and Age-Specific Trade-Offs between Reproduction and Survival in Female Asian Elephants.” Ecology Letters 15, no. 3 (2012): 260–66. https://doi.org/10.1111/j.1461-0248.2011.01735.x.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7776
Goodrich, Carl Peter, Andrea J. Liu, and Sidney R. Nagel. “Finite-Size Scaling at the Jamming Transition.” Physical Review Letters 109, no. 9 (2012): 095704. https://doi.org/10.1103/physrevlett.109.095704.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 492 | OA
Galkovskyi, Taras, Yuriy Mileyko, Alexander Bucksch, Brad Moore, Olga Symonova, Charles Price, Chrostopher Topp, et al. “GiA Roots: Software for the High Throughput Analysis of Plant Root System Architecture.” BMC Plant Biology 12 (2012). https://doi.org/10.1186/1471-2229-12-116.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 493 | OA
Tangermann, Michael, Klaus Müller, Ad Aertsen, Niels Birbaumer, Christoph Braun, Clemens Brunner, Robert Leeb, et al. “Review of the BCI Competition IV.” Frontiers in Neuroscience 6 (2012). https://doi.org/10.3389/fnins.2012.00055.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 494
Boker, Udi, and Orna Kupferman. “Translating to Co-Büchi Made Tight, Unified, and Useful.” ACM Transactions on Computational Logic (TOCL) 13, no. 4 (2012). https://doi.org/10.1145/2362355.2362357.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 495 | OA
Kruckman, Alex, Sasha Rubin, John Sheridan, and Ben Zax. “A Myhill Nerode Theorem for Automata with Advice.” In Proceedings GandALF 2012, 96:238–46. Open Publishing Association, 2012. https://doi.org/10.4204/EPTCS.96.18.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 496 | OA
Rabinovich, Alexander, and Sasha Rubin. “Interpretations in Trees with Countably Many Branches.” IEEE, 2012. https://doi.org/10.1109/LICS.2012.65.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 497 | OA
Chatterjee, Krishnendu, Siddhesh Chaubal, and Pritish Kamath. “Faster Algorithms for Alternating Refinement Relations,” 16:167–82. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. https://doi.org/10.4230/LIPIcs.CSL.2012.167.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 498 | OA
Pickup, Melinda, David Field, David Rowell, and Andrew Young. “Predicting Local Adaptation in Fragmented Plant Populations: Implications for Restoration Genetics.” Evolutionary Applications 5, no. 8 (2012): 913–24. https://doi.org/10.1111/j.1752-4571.2012.00284.x.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 506 | OA
Sixt, Michael K. “Cell Migration: Fibroblasts Find a New Way to Get Ahead.” Journal of Cell Biology 197, no. 3 (2012): 347–49. https://doi.org/10.1083/jcb.201204039.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5377 | OA
Chatterjee, Krishnendu, and Yaron Velner. Mean-Payoff Pushdown Games. IST Austria, 2012. https://doi.org/10.15479/AT:IST-2012-0002.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5378 | OA
Chatterjee, Krishnendu, Siddhesh Chaubal, and Pritish Kamath. Faster Algorithms for Alternating Refinement Relations. IST Austria, 2012. https://doi.org/10.15479/AT:IST-2012-0001.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5396 | OA
Korc, Filip, Vladimir Kolmogorov, and Christoph Lampert. Approximating Marginals Using Discrete Energy Minimization. IST Austria, 2012. https://doi.org/10.15479/AT:IST-2012-0003.
View | Files available | DOI
 

2012 | Report | IST-REx-ID: 5398 | OA
Porsche, Jana. Actual State of Research Data @ ISTAustria. IST Austria, 2012.
View | Files available
 

2012 | Book Chapter | IST-REx-ID: 5745 | OA
Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.” In Automated Technology for Verification and Analysis, 7561:107–21. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. https://doi.org/10.1007/978-3-642-33386-6_10.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 5839 | OA
Biswas, Ranita, and Jaya Sil. “An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets.” Procedia Technology 4 (2012): 820–24. https://doi.org/10.1016/j.protcy.2012.05.134.
View | Files available | DOI
 

Filters and Search Terms

year=2012

Search

Filter Publications