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.

8930 Publications


2011 | Technical Report | IST-REx-ID: 5386 | OA
Chen, C., Freedman, D., & Lampert, C. (2011). Enforcing topological constraints in random field image segmentation. IST Austria. https://doi.org/10.15479/AT:IST-2011-0002
[Published Version] 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
[Published Version] 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
[Published Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3336
Chen, C., Freedman, D., & Lampert, C. (2011). Enforcing topological constraints in random field image segmentation. In CVPR: Computer Vision and Pattern Recognition (pp. 2089–2096). Colorado Springs, CO, United States: IEEE. https://doi.org/10.1109/CVPR.2011.5995503
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3323
Wies, T., Muñiz, M., & Kuncak, V. (2011). An efficient decision procedure for imperative tree data structures (Vol. 6803, pp. 476–491). Presented at the CADE 23: Automated Deduction , Wrocław, Poland: Springer. https://doi.org/10.1007/978-3-642-22438-6_36
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3366 | OA
Cerny, P., Chatterjee, K., Henzinger, T. A., Radhakrishna, A., & Singh, R. (2011). Quantitative synthesis for concurrent programs. In G. Gopalakrishnan & S. Qadeer (Eds.) (Vol. 6806, pp. 243–259). Presented at the CAV: Computer Aided Verification, Snowbird, USA: Springer. https://doi.org/10.1007/978-3-642-22110-1_20
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3345 | OA
Chatterjee, K., & Doyen, L. (2011). Energy and mean-payoff parity Markov Decision Processes (Vol. 6907, pp. 206–218). Presented at the MFCS: Mathematical Foundations of Computer Science, Warsaw, Poland: Springer. https://doi.org/10.1007/978-3-642-22993-0_21
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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
[Published Version] 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: 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
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

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
[Submitted Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 6767
Mondelli, M., & Ciomaga, A. (2011). On finite difference schemes for curvature motions. In Proceedings of the International Student Conference on Pure and Applied Mathematics (pp. 137–156). Iasi, Romania: Editura Universitãtii „Alexandru Ioan Cuza” Iasi. https://doi.org/10.13140/2.1.1862.4646
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: 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 | 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: 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 | 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: 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 | 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 | 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: 8025 | OA
Woodruff, A. R., McGarry, L. M., Vogels, T. P., Inan, M., Anderson, S. A., & Yuste, R. (2011). State-dependent function of neocortical chandelier cells. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/jneurosci.3894-11.2011
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 8074
Vogels, T. P., Sprekeler, H., Zenke, F., Clopath, C., & Gerstner, W. (2011). Inhibitory plasticity balances excitation and inhibition in sensory pathways and memory networks. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1211095
View | Files available | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 8469
Schanda, P., Meier, B. H., & Ernst, M. (2011). Accurate measurement of one-bond H–X heteronuclear dipolar couplings in MAS solid-state NMR. Journal of Magnetic Resonance. Elsevier. https://doi.org/10.1016/j.jmr.2011.03.015
View | DOI
 

2011 | Journal Article | IST-REx-ID: 8470
Huber, M., Hiller, S., Schanda, P., Ernst, M., Böckmann, A., Verel, R., & Meier, B. H. (2011). A proton-detected 4D solid-state NMR experiment for protein structure determination. ChemPhysChem. Wiley. https://doi.org/10.1002/cphc.201100062
View | DOI
 

2011 | Journal Article | IST-REx-ID: 8464
Schanda, P., Huber, M., Boisbouvier, J., Meier, B. H., & Ernst, M. (2011). Solid-state NMR measurements of asymmetric dipolar couplings provide insight into protein side-chain motion. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.201103944
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 8468
Lalli, D., Schanda, P., Chowdhury, A., Retel, J., Hiller, M., Higman, V. A., … Oschkinat, H. (2011). Three-dimensional deuterium-carbon correlation experiments for high-resolution solid-state MAS NMR spectroscopy of large proteins. Journal of Biomolecular NMR. Springer Nature. https://doi.org/10.1007/s10858-011-9578-1
View | DOI
 

2011 | Journal Article | IST-REx-ID: 890
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. Public Library of Science. https://doi.org/10.1371/journal.pone.0017716
View | DOI
 

2011 | Journal Article | IST-REx-ID: 90
Higginbotham, A. P., 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. Acoustical Society of America. https://doi.org/10.1121/1.3643816
View | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 9144 | OA
Muller, C. J., O’Gorman, P. A., & Back, L. E. (2011). Intensification of precipitation extremes with warming in a cloud-resolving model. Journal of Climate. American Meteorological Society. https://doi.org/10.1175/2011jcli3876.1
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 9143
Muller, C. J., & O’Gorman, P. A. (2011). An energetic perspective on the regional response of precipitation to climate change. Nature Climate Change. Springer Nature. https://doi.org/10.1038/nclimate1169
View | DOI
 

2011 | Journal Article | IST-REx-ID: 923 | OA
Fré, S., Hannezo, E. B., Šale, S., Huyghe, M., Lafkas, D., Kissel, H., … Artavanis Tsakonas, S. (2011). Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0025785
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 9483 | OA
Hsieh, T.-F., Shin, J., Uzawa, R., Silva, P., Cohen, S., Bauer, M. J., … Fischer, R. L. (2011). Regulation of imprinted gene expression in Arabidopsis endosperm. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1019273108
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 967 | OA
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. American Physical Society. https://doi.org/10.1103/PhysRevB.84.180403
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 969 | OA
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. American Physical Society. https://doi.org/10.1103/PhysRevB.83.024506
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 8471
Van Melckebeke, H., Schanda, P., Gath, J., Wasmer, C., Verel, R., Lange, A., … Böckmann, A. (2011). Probing water accessibility in HET-s(218–289) amyloid fibrils by solid-state NMR. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2010.11.004
View | DOI
 

2011 | Journal Article | IST-REx-ID: 8505
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. Duke University Press. https://doi.org/10.1215/00127094-1415878
View | DOI
 

2011 | Book Chapter | IST-REx-ID: 881
Kondrashov, F. (2011). Gene Dosage and Duplication. In Evolution after Gene Duplication (pp. 57–76). Wiley-Blackwell. https://doi.org/10.1002/9780470619902.ch4
View | DOI
 

2011 | Journal Article | IST-REx-ID: 919
Angelini, T., Hannezo, E. B., 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. PNAS. https://doi.org/10.1073/pnas.1010059108
View | DOI
 

2011 | Journal Article | IST-REx-ID: 918
Hannezo, E. B., Prost, J., & Joanny, J. (2011). Instabilities of monolayered epithelia Shape and structure of villi and crypts. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.107.078104
View | DOI
 

Search

Filter Publications