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.
309 Publications
2011 | Book Chapter | IST-REx-ID: 3724
Janovjak, H. L., & Isacoff, E. (2011). Structure-based design of light-controlled proteins. In Photosensitive Molecules for the Control of Biological Function (Vol. 55, pp. 233–266). Springer. https://doi.org/10.1007/978-1-61779-031-7_13
View
| DOI
2011 | Journal Article | IST-REx-ID: 3770
Hollatz, C., Vilaça, S., Fernandes Redondo, R. A., 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. Wiley. https://doi.org/10.1111/j.1095-8312.2011.01616.x
View
| DOI
2011 | Journal Article | IST-REx-ID: 3771
Pavan, A., Martins, F., Santos, F., Ditchfield, A., & Fernandes Redondo, R. A. (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. Wiley-Blackwell. https://doi.org/10.1111/j.1095-8312.2010.01601.x
View
| DOI
2011 | Journal Article | IST-REx-ID: 3778 | 
Barton, N. H. (2011). Estimating linkage disequilibria. Heredity. Nature Publishing Group. https://doi.org/10.1038/hdy.2010.67
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Book Chapter | IST-REx-ID: 3791
Krens, G., & Heisenberg, C.-P. J. (2011). Cell sorting in development. In M. Labouesse (Ed.), Forces and Tension in Development (Vol. 95, pp. 189–213). Elsevier. https://doi.org/10.1016/B978-0-12-385065-2.00006-2
View
| DOI
2011 | Journal Article | IST-REx-ID: 3364 |
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2011). Approximation of event probabilities in noisy cellular processes. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2010.10.022
[Submitted Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 469 |
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. Wiley-Blackwell. https://doi.org/10.1523/JNEUROSCI.6398-10.2011
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 490 |
Schlögl, A., Vidaurre, C., & Sander, T. (2011). BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience. Hindawi Publishing Corporation. https://doi.org/10.1155/2011/935364
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 491
Eichner, A., & Sixt, M. K. (2011). Setting the clock for recirculating lymphocytes. Science Signaling. American Association for the Advancement of Science. https://doi.org/10.1126/scisignal.2002617
View
| DOI
2011 | Journal Article | IST-REx-ID: 518 |
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
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 531 |
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
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Technical Report | IST-REx-ID: 5379 |
Chatterjee, K., & Henzinger, M. H. (2011). An O(n2) time algorithm for alternating Büchi games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0009
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5381 |
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
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5380 |
Chatterjee, K. (2011). Bounded rationality in concurrent parity games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0008
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5382 |
Chatterjee, K. (2011). Robustness of structurally equivalent concurrent parity games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0006
[Published Version]
View
| Files available
| DOI
2011 | Preprint | IST-REx-ID: 3338 |
Chatterjee, K. (2011). Bounded rationality in concurrent parity games. arXiv. ArXiv.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3356 |
Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2011). Temporal specifications with accumulative values. Presented at the LICS: Logic in Computer Science, Toronto, Canada: IEEE. https://doi.org/10.1109/LICS.2011.33
[Submitted Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5385 |
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
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5386 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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