Verification of STM on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, Formal Methods in System Design 39 (2011) 297–331.

An O(n2) time algorithm for alternating Büchi games
K. Chatterjee, M.H. Henzinger, An O(N2) Time Algorithm for Alternating Büchi Games, IST Austria, 2011.

Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, Partial-Observation Stochastic Games: How to Win When Belief Fails, IST Austria, 2011.

Bounded rationality in concurrent parity games
K. Chatterjee, Bounded Rationality in Concurrent Parity Games, IST Austria, 2011.

Robustness of structurally equivalent concurrent parity games
K. Chatterjee, Robustness of Structurally Equivalent Concurrent Parity Games, IST Austria, 2011.

Bounded rationality in concurrent parity games
K. Chatterjee, ArXiv (2011) 1–51.

Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, in:, IEEE, 2011.

Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.

Enforcing topological constraints in random field image segmentation
C. Chen, D. Freedman, C. Lampert, Enforcing Topological Constraints in Random Field Image Segmentation, IST Austria, 2011.

On an efficient decision procedure for imperative tree data structures
T. Wies, M. Muñiz, V. Kuncak, On an Efficient Decision Procedure for Imperative Tree Data Structures, IST Austria, 2011.

Decidable problems for probabilistic automata on infinite words
K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.

Enforcing topological constraints in random field image segmentation
C. Chen, D. Freedman, C. Lampert, in:, CVPR: Computer Vision and Pattern Recognition, IEEE, 2011, pp. 2089–2096.

An efficient decision procedure for imperative tree data structures
T. Wies, M. Muñiz, V. Kuncak, in:, Springer, 2011, pp. 476–491.

Quantitative synthesis for concurrent programs
P. Cerny, K. Chatterjee, T.A. Henzinger, A. Radhakrishna, R. Singh, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 243–259.

Energy and mean-payoff parity Markov Decision Processes
K. Chatterjee, L. Doyen, in:, Springer, 2011, pp. 206–218.

Energy and mean-payoff parity Markov decision processes
K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes, IST Austria, 2011.

Quantum physics: How to catch a wave
O. Hosten, Nature 474 (2011) 170–171.

Methods towards achieving precise birefringent focusing
D. Schmid, S. Hazrat, R. Rangarajan, O. Hosten, S. Quint, P. Kwiat, in:, OSA, 2011.

Raman lasing with a cold atom gain medium in a high-finesse optical cavity
G. Vrijsen, O. Hosten, J. Lee, S. Bernon, M. Kasevich, Physical Review Letters 107 (2011).

Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly
C. Bernecky, P. Grob, C. Ebmeier, E. Nogales, D. Taatjes, PLoS Biology 9 (2011).

Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability
F. Arellano-Carbajal, L. Briseño-Roa, A. Couto, B.H.H. Cheung, M. Labouesse, M. de Bono, PLoS Genetics 7 (2011).

Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans
K. Milward, K.E. Busch, R.J. Murphy, M. de Bono, B. Olofsson, Proceedings of the National Academy of Sciences 108 (2011) 20672–20677.

Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior
A.J. Bretscher, E. Kodama-Namba, K.E. Busch, R.J. Murphy, Z. Soltesz, P. Laurent, M. de Bono, Neuron 69 (2011) 1099–1113.

The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers
N.S. Baranova, E. Nilebäck, F.M. Haller, D.C. Briggs, S. Svedhem, A.J. Day, R.P. Richter, Journal of Biological Chemistry 286 (2011) 25675–25686.

Noise underlies switching behavior of the bacterial flagellum
H. Park, P. Oikonomou, C.C. Guet, P. Cluzel, Biophysical Journal 101 (2011) 2336–2340.

Finite difference schemes for MCM and AMSS
M. Mondelli, A. Ciomaga, Image Processing On Line 1 (2011) 127–177.

On finite difference schemes for curvature motions
M. Mondelli, A. Ciomaga, in:, Proceedings of the International Student Conference on Pure and Applied Mathematics, Editura Universitãtii eAlexandru Ioan Cuza” Iasi, 2011, pp. 1373156.

Determination of iron sites and the amount of amorphization in radiation-damaged titanite (CaSiTiO5)
E.K.H. Salje, D.J. Safarik, R.D. Taylor, M.P. Pasternak, K.A. Modic, L.A. Groat, J.C. Lashley, Journal of Physics: Condensed Matter 23 (2011).

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
J. Capps, B. Ma, T. Drye, C. Nucklos, S. Lindsey, D. Rhodes, Q. Zhang, K.A. Modic, S. Cawthorne, F. Drymiotis, Journal of Alloys and Compounds 509 (2011) 1544–1549.

Li–O2 and Li–S batteries with high energy storage
P.G. Bruce, S.A. Freunberger, L.J. Hardwick, J.-M. Tarascon, Nature Materials 11 (2011) 19–29.

The Lithium-Oxygen battery with ether-based electrolytes
S.A. Freunberger, Y. Chen, N.E. Drewett, L.J. Hardwick, F. Bardé, P.G. Bruce, Angewandte Chemie International Edition 50 (2011) 8609–8613.

Activated Lithium-Metal-Oxides as catalytic electrodes for Li–O2 cells
L. Trahey, C.S. Johnson, J.T. Vaughey, S.-H. Kang, L.J. Hardwick, S.A. Freunberger, P.G. Bruce, M.M. Thackeray, Electrochemical and Solid-State Letters 14 (2011).

Reactions in the rechargeable Lithium–O2 battery with alkyl carbonate electrolytes
S.A. Freunberger, Y. Chen, Z. Peng, J.M. Griffin, L.J. Hardwick, F. Barde, P. Novak, P.G. Bruce, Journal of the American Chemical Society 133 (2011) 8040–8047.

Oxygen reactions in a non-aqueous Li+ electrolyte
Z. Peng, S.A. Freunberger, L.J. Hardwick, Y. Chen, V. Giordani, F. Bardé, P. Novák, D. Graham, J.-M. Tarascon, P.G. Bruce, Angewandte Chemie International Edition 50 (2011) 6351–6355.

Generating fast indulgent algorithms
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2011, pp. 41–52.

The complexity of renaming
D.-A. Alistarh, J. Aspnes, S. Gilbert, R. Guerraoui, in:, IEEE, 2011, pp. 718–727.

Optimal-time adaptive strong renaming, with applications to counting
D.-A. Alistarh, J. Aspnes, K. Censor Hillel, S. Gilbert, M. Zadimoghaddam, in:, ACM, 2011, pp. 239–248.

Sub-logarithmic test-and-set against a weak adversary
D.-A. Alistarh, J. Aspnes, in:, Springer, 2011, pp. 97–109.

Understanding intrasexual competition and sexual selection requires an evolutionary ecology framework
M.R. Robinson, Behavioral Ecology 22 (2011) 1143–1144.

State-dependent function of neocortical chandelier cells
A.R. Woodruff, L.M. McGarry, T.P. Vogels, M. Inan, S.A. Anderson, R. Yuste, Journal of Neuroscience 31 (2011) 17872–17886.

Inhibitory plasticity balances excitation and inhibition in sensory pathways and memory networks
T.P. Vogels, H. Sprekeler, F. Zenke, C. Clopath, W. Gerstner, Science 334 (2011) 1569–1573.

Accurate measurement of one-bond H–X heteronuclear dipolar couplings in MAS solid-state NMR
P. Schanda, B.H. Meier, M. Ernst, Journal of Magnetic Resonance 210 (2011) 246–259.

A proton-detected 4D solid-state NMR experiment for protein structure determination
M. Huber, S. Hiller, P. Schanda, M. Ernst, A. Böckmann, R. Verel, B.H. Meier, ChemPhysChem 12 (2011) 915–918.

Solid-state NMR measurements of asymmetric dipolar couplings provide insight into protein side-chain motion
P. Schanda, M. Huber, J. Boisbouvier, B.H. Meier, M. Ernst, Angewandte Chemie International Edition 50 (2011) 11005–11009.

Three-dimensional deuterium-carbon correlation experiments for high-resolution solid-state MAS NMR spectroscopy of large proteins
D. Lalli, P. Schanda, A. Chowdhury, J. Retel, M. Hiller, V.A. Higman, L. Handel, V. Agarwal, B. Reif, B. van Rossum, Ü. Akbey, H. Oschkinat, Journal of Biomolecular NMR 51 (2011) 477–485.

Acrocephalus orinus: A case of Mistaken identity
E. Koblik, Y. Red’Kin, M. Meer, R. Derelle, S. Golenkina, F. Kondrashov, V. Arkhipov, PLoS One 6 (2011).

Evidence of the harmonic Faraday instability in ultrasonic atomization experiments with a deep, inviscid fluid
A.P. Higginbotham, A. Guillen, N. Jones, T. Donnelly, A. Bernoff, Journal of the Acoustical Society of America 130 (2011) 2694–2699.

Intensification of precipitation extremes with warming in a cloud-resolving model
C.J. Muller, P.A. O’Gorman, L.E. Back, Journal of Climate 24 (2011) 2784–2800.

An energetic perspective on the regional response of precipitation to climate change
C.J. Muller, P.A. O’Gorman, Nature Climate Change 1 (2011) 266–271.

Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice
S. Fré, E.B. Hannezo, S. Sale, M. Huyghe, D. Lafkas, H. Kissel, A. Louvi, J. Greve, D. Louvard, S. Artavanis Tsakonas, PLoS One 6 (2011).

Regulation of imprinted gene expression in Arabidopsis endosperm
T.-F. Hsieh, J. Shin, R. Uzawa, P. Silva, S. Cohen, M.J. Bauer, M. Hashimoto, R.C. Kirkbride, J.J. Harada, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 108 (2011) 1755–1762.

Exotic S=1 spin-liquid state with fermionic excitations on the triangular lattice
M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 84 (2011).

Isotope effect on the superfluid density in conventional and high-temperature superconductors
M. Serbyn, P. Lee, Physical Review B - Condensed Matter and Materials Physics 83 (2011).

Probing water accessibility in HET-s(218–289) amyloid fibrils by solid-state NMR
H. Van Melckebeke, P. Schanda, J. Gath, C. Wasmer, R. Verel, A. Lange, B.H. Meier, A. Böckmann, Journal of Molecular Biology 405 (2011) 765–772.

Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action
J. Galante, V. Kaloshin, Duke Mathematical Journal 159 (2011) 275–327.

Gene Dosage and Duplication
F. Kondrashov, in:, Evolution after Gene Duplication, Wiley-Blackwell, 2011, pp. 57–76.

Glass-like dynamics of collective cell migration
T. Angelini, E.B. Hannezo, X. Trepatc, M. Marquez, J. Fredberg, D. Weitz, Proceedings of the National Academy of Sciences of the United States of America 108 (2011) 4714–4719.

Instabilities of monolayered epithelia Shape and structure of villi and crypts
E.B. Hannezo, J. Prost, J. Joanny, Physical Review Letters 107 (2011).

Balancing parental contributions in plant embryonic gene activation
D. Zilberman, Balancing Parental Contributions in Plant Embryonic Gene Activation, Elsevier, 2011.

Incremental-decremental algorithm for computing AT-models and persistent homology
R. Gonzalez-Diaz, A. Ion, M.J. Jimenez, R. Poyatos, in:, Computer Analysis of Images and Patterns, Springer Nature, 2011, pp. 286–293.

Serbyn et al. Reply:
M. Serbyn, M. Skvortsov, A. Varlamov, V. Galitski, Physical Review Letters 106 (2011).

Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas
F. Palero, P. Abello, E. Macpherson, M. Beaumont, M. Pascual, Biological Journal of the Linnean Society 104 (2011) 407–418.

Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas)
F. Palero, P. Abello, E. Macpherson, M. Beaumont, M. Pascual, (2011).

Ilastik: Interactive learning and segmentation toolkit
C.M. Sommer, C. Straehle, U. Köthe, F.A. Hamprecht, in:, 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Micro, Institute of Electrical and Electronics Engineers, 2011.

Spatio-temporal extraction of articulated models in a graph pyramid
N.M. Artner, A. Ion, W.G. Kropatsch, in:, X. Jiang, M. Ferrer, A. Torsello (Eds.), Graph-Based Representations in Pattern Recognition, Springer, Berlin, Heidelberg, 2011, pp. 215–224.

The role of chemotactic gradients in dendritic cell migration
K. Schumann, The Role of Chemotactic Gradients in Dendritic Cell Migration, Institute of Science and Technology Austria, 2011.

Mechanics of adhesion and deadhesion in zebrafish germ layer progenitors
J.-L. Maître, Mechanics of Adhesion and Deadhesion in Zebrafish Germ Layer Progenitors, Institute of Science and Technology Austria, 2011.

Efficient authentication from hard learning problems
E. Kiltz, K.Z. Pietrzak, D. Cash, A. Jain, D. Venturi, in:, Springer, 2011, pp. 7–26.

In vivo analysis of uropod function during physiological T cell trafficking
S. Soriano, M. Hons, K. Schumann, V. Kumar, T. Dennier, R. Lyck, M.K. Sixt, J. Stein, Journal of Immunology 187 (2011) 2356–2364.

Maximum margin multi-label structured prediction
C. Lampert, in:, Neural Information Processing Systems, 2011.

Maximum margin multi label structured prediction
C. Lampert, Maximum Margin Multi Label Structured Prediction, Neural Information Processing Systems Foundation, 2011.

Structured learning and prediction in computer vision
S. Nowozin, C. Lampert, Foundations and Trends in Computer Graphics and Vision 6 (2011) 185–365.

Learning multi-view neighborhood preserving projections
N. Quadrianto, C. Lampert, in:, ML Research Press, 2011, pp. 425–432.

Measuring the complete force field of an optical trap
M. Jahnel, M. Behrndt, A. Jannasch, E. Schaeffer, S. Grill, Optics Letters 36 (2011) 1260–1262.

The statistical mechanics of a polygenic character under stabilizing selection mutation and drift
H. de Vladar, N.H. Barton, Journal of the Royal Society Interface 8 (2011) 720–739.

Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects
N.H. Barton, M. Turelli, American Naturalist 178 (2011) –.

Mapping backbone and side-chain interactions in the transition state of a coupled protein folding and binding reaction
A. Bachmann, D. Wildemann, F.M. Praetorius, G. Fischer, T. Kiefhaber, PNAS 108 (2011) 3952–3957.

Secreted semaphorins from degenerating larval ORN axons direct adult projection neuron dendrite targeting
L.B. Sweeney, Y.-H. Chou, Z. Wu, W. Joo, T. Komiyama, C.J. Potter, A.L. Kolodkin, K.C. Garcia, L. Luo, Neuron 72 (2011) 734–747.

A combinatorial semaphorin code instructs the initial steps of sensory circuit assembly in the Drosophila CNS
Z. Wu, L.B. Sweeney, J.C. Ayoob, K. Chak, B.J. Andreone, T. Ohyama, R. Kerr, L. Luo, M. Zlatic, A.L. Kolodkin, Neuron 70 (2011) 281–298.