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
2012 | Research Data Reference | IST-REx-ID: 9757 | 
Data from: 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, (2012).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, (2012).
2012 | Research Data Reference | IST-REx-ID: 9758 |
Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates
S. Aeschbacher, A. Futschik, M. Beaumont, (2012).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Aeschbacher, A. Futschik, M. Beaumont, (2012).
2012 | Published | Journal Article | IST-REx-ID: 10387 |
Mechanism of membrane tube formation induced by adhesive nanocomponents
A. Šarić, A. Cacciuto, Physical Review Letters 109 (2012).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
A. Šarić, A. Cacciuto, Physical Review Letters 109 (2012).
2012 | Published | Journal Article | IST-REx-ID: 10388 |
Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles
A. Šarić, A. Cacciuto, Physical Review Letters 108 (2012).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
A. Šarić, A. Cacciuto, Physical Review Letters 108 (2012).
2012 | Published | Journal Article | IST-REx-ID: 1055
Bulla in the lung
B. Erne, M. Graff, W. Klemm, J.G. Danzl, G. Leschber, The Lancet 380 (2012).
View
| DOI
B. Erne, M. Graff, W. Klemm, J.G. Danzl, G. Leschber, The Lancet 380 (2012).
2012 | Published | Journal Article | IST-REx-ID: 1056 |
Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions
M. Mark, E. Haller, K. Lauber, J.G. Danzl, A. Janisch, H. Büchler, A. Daley, H. Nägerl, Physical Review Letters 108 (2012).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Mark, E. Haller, K. Lauber, J.G. Danzl, A. Janisch, H. Büchler, A. Daley, H. Nägerl, Physical Review Letters 108 (2012).
2012 | Published | Conference Paper | IST-REx-ID: 10750 |
Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc
H. Polshyn, R. Budakian, in:, APS March Meeting 2012, American Physical Society, 2012.
[Published Version]
View
| Download Published Version (ext.)
H. Polshyn, R. Budakian, in:, APS March Meeting 2012, American Physical Society, 2012.
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 | Conference Paper | IST-REx-ID: 10903
Accurate invariant checking for programs manipulating lists and arrays with infinite data
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.
View
| DOI
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.
2012 | Published | Conference Paper | IST-REx-ID: 10904
Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
[Preprint]
View
| Files available
| DOI
| arXiv
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
2012 | Published | Conference Paper | IST-REx-ID: 10905 |
Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
2012 | Published | Conference Paper | IST-REx-ID: 10906 |
HSF(C): A software verifier based on Horn clauses
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
2012 | Published | Journal Article | IST-REx-ID: 3131 |
Limits to the rate of adaptive substitution in sexual populations
D. Weissman, N.H. Barton, PLoS Genetics 8 (2012).
[Published Version]
View
| Files available
| DOI
D. Weissman, N.H. Barton, PLoS Genetics 8 (2012).
2012 | Published | Journal Article | IST-REx-ID: 2968 |
A likelihood based comparison of population histories in a parasitoid guild
K. Lohse, N.H. Barton, G. Melika, G. Stone, Molecular Ecology 21 (2012) 4605–4617.
[Submitted Version]
View
| Files available
| DOI
K. Lohse, N.H. Barton, G. Melika, G. Stone, Molecular Ecology 21 (2012) 4605–4617.
2012 | Research Data Reference | IST-REx-ID: 13075 |
Data from: A likelihood-based comparison of population histories in a parasitoid guild
K. Lohse, N.H. Barton, G. Stone, G. Melika, (2012).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
K. Lohse, N.H. Barton, G. Stone, G. Melika, (2012).
2012 | Published | Journal Article | IST-REx-ID: 3166 |
Amino acid fermentation at the origin of the genetic code
H. de Vladar, Biology Direct 7 (2012).
[Published Version]
View
| Files available
| DOI
H. de Vladar, Biology Direct 7 (2012).
2012 | Published | Conference Paper | IST-REx-ID: 3165 |
An O(n2) time algorithm for alternating Büchi games
K. Chatterjee, M.H. Henzinger, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2012, pp. 1386–1399.
View
| Files available
| DOI
| Download None (ext.)
| arXiv
K. Chatterjee, M.H. Henzinger, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2012, pp. 1386–1399.
2011 | Published | Journal Article | IST-REx-ID: 2460
Cell polarity in plants: When two do the same, it is not the same...
J. Dettmer, J. Friml, Current Opinion in Cell Biology 23 (2011) 686–696.
View
| DOI
J. Dettmer, J. Friml, Current Opinion in Cell Biology 23 (2011) 686–696.
2011 | Published | Journal Article | IST-REx-ID: 2511
HCN channelopathy in external globus pallidus neurons in models of Parkinson s disease
S. Chan, K. Glajch, T. Gertler, J. Guzmán, J. Mercer, A. Lewis, A. Goldberg, T. Tkatch, R. Shigemoto, S. Fleming, D. Chetkovich, P. Osten, H. Kita, J. Surmeier, Nature Neuroscience 14 (2011) 85–94.
View
| DOI
S. Chan, K. Glajch, T. Gertler, J. Guzmán, J. Mercer, A. Lewis, A. Goldberg, T. Tkatch, R. Shigemoto, S. Fleming, D. Chetkovich, P. Osten, H. Kita, J. Surmeier, Nature Neuroscience 14 (2011) 85–94.
2011 | Published | Journal Article | IST-REx-ID: 2512
NMDA receptors in hippocampal GABAergic synapses and their role in nitric oxide signaling
E. Szabadits, C. Cserép, A. Szonyi, Y. Fukazawa, R. Shigemoto, M. Watanabe, S. Itohara, T. Freund, G. Nyíri, Journal of Neuroscience 31 (2011) 5893–5904.
View
| DOI
E. Szabadits, C. Cserép, A. Szonyi, Y. Fukazawa, R. Shigemoto, M. Watanabe, S. Itohara, T. Freund, G. Nyíri, Journal of Neuroscience 31 (2011) 5893–5904.