Marhavý P, Bielach A, Abas L, Abuzeineh A, Duclercq J, Tanaka H, Paezová M, Petrásek J, Friml J, Kleine Vehn J, Benková E. 2011. Cytokinin modulates endocytic trafficking of PIN1 auxin efflux carrier to control plant organogenesis. Developmental Cell. 21(4), 796–804.
LibreCat: https://research-explorer.ista.ac.at/record/3097
DOI: 10.1016/j.devcel.2011.08.014

Wabnik KT, Kleine Vehn J, Govaerts W, Friml J. 2011. Prototype cell-to-cell auxin transport mechanism by intracellular auxin compartmentalization. Trends in Plant Science. 16(9), 468–475.
LibreCat: https://research-explorer.ista.ac.at/record/3096
DOI: 10.1016/j.tplants.2011.05.002

Sullivan D, Csicsvari JL, Mizuseki K, Montgomery S, Diba K, Buzsáki G. 2011. Relationships between hippocampal sharp waves ripples and fast gamma oscillation Influence of dentate and entorhinal cortical activity. Journal of Neuroscience. 31(23), 8605–8616.
LibreCat: https://research-explorer.ista.ac.at/record/3138
DOI: 10.1523/JNEUROSCI.0294-11.2011

Tasic B, Hippenmeyer S, Wang C, Gamboa M, Zong H, Chen Tsai Y, Luo L. 2011. Site specific integrase mediated transgenesis in mice via pronuclear injection. PNAS. 108(19), 7902–7907.
LibreCat: https://research-explorer.ista.ac.at/record/3145
DOI: 10.1073/pnas.1019507108

Degennaro M, Hurd T, Siekhaus DE, Biteau B, Jasper H, Lehmann R. 2011. Peroxiredoxin stabilization of DE-cadherin promotes primordial germ cell adhesion. Developmental Cell. 20(2), 233–243.
LibreCat: https://research-explorer.ista.ac.at/record/3154
DOI: 10.1016/j.devcel.2010.12.007

Faust S, Pietrzak KZ, Venturi D. 2011. Tamper proof circuits How to trade leakage for tamper resilience. ICALP: Automata, Languages and Programming, LNCS, vol. 6755, 391–402.
LibreCat: https://research-explorer.ista.ac.at/record/3239
DOI: 10.1007/978-3-642-22006-7_33

Jain A, Pietrzak KZ. 2011. Parallel repetition for leakage resilience amplification revisited. TCC: Theory of Cryptography Conference, LNCS, vol. 6597, 58–69.
LibreCat: https://research-explorer.ista.ac.at/record/3236
DOI: 10.1007/978-3-642-19571-6_5

Prentice J, Homann J, Simmons K, Tkadik G, Balasubramanian V, Nelson P. 2011. Fast, scalable, Bayesian spike identification for multi-electrode arrays. PLoS One. 6(7).
LibreCat: https://research-explorer.ista.ac.at/record/3276
DOI: 10.1371/journal.pone.0019884

Wagner H, Chen C, Vuçini E. 2011.Efficient computation of persistent homology for cubical data. In: Topological Methods in Data Analysis and Visualization II. Theory, Algorithms, and Applications, , 91–106.
LibreCat: https://research-explorer.ista.ac.at/record/3271
DOI: 10.1007/978-3-642-23175-9_7

Vila R, Pierce N, Nash D, Ugelvig LV. 2011. A phylogenetic revision of the Glaucopsyche section (Lepidoptera: Lycaenidae), with special focus on the Phengaris-Maculinea clade. Molecular Phylogenetics and Evolution. 61(1), 237–243.
LibreCat: https://research-explorer.ista.ac.at/record/3278
DOI: 10.1016/j.ympev.2011.05.016

Chen C, Kerber M. 2011. Persistent homology computation with a twist. EuroCG: European Workshop on Computational Geometry, 197–200.
LibreCat: https://research-explorer.ista.ac.at/record/3270

Raveendran K, Wojtan C, Turk G. 2011. Hybrid smoothed particle hydrodynamics. SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, 33–42.
LibreCat: https://research-explorer.ista.ac.at/record/3298
DOI: 10.1145/2019406.2019411

Wojtan C, Müller Fischer M, Brochu T. 2011. Liquid simulation with mesh-based surface tracking. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, 8.
LibreCat: https://research-explorer.ista.ac.at/record/3297
DOI: 10.1145/2037636.2037644

Lohse K, Harrison R, Barton NH. 2011. A general method for calculating likelihoods under the coalescent process. Genetics. 189(3), 977–987.
LibreCat: https://research-explorer.ista.ac.at/record/3290
DOI: 10.1534/genetics.111.129569

Zheng Y, Gu S, Edelsbrunner H, Tomasi C, Benfey P. 2011. Detailed reconstruction of 3D plant root shape, IEEE,p.
LibreCat: https://research-explorer.ista.ac.at/record/3312
DOI: 10.1109/ICCV.2011.6126475

Chen C, Edelsbrunner H. 2011. Diffusion runs low on persistence fast. Proceedings of the IEEE International Conference on Computer Vision. ICCV: International Conference on Computer Vision, 6126271.
LibreCat: https://research-explorer.ista.ac.at/record/3313
DOI: 10.1109/ICCV.2011.6126271

Edelsbrunner H.Alpha shapes - a survey. In: Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings. .
LibreCat: https://research-explorer.ista.ac.at/record/3311

Almagor S, Boker U, Kupferman O. 2011. What’s decidable about weighted automata . ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 6996, 482–491.
LibreCat: https://research-explorer.ista.ac.at/record/3326
DOI: 10.1007/978-3-642-24372-1_37

Alur R, Cerny P. 2011. Streaming transducers for algorithmic verification of single pass list processing programs. POPL: Principles of Programming Languages vol. 46, 599–610.
LibreCat: https://research-explorer.ista.ac.at/record/3325
DOI: 10.1145/1926385.1926454

Piskac R, Wies T. 2011. Decision procedures for automating termination proofs. VMCAI: Verification Model Checking and Abstract Interpretation, LNCS, vol. 6538, 371–386.
LibreCat: https://research-explorer.ista.ac.at/record/3324
DOI: 10.1007/978-3-642-18275-4_26

Boker U, Kupferman O. 2011. Co-Büching them all. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 6604, 184–198.
LibreCat: https://research-explorer.ista.ac.at/record/3327
DOI: 10.1007/978-3-642-19805-2_13

Wang Z, Lampert C, Mülling K, Schölkopf B, Peters J. 2011. Learning anticipation policies for robot table tennis. IROS: RSJ International Conference on Intelligent Robots and Systems, 332–337.
LibreCat: https://research-explorer.ista.ac.at/record/3337
DOI: 10.1109/IROS.2011.6094892

Chatterjee K, De Alfaro L, Pritam R. 2011. Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. arXiv, .
LibreCat: https://research-explorer.ista.ac.at/record/3339
arXiv: 1107.2132

Chatterjee K, Henzinger MH, Joglekar M, Nisarg S. 2011. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. CAV: Computer Aided Verification, LNCS, vol. 6806, 260–276.
LibreCat: https://research-explorer.ista.ac.at/record/3342
DOI: 10.1007/978-3-642-22110-1_21
arXiv: 1104.3348

Chatterjee K, Fijalkow N. 2011. Finitary languages. LATA: Language and Automata Theory and Applications, LNCS, vol. 6638, 216–226.
LibreCat: https://research-explorer.ista.ac.at/record/3347
DOI: 10.1007/978-3-642-21254-3_16
arXiv: 1101.1727

Brázdil T, Broeek V, Chatterjee K, Forejt V, Kudera A. 2011. Two views on multiple mean payoff objectives in Markov Decision Processes. LICS: Logic in Computer Science, 5970225.
LibreCat: https://research-explorer.ista.ac.at/record/3346
DOI: 10.1109/LICS.2011.10

Chatterjee K, Prabhu V. 2011. Synthesis of memory efficient real time controllers for safety objectives. HSCC: Hybrid Systems - Computation and Control, 221–230.
LibreCat: https://research-explorer.ista.ac.at/record/3348
DOI: 10.1145/1967701.1967734

Chatterjee K. 2011. Graph games with reachability objectives. RP: Reachability Problems, LNCS, vol. 6945, 1–1.
LibreCat: https://research-explorer.ista.ac.at/record/3344
DOI: 10.1007/978-3-642-24288-5_1

Chatterjee K, Henzinger MH. 2011. Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification. SODA: Symposium on Discrete Algorithms, 1318–1336.
LibreCat: https://research-explorer.ista.ac.at/record/3343
DOI: 10.1137/1.9781611973082.101

Boker U, Henzinger TA. 2011. Determinizing discounted-sum automata. CSL: Computer Science Logic, LIPIcs, vol. 12, 82–96.
LibreCat: https://research-explorer.ista.ac.at/record/3360
DOI: 10.4230/LIPIcs.CSL.2011.82

Cerny P, Chatterjee K, Henzinger TA. 2011. The complexity of quantitative information flow problems. CSF: Computer Security Foundations, 205–217.
LibreCat: https://research-explorer.ista.ac.at/record/3361
DOI: 10.1109/CSF.2011.21

Henzinger TA, Singh V, Wies T, Zufferey D. 2011. Scheduling large jobs by abstraction refinement. EuroSys, 329–342.
LibreCat: https://research-explorer.ista.ac.at/record/3358
DOI: 10.1145/1966445.1966476

Cerny P, Henzinger TA. 2011. From boolean to quantitative synthesis. EMSOFT: Embedded Software , 149–154.
LibreCat: https://research-explorer.ista.ac.at/record/3359
DOI: 10.1145/2038642.2038666

Chatterjee K, Henzinger TA, Horn F. 2011. The complexity of request-response games. LATA: Language and Automata Theory and Applications, LNCS, vol. 6638, 227–237.
LibreCat: https://research-explorer.ista.ac.at/record/3357
DOI: 10.1007/978-3-642-21254-3_17

Ibáñez M, Guardia P, Shavel A, Cadavid D, Arbiol J, Morante J, Cabot A. 2011. Growth kinetics of asymmetric Bi2 nanocrystals: Size distribution focusing in nanorods. Journal of Physical Chemistry C. 115(16), 7947–7955.
LibreCat: https://research-explorer.ista.ac.at/record/336
DOI: 10.1021/jp2002904

Row R, Maître J-L, Martin B, Stockinger P, Heisenberg C-PJ, Kimelman D. 2011. Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail. Developmental Biology. 354(1), 102–110.
LibreCat: https://research-explorer.ista.ac.at/record/3379
DOI: 10.1016/j.ydbio.2011.03.025
PMID: 1463614

Bollenbach MT, Kishony R. 2011. Resolution of gene regulatory conflicts caused by combinations of antibiotics. Molecular Cell. 42(4), 413–425.
LibreCat: https://research-explorer.ista.ac.at/record/3376
DOI: 10.1016/j.molcel.2011.04.016

Logeswaran S, Barton NH. 2011. Mapping Mendelian traits in asexual progeny using changes in marker allele frequency. Genetical Research. 93(3), 221–232.
LibreCat: https://research-explorer.ista.ac.at/record/3380
DOI: 10.1017/S0016672311000115

Edelsbrunner H, Morozov D, Patel A. 2011. Quantifying transversality by measuring the robustness of intersections. Foundations of Computational Mathematics. 11(3), 345–361.
LibreCat: https://research-explorer.ista.ac.at/record/3377
DOI: 10.1007/s10208-011-9090-8

Bendich P, Harer J. 2011. Persistent intersection homology. Foundations of Computational Mathematics. 11(3), 305–336.
LibreCat: https://research-explorer.ista.ac.at/record/3378
DOI: 10.1007/s10208-010-9081-1

Ugelvig LV, Nielsen P, Boomsma J, Nash D. 2011. Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion. BMC Evolutionary Biology. 11(201), 201.
LibreCat: https://research-explorer.ista.ac.at/record/3388
DOI: 10.1186/1471-2148-11-201

Tkadik G, Garrigan P, Ratliff C, Milcinski G, Klein J, Seyfarth L, Sterling P, Brainard D, Balasubramanian V. 2011. Natural images from the birthplace of the human eye. PLoS One. 6(6), e20409.
LibreCat: https://research-explorer.ista.ac.at/record/3384
DOI: 10.1371/journal.pone.0020409

Kupczok A. 2011. Split based computation of majority rule supertrees. BMC Evolutionary Biology. 11(205), 205.
LibreCat: https://research-explorer.ista.ac.at/record/3387
DOI: 10.1186/1471-2148-11-205

Blaschko M, Shelton J, Bartels A, Lampert C, Gretton A. 2011. Semi supervised kernel canonical correlation analysis with application to human fMRI. Pattern Recognition Letters. 32(11), 1572–1583.
LibreCat: https://research-explorer.ista.ac.at/record/3389
DOI: 10.1016/j.patrec.2011.02.011

Kroemer O, Lampert C, Peters J. 2011. Learning dynamic tactile sensing with robust vision based training. IEEE Transactions on Robotics. 27(3), 545–557.
LibreCat: https://research-explorer.ista.ac.at/record/3382
DOI: 10.1109/TRO.2011.2121130

Schrempf A, Cremer S, Heinze J. 2011. Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies. Journal of Evolutionary Biology. 24(7), 1455–1461.
LibreCat: https://research-explorer.ista.ac.at/record/3386
DOI: 10.1111/j.1420-9101.2011.02278.x

Sixt MK. 2011. Interstitial locomotion of leukocytes. Immunology Letters. 138(1), 32–34.
LibreCat: https://research-explorer.ista.ac.at/record/3385
DOI: 10.1016/j.imlet.2011.02.013

Heisenberg C-PJ. 2011. Invited Lectures  Symposia Area. FEBS Journal. 278(), 24–24.
LibreCat: https://research-explorer.ista.ac.at/record/3383
DOI: 10.1111/j.1742-4658.2011.08136.x

Cremer S, Schrempf A, Heinze J. 2011. Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior. PLoS One. 6(3), e17323.
LibreCat: https://research-explorer.ista.ac.at/record/3399
DOI: 10.1371/journal.pone.0017323

Little S, Tkadik G, Kneeland T, Wieschaus E, Gregor T. 2011. The formation of the Bicoid morphogen gradient requires protein movement from anteriorly localized source. PLoS Biology. 9(3), e1000596.
LibreCat: https://research-explorer.ista.ac.at/record/3401
DOI: 10.1371/journal.pbio.1000596

Janovjak HL, Isacoff E. 2011.Structure-based design of light-controlled proteins. In: Photosensitive Molecules for the Control of Biological Function. vol. 55, 233–266.
LibreCat: https://research-explorer.ista.ac.at/record/3724
DOI: 10.1007/978-1-61779-031-7_13

Hollatz C, Vilaça S, Fernandes Redondo RA, Marmontel M, Baker C, Santos F. 2011. The Amazon River system as an ecological barrier driving genetic differentiation of the pink dolphin (Inia geoffrensis). Biological Journal of the Linnean Society. 102(4), 812–827.
LibreCat: https://research-explorer.ista.ac.at/record/3770
DOI: 10.1111/j.1095-8312.2011.01616.x

Pavan A, Martins F, Santos F, Ditchfield A, Fernandes Redondo RA. 2011. Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests. Biological Journal of the Linnean Society. 102(3), 527–539.
LibreCat: https://research-explorer.ista.ac.at/record/3771
DOI: 10.1111/j.1095-8312.2010.01601.x

Barton NH. 2011. Estimating linkage disequilibria. Heredity. 106(2), 205–206.
LibreCat: https://research-explorer.ista.ac.at/record/3778
DOI: 10.1038/hdy.2010.67
PMID: 20502479

Krens G, Heisenberg C-PJ. 2011.Cell sorting in development. In: Forces and Tension in Development. Current Topics in Developmental Biology, vol. 95, 189–213.
LibreCat: https://research-explorer.ista.ac.at/record/3791
DOI: 10.1016/B978-0-12-385065-2.00006-2

Didier F, Henzinger TA, Mateescu M, Wolf V. 2011. Approximation of event probabilities in noisy cellular processes. Theoretical Computer Science. 412(21), 2128–2141.
LibreCat: https://research-explorer.ista.ac.at/record/3364
DOI: 10.1016/j.tcs.2010.10.022

Vyleta N, Smith S. 2011. Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience. 31(12), 4593–4606.
LibreCat: https://research-explorer.ista.ac.at/record/469
DOI: 10.1523/JNEUROSCI.6398-10.2011

Schlögl A, Vidaurre C, Sander T. 2011. BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience. 2011, 935364.
LibreCat: https://research-explorer.ista.ac.at/record/490
DOI: 10.1155/2011/935364

Eichner A, Sixt MK. 2011. Setting the clock for recirculating lymphocytes. Science Signaling. 4(198), pe43.
LibreCat: https://research-explorer.ista.ac.at/record/491
DOI: 10.1126/scisignal.2002617

Schraivogel D, Weinmann L, Beier D, Tabatabai G, Eichner A, Zhu J, Anton M, Sixt MK, Weller M, Beier C, Meister G. 2011. CAMT is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 30(20), 4309–4322.
LibreCat: https://research-explorer.ista.ac.at/record/518
DOI: 10.1038/emboj.2011.301
PMID: 21857646

Guerraoui R, Henzinger TA, Singh V. 2011. Verification of STM on relaxed memory models. Formal Methods in System Design. 39(3), 297–331.
LibreCat: https://research-explorer.ista.ac.at/record/531
DOI: 10.1007/s10703-011-0131-3

Chatterjee K, Henzinger MH. 2011. An O(n2) time algorithm for alternating Büchi games, IST Austria, 20p.
LibreCat: https://research-explorer.ista.ac.at/record/5379
DOI: 10.15479/AT:IST-2011-0009

Chatterjee K, Doyen L. 2011. Partial-observation stochastic games: How to win when belief fails, IST Austria, 43p.
LibreCat: https://research-explorer.ista.ac.at/record/5381
DOI: 10.15479/AT:IST-2011-0007

Chatterjee K. 2011. Bounded rationality in concurrent parity games, IST Austria, 53p.
LibreCat: https://research-explorer.ista.ac.at/record/5380
DOI: 10.15479/AT:IST-2011-0008

Chatterjee K. 2011. Robustness of structurally equivalent concurrent parity games, IST Austria, 18p.
LibreCat: https://research-explorer.ista.ac.at/record/5382
DOI: 10.15479/AT:IST-2011-0006

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