Please note that ISTA 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.

7346 Publications


2011 | Technical Report | IST-REx-ID: 5382 | OA
Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0006.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5383 | OA
Wies, Thomas, Marco Muñiz, and Viktor Kuncak. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0005.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5384 | OA
Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0004.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5385 | OA
Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. Temporal Specifications with Accumulative Values. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0003.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5387 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0001.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 580
Hosten, Onur. “Quantum Physics: How to Catch a Wave.” Nature. Nature Publishing Group, 2011. https://doi.org/10.1038/474170a.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 585
Schmid, David, Shiraz Hazrat, Radhika Rangarajan, Onur Hosten, Stephan Quint, and Paul Kwiat. “Methods towards Achieving Precise Birefringent Focusing.” OSA, 2011. https://doi.org/10.1364/CLEO_AT.2011.JThB130.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 586
Vrijsen, Geert, Onur Hosten, Jongmin Lee, Simon Bernon, and Mark Kasevich. “Raman Lasing with a Cold Atom Gain Medium in a High-Finesse Optical Cavity.” Physical Review Letters. American Physical Society, 2011. https://doi.org/10.1103/PhysRevLett.107.063904.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 597
Bernecky, Carrie, Patricia Grob, Christopher Ebmeier, Eva Nogales, and Dylan Taatjes. “Molecular Architecture of the Human Mediator-RNA Polymerase II-TFIIF Assembly.” PLoS Biology. Public Library of Science, 2011. https://doi.org/10.1371/journal.pbio.1000603.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7076
Salje, E K H, D J Safarik, R D Taylor, M P Pasternak, Kimberly A Modic, L A Groat, and J C Lashley. “Determination of Iron Sites and the Amount of Amorphization in Radiation-Damaged Titanite (CaSiTiO5).” Journal of Physics: Condensed Matter. IOP Publishing, 2011. https://doi.org/10.1088/0953-8984/23/10/105402.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7077
Capps, J., B. Ma, T. Drye, C. Nucklos, S. Lindsey, D. Rhodes, Q. Zhang, Kimberly A Modic, S. Cawthorne, and F. Drymiotis. “The Effect of Ag Concentration on the Structural, Electrical and Thermal Transport Behavior of Pb:Te:Ag:Se Mixtures and Improvement of Thermoelectric Performance via Cu Doping.” Journal of Alloys and Compounds. Elsevier, 2011. https://doi.org/10.1016/j.jallcom.2010.10.187.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7313
Bruce, Peter G., Stefan Alexander Freunberger, Laurence J. Hardwick, and Jean-Marie Tarascon. “Li–O2 and Li–S Batteries with High Energy Storage.” Nature Materials. Springer Nature, 2011. https://doi.org/10.1038/nmat3191.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 7314
Freunberger, Stefan Alexander, Yuhui Chen, Nicholas E. Drewett, Laurence J. Hardwick, Fanny Bardé, and Peter G. Bruce. “The Lithium-Oxygen Battery with Ether-Based Electrolytes.” Angewandte Chemie International Edition. Wiley, 2011. https://doi.org/10.1002/anie.201102357.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7315
Peng, Zhangquan, Stefan Alexander Freunberger, Laurence J. Hardwick, Yuhui Chen, Vincent Giordani, Fanny Bardé, Petr Novák, Duncan Graham, Jean-Marie Tarascon, and Peter G. Bruce. “Oxygen Reactions in a Non-Aqueous Li+ Electrolyte.” Angewandte Chemie International Edition. Wiley, 2011. https://doi.org/10.1002/anie.201100879.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7316
Freunberger, Stefan Alexander, Yuhui Chen, Zhangquan Peng, John M. Griffin, Laurence J. Hardwick, Fanny Bardé, Petr Novák, and Peter G. Bruce. “Reactions in the Rechargeable Lithium–O2 Battery with Alkyl Carbonate Electrolytes.” Journal of the American Chemical Society. ACS, 2011. https://doi.org/10.1021/ja2021747.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7317
Trahey, L., C. S. Johnson, J. T. Vaughey, S.-H. Kang, L. J. Hardwick, Stefan Alexander Freunberger, P. G. Bruce, and M. M. Thackeray. “Activated Lithium-Metal-Oxides as Catalytic Electrodes for Li–O2 Cells.” Electrochemical and Solid-State Letters. The Electrochemical Society, 2011. https://doi.org/10.1149/1.3555366.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 757
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “Generating Fast Indulgent Algorithms,” 6522 LNCS:41–52. Springer, 2011. https://doi.org/10.1007/978-3-642-17679-1_4.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 759
Alistarh, Dan-Adrian, James Aspnes, Seth Gilbert, and Rachid Guerraoui. “The Complexity of Renaming,” 718–27. IEEE, 2011. https://doi.org/10.1109/FOCS.2011.66.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 760
Alistarh, Dan-Adrian, and James Aspnes. “Sub-Logarithmic Test-and-Set against a Weak Adversary,” 6950 LNCS:97–109. Springer, 2011. https://doi.org/10.1007/978-3-642-24100-0_7.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 761
Alistarh, Dan-Adrian, James Aspnes, Keren Censor Hillel, Seth Gilbert, and Morteza Zadimoghaddam. “Optimal-Time Adaptive Strong Renaming, with Applications to Counting,” 239–48. ACM, 2011. https://doi.org/10.1145/1993806.1993850.
View | DOI
 

Search

Filter Publications