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 | 
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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 7701
Sweeney LB, Chou Y-H, Wu Z, et al. Secreted semaphorins from degenerating larval ORN axons direct adult projection neuron dendrite targeting. Neuron. 2011;72(5):734-747. doi:10.1016/j.neuron.2011.09.026
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 7702
Wu Z, Sweeney LB, Ayoob JC, et al. A combinatorial semaphorin code instructs the initial steps of sensory circuit assembly in the Drosophila CNS. Neuron. 2011;70(2):281-298. doi:10.1016/j.neuron.2011.02.050
View
| DOI
2011 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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