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 | OA
Verification of STM on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, Formal Methods in System Design 39 (2011) 297–331.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Technical Report | IST-REx-ID: 5379 | OA
An O(n2) time algorithm for alternating Büchi games
K. Chatterjee, M.H. Henzinger, An O(N2) Time Algorithm for Alternating Büchi Games, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5381 | OA
Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, Partial-Observation Stochastic Games: How to Win When Belief Fails, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5380 | OA
Bounded rationality in concurrent parity games
K. Chatterjee, Bounded Rationality in Concurrent Parity Games, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5382 | OA
Robustness of structurally equivalent concurrent parity games
K. Chatterjee, Robustness of Structurally Equivalent Concurrent Parity Games, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Preprint | IST-REx-ID: 3338 | OA
Bounded rationality in concurrent parity games
K. Chatterjee, ArXiv (2011) 1–51.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3356 | OA
Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, in:, IEEE, 2011.
[Submitted Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5385 | OA
Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5386 | OA
Enforcing topological constraints in random field image segmentation
C. Chen, D. Freedman, C. Lampert, Enforcing Topological Constraints in Random Field Image Segmentation, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5383 | OA
On an efficient decision procedure for imperative tree data structures
T. Wies, M. Muñiz, V. Kuncak, On an Efficient Decision Procedure for Imperative Tree Data Structures, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5384 | OA
Decidable problems for probabilistic automata on infinite words
K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3336
Enforcing topological constraints in random field image segmentation
C. Chen, D. Freedman, C. Lampert, in:, CVPR: Computer Vision and Pattern Recognition, IEEE, 2011, pp. 2089–2096.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3323
An efficient decision procedure for imperative tree data structures
T. Wies, M. Muñiz, V. Kuncak, in:, Springer, 2011, pp. 476–491.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3366 | OA
Quantitative synthesis for concurrent programs
P. Cerny, K. Chatterjee, T.A. Henzinger, A. Radhakrishna, R. Singh, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 243–259.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3345 | OA
Energy and mean-payoff parity Markov Decision Processes
K. Chatterjee, L. Doyen, in:, Springer, 2011, pp. 206–218.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Technical Report | IST-REx-ID: 5387 | OA
Energy and mean-payoff parity Markov decision processes
K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

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

2011 | Conference Paper | IST-REx-ID: 585
Methods towards achieving precise birefringent focusing
D. Schmid, S. Hazrat, R. Rangarajan, O. Hosten, S. Quint, P. Kwiat, in:, OSA, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 586
Raman lasing with a cold atom gain medium in a high-finesse optical cavity
G. Vrijsen, O. Hosten, J. Lee, S. Bernon, M. Kasevich, Physical Review Letters 107 (2011).
View | DOI
 

2011 | Journal Article | IST-REx-ID: 597
Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly
C. Bernecky, P. Grob, C. Ebmeier, E. Nogales, D. Taatjes, PLoS Biology 9 (2011).
View | DOI
 

2011 | Journal Article | IST-REx-ID: 6140 | OA
Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability
F. Arellano-Carbajal, L. Briseño-Roa, A. Couto, B.H.H. Cheung, M. Labouesse, M. de Bono, PLoS Genetics 7 (2011).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6137 | OA
Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans
K. Milward, K.E. Busch, R.J. Murphy, M. de Bono, B. Olofsson, Proceedings of the National Academy of Sciences 108 (2011) 20672–20677.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6138 | OA
Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior
A.J. Bretscher, E. Kodama-Namba, K.E. Busch, R.J. Murphy, Z. Soltesz, P. Laurent, M. de Bono, Neuron 69 (2011) 1099–1113.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6298 | OA
The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers
N.S. Baranova, E. Nilebäck, F.M. Haller, D.C. Briggs, S. Svedhem, A.J. Day, R.P. Richter, Journal of Biological Chemistry 286 (2011) 25675–25686.
[Published Version] View | DOI | Download Published Version (ext.)
 

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

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

2011 | Conference Paper | IST-REx-ID: 6767
On finite difference schemes for curvature motions
M. Mondelli, A. Ciomaga, in:, Proceedings of the International Student Conference on Pure and Applied Mathematics, Editura Universitãtii „Alexandru Ioan Cuza” Iasi, 2011, pp. 137–156.
View | DOI
 

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

2011 | Journal Article | IST-REx-ID: 7077
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
J. Capps, B. Ma, T. Drye, C. Nucklos, S. Lindsey, D. Rhodes, Q. Zhang, K.A. Modic, S. Cawthorne, F. Drymiotis, Journal of Alloys and Compounds 509 (2011) 1544–1549.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7313
Li–O2 and Li–S batteries with high energy storage
P.G. Bruce, S.A. Freunberger, L.J. Hardwick, J.-M. Tarascon, Nature Materials 11 (2011) 19–29.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 7314
The Lithium-Oxygen battery with ether-based electrolytes
S.A. Freunberger, Y. Chen, N.E. Drewett, L.J. Hardwick, F. Bardé, P.G. Bruce, Angewandte Chemie International Edition 50 (2011) 8609–8613.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7317
Activated Lithium-Metal-Oxides as catalytic electrodes for Li–O2 cells
L. Trahey, C.S. Johnson, J.T. Vaughey, S.-H. Kang, L.J. Hardwick, S.A. Freunberger, P.G. Bruce, M.M. Thackeray, Electrochemical and Solid-State Letters 14 (2011).
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7316
Reactions in the rechargeable Lithium–O2 battery with alkyl carbonate electrolytes
S.A. Freunberger, Y. Chen, Z. Peng, J.M. Griffin, L.J. Hardwick, F. Bardé, P. Novák, P.G. Bruce, Journal of the American Chemical Society 133 (2011) 8040–8047.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7315
Oxygen reactions in a non-aqueous Li+ electrolyte
Z. Peng, S.A. Freunberger, L.J. Hardwick, Y. Chen, V. Giordani, F. Bardé, P. Novák, D. Graham, J.-M. Tarascon, P.G. Bruce, Angewandte Chemie International Edition 50 (2011) 6351–6355.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 757
Generating fast indulgent algorithms
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2011, pp. 41–52.
View | DOI
 

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

2011 | Conference Paper | IST-REx-ID: 761
Optimal-time adaptive strong renaming, with applications to counting
D.-A. Alistarh, J. Aspnes, K. Censor Hillel, S. Gilbert, M. Zadimoghaddam, in:, ACM, 2011, pp. 239–248.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 760
Sub-logarithmic test-and-set against a weak adversary
D.-A. Alistarh, J. Aspnes, in:, Springer, 2011, pp. 97–109.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7750 View | DOI
 

2011 | Journal Article | IST-REx-ID: 8025 | OA
State-dependent function of neocortical chandelier cells
A.R. Woodruff, L.M. McGarry, T.P. Vogels, M. Inan, S.A. Anderson, R. Yuste, Journal of Neuroscience 31 (2011) 17872–17886.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 8074
Inhibitory plasticity balances excitation and inhibition in sensory pathways and memory networks
T.P. Vogels, H. Sprekeler, F. Zenke, C. Clopath, W. Gerstner, Science 334 (2011) 1569–1573.
View | Files available | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 8469
Accurate measurement of one-bond H–X heteronuclear dipolar couplings in MAS solid-state NMR
P. Schanda, B.H. Meier, M. Ernst, Journal of Magnetic Resonance 210 (2011) 246–259.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 8470
A proton-detected 4D solid-state NMR experiment for protein structure determination
M. Huber, S. Hiller, P. Schanda, M. Ernst, A. Böckmann, R. Verel, B.H. Meier, ChemPhysChem 12 (2011) 915–918.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 8464
Solid-state NMR measurements of asymmetric dipolar couplings provide insight into protein side-chain motion
P. Schanda, M. Huber, J. Boisbouvier, B.H. Meier, M. Ernst, Angewandte Chemie International Edition 50 (2011) 11005–11009.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 8468
Three-dimensional deuterium-carbon correlation experiments for high-resolution solid-state MAS NMR spectroscopy of large proteins
D. Lalli, P. Schanda, A. Chowdhury, J. Retel, M. Hiller, V.A. Higman, L. Handel, V. Agarwal, B. Reif, B. van Rossum, Ü. Akbey, H. Oschkinat, Journal of Biomolecular NMR 51 (2011) 477–485.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 890
Acrocephalus orinus: A case of Mistaken identity
E. Koblik, Y. Red’Kin, M. Meer, R. Derelle, S. Golenkina, F. Kondrashov, V. Arkhipov, PLoS One 6 (2011).
View | DOI
 

2011 | Journal Article | IST-REx-ID: 90
Evidence of the harmonic Faraday instability in ultrasonic atomization experiments with a deep, inviscid fluid
A.P. Higginbotham, A. Guillen, N. Jones, T. Donnelly, A. Bernoff, Journal of the Acoustical Society of America 130 (2011) 2694–2699.
View | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 9144 | OA
Intensification of precipitation extremes with warming in a cloud-resolving model
C.J. Muller, P.A. O’Gorman, L.E. Back, Journal of Climate 24 (2011) 2784–2800.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 9143
An energetic perspective on the regional response of precipitation to climate change
C.J. Muller, P.A. O’Gorman, Nature Climate Change 1 (2011) 266–271.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 923 | OA
Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice
S. Fré, E.B. Hannezo, S. Šale, M. Huyghe, D. Lafkas, H. Kissel, A. Louvi, J. Greve, D. Louvard, S. Artavanis Tsakonas, PLoS One 6 (2011).
[Published Version] View | Files available | DOI
 

Filters and Search Terms

year=2011

Search

Filter Publications