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., … Meister, G. (2011). CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/emboj.2011.301
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 531 | OA
Guerraoui, R., Henzinger, T. A., & Singh, V. (2011). Verification of STM on relaxed memory models. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-011-0131-3
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. https://doi.org/10.15479/AT:IST-2011-0009
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5380 | OA
Chatterjee, K. (2011). Bounded rationality in concurrent parity games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0008
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. https://doi.org/10.15479/AT:IST-2011-0007
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5382 | OA
Chatterjee, K. (2011). Robustness of structurally equivalent concurrent parity games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0006
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. https://doi.org/10.15479/AT:IST-2011-0005
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. https://doi.org/10.15479/AT:IST-2011-0004
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5385 | OA
Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2011). Temporal specifications with accumulative values. IST Austria. https://doi.org/10.15479/AT:IST-2011-0003
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. https://doi.org/10.15479/AT:IST-2011-0001
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 580
Hosten, O. (2011). Quantum physics: How to catch a wave. Nature. Nature Publishing Group. https://doi.org/10.1038/474170a
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. Presented at the QELS: Quantum Electronics and Laser Science, OSA. https://doi.org/10.1364/CLEO_AT.2011.JThB130
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. American Physical Society. https://doi.org/10.1103/PhysRevLett.107.063904
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. Public Library of Science. https://doi.org/10.1371/journal.pbio.1000603
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7076
Salje, E. K. H., Safarik, D. J., Taylor, R. D., Pasternak, M. P., Modic, K. A., Groat, L. A., & Lashley, J. C. (2011). Determination of iron sites and the amount of amorphization in radiation-damaged titanite (CaSiTiO5). Journal of Physics: Condensed Matter. IOP Publishing. https://doi.org/10.1088/0953-8984/23/10/105402
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7077
Capps, J., Ma, B., Drye, T., Nucklos, C., Lindsey, S., Rhodes, D., … 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. Elsevier. https://doi.org/10.1016/j.jallcom.2010.10.187
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7313
Bruce, P. G., Freunberger, S. A., Hardwick, L. J., & Tarascon, J.-M. (2011). Li–O2 and Li–S batteries with high energy storage. Nature Materials. Springer Nature. https://doi.org/10.1038/nmat3191
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 7314
Freunberger, S. A., Chen, Y., Drewett, N. E., Hardwick, L. J., Bardé, F., & Bruce, P. G. (2011). The Lithium-Oxygen battery with ether-based electrolytes. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.201102357
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7315
Peng, Z., Freunberger, S. A., Hardwick, L. J., Chen, Y., Giordani, V., Bardé, F., … Bruce, P. G. (2011). Oxygen reactions in a non-aqueous Li+ electrolyte. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.201100879
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7316
Freunberger, S. A., Chen, Y., Peng, Z., Griffin, J. M., Hardwick, L. J., Bardé, F., … Bruce, P. G. (2011). Reactions in the rechargeable Lithium–O2 battery with alkyl carbonate electrolytes. Journal of the American Chemical Society. ACS. https://doi.org/10.1021/ja2021747
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7317
Trahey, L., Johnson, C. S., Vaughey, J. T., Kang, S.-H., Hardwick, L. J., Freunberger, S. A., … Thackeray, M. M. (2011). Activated Lithium-Metal-Oxides as catalytic electrodes for Li–O2 cells. Electrochemical and Solid-State Letters. The Electrochemical Society. https://doi.org/10.1149/1.3555366
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 757
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2011). Generating fast indulgent algorithms (Vol. 6522 LNCS, pp. 41–52). Presented at the ICDCN: International Conference on Distributed Computing and Networking, Springer. https://doi.org/10.1007/978-3-642-17679-1_4
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 759
Alistarh, D.-A., Aspnes, J., Gilbert, S., & Guerraoui, R. (2011). The complexity of renaming (pp. 718–727). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/FOCS.2011.66
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 760
Alistarh, D.-A., & Aspnes, J. (2011). Sub-logarithmic test-and-set against a weak adversary (Vol. 6950 LNCS, pp. 97–109). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-642-24100-0_7
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 (pp. 239–248). Presented at the PODC: Principles of Distributed Computing, ACM. https://doi.org/10.1145/1993806.1993850
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7701
Sweeney, L. B. J., Chou, Y.-H., Wu, Z., Joo, W., Komiyama, T., Potter, C. J., … Luo, L. (2011). Secreted semaphorins from degenerating larval ORN axons direct adult projection neuron dendrite targeting. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2011.09.026
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7702
Wu, Z., Sweeney, L. B. J., Ayoob, J. C., Chak, K., Andreone, B. J., Ohyama, T., … Kolodkin, A. L. (2011). A combinatorial semaphorin code instructs the initial steps of sensory circuit assembly in the Drosophila CNS. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2011.02.050
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7750
Robinson, M. R. (2011). Understanding intrasexual competition and sexual selection requires an evolutionary ecology framework. Behavioral Ecology. Oxford University Press. https://doi.org/10.1093/beheco/arr110
View | DOI
 

2011 | Journal Article | IST-REx-ID: 112 | OA
Waitukaitis, S. R., Grütjen, H., Royer, J., & Jaeger, H. (2011). Droplet and cluster formation in freely falling granular streams. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.83.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. Nature Publishing Group. https://doi.org/10.1038/ncomms1536
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. American Association for the Advancement of Science. https://doi.org/10.1126/science.1200037
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. American Chemical Society. https://doi.org/10.1021/nn202524j
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., … De Franceschi, S. (2011). Observation of spin-selective tunneling in sige nanocrystals. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.107.246601
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 1775
Bozyigit, D., Lang, C., Steffen, L., Fink, J. M., Eichler, C., Baur, M., … Wallraff, A. (2011). Antibunching of microwave-frequency photons observed in correlation measurements using linear detectors. Nature Physics. Nature Publishing Group. https://doi.org/10.1038/nphys1845
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 1776
Bozyigit, D., Lang, C., Steffen, L., Fink, J. M., Eichler, C., Baur, M., … Blais, A. (2011). Correlation measurements of individual microwave photons emitted from a symmetric cavity (Vol. 264). Presented at the International Conference on Atomic Physics, IOP Publishing Ltd. https://doi.org/10.1088/1742-6596/264/1/012024
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1777 | OA
Eichler, C., Bozyigit, D., Lang, C., Steffen, L., Fink, J. M., & Wallraff, A. (2011). Experimental state tomography of itinerant single microwave photons. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.106.220503
View | Files available | DOI | Download None (ext.)
 

2011 | Journal Article | IST-REx-ID: 1778 | OA
Lang, C., Bozyigit, D., Eichler, C., Steffen, L., Fink, J. M., Abdumalikov, A., … Wallraff, A. (2011). Observation of resonant photon blockade at microwave frequencies using correlation function measurements. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.106.243601
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 1780
Eichler, C., Bozyigit, D., Lang, C., Baur, M., Steffen, L., Fink, J. M., … Wallraff, A. (2011). Observation of two-mode squeezing in the microwave frequency domain. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.107.113601
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1781
Filipp, S., Göppl, M., Fink, J. M., 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. American Physical Society. https://doi.org/10.1103/PhysRevA.83.063827
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. Arizona State University. https://doi.org/10.3934/mbe.2011.8.515
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. Academic Press. https://doi.org/10.1016/j.tpb.2010.12.002
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1973
Efremov, R., & Sazanov, L. A. (2011). Structure of the membrane domain of respiratory complex i. Nature. Nature Publishing Group. https://doi.org/10.1038/nature10330
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1974
Efremov, R., & Sazanov, L. A. (2011). Respiratory complex I: “steam engine” of the cell? Current Opinion in Structural Biology. Elsevier. https://doi.org/10.1016/j.sbi.2011.07.002
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1975
Yip, C., Harbour, M., Jayawardena, K., Fearnley, I., & Sazanov, L. A. (2011). Evolution of respiratory complex I "Supernumerary" subunits are present in the α-proteobacterial enzyme. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M110.194993
View | DOI
 

2011 | Journal Article | IST-REx-ID: 6137 | OA
Milward, K., Busch, K. E., Murphy, R. J., de Bono, M., & Olofsson, B. (2011). Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1106134109
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6138 | OA
Bretscher, A. J., Kodama-Namba, E., Busch, K. E., Murphy, R. J., 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. Elsevier BV. https://doi.org/10.1016/j.neuron.2011.02.023
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, B. H. H., Labouesse, M., & de Bono, M. (2011). Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1001341
View | Files available | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6298 | OA
Baranova, N. S., Nilebäck, E., Haller, F. M., Briggs, D. C., Svedhem, S., Day, A. J., & Richter, R. P. (2011). The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers. Journal of Biological Chemistry. American Society for Biochemistry & Molecular Biology. https://doi.org/10.1074/jbc.m111.247395
View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 6496 | OA
Park, H., Oikonomou, P., Guet, C. C., & Cluzel, P. (2011). Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. Elsevier. https://doi.org/10.1016/j.bpj.2011.09.040
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. IPOL Image Processing On Line. https://doi.org/10.5201/ipol.2011.cm_fds
View | Files available | DOI
 

Search

Filter Publications