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.
8915 Publications
2011 | Published | Technical Report | IST-REx-ID: 5383 | 
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
T. Wies, M. Muñiz, V. Kuncak, On an Efficient Decision Procedure for Imperative Tree Data Structures, IST Austria, 2011.
2011 | Published | Technical Report | IST-REx-ID: 5384 |
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
K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.
2011 | Published | Technical Report | IST-REx-ID: 5385 |
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
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.
2011 | Published | Technical Report | IST-REx-ID: 5386 |
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
C. Chen, D. Freedman, C. Lampert, Enforcing Topological Constraints in Random Field Image Segmentation, IST Austria, 2011.
2011 | Published | Technical Report | IST-REx-ID: 5387 |
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
K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes, IST Austria, 2011.
2011 | Published | Journal Article | IST-REx-ID: 580
Quantum physics: How to catch a wave
O. Hosten, Nature 474 (2011) 170–171.
View
| DOI
O. Hosten, Nature 474 (2011) 170–171.
2011 | Published | 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
D. Schmid, S. Hazrat, R. Rangarajan, O. Hosten, S. Quint, P. Kwiat, in:, OSA, 2011.
2011 | Published | 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
G. Vrijsen, O. Hosten, J. Lee, S. Bernon, M. Kasevich, Physical Review Letters 107 (2011).
2011 | Published | 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
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2011, pp. 41–52.
2011 | Published | 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
D.-A. Alistarh, J. Aspnes, S. Gilbert, R. Guerraoui, in:, IEEE, 2011, pp. 718–727.
2011 | Published | 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
D.-A. Alistarh, J. Aspnes, in:, Springer, 2011, pp. 97–109.
2011 | Published | 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
D.-A. Alistarh, J. Aspnes, K. Censor Hillel, S. Gilbert, M. Zadimoghaddam, in:, ACM, 2011, pp. 239–248.
2011 | Published | Journal Article | IST-REx-ID: 7701
Secreted semaphorins from degenerating larval ORN axons direct adult projection neuron dendrite targeting
L.B. Sweeney, Y.-H. Chou, Z. Wu, W. Joo, T. Komiyama, C.J. Potter, A.L. Kolodkin, K.C. Garcia, L. Luo, Neuron 72 (2011) 734–747.
View
| DOI
L.B. Sweeney, Y.-H. Chou, Z. Wu, W. Joo, T. Komiyama, C.J. Potter, A.L. Kolodkin, K.C. Garcia, L. Luo, Neuron 72 (2011) 734–747.
2011 | Published | Journal Article | IST-REx-ID: 7702
A combinatorial semaphorin code instructs the initial steps of sensory circuit assembly in the Drosophila CNS
Z. Wu, L.B. Sweeney, J.C. Ayoob, K. Chak, B.J. Andreone, T. Ohyama, R. Kerr, L. Luo, M. Zlatic, A.L. Kolodkin, Neuron 70 (2011) 281–298.
View
| DOI
Z. Wu, L.B. Sweeney, J.C. Ayoob, K. Chak, B.J. Andreone, T. Ohyama, R. Kerr, L. Luo, M. Zlatic, A.L. Kolodkin, Neuron 70 (2011) 281–298.
2011 | Published | Journal Article | IST-REx-ID: 7750
Understanding intrasexual competition and sexual selection requires an evolutionary ecology framework
M.R. Robinson, Behavioral Ecology 22 (2011) 1143–1144.
View
| DOI
M.R. Robinson, Behavioral Ecology 22 (2011) 1143–1144.
2011 | Published | Journal Article | IST-REx-ID: 8025 |
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
A.R. Woodruff, L.M. McGarry, T.P. Vogels, M. Inan, S.A. Anderson, R. Yuste, Journal of Neuroscience 31 (2011) 17872–17886.
2011 | Published | 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
T.P. Vogels, H. Sprekeler, F. Zenke, C. Clopath, W. Gerstner, Science 334 (2011) 1569–1573.
2011 | Published | 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
P. Schanda, M. Huber, J. Boisbouvier, B.H. Meier, M. Ernst, Angewandte Chemie International Edition 50 (2011) 11005–11009.
2011 | Published | 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
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.
2011 | Published | 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
P. Schanda, B.H. Meier, M. Ernst, Journal of Magnetic Resonance 210 (2011) 246–259.