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 | OA
Wies, T., Muñiz, M., & Kuncak, V. (2011). On an efficient decision procedure for imperative tree data structures. IST Austria. https://doi.org/10.15479/AT:IST-2011-0005
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5384 | OA
Chatterjee, K., & Tracol, M. (2011). Decidable problems for probabilistic automata on infinite words. IST Austria. https://doi.org/10.15479/AT:IST-2011-0004
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5385 | OA
Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2011). Temporal specifications with accumulative values. IST Austria. https://doi.org/10.15479/AT:IST-2011-0003
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5386 | OA
Chen, C., Freedman, D., & Lampert, C. (2011). Enforcing topological constraints in random field image segmentation. IST Austria. https://doi.org/10.15479/AT:IST-2011-0002
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5387 | OA
Chatterjee, K., & Doyen, L. (2011). Energy and mean-payoff parity Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2011-0001
[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. Nature Publishing Group. https://doi.org/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. (2011). Methods towards achieving precise birefringent focusing. Presented at the QELS: Quantum Electronics and Laser Science, OSA. https://doi.org/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. (2011). Raman lasing with a cold atom gain medium in a high-finesse optical cavity. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.107.063904
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 757
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2011). Generating fast indulgent algorithms (Vol. 6522 LNCS, pp. 41–52). Presented at the ICDCN: International Conference on Distributed Computing and Networking, Springer. https://doi.org/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. (2011). The complexity of renaming (pp. 718–727). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/FOCS.2011.66
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 (Vol. 6950 LNCS, pp. 97–109). Presented at the DISC: Distributed Computing, Springer. https://doi.org/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. (2011). Optimal-time adaptive strong renaming, with applications to counting (pp. 239–248). Presented at the PODC: Principles of Distributed Computing, ACM. https://doi.org/10.1145/1993806.1993850
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 7701
Sweeney, L. B., Chou, Y.-H., Wu, Z., Joo, W., Komiyama, T., Potter, C. J., … Luo, L. (2011). Secreted semaphorins from degenerating larval ORN axons direct adult projection neuron dendrite targeting. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2011.09.026
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 7702
Wu, Z., Sweeney, L. B., Ayoob, J. C., Chak, K., Andreone, B. J., Ohyama, T., … Kolodkin, A. L. (2011). A combinatorial semaphorin code instructs the initial steps of sensory circuit assembly in the Drosophila CNS. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2011.02.050
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 7750
Robinson, M. R. (2011). Understanding intrasexual competition and sexual selection requires an evolutionary ecology framework. Behavioral Ecology. Oxford University Press. https://doi.org/10.1093/beheco/arr110
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8025 | OA
Woodruff, A. R., McGarry, L. M., Vogels, T. P., Inan, M., Anderson, S. A., & Yuste, R. (2011). State-dependent function of neocortical chandelier cells. Journal of Neuroscience. Society for Neuroscience. 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, T. P., Sprekeler, H., Zenke, F., Clopath, C., & Gerstner, W. (2011). Inhibitory plasticity balances excitation and inhibition in sensory pathways and memory networks. Science. American Association for the Advancement of Science. https://doi.org/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, B. H., & Ernst, M. (2011). Solid-state NMR measurements of asymmetric dipolar couplings provide insight into protein side-chain motion. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.201103944
View | Files available | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8468
Lalli, D., Schanda, P., Chowdhury, A., Retel, J., Hiller, M., Higman, V. A., … Oschkinat, H. (2011). Three-dimensional deuterium-carbon correlation experiments for high-resolution solid-state MAS NMR spectroscopy of large proteins. Journal of Biomolecular NMR. Springer Nature. https://doi.org/10.1007/s10858-011-9578-1
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8469
Schanda, P., Meier, B. H., & Ernst, M. (2011). Accurate measurement of one-bond H–X heteronuclear dipolar couplings in MAS solid-state NMR. Journal of Magnetic Resonance. Elsevier. https://doi.org/10.1016/j.jmr.2011.03.015
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed