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.
2023 Publications
2013 |Published| Journal Article | IST-REx-ID: 6133 | 
In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor
A. Couto, S. Oda, V.O. Nikolaev, Z. Soltesz, M. de Bono, Proceedings of the National Academy of Sciences 110 (2013) E3301–E3310.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Couto, S. Oda, V.O. Nikolaev, Z. Soltesz, M. de Bono, Proceedings of the National Academy of Sciences 110 (2013) E3301–E3310.
2013 |Published| Technical Report | IST-REx-ID: 6440 |
Replacing competition with cooperation to achieve scalable lock-free FIFO queues
T.A. Henzinger, H. Payer, A. Sezgin, Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues , IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, H. Payer, A. Sezgin, Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues , IST Austria, 2013.
2013 |Published| Conference Paper | IST-REx-ID: 2329 |
Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, 8052 (2013) 500–515.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, Y. Velner, 8052 (2013) 500–515.
2013 |Published| Journal Article | IST-REx-ID: 7595
Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development
Y. Tang, S. Tan, H. Xue, Acta Biochimica et Biophysica Sinica 45 (2013) 549–560.
View
| DOI
| PubMed | Europe PMC
Y. Tang, S. Tan, H. Xue, Acta Biochimica et Biophysica Sinica 45 (2013) 549–560.
2013 |Published| Journal Article | IST-REx-ID: 8245 |
Trastuzumab mediates antibody-dependent cell-mediated cytotoxicity and phagocytosis to the same extent in both adjuvant and metastatic HER2/neu breast cancer patients
B. Petricevic, J. Laengle, J. Singer, M. Sachet, J. Singer, G. Steger, R. Bartsch, E. Jensen-Jarolim, M. Bergmann, Journal of Translational Medicine 11 (2013).
View
| Files available
| DOI
| PubMed | Europe PMC
B. Petricevic, J. Laengle, J. Singer, M. Sachet, J. Singer, G. Steger, R. Bartsch, E. Jensen-Jarolim, M. Bergmann, Journal of Translational Medicine 11 (2013).
2013 |Published| Journal Article | IST-REx-ID: 830
An integrative model of the control of ovule primordia formation
F. Galbiati, D. Sinha Roy, S. Simonini, M. Cucinotta, L. Ceccato, C. Cuesta, M. Šimášková, E. Benková, Y. Kamiuchi, M. Aida, D. Weijers, R. Simon, S. Masiero, L. Colombo, The Plant Journal for Cell and Molecular Biology 76 (2013) 446–455.
View
| DOI
| PubMed | Europe PMC
F. Galbiati, D. Sinha Roy, S. Simonini, M. Cucinotta, L. Ceccato, C. Cuesta, M. Šimášková, E. Benková, Y. Kamiuchi, M. Aida, D. Weijers, R. Simon, S. Masiero, L. Colombo, The Plant Journal for Cell and Molecular Biology 76 (2013) 446–455.
2013 |Published| Journal Article | IST-REx-ID: 9674
The crystal structures of sintered copper nanoparticles: A molecular dynamics study
B. Cheng, A.H.W. Ngan, International Journal of Plasticity 47 (2013) 65–79.
View
| DOI
B. Cheng, A.H.W. Ngan, International Journal of Plasticity 47 (2013) 65–79.
2013 |Published| Journal Article | IST-REx-ID: 894
Color differences among feral pigeons (Columba livia) are not attributable to sequence variation in the coding region of the melanocortin-1 receptor gene MC1R
R. Derelle, F. Kondrashov, V. Arkhipov, H. Corbel, A. Frantz, J. Gasparini, L. Jacquin, G. Jacob, S. Thibault, E. Baudry, BMC Research Notes 6 (2013).
View
| DOI
R. Derelle, F. Kondrashov, V. Arkhipov, H. Corbel, A. Frantz, J. Gasparini, L. Jacquin, G. Jacob, S. Thibault, E. Baudry, BMC Research Notes 6 (2013).
2013 |Published| Journal Article | IST-REx-ID: 9153 |
Internal tide generation by abyssal hills using analytical theory
A. Melet, M. Nikurashin, C.J. Muller, S. Falahat, J. Nycander, P.G. Timko, B.K. Arbic, J.A. Goff, Journal of Geophysical Research: Oceans 118 (2013) 6303–6318.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Melet, M. Nikurashin, C.J. Muller, S. Falahat, J. Nycander, P.G. Timko, B.K. Arbic, J.A. Goff, Journal of Geophysical Research: Oceans 118 (2013) 6303–6318.
2013 |Published| Journal Article | IST-REx-ID: 974 |
Overscreened Kondo fixed point in S=1 spin liquid
M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 88 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 88 (2013).
2013 |Published| Book Chapter | IST-REx-ID: 10900
Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations
M. Weber, M.K. Sixt, in:, A. Cardona, E. Ubogu (Eds.), Chemokines, Humana Press, Totowa, NJ, 2013, pp. 215–226.
View
| DOI
| PubMed | Europe PMC
M. Weber, M.K. Sixt, in:, A. Cardona, E. Ubogu (Eds.), Chemokines, Humana Press, Totowa, NJ, 2013, pp. 215–226.
2013 |Published| Journal Article | IST-REx-ID: 2926
Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, Current Biology 23 (2013) 76–82.
View
| Files available
| DOI
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, Current Biology 23 (2013) 76–82.
2013 |Published| Conference Paper | IST-REx-ID: 2820
Automated analysis of real-time scheduling using graph games
K. Chatterjee, A. Kößler, U. Schmid, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, ACM, 2013, pp. 163–172.
View
| Files available
| DOI
K. Chatterjee, A. Kößler, U. Schmid, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, ACM, 2013, pp. 163–172.
2013 |Published| Conference Paper | IST-REx-ID: 2272 |
Inference algorithms for pattern-based CRFs on sequence data
R. Takhanov, V. Kolmogorov, in:, ICML’13 Proceedings of the 30th International Conference on International, ML Research Press, 2013, pp. 145–153.
[Submitted Version]
View
| Files available
| Download Submitted Version (ext.)
R. Takhanov, V. Kolmogorov, in:, ICML’13 Proceedings of the 30th International Conference on International, ML Research Press, 2013, pp. 145–153.
2012 |Published| Book Chapter | IST-REx-ID: 10896
The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books
S. zur Nedden, A.S. Doney, B.G. Frenguelli, in:, S. Masino, D. Boison (Eds.), Adenosine, 1st ed., Springer, New York, 2012, pp. 109–129.
View
| DOI
S. zur Nedden, A.S. Doney, B.G. Frenguelli, in:, S. Masino, D. Boison (Eds.), Adenosine, 1st ed., Springer, New York, 2012, pp. 109–129.
2012 |Published| Journal Article | IST-REx-ID: 11751
Thermoelectric properties of Ho-doped Bi0.88Sb0.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
[Preprint]
View
| DOI
| arXiv
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
2012 |Published| Conference Paper | IST-REx-ID: 11795
On multiple keyword sponsored search auctions with budgets
R. Colini-Baldeschi, M.H. Henzinger, S. Leonardi, M. Starnberger, in:, 39th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2012, pp. 1–12.
View
| Files available
| DOI
R. Colini-Baldeschi, M.H. Henzinger, S. Leonardi, M. Starnberger, in:, 39th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2012, pp. 1–12.
2012 |Published| Journal Article | IST-REx-ID: 12647 |
Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin
W.W. Immerzeel, F. Pellicciotti, A.B. Shrestha, Mountain Research and Development 32 (2012) 30–38.
[Published Version]
View
| DOI
| Download Published Version (ext.)
W.W. Immerzeel, F. Pellicciotti, A.B. Shrestha, Mountain Research and Development 32 (2012) 30–38.
2012 |Published| Conference Paper | IST-REx-ID: 1384 |
Conditional model checking: A technique to pass information between verifiers
D. Beyer, T.A. Henzinger, M. Keremoglu, P. Wendler, in:, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, ACM, 2012.
[Preprint]
View
| DOI
| Download Preprint (ext.)
D. Beyer, T.A. Henzinger, M. Keremoglu, P. Wendler, in:, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, ACM, 2012.
2012 |Published| Journal Article | IST-REx-ID: 1472 |
Topology of hitchin systems and Hodge theory of character varieties: The case A 1
M. De Cataldo, T. Hausel, L. Migliorini, Annals of Mathematics 175 (2012) 1329–1407.
View
| DOI
| Download (ext.)
M. De Cataldo, T. Hausel, L. Migliorini, Annals of Mathematics 175 (2012) 1329–1407.