Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Verification of STM on Relaxed Memory Models.”https://doi.org/10.1007/s10703-011-0131-3__Formal Methods in System Design. Springer, 2011.https://doi.org/10.1007/s10703-011-0131-3 .

Chatterjee, Krishnendu, and Monika H Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0009 .

Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0007 .

Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0008 .

Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0006 .

Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” ArXiv. ArXiv, 2011.

Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. “Temporal Specifications with Accumulative Values.”https://doi.org/10.1109/LICS.2011.33__IEEE, 2011.https://doi.org/10.1109/LICS.2011.33 .

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 .

Chen, Chao, Daniel Freedman, and Christoph Lampert. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0002 .

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 .

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 .

Chen, Chao, Daniel Freedman, and Christoph Lampert. “Enforcing Topological Constraints in Random Field Image Segmentation.”https://doi.org/10.1109/CVPR.2011.5995503__In CVPR: Computer Vision and Pattern Recognition, 2089–96. IEEE, 2011.https://doi.org/10.1109/CVPR.2011.5995503 .

Wies, Thomas, Marco Muñiz, and Viktor Kuncak. “An Efficient Decision Procedure for Imperative Tree Data Structures,”https://doi.org/10.1007/978-3-642-22438-6_36__6803:476–91. Springer, 2011.https://doi.org/10.1007/978-3-642-22438-6_36 .

Cerny, Pavol, Krishnendu Chatterjee, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. “Quantitative Synthesis for Concurrent Programs.”https://doi.org/10.1007/978-3-642-22110-1_20__edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:243–59. Springer, 2011.https://doi.org/10.1007/978-3-642-22110-1_20 .

Chatterjee, Krishnendu, and Laurent Doyen. “Energy and Mean-Payoff Parity Markov Decision Processes,”https://doi.org/10.1007/978-3-642-22993-0_21__6907:206–18. Springer, 2011.https://doi.org/10.1007/978-3-642-22993-0_21 .

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 .

Hosten, Onur. “Quantum Physics: How to Catch a Wave.”https://doi.org/10.1038/474170a__Nature. Nature Publishing Group, 2011.https://doi.org/10.1038/474170a .

Schmid, David, Shiraz Hazrat, Radhika Rangarajan, Onur Hosten, Stephan Quint, and Paul Kwiat. “Methods towards Achieving Precise Birefringent Focusing.”https://doi.org/10.1364/CLEO_AT.2011.JThB130__OSA, 2011.https://doi.org/10.1364/CLEO_AT.2011.JThB130 .

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.”https://doi.org/10.1103/PhysRevLett.107.063904__Physical Review Letters. American Physical Society, 2011.https://doi.org/10.1103/PhysRevLett.107.063904 .

Bernecky, Carrie, Patricia Grob, Christopher Ebmeier, Eva Nogales, and Dylan Taatjes. “Molecular Architecture of the Human Mediator-RNA Polymerase II-TFIIF Assembly.”https://doi.org/10.1371/journal.pbio.1000603__PLoS Biology. Public Library of Science, 2011.https://doi.org/10.1371/journal.pbio.1000603 .

Arellano-Carbajal, Fausto, Luis Briseño-Roa, Africa Couto, Benny H. H. Cheung, Michel Labouesse, and Mario de Bono. “Macoilin, a Conserved Nervous System–Specific ER Membrane Protein That Regulates Neuronal Excitability.”https://doi.org/10.1371/journal.pgen.1001341__PLoS Genetics. Public Library of Science, 2011.https://doi.org/10.1371/journal.pgen.1001341 .

Milward, K., K. E. Busch, R. J. Murphy, Mario de Bono, and B. Olofsson. “Neuronal and Molecular Substrates for Optimal Foraging in Caenorhabditis Elegans.”https://doi.org/10.1073/pnas.1106134109__Proceedings of the National Academy of Sciences. National Academy of Sciences, 2011.https://doi.org/10.1073/pnas.1106134109 .

Bretscher, Andrew Jonathan, Eiji Kodama-Namba, Karl Emanuel Busch, Robin Joseph Murphy, Zoltan Soltesz, Patrick Laurent, and Mario de Bono. “Temperature, Oxygen, and Salt-Sensing Neurons in C. Elegans Are Carbon Dioxide Sensors That Control Avoidance Behavior.”https://doi.org/10.1016/j.neuron.2011.02.023__Neuron. Elsevier BV, 2011.https://doi.org/10.1016/j.neuron.2011.02.023 .

Baranova, Natalia S., Erik Nilebäck, F. Michael Haller, David C. Briggs, Sofia Svedhem, Anthony J. Day, and Ralf P. Richter. “The Inflammation-Associated Protein TSG-6 Cross-Links Hyaluronan via Hyaluronan-Induced TSG-6 Oligomers.”https://doi.org/10.1074/jbc.m111.247395__Journal of Biological Chemistry. American Society for Biochemistry &; Molecular Biology, 2011.https://doi.org/10.1074/jbc.m111.247395 .

Park, Heungwon, Panos Oikonomou, Calin C Guet, and Philippe Cluzel. “Noise Underlies Switching Behavior of the Bacterial Flagellum.”https://doi.org/10.1016/j.bpj.2011.09.040__Biophysical Journal. Elsevier, 2011.https://doi.org/10.1016/j.bpj.2011.09.040 .

Mondelli, Marco, and Adina Ciomaga. “Finite Difference Schemes for MCM and AMSS.”https://doi.org/10.5201/ipol.2011.cm_fds__Image Processing On Line. IPOL Image Processing On Line, 2011.https://doi.org/10.5201/ipol.2011.cm_fds .

Mondelli, Marco, and Adina Ciomaga. “On Finite Difference Schemes for Curvature Motions.”https://doi.org/10.13140/2.1.1862.4646__In Proceedings of the International Student Conference on Pure and Applied Mathematics, 137–56. Editura Universitãtii eAlexandru Ioan Cuza”https://doi.org/10.13140/2.1.1862.4646__Iasi, 2011.https://doi.org/10.13140/2.1.1862.4646 .

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).”https://doi.org/10.1088/0953-8984/23/10/105402__Journal of Physics: Condensed Matter. IOP Publishing, 2011.https://doi.org/10.1088/0953-8984/23/10/105402 .

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.”https://doi.org/10.1016/j.jallcom.2010.10.187__Journal of Alloys and Compounds. Elsevier, 2011.https://doi.org/10.1016/j.jallcom.2010.10.187 .

Bruce, Peter G., Stefan Alexander Freunberger, Laurence J. Hardwick, and Jean-Marie Tarascon. “Li–O2 and Li–S Batteries with High Energy Storage.”https://doi.org/10.1038/nmat3191__Nature Materials. Springer Nature, 2011.https://doi.org/10.1038/nmat3191 .

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.”https://doi.org/10.1002/anie.201102357__Angewandte Chemie International Edition. Wiley, 2011.https://doi.org/10.1002/anie.201102357 .

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.”https://doi.org/10.1149/1.3555366__Electrochemical and Solid-State Letters. The Electrochemical Society, 2011.https://doi.org/10.1149/1.3555366 .

Freunberger, Stefan Alexander, Yuhui Chen, Zhangquan Peng, John M. Griffin, Laurence J. Hardwick, Fanny Barde, Petr Novak, and Peter G. Bruce. “Reactions in the Rechargeable Lithium–O2 Battery with Alkyl Carbonate Electrolytes.”https://doi.org/10.1021/ja2021747__Journal of the American Chemical Society. ACS, 2011.https://doi.org/10.1021/ja2021747 .

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.”https://doi.org/10.1002/anie.201100879__Angewandte Chemie International Edition. Wiley, 2011.https://doi.org/10.1002/anie.201100879 .

Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “Generating Fast Indulgent Algorithms,”https://doi.org/10.1007/978-3-642-17679-1_4__6522 LNCS:41–52. Springer, 2011.https://doi.org/10.1007/978-3-642-17679-1_4 .

Alistarh, Dan-Adrian, James Aspnes, Seth Gilbert, and Rachid Guerraoui. “The Complexity of Renaming,”https://doi.org/10.1109/FOCS.2011.66__718–27. IEEE, 2011.https://doi.org/10.1109/FOCS.2011.66 .

Alistarh, Dan-Adrian, James Aspnes, Keren Censor Hillel, Seth Gilbert, and Morteza Zadimoghaddam. “Optimal-Time Adaptive Strong Renaming, with Applications to Counting,”https://doi.org/10.1145/1993806.1993850__239–48. ACM, 2011.https://doi.org/10.1145/1993806.1993850 .

Alistarh, Dan-Adrian, and James Aspnes. “Sub-Logarithmic Test-and-Set against a Weak Adversary,”https://doi.org/10.1007/978-3-642-24100-0_7__6950 LNCS:97–109. Springer, 2011.https://doi.org/10.1007/978-3-642-24100-0_7 .

Robinson, Matthew Richard. “Understanding Intrasexual Competition and Sexual Selection Requires an Evolutionary Ecology Framework.”https://doi.org/10.1093/beheco/arr110__Behavioral Ecology. Oxford University Press, 2011.https://doi.org/10.1093/beheco/arr110 .

Woodruff, A. R., L. M. McGarry, Tim P Vogels, M. Inan, S. A. Anderson, and R. Yuste. “State-Dependent Function of Neocortical Chandelier Cells.”https://doi.org/10.1523/jneurosci.3894-11.2011__Journal of Neuroscience. Society for Neuroscience, 2011.https://doi.org/10.1523/jneurosci.3894-11.2011 .

Vogels, Tim P, H. Sprekeler, F. Zenke, C. Clopath, and W. Gerstner. “Inhibitory Plasticity Balances Excitation and Inhibition in Sensory Pathways and Memory Networks.”https://doi.org/10.1126/science.1211095__Science. American Association for the Advancement of Science, 2011.https://doi.org/10.1126/science.1211095 .

Schanda, Paul, Beat H. Meier, and Matthias Ernst. “Accurate Measurement of One-Bond H–X Heteronuclear Dipolar Couplings in MAS Solid-State NMR.”https://doi.org/10.1016/j.jmr.2011.03.015__Journal of Magnetic Resonance. Elsevier, 2011.https://doi.org/10.1016/j.jmr.2011.03.015 .

Huber, Matthias, Sebastian Hiller, Paul Schanda, Matthias Ernst, Anja Böckmann, René Verel, and Beat H. Meier. “A Proton-Detected 4D Solid-State NMR Experiment for Protein Structure Determination.”https://doi.org/10.1002/cphc.201100062__ChemPhysChem. Wiley, 2011.https://doi.org/10.1002/cphc.201100062 .

Schanda, Paul, Matthias Huber, Jérôme Boisbouvier, Beat H. Meier, and Matthias Ernst. “Solid-State NMR Measurements of Asymmetric Dipolar Couplings Provide Insight into Protein Side-Chain Motion.”https://doi.org/10.1002/anie.201103944__Angewandte Chemie International Edition. Wiley, 2011.https://doi.org/10.1002/anie.201103944 .

Lalli, Daniela, Paul Schanda, Anup Chowdhury, Joren Retel, Matthias Hiller, Victoria A. Higman, Lieselotte Handel, et al. “Three-Dimensional Deuterium-Carbon Correlation Experiments for High-Resolution Solid-State MAS NMR Spectroscopy of Large Proteins.”https://doi.org/10.1007/s10858-011-9578-1__Journal of Biomolecular NMR. Springer Nature, 2011.https://doi.org/10.1007/s10858-011-9578-1 .

Koblik, Evgeniy, Yaroslav Red’Kin, Margarita Meer, Romain Derelle, Sofia Golenkina, Fyodor Kondrashov, and Vladimir Arkhipov. “Acrocephalus Orinus: A Case of Mistaken Identity.”https://doi.org/10.1371/journal.pone.0017716__PLoS One. Public Library of Science, 2011.https://doi.org/10.1371/journal.pone.0017716 .

Higginbotham, Andrew P, A Guillen, Nick Jones, Tom Donnelly, and Andrew Bernoff. “Evidence of the Harmonic Faraday Instability in Ultrasonic Atomization Experiments with a Deep, Inviscid Fluid.”https://doi.org/10.1121/1.3643816__Journal of the Acoustical Society of America. Acoustical Society of America, 2011.https://doi.org/10.1121/1.3643816 .

Muller, Caroline J, Paul A. O’Gorman, and Larissa E. Back. “Intensification of Precipitation Extremes with Warming in a Cloud-Resolving Model.”https://doi.org/10.1175/2011jcli3876.1__Journal of Climate. American Meteorological Society, 2011.https://doi.org/10.1175/2011jcli3876.1 .

Muller, Caroline J, and P. A. O’Gorman. “An Energetic Perspective on the Regional Response of Precipitation to Climate Change.”https://doi.org/10.1038/nclimate1169__Nature Climate Change. Springer Nature, 2011.https://doi.org/10.1038/nclimate1169 .

Fré, Silvia, Edouard B Hannezo, Sanja Sale, Mathilde Huyghe, Daniel Lafkas, Holger Kissel, Angeliki Louvi, Jeffrey Greve, Daniel Louvard, and Spyros Artavanis Tsakonas. “Notch Lineages and Activity in Intestinal Stem Cells Determined by a New Set of Knock in Mice.”https://doi.org/10.1371/journal.pone.0025785__PLoS One. Public Library of Science, 2011.https://doi.org/10.1371/journal.pone.0025785 .