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, Thomas, Marco Muñiz, and Viktor Kuncak. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0005.
[Published Version]
View
| Files available
| DOI
2011 | Published | Technical Report | IST-REx-ID: 5384 |
Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0004.
[Published Version]
View
| Files available
| DOI
2011 | Published | Technical Report | IST-REx-ID: 5385 |
Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. Temporal Specifications with Accumulative Values. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0003.
[Published Version]
View
| Files available
| DOI
2011 | Published | Technical Report | IST-REx-ID: 5386 |
Chen, Chao, Daniel Freedman, and Christoph Lampert. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0002.
[Published Version]
View
| Files available
| DOI
2011 | Published | Technical Report | IST-REx-ID: 5387 |
Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0001.
[Published Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 580
Hosten, Onur. “Quantum Physics: How to Catch a Wave.” Nature. Nature Publishing Group, 2011. https://doi.org/10.1038/474170a.
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 585
Schmid, David, Shiraz Hazrat, Radhika Rangarajan, Onur Hosten, Stephan Quint, and Paul Kwiat. “Methods towards Achieving Precise Birefringent Focusing.” OSA, 2011. https://doi.org/10.1364/CLEO_AT.2011.JThB130.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 586
Vrijsen, Geert, Onur Hosten, Jongmin Lee, Simon Bernon, and Mark Kasevich. “Raman Lasing with a Cold Atom Gain Medium in a High-Finesse Optical Cavity.” Physical Review Letters. American Physical Society, 2011. https://doi.org/10.1103/PhysRevLett.107.063904.
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 757
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “Generating Fast Indulgent Algorithms,” 6522 LNCS:41–52. Springer, 2011. https://doi.org/10.1007/978-3-642-17679-1_4.
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 759
Alistarh, Dan-Adrian, James Aspnes, Seth Gilbert, and Rachid Guerraoui. “The Complexity of Renaming,” 718–27. IEEE, 2011. https://doi.org/10.1109/FOCS.2011.66.
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 760
Alistarh, Dan-Adrian, and James Aspnes. “Sub-Logarithmic Test-and-Set against a Weak Adversary,” 6950 LNCS:97–109. Springer, 2011. https://doi.org/10.1007/978-3-642-24100-0_7.
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 761
Alistarh, Dan-Adrian, James Aspnes, Keren Censor Hillel, Seth Gilbert, and Morteza Zadimoghaddam. “Optimal-Time Adaptive Strong Renaming, with Applications to Counting,” 239–48. ACM, 2011. https://doi.org/10.1145/1993806.1993850.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 7701
Sweeney, Lora B., Ya-Hui Chou, Zhuhao Wu, William Joo, Takaki Komiyama, Christopher J. Potter, Alex L. Kolodkin, K. Christopher Garcia, and Liqun Luo. “Secreted Semaphorins from Degenerating Larval ORN Axons Direct Adult Projection Neuron Dendrite Targeting.” Neuron. Elsevier, 2011. https://doi.org/10.1016/j.neuron.2011.09.026.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 7702
Wu, Zhuhao, Lora B. Sweeney, Joseph C. Ayoob, Kayam Chak, Benjamin J. Andreone, Tomoko Ohyama, Rex Kerr, Liqun Luo, Marta Zlatic, and Alex L. Kolodkin. “A Combinatorial Semaphorin Code Instructs the Initial Steps of Sensory Circuit Assembly in the Drosophila CNS.” Neuron. Elsevier, 2011. https://doi.org/10.1016/j.neuron.2011.02.050.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 7750
Robinson, Matthew Richard. “Understanding Intrasexual Competition and Sexual Selection Requires an Evolutionary Ecology Framework.” Behavioral Ecology. Oxford University Press, 2011. https://doi.org/10.1093/beheco/arr110.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 8025 |
Woodruff, A. R., L. M. McGarry, Tim P Vogels, M. Inan, S. A. Anderson, and R. Yuste. “State-Dependent Function of Neocortical Chandelier Cells.” Journal of Neuroscience. Society for Neuroscience, 2011. https://doi.org/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, Tim P, H. Sprekeler, F. Zenke, C. Clopath, and W. Gerstner. “Inhibitory Plasticity Balances Excitation and Inhibition in Sensory Pathways and Memory Networks.” Science. American Association for the Advancement of Science, 2011. https://doi.org/10.1126/science.1211095.
View
| Files available
| DOI
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 8464
Schanda, Paul, Matthias Huber, Jérôme Boisbouvier, Beat H. Meier, and Matthias Ernst. “Solid-State NMR Measurements of Asymmetric Dipolar Couplings Provide Insight into Protein Side-Chain Motion.” Angewandte Chemie International Edition. Wiley, 2011. https://doi.org/10.1002/anie.201103944.
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 8468
Lalli, Daniela, Paul Schanda, Anup Chowdhury, Joren Retel, Matthias Hiller, Victoria A. Higman, Lieselotte Handel, et al. “Three-Dimensional Deuterium-Carbon Correlation Experiments for High-Resolution Solid-State MAS NMR Spectroscopy of Large Proteins.” Journal of Biomolecular NMR. Springer Nature, 2011. https://doi.org/10.1007/s10858-011-9578-1.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 8469
Schanda, Paul, Beat H. Meier, and Matthias Ernst. “Accurate Measurement of One-Bond H–X Heteronuclear Dipolar Couplings in MAS Solid-State NMR.” Journal of Magnetic Resonance. Elsevier, 2011. https://doi.org/10.1016/j.jmr.2011.03.015.
View
| DOI