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 |

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

[Published Version] View | Files available | DOI

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

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

[Published Version] View | Files available | DOI

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

Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values, IST Austria, 14p.

[Published Version] View | Files available | DOI

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

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

[Published Version] View | Files available | DOI

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

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

[Published Version] View | Files available | DOI

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

Hosten O. 2011. Quantum physics: How to catch a wave. Nature. 474(7350), 170–171.

View | DOI

2011 | Published | 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. QELS: Quantum Electronics and Laser Science, Optics InfoBase Conference Papers, .

View | DOI

2011 | Published | 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. 107(6).

View | DOI

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

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

View | DOI

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

Alistarh D-A, Aspnes J, Gilbert S, Guerraoui R. 2011. The complexity of renaming. FOCS: Foundations of Computer Science, 718–727.

View | DOI

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

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

View | DOI

2011 | Published | 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. PODC: Principles of Distributed Computing, 239–248.

View | DOI

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

Sweeney LB, Chou Y-H, Wu Z, Joo W, Komiyama T, Potter CJ, Kolodkin AL, Garcia KC, Luo L. 2011. Secreted semaphorins from degenerating larval ORN axons direct adult projection neuron dendrite targeting. Neuron. 72(5), 734–747.

View | DOI

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

Wu Z, Sweeney LB, Ayoob JC, Chak K, Andreone BJ, Ohyama T, Kerr R, Luo L, Zlatic M, Kolodkin AL. 2011. A combinatorial semaphorin code instructs the initial steps of sensory circuit assembly in the Drosophila CNS. Neuron. 70(2), 281–298.

View | DOI

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

Robinson MR. 2011. Understanding intrasexual competition and sexual selection requires an evolutionary ecology framework. Behavioral Ecology. 22(6), 1143–1144.

View | DOI

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

Woodruff AR, McGarry LM, Vogels TP, Inan M, Anderson SA, Yuste R. 2011. State-dependent function of neocortical chandelier cells. Journal of Neuroscience. 31(49), 17872–17886.

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

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

Vogels TP, Sprekeler H, Zenke F, Clopath C, Gerstner W. 2011. Inhibitory plasticity balances excitation and inhibition in sensory pathways and memory networks. Science. 334(6062), 1569–1573.

View | Files available | DOI | PubMed | Europe PMC

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

Schanda P, Huber M, Boisbouvier J, Meier BH, Ernst M. 2011. Solid-state NMR measurements of asymmetric dipolar couplings provide insight into protein side-chain motion. Angewandte Chemie International Edition. 50(46), 11005–11009.

View | Files available | DOI

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

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

View | DOI

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

Schanda P, Meier BH, Ernst M. 2011. Accurate measurement of one-bond H–X heteronuclear dipolar couplings in MAS solid-state NMR. Journal of Magnetic Resonance. 210(2), 246–259.

View | DOI