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.

7350 Publications


2011 | Journal Article | IST-REx-ID: 518 | OA
Schraivogel D, Weinmann L, Beier D, Tabatabai G, Eichner A, Zhu J, Anton M, Sixt MK, Weller M, Beier C, Meister G. 2011. CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 30(20), 4309–4322.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 531 | OA
Guerraoui R, Henzinger TA, Singh V. 2011. Verification of STM on relaxed memory models. Formal Methods in System Design. 39(3), 297–331.
View | DOI | Download Published Version (ext.)
 

2011 | Technical Report | IST-REx-ID: 5379 | OA
Chatterjee K, Henzinger M. 2011. An O(n2) time algorithm for alternating Büchi games, IST Austria, 20p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5380 | OA
Chatterjee K. 2011. Bounded rationality in concurrent parity games, IST Austria, 53p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5381 | OA
Chatterjee K, Doyen L. 2011. Partial-observation stochastic games: How to win when belief fails, IST Austria, 43p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5382 | OA
Chatterjee K. 2011. Robustness of structurally equivalent concurrent parity games, IST Austria, 18p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5383 | OA
Wies T, Muñiz M, Kuncak V. 2011. On an efficient decision procedure for imperative tree data structures, IST Austria, 25p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5384 | OA
Chatterjee K, Tracol M. 2011. Decidable problems for probabilistic automata on infinite words, IST Austria, 30p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5385 | OA
Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values, IST Austria, 14p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5387 | OA
Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov decision processes, IST Austria, 20p.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 580
Hosten O. 2011. Quantum physics: How to catch a wave. Nature. 474(7350), 170–171.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 585
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, .
View | DOI
 

2011 | Journal Article | IST-REx-ID: 586
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).
View | DOI
 

2011 | Journal Article | IST-REx-ID: 597
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).
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7076
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.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7077
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.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7313
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.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 7314
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.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7315
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.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7316
Freunberger SA, Chen Y, Peng Z, Griffin JM, Hardwick LJ, Bardé F, Novák 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.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7317
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), A64.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 757
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.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 759
Alistarh D-A, Aspnes J, Gilbert S, Guerraoui R. 2011. The complexity of renaming. FOCS: Foundations of Computer Science, 718–727.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 760
Alistarh D-A, Aspnes J. 2011. Sub-logarithmic test-and-set against a weak adversary. DISC: Distributed Computing, LNCS, vol. 6950 LNCS, 97–109.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 761
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.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7701
Sweeney LBJ, 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.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7702
Wu Z, Sweeney LBJ, 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.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7750
Robinson MR. 2011. Understanding intrasexual competition and sexual selection requires an evolutionary ecology framework. Behavioral Ecology. 22(6), 1143–1144.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 112 | OA
Waitukaitis SR, Grütjen H, Royer J, Jaeger H. 2011. Droplet and cluster formation in freely falling granular streams. Physical Review E. 83(5), 051302.
View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 1723
Escudero L, Costa L, Kicheva A, Briscoe J, Freeman M, Babu M. 2011. Epithelial organisation revealed by a network of cellular contacts. Nature Communications. 2(1).
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1724
Wartlick O, Mumcu P, Kicheva A, Bittig T, Seum C, Jülicher F, González Gaitán M. 2011. Dynamics of Dpp signaling and proliferation control. Science. 331(6021), 1154–1159.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1754 | OA
Mongillo M, Spathis P, Katsaros G, Gentile P, Sanquer M, De Franceschi S. 2011. Joule-assisted silicidation for short-channel silicon nanowire devices. ACS Nano. 5(9), 7117–7123.
View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 1755 | OA
Katsaros G, Golovach V, Spathis P, Ares N, Stoffel M, Fournel F, Schmidt O, Glazman L, De Franceschi S. 2011. Observation of spin-selective tunneling in sige nanocrystals. Physical Review Letters. 107(24).
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 1775
Bozyigit D, Lang C, Steffen L, Fink JM, Eichler C, Baur M, Bianchetti R, Leek P, Filipp S, Da Silva M, Blais A, Wallraff A. 2011. Antibunching of microwave-frequency photons observed in correlation measurements using linear detectors. Nature Physics. 7(2), 154–158.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 1776
Bozyigit D, Lang C, Steffen L, Fink JM, Eichler C, Baur M, Bianchetti R, Leek P, Filipp S, Wallraff A, Da Silva M, Blais A. 2011. Correlation measurements of individual microwave photons emitted from a symmetric cavity. International Conference on Atomic Physics, Journal of Physics: Conference Series, vol. 264.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1777 | OA
Eichler C, Bozyigit D, Lang C, Steffen L, Fink JM, Wallraff A. 2011. Experimental state tomography of itinerant single microwave photons. Physical Review Letters. 106(22).
View | Files available | DOI | Download None (ext.)
 

2011 | Journal Article | IST-REx-ID: 1778 | OA
Lang C, Bozyigit D, Eichler C, Steffen L, Fink JM, Abdumalikov A, Baur M, Filipp S, Da Silva M, Blais A, Wallraff A. 2011. Observation of resonant photon blockade at microwave frequencies using correlation function measurements. Physical Review Letters. 106(24).
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 1780
Eichler C, Bozyigit D, Lang C, Baur M, Steffen L, Fink JM, Filipp S, Wallraff A. 2011. Observation of two-mode squeezing in the microwave frequency domain. Physical Review Letters. 107(11).
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1781
Filipp S, Göppl M, Fink JM, Baur M, Bianchetti R, Steffen L, Wallraff A. 2011. Multimode mediated qubit-qubit coupling and dark-state symmetries in circuit quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. 83(6).
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1815 | OA
Friedlander T, Brenner N. 2011. Adaptive response and enlargement of dynamic range. Mathematical Biosciences and Engineering. 8(2), 515–526.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 1863
Novak S. 2011. The number of equilibria in the diallelic Levene model with multiple demes. Theoretical Population Biology. 79(3), 97–101.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1973
Efremov R, Sazanov LA. 2011. Structure of the membrane domain of respiratory complex i. Nature. 476(7361), 414–421.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1974
Efremov R, Sazanov LA. 2011. Respiratory complex I: ‘steam engine’ of the cell? Current Opinion in Structural Biology. 21(4), 532–540.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1975
Yip C, Harbour M, Jayawardena K, Fearnley I, Sazanov LA. 2011. Evolution of respiratory complex I "Supernumerary" subunits are present in the α-proteobacterial enzyme. Journal of Biological Chemistry. 286(7), 5023–5033.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 6137 | OA
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.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6138 | OA
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.
View | Files available | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6140 | OA
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.
View | Files available | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6298 | OA
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.
View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 6496 | OA
Park H, Oikonomou P, Guet CC, Cluzel P. 2011. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 101(10), 2336–2340.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6749 | OA
Mondelli M, Ciomaga A. 2011. Finite difference schemes for MCM and AMSS. Image Processing On Line. 1, 127–177.
View | Files available | DOI
 

Search

Filter Publications