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.
5611 Publications
2011 |
Published |
Technical Report |
IST-REx-ID: 5384 |
Decidable problems for probabilistic automata on infinite words
K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.
2011 |
Published |
Technical Report |
IST-REx-ID: 5385 |
Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.
2011 |
Published |
Technical Report |
IST-REx-ID: 5386 |
Enforcing topological constraints in random field image segmentation
C. Chen, D. Freedman, C. Lampert, Enforcing Topological Constraints in Random Field Image Segmentation, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
C. Chen, D. Freedman, C. Lampert, Enforcing Topological Constraints in Random Field Image Segmentation, IST Austria, 2011.
2011 |
Published |
Technical Report |
IST-REx-ID: 5387 |
Energy and mean-payoff parity Markov decision processes
K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes, IST Austria, 2011.
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 |
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: 14305 |
Mapping backbone and side-chain interactions in the transition state of a coupled protein folding and binding reaction
A. Bachmann, D. Wildemann, F.M. Praetorius, G. Fischer, T. Kiefhaber, PNAS 108 (2011) 3952–3957.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Bachmann, D. Wildemann, F.M. Praetorius, G. Fischer, T. Kiefhaber, PNAS 108 (2011) 3952–3957.
2011 |
Published |
Journal Article |
IST-REx-ID: 9144 |
Intensification of precipitation extremes with warming in a cloud-resolving model
C.J. Muller, P.A. O’Gorman, L.E. Back, Journal of Climate 24 (2011) 2784–2800.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C.J. Muller, P.A. O’Gorman, L.E. Back, Journal of Climate 24 (2011) 2784–2800.
2011 |
Published |
Journal Article |
IST-REx-ID: 923 |
Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice
S. Fré, E.B. Hannezo, S. Šale, M. Huyghe, D. Lafkas, H. Kissel, A. Louvi, J. Greve, D. Louvard, S. Artavanis Tsakonas, PLoS One 6 (2011).
[Published Version]
View
| Files available
| DOI
S. Fré, E.B. Hannezo, S. Šale, M. Huyghe, D. Lafkas, H. Kissel, A. Louvi, J. Greve, D. Louvard, S. Artavanis Tsakonas, PLoS One 6 (2011).
2011 |
Published |
Journal Article |
IST-REx-ID: 9483 |
Regulation of imprinted gene expression in Arabidopsis endosperm
T.-F. Hsieh, J. Shin, R. Uzawa, P. Silva, S. Cohen, M.J. Bauer, M. Hashimoto, R.C. Kirkbride, J.J. Harada, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 108 (2011) 1755–1762.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
T.-F. Hsieh, J. Shin, R. Uzawa, P. Silva, S. Cohen, M.J. Bauer, M. Hashimoto, R.C. Kirkbride, J.J. Harada, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 108 (2011) 1755–1762.
2011 |
Published |
Other Publication |
IST-REx-ID: 9522 |
Balancing parental contributions in plant embryonic gene activation
D. Zilberman, Balancing Parental Contributions in Plant Embryonic Gene Activation, Elsevier, 2011.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Zilberman, Balancing Parental Contributions in Plant Embryonic Gene Activation, Elsevier, 2011.
2011 |
Published |
Conference Paper |
IST-REx-ID: 9648 |
Incremental-decremental algorithm for computing AT-models and persistent homology
R. Gonzalez-Diaz, A. Ion, M.J. Jimenez, R. Poyatos, in:, Computer Analysis of Images and Patterns, Springer Nature, 2011, pp. 286–293.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Gonzalez-Diaz, A. Ion, M.J. Jimenez, R. Poyatos, in:, Computer Analysis of Images and Patterns, Springer Nature, 2011, pp. 286–293.
2011 |
Published |
Journal Article |
IST-REx-ID: 967 |
Exotic S=1 spin-liquid state with fermionic excitations on the triangular lattice
M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 84 (2011).
View
| DOI
| Download (ext.)
M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 84 (2011).
2011 |
Published |
Journal Article |
IST-REx-ID: 10389 |
Soft elastic surfaces as a platform for particle self-assembly
A. Šarić, A. Cacciuto, Soft Matter 7 (2011).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Šarić, A. Cacciuto, Soft Matter 7 (2011).
2011 |
Published |
Journal Article |
IST-REx-ID: 1048 |
Ultracold and dense samples of ground-state molecules in lattice potentials
H. Nägerl, M. Mark, E. Haller, M. Gustavsson, R. Hart, J.G. Danzl, Journal of Physics: Conference Series 264 (2011).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
H. Nägerl, M. Mark, E. Haller, M. Gustavsson, R. Hart, J.G. Danzl, Journal of Physics: Conference Series 264 (2011).
2011 |
Published |
Journal Article |
IST-REx-ID: 1050 |
Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu inf states of Cs2
Bai J, Ahmed E, Beser B, Guan Y, Kotochigova S, Lyyra M, Ashman S, Wolfe C, Huennekens J, Xie F, Li D, Li L, Tamanis M, Ferber R, Drozdova A, Pazyuk E, Stolyarov A, Danzl JG, Nägerl H, Bouloufa N, Dulieu O, Amiot C, Salami H, Bergeman T. 2011. Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu inf states of Cs2. Physical Review A - Atomic, Molecular, and Optical Physics. 83(3).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Bai J, Ahmed E, Beser B, Guan Y, Kotochigova S, Lyyra M, Ashman S, Wolfe C, Huennekens J, Xie F, Li D, Li L, Tamanis M, Ferber R, Drozdova A, Pazyuk E, Stolyarov A, Danzl JG, Nägerl H, Bouloufa N, Dulieu O, Amiot C, Salami H, Bergeman T. 2011. Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu inf states of Cs2. Physical Review A - Atomic, Molecular, and Optical Physics. 83(3).