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.
7117 Publications
2011 | Published | Conference Paper | IST-REx-ID: 757
Generating fast indulgent algorithms
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2011, pp. 41–52.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2011, pp. 41–52.
2011 | Published | Conference Paper | IST-REx-ID: 759
The complexity of renaming
D.-A. Alistarh, J. Aspnes, S. Gilbert, R. Guerraoui, in:, IEEE, 2011, pp. 718–727.
View
| DOI
D.-A. Alistarh, J. Aspnes, S. Gilbert, R. Guerraoui, in:, IEEE, 2011, pp. 718–727.
2011 | Published | Conference Paper | IST-REx-ID: 760
Sub-logarithmic test-and-set against a weak adversary
D.-A. Alistarh, J. Aspnes, in:, Springer, 2011, pp. 97–109.
View
| DOI
D.-A. Alistarh, J. Aspnes, in:, Springer, 2011, pp. 97–109.
2011 | Published | Conference Paper | IST-REx-ID: 761
Optimal-time adaptive strong renaming, with applications to counting
D.-A. Alistarh, J. Aspnes, K. Censor Hillel, S. Gilbert, M. Zadimoghaddam, in:, ACM, 2011, pp. 239–248.
View
| DOI
D.-A. Alistarh, J. Aspnes, K. Censor Hillel, S. Gilbert, M. Zadimoghaddam, in:, ACM, 2011, pp. 239–248.
2011 | Published | Journal Article | IST-REx-ID: 1299
Internal structure of the fly elementary motion detector
H. Eichner, M.A. Jösch, B. Schnell, D. Reiff, A. Borst, Neuron 70 (2011) 1155–1164.
View
| DOI
H. Eichner, M.A. Jösch, B. Schnell, D. Reiff, A. Borst, Neuron 70 (2011) 1155–1164.
2011 | Published | Conference Paper | IST-REx-ID: 10907
Spatio-temporal extraction of articulated models in a graph pyramid
N.M. Artner, A. Ion, W.G. Kropatsch, in:, X. Jiang, M. Ferrer, A. Torsello (Eds.), Graph-Based Representations in Pattern Recognition, Springer, Berlin, Heidelberg, 2011, pp. 215–224.
View
| DOI
N.M. Artner, A. Ion, W.G. Kropatsch, in:, X. Jiang, M. Ferrer, A. Torsello (Eds.), Graph-Based Representations in Pattern Recognition, Springer, Berlin, Heidelberg, 2011, pp. 215–224.
2011 | Published | Journal Article | IST-REx-ID: 112 | 
Droplet and cluster formation in freely falling granular streams
S.R. Waitukaitis, H. Grütjen, J. Royer, H. Jaeger, Physical Review E 83 (2011).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S.R. Waitukaitis, H. Grütjen, J. Royer, H. Jaeger, Physical Review E 83 (2011).
2011 | Published | Journal Article | IST-REx-ID: 1467 |
Arithmetic harmonic analysis on character and quiver varieties
T. Hausel, E. Letellier, F. Rodríguez Villegas, Duke Mathematical Journal 160 (2011) 323–400.
View
| DOI
| Download (ext.)
T. Hausel, E. Letellier, F. Rodríguez Villegas, Duke Mathematical Journal 160 (2011) 323–400.
2011 | Published | Journal Article | IST-REx-ID: 6137 |
Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans
K. Milward, K.E. Busch, R.J. Murphy, M. de Bono, B. Olofsson, Proceedings of the National Academy of Sciences 108 (2011) 20672–20677.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
K. Milward, K.E. Busch, R.J. Murphy, M. de Bono, B. Olofsson, Proceedings of the National Academy of Sciences 108 (2011) 20672–20677.
2011 | Published | Journal Article | IST-REx-ID: 6138 |
Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior
A.J. Bretscher, E. Kodama-Namba, K.E. Busch, R.J. Murphy, Z. Soltesz, P. Laurent, M. de Bono, Neuron 69 (2011) 1099–1113.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A.J. Bretscher, E. Kodama-Namba, K.E. Busch, R.J. Murphy, Z. Soltesz, P. Laurent, M. de Bono, Neuron 69 (2011) 1099–1113.
2011 | Published | Journal Article | IST-REx-ID: 6140 |
Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability
F. Arellano-Carbajal, L. Briseño-Roa, A. Couto, B.H.H. Cheung, M. Labouesse, M. de Bono, PLoS Genetics 7 (2011).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
F. Arellano-Carbajal, L. Briseño-Roa, A. Couto, B.H.H. Cheung, M. Labouesse, M. de Bono, PLoS Genetics 7 (2011).
2011 | Published | Journal Article | IST-REx-ID: 6298 |
The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers
N.S. Baranova, E. Nilebäck, F.M. Haller, D.C. Briggs, S. Svedhem, A.J. Day, R.P. Richter, Journal of Biological Chemistry 286 (2011) 25675–25686.
[Published Version]
View
| DOI
| Download Published Version (ext.)
N.S. Baranova, E. Nilebäck, F.M. Haller, D.C. Briggs, S. Svedhem, A.J. Day, R.P. Richter, Journal of Biological Chemistry 286 (2011) 25675–25686.
2011 | Published | Journal Article | IST-REx-ID: 6496 |
Noise underlies switching behavior of the bacterial flagellum
H. Park, P. Oikonomou, C.C. Guet, P. Cluzel, Biophysical Journal 101 (2011) 2336–2340.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
H. Park, P. Oikonomou, C.C. Guet, P. Cluzel, Biophysical Journal 101 (2011) 2336–2340.
2011 | Published | Technical Report | IST-REx-ID: 5379 |
An O(n2) time algorithm for alternating Büchi games
K. Chatterjee, M. Henzinger, An O(N2) Time Algorithm for Alternating Büchi Games, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Henzinger, An O(N2) Time Algorithm for Alternating Büchi Games, IST Austria, 2011.
2011 | Published | Conference Paper | IST-REx-ID: 3343 |
Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification
K. Chatterjee, M. Henzinger, in:, SIAM, 2011, pp. 1318–1336.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, M. Henzinger, in:, SIAM, 2011, pp. 1318–1336.
2011 | Published | Conference Paper | IST-REx-ID: 3342 |
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
K. Chatterjee, M. Henzinger, M. Joglekar, S. Nisarg, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 260–276.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Henzinger, M. Joglekar, S. Nisarg, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 260–276.
2010 | Published | Conference Paper | IST-REx-ID: 1042
Production of a quantum gas of rovibronic ground-state molecules in an optical lattice
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, H. Nägerl, in:, World Scientific Publishing, 2010, pp. 256–269.
View
| DOI
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, H. Nägerl, in:, World Scientific Publishing, 2010, pp. 256–269.
2010 | Published | Journal Article | IST-REx-ID: 1044 |
An ultracold high-density sample of rovibronic ground-state molecules in an optical lattice
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, J. Aldegunde, J. Hutson, H. Nägerl, Nature Physics 6 (2010) 265–270.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, J. Aldegunde, J. Hutson, H. Nägerl, Nature Physics 6 (2010) 265–270.
2010 | Published | Journal Article | IST-REx-ID: 1045 |
Confinement-induced resonances in low-dimensional quantum systems
E. Haller, M. Mark, R. Hart, J.G. Danzl, L. Reichsöllner, V. Melezhik, P. Schmelcher, H. Nägerl, Physical Review Letters 104 (2010).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Haller, M. Mark, R. Hart, J.G. Danzl, L. Reichsöllner, V. Melezhik, P. Schmelcher, H. Nägerl, Physical Review Letters 104 (2010).
2010 | Published | Journal Article | IST-REx-ID: 1046
Interference of interacting matter waves
M. Gustavsson, E. Haller, M. Mark, J.G. Danzl, R. Hart, A. Daley, H. Nägerl, New Journal of Physics 12 (2010).
View
| DOI
M. Gustavsson, E. Haller, M. Mark, J.G. Danzl, R. Hart, A. Daley, H. Nägerl, New Journal of Physics 12 (2010).