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.
332 Publications
2012 | Journal Article | IST-REx-ID: 3122
Disassortative mating and the maintenance of sexual polymorphism in painted maple
D. Field, S. Barrett, Molecular Ecology 21 (2012) 3640–3643.
View
| DOI
D. Field, S. Barrett, Molecular Ecology 21 (2012) 3640–3643.
2012 | Journal Article | IST-REx-ID: 3121 | 
Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA
C. Williams, W. Chen, C. Lee, D. Yaeger, N. Vyleta, S. Smith, Nature Neuroscience 15 (2012) 1195–1197.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
C. Williams, W. Chen, C. Lee, D. Yaeger, N. Vyleta, S. Smith, Nature Neuroscience 15 (2012) 1195–1197.
2012 | Journal Article | IST-REx-ID: 3120 |
Fano 3 folds in codimension 4 Tom and Jerry Part I
G. Brown, M. Kerber, M. Reid, Compositio Mathematica 148 (2012) 1171–1194.
[Preprint]
View
| DOI
| Download Preprint (ext.)
G. Brown, M. Kerber, M. Reid, Compositio Mathematica 148 (2012) 1171–1194.
2012 | Journal Article | IST-REx-ID: 3117 |
Minimizing a sum of submodular functions
V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 2246–2258.
[Preprint]
View
| DOI
| Download Preprint (ext.)
V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 2246–2258.
2012 | 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 | Journal Article | IST-REx-ID: 3130 |
Patterns of evolutionary conservation of essential genes correlate with their compensability
T. Bergmiller, M. Ackermann, O. Silander, PLoS Genetics 8 (2012).
[Published Version]
View
| Files available
| DOI
T. Bergmiller, M. Ackermann, O. Silander, PLoS Genetics 8 (2012).
2012 | Conference Paper | IST-REx-ID: 3136
Delayed continuous time Markov chains for genetic regulatory circuits
C.C. Guet, A. Gupta, T.A. Henzinger, M. Mateescu, A. Sezgin, in:, Springer, 2012, pp. 294–309.
View
| DOI
C.C. Guet, A. Gupta, T.A. Henzinger, M. Mateescu, A. Sezgin, in:, Springer, 2012, pp. 294–309.
2012 | Conference Paper | IST-REx-ID: 3135 |
Efficient controller synthesis for consumption games with multiple resource types
B. Brázdil, K. Chatterjee, A. Kučera, P. Novotný, in:, Springer, 2012, pp. 23–38.
[Preprint]
View
| DOI
| Download Preprint (ext.)
B. Brázdil, K. Chatterjee, A. Kučera, P. Novotný, in:, Springer, 2012, pp. 23–38.
2012 | Conference Paper | IST-REx-ID: 3133 |
Alexander duality for functions: The persistent behavior of land and water and shore
H. Edelsbrunner, M. Kerber, in:, Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , ACM, 2012, pp. 249–258.
[Preprint]
View
| DOI
| Download Preprint (ext.)
H. Edelsbrunner, M. Kerber, in:, Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , ACM, 2012, pp. 249–258.
2012 | Conference Paper | IST-REx-ID: 3134
Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions
H. Edelsbrunner, B. Fasy, G. Rote, in:, Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , ACM, 2012, pp. 91–100.
View
| Files available
| DOI
H. Edelsbrunner, B. Fasy, G. Rote, in:, Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , ACM, 2012, pp. 91–100.
2012 | Journal Article | IST-REx-ID: 3132
Two pathways ensuring social harmony
M. Konrad, T. Pamminger, S. Foitzik, Naturwissenschaften 99 (2012) 627–636.
View
| DOI
M. Konrad, T. Pamminger, S. Foitzik, Naturwissenschaften 99 (2012) 627–636.
2012 | Journal Article | IST-REx-ID: 3161 |
Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome
M. Vyleta, J. Wong, B. Magun, PLoS One 7 (2012).
[Published Version]
View
| Files available
| DOI
M. Vyleta, J. Wong, B. Magun, PLoS One 7 (2012).
2012 | Conference Paper | IST-REx-ID: 3162 |
Parametric identification of temporal properties
E. Asarin, A. Donzé, O. Maler, D. Nickovic, in:, Springer, 2012, pp. 147–160.
[Submitted Version]
View
| Files available
| DOI
E. Asarin, A. Donzé, O. Maler, D. Nickovic, in:, Springer, 2012, pp. 147–160.
2012 | Journal Article | IST-REx-ID: 3160
Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo
P. Pantazis, M.T. Bollenbach, Cell Cycle 11 (2012) 2055–2058.
View
| DOI
P. Pantazis, M.T. Bollenbach, Cell Cycle 11 (2012) 2055–2058.
2012 | Journal Article | IST-REx-ID: 3164
Guest editorial: Special issue on structured prediction and inference
M. Blaschko, C. Lampert, International Journal of Computer Vision 99 (2012) 257–258.
View
| DOI
M. Blaschko, C. Lampert, International Journal of Computer Vision 99 (2012) 257–258.
2012 | 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 | Journal Article | IST-REx-ID: 3167
NextGen speaks 13
M. Weber, Science 336 (2012) 32–34.
View
| DOI
| PubMed | Europe PMC
M. Weber, Science 336 (2012) 32–34.
2012 | Journal Article | IST-REx-ID: 3241
Parallel repetition of computationally sound protocols revisited
K.Z. Pietrzak, D. Wikström, Journal of Cryptology 25 (2012) 116–135.
View
| DOI
K.Z. Pietrzak, D. Wikström, Journal of Cryptology 25 (2012) 116–135.
2012 | Conference Paper | IST-REx-ID: 3252 |
Synthesizing protocols for digital contract signing
K. Chatterjee, V. Raman, in:, Springer, 2012, pp. 152–168.
[Preprint]
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, V. Raman, in:, Springer, 2012, pp. 152–168.
2012 | Conference Paper | IST-REx-ID: 3255 |
Games and Markov decision processes with mean payoff parity and energy parity objectives
K. Chatterjee, L. Doyen, in:, Springer, 2012, pp. 37–46.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, in:, Springer, 2012, pp. 37–46.