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 | Journal Article | IST-REx-ID: 531 | 
Guerraoui R, Henzinger TA, Singh V. Verification of STM on relaxed memory models. Formal Methods in System Design. 2011;39(3):297-331. doi:10.1007/s10703-011-0131-3
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Technical Report | IST-REx-ID: 5379 |
Chatterjee K, Henzinger MH. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0009
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5381 |
Chatterjee K, Doyen L. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria; 2011. doi:10.15479/AT:IST-2011-0007
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5380 |
Chatterjee K. Bounded Rationality in Concurrent Parity Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0008
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5382 |
Chatterjee K. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0006
[Published Version]
View
| Files available
| DOI
2011 | Preprint | IST-REx-ID: 3338 |
Chatterjee K. Bounded rationality in concurrent parity games. arXiv. 2011:1-51.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3356 |
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with accumulative values. In: IEEE; 2011. doi:10.1109/LICS.2011.33
[Submitted Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5385 |
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal Specifications with Accumulative Values. IST Austria; 2011. doi: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. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria; 2011. doi: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. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria; 2011. doi:10.15479/AT:IST-2011-0005
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5384 |
Chatterjee K, Tracol M. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria; 2011. doi: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. Enforcing topological constraints in random field image segmentation. In: CVPR: Computer Vision and Pattern Recognition. IEEE; 2011:2089-2096. doi:10.1109/CVPR.2011.5995503
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3323
Wies T, Muñiz M, Kuncak V. An efficient decision procedure for imperative tree data structures. In: Vol 6803. Springer; 2011:476-491. doi:10.1007/978-3-642-22438-6_36
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3366 |
Cerny P, Chatterjee K, Henzinger TA, Radhakrishna A, Singh R. Quantitative synthesis for concurrent programs. In: Gopalakrishnan G, Qadeer S, eds. Vol 6806. Springer; 2011:243-259. doi: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. Energy and mean-payoff parity Markov Decision Processes. In: Vol 6907. Springer; 2011:206-218. doi: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. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria; 2011. doi:10.15479/AT:IST-2011-0001
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 580
Hosten O. Quantum physics: How to catch a wave. Nature. 2011;474(7350):170-171. doi:10.1038/474170a
View
| DOI
2011 | Conference Paper | IST-REx-ID: 585
Schmid D, Hazrat S, Rangarajan R, Hosten O, Quint S, Kwiat P. Methods towards achieving precise birefringent focusing. In: OSA; 2011. doi: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. Raman lasing with a cold atom gain medium in a high-finesse optical cavity. Physical Review Letters. 2011;107(6). doi:10.1103/PhysRevLett.107.063904
View
| DOI
2011 | Journal Article | IST-REx-ID: 597
Bernecky C, Grob P, Ebmeier C, Nogales E, Taatjes D. Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly. PLoS Biology. 2011;9(3). doi:10.1371/journal.pbio.1000603
View
| DOI
2011 | Journal Article | IST-REx-ID: 6140 |
Arellano-Carbajal F, Briseño-Roa L, Couto A, Cheung BHH, Labouesse M, de Bono M. Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability. PLoS Genetics. 2011;7(3). doi:10.1371/journal.pgen.1001341
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 6137 |
Milward K, Busch KE, Murphy RJ, de Bono M, Olofsson B. Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. 2011;108(51):20672-20677. doi:10.1073/pnas.1106134109
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 6138 |
Bretscher AJ, Kodama-Namba E, Busch KE, et al. Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior. Neuron. 2011;69(6):1099-1113. doi:10.1016/j.neuron.2011.02.023
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 6298 |
Baranova NS, Nilebäck E, Haller FM, et al. The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers. Journal of Biological Chemistry. 2011;286(29):25675-25686. doi: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 CC, Cluzel P. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 2011;101(10):2336-2340. doi: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. Finite difference schemes for MCM and AMSS. Image Processing On Line. 2011;1:127-177. doi:10.5201/ipol.2011.cm_fds
[Published Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 6767
Mondelli M, Ciomaga A. On finite difference schemes for curvature motions. In: Proceedings of the International Student Conference on Pure and Applied Mathematics. Editura Universitãtii „Alexandru Ioan Cuza” Iasi; 2011:137-156. doi:10.13140/2.1.1862.4646
View
| DOI
2011 | Journal Article | IST-REx-ID: 7076
Salje EKH, Safarik DJ, Taylor RD, et al. Determination of iron sites and the amount of amorphization in radiation-damaged titanite (CaSiTiO5). Journal of Physics: Condensed Matter. 2011;23(10). doi:10.1088/0953-8984/23/10/105402
View
| DOI
2011 | Journal Article | IST-REx-ID: 7077
Capps J, Ma B, Drye T, et al. 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. 2011;509(5):1544-1549. doi:10.1016/j.jallcom.2010.10.187
View
| DOI
2011 | Journal Article | IST-REx-ID: 7313
Bruce PG, Freunberger SA, Hardwick LJ, Tarascon J-M. Li–O2 and Li–S batteries with high energy storage. Nature Materials. 2011;11(1):19-29. doi:10.1038/nmat3191
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 7314
Freunberger SA, Chen Y, Drewett NE, Hardwick LJ, Bardé F, Bruce PG. The Lithium-Oxygen battery with ether-based electrolytes. Angewandte Chemie International Edition. 2011;50(37):8609-8613. doi:10.1002/anie.201102357
View
| DOI
2011 | Journal Article | IST-REx-ID: 7317
Trahey L, Johnson CS, Vaughey JT, et al. Activated Lithium-Metal-Oxides as catalytic electrodes for Li–O2 cells. Electrochemical and Solid-State Letters. 2011;14(5). doi:10.1149/1.3555366
View
| DOI
2011 | Journal Article | IST-REx-ID: 7316
Freunberger SA, Chen Y, Peng Z, et al. Reactions in the rechargeable Lithium–O2 battery with alkyl carbonate electrolytes. Journal of the American Chemical Society. 2011;133(20):8040-8047. doi:10.1021/ja2021747
View
| DOI
2011 | Journal Article | IST-REx-ID: 7315
Peng Z, Freunberger SA, Hardwick LJ, et al. Oxygen reactions in a non-aqueous Li+ electrolyte. Angewandte Chemie International Edition. 2011;50(28):6351-6355. doi:10.1002/anie.201100879
View
| DOI
2011 | Conference Paper | IST-REx-ID: 757
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. Generating fast indulgent algorithms. In: Vol 6522 LNCS. Springer; 2011:41-52. doi: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. The complexity of renaming. In: IEEE; 2011:718-727. doi: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. Optimal-time adaptive strong renaming, with applications to counting. In: ACM; 2011:239-248. doi:10.1145/1993806.1993850
View
| DOI
2011 | Conference Paper | IST-REx-ID: 760
Alistarh D-A, Aspnes J. Sub-logarithmic test-and-set against a weak adversary. In: Vol 6950 LNCS. Springer; 2011:97-109. doi:10.1007/978-3-642-24100-0_7
View
| DOI
2011 | Journal Article | IST-REx-ID: 7750
Robinson MR. Understanding intrasexual competition and sexual selection requires an evolutionary ecology framework. Behavioral Ecology. 2011;22(6):1143-1144. doi:10.1093/beheco/arr110
View
| DOI
2011 | Journal Article | IST-REx-ID: 8025 |
Woodruff AR, McGarry LM, Vogels TP, Inan M, Anderson SA, Yuste R. State-dependent function of neocortical chandelier cells. Journal of Neuroscience. 2011;31(49):17872-17886. doi: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 TP, Sprekeler H, Zenke F, Clopath C, Gerstner W. Inhibitory plasticity balances excitation and inhibition in sensory pathways and memory networks. Science. 2011;334(6062):1569-1573. doi:10.1126/science.1211095
View
| Files available
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 8469
Schanda P, Meier BH, Ernst M. Accurate measurement of one-bond H–X heteronuclear dipolar couplings in MAS solid-state NMR. Journal of Magnetic Resonance. 2011;210(2):246-259. doi:10.1016/j.jmr.2011.03.015
View
| DOI
2011 | Journal Article | IST-REx-ID: 8470
Huber M, Hiller S, Schanda P, et al. A proton-detected 4D solid-state NMR experiment for protein structure determination. ChemPhysChem. 2011;12(5):915-918. doi:10.1002/cphc.201100062
View
| DOI
2011 | Journal Article | IST-REx-ID: 8464
Schanda P, Huber M, Boisbouvier J, Meier BH, Ernst M. Solid-state NMR measurements of asymmetric dipolar couplings provide insight into protein side-chain motion. Angewandte Chemie International Edition. 2011;50(46):11005-11009. doi:10.1002/anie.201103944
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 8468
Lalli D, Schanda P, Chowdhury A, et al. Three-dimensional deuterium-carbon correlation experiments for high-resolution solid-state MAS NMR spectroscopy of large proteins. Journal of Biomolecular NMR. 2011;51(4):477-485. doi:10.1007/s10858-011-9578-1
View
| DOI
2011 | Journal Article | IST-REx-ID: 890
Koblik E, Red’Kin Y, Meer M, et al. Acrocephalus orinus: A case of Mistaken identity. PLoS One. 2011;6(4). doi:10.1371/journal.pone.0017716
View
| DOI
2011 | Journal Article | IST-REx-ID: 90
Higginbotham AP, Guillen A, Jones N, Donnelly T, Bernoff A. Evidence of the harmonic Faraday instability in ultrasonic atomization experiments with a deep, inviscid fluid. Journal of the Acoustical Society of America. 2011;130(5):2694-2699. doi:10.1121/1.3643816
View
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 9144 |
Muller CJ, O’Gorman PA, Back LE. Intensification of precipitation extremes with warming in a cloud-resolving model. Journal of Climate. 2011;24(11):2784-2800. doi:10.1175/2011jcli3876.1
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 9143
Muller CJ, O’Gorman PA. An energetic perspective on the regional response of precipitation to climate change. Nature Climate Change. 2011;1(5):266-271. doi:10.1038/nclimate1169
View
| DOI
2011 | Journal Article | IST-REx-ID: 923 |
Fré S, Hannezo EB, Šale S, et al. Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice. PLoS One. 2011;6(10). doi:10.1371/journal.pone.0025785
[Published Version]
View
| Files available
| DOI