Chatterjee K. 2011. Bounded rationality in concurrent parity games. arXiv, 1–51, .
LibreCat: https://research-explorer.ista.ac.at/record/3338
arXiv: 1107.2146

Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values. LICS: Logic in Computer Science, 5970226.
LibreCat: https://research-explorer.ista.ac.at/record/3356
DOI: 10.1109/LICS.2011.33

Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values, IST Austria, 14p.
LibreCat: https://research-explorer.ista.ac.at/record/5385
DOI: 10.15479/AT:IST-2011-0003

Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in random field image segmentation, IST Austria, 69p.
LibreCat: https://research-explorer.ista.ac.at/record/5386
DOI: 10.15479/AT:IST-2011-0002

Wies T, Muñiz M, Kuncak V. 2011. On an efficient decision procedure for imperative tree data structures, IST Austria, 25p.
LibreCat: https://research-explorer.ista.ac.at/record/5383
DOI: 10.15479/AT:IST-2011-0005

Chatterjee K, Tracol M. 2011. Decidable problems for probabilistic automata on infinite words, IST Austria, 30p.
LibreCat: https://research-explorer.ista.ac.at/record/5384
DOI: 10.15479/AT:IST-2011-0004

Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in random field image segmentation. CVPR: Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition, 2089–2096.
LibreCat: https://research-explorer.ista.ac.at/record/3336
DOI: 10.1109/CVPR.2011.5995503

Wies T, Muñiz M, Kuncak V. 2011. An efficient decision procedure for imperative tree data structures. CADE 23: Automated Deduction , LNAI , vol. 6803, 476–491.
LibreCat: https://research-explorer.ista.ac.at/record/3323
DOI: 10.1007/978-3-642-22438-6_36

Cerny P, Chatterjee K, Henzinger TA, Radhakrishna A, Singh R. 2011. Quantitative synthesis for concurrent programs. CAV: Computer Aided Verification, LNCS, vol. 6806, 243–259.
LibreCat: https://research-explorer.ista.ac.at/record/3366
DOI: 10.1007/978-3-642-22110-1_20

Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov Decision Processes. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6907, 206–218.
LibreCat: https://research-explorer.ista.ac.at/record/3345
DOI: 10.1007/978-3-642-22993-0_21
arXiv: 1104.2909

Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov decision processes, IST Austria, 20p.
LibreCat: https://research-explorer.ista.ac.at/record/5387
DOI: 10.15479/AT:IST-2011-0001

Hosten O. 2011. Quantum physics: How to catch a wave. Nature. 474(7350), 170–171.
LibreCat: https://research-explorer.ista.ac.at/record/580
DOI: 10.1038/474170a

Schmid D, Hazrat S, Rangarajan R, Hosten O, Quint S, Kwiat P. 2011. Methods towards achieving precise birefringent focusing. QELS: Quantum Electronics and Laser Science, Optics InfoBase Conference Papers, .
LibreCat: https://research-explorer.ista.ac.at/record/585
DOI: 10.1364/CLEO_AT.2011.JThB130

Vrijsen G, Hosten O, Lee J, Bernon S, Kasevich M. 2011. Raman lasing with a cold atom gain medium in a high-finesse optical cavity. Physical Review Letters. 107(6).
LibreCat: https://research-explorer.ista.ac.at/record/586
DOI: 10.1103/PhysRevLett.107.063904

Bernecky C, Grob P, Ebmeier C, Nogales E, Taatjes D. 2011. Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly. PLoS Biology. 9(3).
LibreCat: https://research-explorer.ista.ac.at/record/597
DOI: 10.1371/journal.pbio.1000603

Arellano-Carbajal F, Briseño-Roa L, Couto A, Cheung BHH, Labouesse M, de Bono M. 2011. Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability. PLoS Genetics. 7(3), e1001341.
LibreCat: https://research-explorer.ista.ac.at/record/6140
DOI: 10.1371/journal.pgen.1001341
PMID: 21437263

Milward K, Busch KE, Murphy RJ, de Bono M, Olofsson B. 2011. Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. 108(51), 20672–20677.
LibreCat: https://research-explorer.ista.ac.at/record/6137
DOI: 10.1073/pnas.1106134109
PMID: 22135454

Bretscher AJ, Kodama-Namba E, Busch KE, Murphy RJ, Soltesz Z, Laurent P, de Bono M. 2011. Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior. Neuron. 69(6), 1099–1113.
LibreCat: https://research-explorer.ista.ac.at/record/6138
DOI: 10.1016/j.neuron.2011.02.023
PMID: 21435556

Baranova NS, Nilebäck E, Haller FM, Briggs DC, Svedhem S, Day AJ, Richter RP. 2011. The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers. Journal of Biological Chemistry. 286(29), 25675–25686.
LibreCat: https://research-explorer.ista.ac.at/record/6298
DOI: 10.1074/jbc.m111.247395

Park H, Oikonomou P, Guet CC, Cluzel P. 2011. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 101(10), 2336–2340.
LibreCat: https://research-explorer.ista.ac.at/record/6496
DOI: 10.1016/j.bpj.2011.09.040
PMID: 22098731

Mondelli M, Ciomaga A. 2011. Finite difference schemes for MCM and AMSS. Image Processing On Line. 1, 127–177.
LibreCat: https://research-explorer.ista.ac.at/record/6749
DOI: 10.5201/ipol.2011.cm_fds

Mondelli M, Ciomaga A. 2011. On finite difference schemes for curvature motions. Proceedings of the International Student Conference on Pure and Applied Mathematics. ISCOPAM: International Student Conference on Pure and Applied Mathematics, 137–156.
LibreCat: https://research-explorer.ista.ac.at/record/6767
DOI: 10.13140/2.1.1862.4646

Salje EKH, Safarik DJ, Taylor RD, Pasternak MP, Modic KA, Groat LA, Lashley JC. 2011. Determination of iron sites and the amount of amorphization in radiation-damaged titanite (CaSiTiO5). Journal of Physics: Condensed Matter. 23(10), 105402.
LibreCat: https://research-explorer.ista.ac.at/record/7076
DOI: 10.1088/0953-8984/23/10/105402

Capps J, Ma B, Drye T, Nucklos C, Lindsey S, Rhodes D, Zhang Q, Modic KA, Cawthorne S, Drymiotis F. 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. Journal of Alloys and Compounds. 509(5), 1544–1549.
LibreCat: https://research-explorer.ista.ac.at/record/7077
DOI: 10.1016/j.jallcom.2010.10.187

Bruce PG, Freunberger SA, Hardwick LJ, Tarascon J-M. 2011. Li–O2 and Li–S batteries with high energy storage. Nature Materials. 11(1), 19–29.
LibreCat: https://research-explorer.ista.ac.at/record/7313
DOI: 10.1038/nmat3191

Freunberger SA, Chen Y, Drewett NE, Hardwick LJ, Bardé F, Bruce PG. 2011. The Lithium-Oxygen battery with ether-based electrolytes. Angewandte Chemie International Edition. 50(37), 8609–8613.
LibreCat: https://research-explorer.ista.ac.at/record/7314
DOI: 10.1002/anie.201102357

Trahey L, Johnson CS, Vaughey JT, Kang S-H, Hardwick LJ, Freunberger SA, Bruce PG, Thackeray MM. 2011. Activated Lithium-Metal-Oxides as catalytic electrodes for Li–O2 cells. Electrochemical and Solid-State Letters. 14(5), .
LibreCat: https://research-explorer.ista.ac.at/record/7317
DOI: 10.1149/1.3555366

Freunberger SA, Chen Y, Peng Z, Griffin JM, Hardwick LJ, Barde F, Novak P, Bruce PG. 2011. Reactions in the rechargeable Lithium–O2 battery with alkyl carbonate electrolytes. Journal of the American Chemical Society. 133(20), 8040–8047.
LibreCat: https://research-explorer.ista.ac.at/record/7316
DOI: 10.1021/ja2021747

Peng Z, Freunberger SA, Hardwick LJ, Chen Y, Giordani V, Bardé F, Novák P, Graham D, Tarascon J-M, Bruce PG. 2011. Oxygen reactions in a non-aqueous Li+ electrolyte. Angewandte Chemie International Edition. 50(28), 6351–6355.
LibreCat: https://research-explorer.ista.ac.at/record/7315
DOI: 10.1002/anie.201100879

Alistarh D-A, Gilbert S, Guerraoui R, Travers C. 2011. Generating fast indulgent algorithms. ICDCN: International Conference on Distributed Computing and Networking, LNCS, vol. 6522 LNCS, 41–52.
LibreCat: https://research-explorer.ista.ac.at/record/757
DOI: 10.1007/978-3-642-17679-1_4

Alistarh D-A, Aspnes J, Gilbert S, Guerraoui R. 2011. The complexity of renaming. FOCS: Foundations of Computer Science, 718–727.
LibreCat: https://research-explorer.ista.ac.at/record/759
DOI: 10.1109/FOCS.2011.66

Alistarh D-A, Aspnes J, Censor Hillel K, Gilbert S, Zadimoghaddam M. 2011. Optimal-time adaptive strong renaming, with applications to counting. PODC: Principles of Distributed Computing, 239–248.
LibreCat: https://research-explorer.ista.ac.at/record/761
DOI: 10.1145/1993806.1993850

Alistarh D-A, Aspnes J. 2011. Sub-logarithmic test-and-set against a weak adversary. DISC: Distributed Computing, LNCS, vol. 6950 LNCS, 97–109.
LibreCat: https://research-explorer.ista.ac.at/record/760
DOI: 10.1007/978-3-642-24100-0_7

Robinson MR. 2011. Understanding intrasexual competition and sexual selection requires an evolutionary ecology framework. Behavioral Ecology. 22(6), 1143–1144.
LibreCat: https://research-explorer.ista.ac.at/record/7750
DOI: 10.1093/beheco/arr110

Woodruff AR, McGarry LM, Vogels TP, Inan M, Anderson SA, Yuste R. 2011. State-dependent function of neocortical chandelier cells. Journal of Neuroscience. 31(49), 17872–17886.
LibreCat: https://research-explorer.ista.ac.at/record/8025
DOI: 10.1523/jneurosci.3894-11.2011
PMID: 22159102

Vogels TP, Sprekeler H, Zenke F, Clopath C, Gerstner W. 2011. Inhibitory plasticity balances excitation and inhibition in sensory pathways and memory networks. Science. 334(6062), 1569–1573.
LibreCat: https://research-explorer.ista.ac.at/record/8074
DOI: 10.1126/science.1211095
PMID: 22075724

Schanda P, Meier BH, Ernst M. 2011. Accurate measurement of one-bond H–X heteronuclear dipolar couplings in MAS solid-state NMR. Journal of Magnetic Resonance. 210(2), 246–259.
LibreCat: https://research-explorer.ista.ac.at/record/8469
DOI: 10.1016/j.jmr.2011.03.015

Huber M, Hiller S, Schanda P, Ernst M, Böckmann A, Verel R, Meier BH. 2011. A proton-detected 4D solid-state NMR experiment for protein structure determination. ChemPhysChem. 12(5), 915–918.
LibreCat: https://research-explorer.ista.ac.at/record/8470
DOI: 10.1002/cphc.201100062

Schanda P, Huber M, Boisbouvier J, Meier BH, Ernst M. 2011. Solid-state NMR measurements of asymmetric dipolar couplings provide insight into protein side-chain motion. Angewandte Chemie International Edition. 50(46), 11005–11009.
LibreCat: https://research-explorer.ista.ac.at/record/8464
DOI: 10.1002/anie.201103944

Lalli D, Schanda P, Chowdhury A, Retel J, Hiller M, Higman VA, Handel L, Agarwal V, Reif B, van Rossum B, Akbey Ü, Oschkinat H. 2011. Three-dimensional deuterium-carbon correlation experiments for high-resolution solid-state MAS NMR spectroscopy of large proteins. Journal of Biomolecular NMR. 51(4), 477–485.
LibreCat: https://research-explorer.ista.ac.at/record/8468
DOI: 10.1007/s10858-011-9578-1

Koblik E, Red’Kin Y, Meer M, Derelle R, Golenkina S, Kondrashov F, Arkhipov V. 2011. Acrocephalus orinus: A case of Mistaken identity. PLoS One. 6(4).
LibreCat: https://research-explorer.ista.ac.at/record/890
DOI: 10.1371/journal.pone.0017716

Higginbotham AP, Guillen A, Jones N, Donnelly T, Bernoff A. 2011. Evidence of the harmonic Faraday instability in ultrasonic atomization experiments with a deep, inviscid fluid. Journal of the Acoustical Society of America. 130(5), 2694–2699.
LibreCat: https://research-explorer.ista.ac.at/record/90
DOI: 10.1121/1.3643816
PMID:     22087897

Muller CJ, O’Gorman PA, Back LE. 2011. Intensification of precipitation extremes with warming in a cloud-resolving model. Journal of Climate. 24(11), 2784–2800.
LibreCat: https://research-explorer.ista.ac.at/record/9144
DOI: 10.1175/2011jcli3876.1

Muller CJ, O’Gorman PA. 2011. An energetic perspective on the regional response of precipitation to climate change. Nature Climate Change. 1(5), 266–271.
LibreCat: https://research-explorer.ista.ac.at/record/9143
DOI: 10.1038/nclimate1169

Fré S, Hannezo EB, Sale S, Huyghe M, Lafkas D, Kissel H, Louvi A, Greve J, Louvard D, Artavanis Tsakonas S. 2011. Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice. PLoS One. 6(10), e25785.
LibreCat: https://research-explorer.ista.ac.at/record/923
DOI: 10.1371/journal.pone.0025785

Hsieh T-F, Shin J, Uzawa R, Silva P, Cohen S, Bauer MJ, Hashimoto M, Kirkbride RC, Harada JJ, Zilberman D, Fischer RL. 2011. Regulation of imprinted gene expression in Arabidopsis endosperm. Proceedings of the National Academy of Sciences. 108(5), 1755–1762.
LibreCat: https://research-explorer.ista.ac.at/record/9483
DOI: 10.1073/pnas.1019273108
PMID: 21257907

Serbyn M, Senthil T, Lee P. 2011. Exotic S=1 spin-liquid state with fermionic excitations on the triangular lattice. Physical Review B - Condensed Matter and Materials Physics. 84(18).
LibreCat: https://research-explorer.ista.ac.at/record/967
DOI: 10.1103/PhysRevB.84.180403

Serbyn M, Lee P. 2011. Isotope effect on the superfluid density in conventional and high-temperature superconductors. Physical Review B - Condensed Matter and Materials Physics. 83(2).
LibreCat: https://research-explorer.ista.ac.at/record/969
DOI: 10.1103/PhysRevB.83.024506

Van Melckebeke H, Schanda P, Gath J, Wasmer C, Verel R, Lange A, Meier BH, Böckmann A. 2011. Probing water accessibility in HET-s(218–289) amyloid fibrils by solid-state NMR. Journal of Molecular Biology. 405(3), 765–772.
LibreCat: https://research-explorer.ista.ac.at/record/8471
DOI: 10.1016/j.jmb.2010.11.004

Galante J, Kaloshin V. 2011. Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action. Duke Mathematical Journal. 159(2), 275–327.
LibreCat: https://research-explorer.ista.ac.at/record/8505
DOI: 10.1215/00127094-1415878

Kondrashov F. 2011.Gene Dosage and Duplication. In: Evolution after Gene Duplication. , 57–76.
LibreCat: https://research-explorer.ista.ac.at/record/881
DOI: 10.1002/9780470619902.ch4

Angelini T, Hannezo EB, Trepatc X, Marquez M, Fredberg J, Weitz D. 2011. Glass-like dynamics of collective cell migration. Proceedings of the National Academy of Sciences of the United States of America. 108(12), 4714–4719.
LibreCat: https://research-explorer.ista.ac.at/record/919
DOI: 10.1073/pnas.1010059108

Hannezo EB, Prost J, Joanny J. 2011. Instabilities of monolayered epithelia Shape and structure of villi and crypts. Physical Review Letters. 107(7).
LibreCat: https://research-explorer.ista.ac.at/record/918
DOI: 10.1103/PhysRevLett.107.078104

Zilberman D. 2011. Balancing parental contributions in plant embryonic gene activation, Elsevier,p.
LibreCat: https://research-explorer.ista.ac.at/record/9522
DOI: 10.1016/j.devcel.2011.05.018
PMID: 21664571

Gonzalez-Diaz R, Ion A, Jimenez MJ, Poyatos R. 2011. Incremental-decremental algorithm for computing AT-models and persistent homology. Computer Analysis of Images and Patterns. CAIP: International Conference on Computer Analysis of Images and Patterns, LNCS, vol. 6854, 286–293.
LibreCat: https://research-explorer.ista.ac.at/record/9648
DOI: 10.1007/978-3-642-23672-3_35

Serbyn M, Skvortsov M, Varlamov A, Galitski V. 2011. Serbyn et al. Reply: Physical Review Letters. 106(13).
LibreCat: https://research-explorer.ista.ac.at/record/968
DOI: 10.1103/PhysRevLett.106.139702

Palero F, Abello P, Macpherson E, Beaumont M, Pascual M. 2011. Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas. Biological Journal of the Linnean Society. 104(2), 407–418.
LibreCat: https://research-explorer.ista.ac.at/record/3395
DOI: 10.1111/j.1095-8312.2011.01728.x

Palero F, Abello P, Macpherson E, Beaumont M, Pascual M. 2011. Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas), IST Austria,10.5061/dryad.299h8 .
LibreCat: https://research-explorer.ista.ac.at/record/9762
DOI: 10.5061/dryad.299h8

Sommer CM, Straehle C, Köthe U, Hamprecht FA. 2011. Ilastik: Interactive learning and segmentation toolkit. 2011 IEEE International Symposium on Biomedical Imaging: from Nano to Micro. ISBI: International Symposium on Biomedical Imaging.
LibreCat: https://research-explorer.ista.ac.at/record/9943
DOI: 10.1109/isbi.2011.5872394

Artner NM, Ion A, Kropatsch WG. 2011. Spatio-temporal extraction of articulated models in a graph pyramid. Graph-Based Representations in Pattern Recognition. GbRPR: Graph-based Representations in Pattern RecognitionLNIP, LNCS, vol. 6658, 215–224.
LibreCat: https://research-explorer.ista.ac.at/record/10907
DOI: 10.1007/978-3-642-20844-7_22

Schumann K. 2011. The role of chemotactic gradients in dendritic cell migration. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/3275

Maître J-L. 2011. Mechanics of adhesion and deadhesion in zebrafish germ layer progenitors. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/3273

Kiltz E, Pietrzak KZ, Cash D, Jain A, Venturi D. 2011. Efficient authentication from hard learning problems. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 6632, 7–26.
LibreCat: https://research-explorer.ista.ac.at/record/3238
DOI: 10.1007/978-3-642-20465-4_3

Soriano S, Hons M, Schumann K, Kumar V, Dennier T, Lyck R, Sixt MK, Stein J. 2011. In vivo analysis of uropod function during physiological T cell trafficking. Journal of Immunology. 187(5), 2356–2364.
LibreCat: https://research-explorer.ista.ac.at/record/3392
DOI: 10.4049/jimmunol.1100935

Lampert C. 2011. Maximum margin multi-label structured prediction. NIPS: Neural Information Processing Systems.
LibreCat: https://research-explorer.ista.ac.at/record/3163

Lampert C. 2011. Maximum margin multi label structured prediction, Neural Information Processing Systems Foundation,p.
LibreCat: https://research-explorer.ista.ac.at/record/3322

Nowozin S, Lampert C. 2011. Structured learning and prediction in computer vision. Foundations and Trends in Computer Graphics and Vision. 6(3–4), 185–365.
LibreCat: https://research-explorer.ista.ac.at/record/3320
DOI: 10.1561/0600000033

Quadrianto N, Lampert C. 2011. Learning multi-view neighborhood preserving projections. ICML: International Conference on Machine Learning, 425–432.
LibreCat: https://research-explorer.ista.ac.at/record/3319

Jahnel M, Behrndt M, Jannasch A, Schaeffer E, Grill S. 2011. Measuring the complete force field of an optical trap. Optics Letters. 36(7), 1260–1262.
LibreCat: https://research-explorer.ista.ac.at/record/3373
DOI: 10.1364/OL.36.001260

de Vladar H, Barton NH. 2011. The statistical mechanics of a polygenic character under stabilizing selection mutation and drift. Journal of the Royal Society Interface. 8(58), 720–739.
LibreCat: https://research-explorer.ista.ac.at/record/3375
DOI: 10.1098/rsif.2010.0438
PMID: 21084341

Barton NH, Turelli M. 2011. Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects. American Naturalist. 178(3), –.
LibreCat: https://research-explorer.ista.ac.at/record/3393
DOI: 10.1086/661246

Bachmann A, Wildemann D, Praetorius FM, Fischer G, Kiefhaber T. 2011. Mapping backbone and side-chain interactions in the transition state of a coupled protein folding and binding reaction. PNAS. 108(10), 3952–3957.
LibreCat: https://research-explorer.ista.ac.at/record/14305
DOI: 10.1073/pnas.1012668108
PMID: 21325613

Sweeney LB, Chou Y-H, Wu Z, Joo W, Komiyama T, Potter CJ, Kolodkin AL, Garcia KC, Luo L. 2011. Secreted semaphorins from degenerating larval ORN axons direct adult projection neuron dendrite targeting. Neuron. 72(5), 734–747.
LibreCat: https://research-explorer.ista.ac.at/record/7701
DOI: 10.1016/j.neuron.2011.09.026

Wu Z, Sweeney LB, Ayoob JC, Chak K, Andreone BJ, Ohyama T, Kerr R, Luo L, Zlatic M, Kolodkin AL. 2011. A combinatorial semaphorin code instructs the initial steps of sensory circuit assembly in the Drosophila CNS. Neuron. 70(2), 281–298.
LibreCat: https://research-explorer.ista.ac.at/record/7702
DOI: 10.1016/j.neuron.2011.02.050