ISTA Research Explorer

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

Search / Filter

2011 | Published | Technical Report | IST-REx-ID: 5383 |

T. Wies, M. Muñiz, and V. Kuncak, On an efficient decision procedure for imperative tree data structures. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5384 |

K. Chatterjee and M. Tracol, Decidable problems for probabilistic automata on infinite words. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5385 |

U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, Temporal specifications with accumulative values. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5386 |

C. Chen, D. Freedman, and C. Lampert, Enforcing topological constraints in random field image segmentation. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5387 |

K. Chatterjee and L. Doyen, Energy and mean-payoff parity Markov decision processes. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Journal Article | IST-REx-ID: 580

O. Hosten, “Quantum physics: How to catch a wave,” Nature, vol. 474, no. 7350. Nature Publishing Group, pp. 170–171, 2011.

View | DOI

2011 | Published | Conference Paper | IST-REx-ID: 585

D. Schmid, S. Hazrat, R. Rangarajan, O. Hosten, S. Quint, and P. Kwiat, “Methods towards achieving precise birefringent focusing,” presented at the QELS: Quantum Electronics and Laser Science, 2011.

View | DOI

2011 | Published | Journal Article | IST-REx-ID: 586

G. Vrijsen, O. Hosten, J. Lee, S. Bernon, and M. Kasevich, “Raman lasing with a cold atom gain medium in a high-finesse optical cavity,” Physical Review Letters, vol. 107, no. 6. American Physical Society, 2011.

View | DOI

2011 | Published | Conference Paper | IST-REx-ID: 757

D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Generating fast indulgent algorithms,” presented at the ICDCN: International Conference on Distributed Computing and Networking, 2011, vol. 6522 LNCS, pp. 41–52.

View | DOI

2011 | Published | Conference Paper | IST-REx-ID: 759

D.-A. Alistarh, J. Aspnes, S. Gilbert, and R. Guerraoui, “The complexity of renaming,” presented at the FOCS: Foundations of Computer Science, 2011, pp. 718–727.

View | DOI

2011 | Published | Conference Paper | IST-REx-ID: 760

D.-A. Alistarh and J. Aspnes, “Sub-logarithmic test-and-set against a weak adversary,” presented at the DISC: Distributed Computing, 2011, vol. 6950 LNCS, pp. 97–109.

View | DOI

2011 | Published | Conference Paper | IST-REx-ID: 761

D.-A. Alistarh, J. Aspnes, K. Censor Hillel, S. Gilbert, and M. Zadimoghaddam, “Optimal-time adaptive strong renaming, with applications to counting,” presented at the PODC: Principles of Distributed Computing, 2011, pp. 239–248.

View | DOI

2011 | Published | Journal Article | IST-REx-ID: 7701

L. B. Sweeney et al., “Secreted semaphorins from degenerating larval ORN axons direct adult projection neuron dendrite targeting,” Neuron, vol. 72, no. 5. Elsevier, pp. 734–747, 2011.

View | DOI

2011 | Published | Journal Article | IST-REx-ID: 7702

Z. Wu et al., “A combinatorial semaphorin code instructs the initial steps of sensory circuit assembly in the Drosophila CNS,” Neuron, vol. 70, no. 2. Elsevier, pp. 281–298, 2011.

View | DOI

2011 | Published | Journal Article | IST-REx-ID: 7750

M. R. Robinson, “Understanding intrasexual competition and sexual selection requires an evolutionary ecology framework,” Behavioral Ecology, vol. 22, no. 6. Oxford University Press, pp. 1143–1144, 2011.

View | DOI

2011 | Published | Journal Article | IST-REx-ID: 8025 |

A. R. Woodruff, L. M. McGarry, T. P. Vogels, M. Inan, S. A. Anderson, and R. Yuste, “State-dependent function of neocortical chandelier cells,” Journal of Neuroscience, vol. 31, no. 49. Society for Neuroscience, pp. 17872–17886, 2011.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2011 | Published | Journal Article | IST-REx-ID: 8074

T. P. Vogels, H. Sprekeler, F. Zenke, C. Clopath, and W. Gerstner, “Inhibitory plasticity balances excitation and inhibition in sensory pathways and memory networks,” Science, vol. 334, no. 6062. American Association for the Advancement of Science, pp. 1569–1573, 2011.

View | Files available | DOI | PubMed | Europe PMC

2011 | Published | Journal Article | IST-REx-ID: 8464

P. Schanda, M. Huber, J. Boisbouvier, B. H. Meier, and M. Ernst, “Solid-state NMR measurements of asymmetric dipolar couplings provide insight into protein side-chain motion,” Angewandte Chemie International Edition, vol. 50, no. 46. Wiley, pp. 11005–11009, 2011.

View | Files available | DOI

2011 | Published | Journal Article | IST-REx-ID: 8468

D. Lalli et al., “Three-dimensional deuterium-carbon correlation experiments for high-resolution solid-state MAS NMR spectroscopy of large proteins,” Journal of Biomolecular NMR, vol. 51, no. 4. Springer Nature, pp. 477–485, 2011.

View | DOI

2011 | Published | Journal Article | IST-REx-ID: 8469

P. Schanda, B. H. Meier, and M. Ernst, “Accurate measurement of one-bond H–X heteronuclear dipolar couplings in MAS solid-state NMR,” Journal of Magnetic Resonance, vol. 210, no. 2. Elsevier, pp. 246–259, 2011.

View | DOI