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.
10945 Publications
2016 | Published | Conference Paper | IST-REx-ID: 1231 | 
On the complexity of scrypt and proofs of space in the parallel random oracle model
J.F. Alwen, B. Chen, C. Kamath Hosdurg, V. Kolmogorov, K.Z. Pietrzak, S. Tessaro, in:, Springer, 2016, pp. 358–387.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
J.F. Alwen, B. Chen, C. Kamath Hosdurg, V. Kolmogorov, K.Z. Pietrzak, S. Tessaro, in:, Springer, 2016, pp. 358–387.
2016 | Published | Journal Article | IST-REx-ID: 1226 |
Atomic structure of the entire mammalian mitochondrial complex i
K. Fiedorczuk, J.A. Letts, G. Degliesposti, K. Kaszuba, M. Skehel, L.A. Sazanov, Nature 538 (2016) 406–410.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
K. Fiedorczuk, J.A. Letts, G. Degliesposti, K. Kaszuba, M. Skehel, L.A. Sazanov, Nature 538 (2016) 406–410.
2016 | Published | Conference Paper | IST-REx-ID: 1230 |
Abstraction-driven concolic testing
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
2016 | Published | Conference Paper | IST-REx-ID: 1233 |
Standard security does imply security against selective opening for markov distributions
G. Fuchsbauer, F. Heuer, E. Kiltz, K.Z. Pietrzak, in:, Springer, 2016, pp. 282–305.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
G. Fuchsbauer, F. Heuer, E. Kiltz, K.Z. Pietrzak, in:, Springer, 2016, pp. 282–305.
2016 | Published | Journal Article | IST-REx-ID: 1232
The architecture of respiratory supercomplexes
J.A. Letts, K. Fiedorczuk, L.A. Sazanov, Nature 537 (2016) 644–648.
View
| DOI
| WoS
J.A. Letts, K. Fiedorczuk, L.A. Sazanov, Nature 537 (2016) 644–648.
2016 | Published | Journal Article | IST-REx-ID: 1218 |
Culturing synechocystis sp. Strain pcc 6803 with N2 and CO2 in a diel regime reveals multiphase glycogen dynamics with low maintenance costs
A. Angermayr, P. Van Alphen, D. Hasdemir, G. Kramer, M. Iqbal, W. Van Grondelle, H. Hoefsloot, Y. Choi, K. Hellingwerf, Applied and Environmental Microbiology 82 (2016) 4180–4189.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
A. Angermayr, P. Van Alphen, D. Hasdemir, G. Kramer, M. Iqbal, W. Van Grondelle, H. Hoefsloot, Y. Choi, K. Hellingwerf, Applied and Environmental Microbiology 82 (2016) 4180–4189.
2016 | Published | Journal Article | IST-REx-ID: 1217
Efficient T-cell priming and activation requires signaling through prostaglandin E2 (EP) receptors
V. Sreeramkumar, M. Hons, C. Punzón, J. Stein, D. Sancho, M. Fresno Forcelledo, N. Cuesta, Immunology and Cell Biology 94 (2016) 39–51.
View
| DOI
| WoS
V. Sreeramkumar, M. Hons, C. Punzón, J. Stein, D. Sancho, M. Fresno Forcelledo, N. Cuesta, Immunology and Cell Biology 94 (2016) 39–51.
2016 | Published | Journal Article | IST-REx-ID: 1224
The dynamics of resource allocation and costs of reproduction in a sexually dimorphic, wind-pollinated dioecious plant
Z. Teitel, M. Pickup, D. Field, S. Barrett, Plant Biology 18 (2016) 98–103.
View
| DOI
| WoS
Z. Teitel, M. Pickup, D. Field, S. Barrett, Plant Biology 18 (2016) 98–103.
2016 | Published | Journal Article | IST-REx-ID: 1219 |
Bulk universality for deformed wigner matrices
J. Lee, K. Schnelli, B. Stetler, H. Yau, Annals of Probability 44 (2016) 2349–2425.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Lee, K. Schnelli, B. Stetler, H. Yau, Annals of Probability 44 (2016) 2349–2425.
2016 | Published | Journal Article | IST-REx-ID: 1223 |
Localization for transversally periodic random potentials on binary trees
R. Froese, D. Lee, C. Sadel, W. Spitzer, G. Stolz, Journal of Spectral Theory 6 (2016) 557–600.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Froese, D. Lee, C. Sadel, W. Spitzer, G. Stolz, Journal of Spectral Theory 6 (2016) 557–600.
2016 | Published | Journal Article | IST-REx-ID: 1222 |
Optimal packings of congruent circles on a square flat torus
O. Musin, A. Nikitenko, Discrete & Computational Geometry 55 (2016) 1–20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
O. Musin, A. Nikitenko, Discrete & Computational Geometry 55 (2016) 1–20.
2016 | Published | Journal Article | IST-REx-ID: 1212 |
Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity
H. Rakusová, M. Abbas, H. Han, S. Song, H. Robert, J. Friml, Current Biology 26 (2016) 3026–3032.
[Submitted Version]
View
| Files available
| DOI
| WoS
H. Rakusová, M. Abbas, H. Han, S. Song, H. Robert, J. Friml, Current Biology 26 (2016) 3026–3032.
2016 | Published | Conference Paper | IST-REx-ID: 1205 |
Safety assured formal model driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.
[Submitted Version]
View
| Files available
| DOI
| WoS
Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.
2016 | Published | Journal Article | IST-REx-ID: 1209 |
Purification of ovine respiratory complex i results in a highly active and stable preparation
J.A. Letts, G. Degliesposti, K. Fiedorczuk, M. Skehel, L.A. Sazanov, Journal of Biological Chemistry 291 (2016) 24657–24675.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
J.A. Letts, G. Degliesposti, K. Fiedorczuk, M. Skehel, L.A. Sazanov, Journal of Biological Chemistry 291 (2016) 24657–24675.
2016 | Published | Journal Article | IST-REx-ID: 1203 |
Comparative genomic analysis of Haemophilus haemolyticus and nontypeable Haemophilus influenzae and a new testing scheme for their discrimination
F. Hu, L. Rishishwar, A. Sivadas, G. Mitchell, J. King, T. Murphy, J. Gilsdorf, L. Mayer, X. Wang, Journal of Clinical Microbiology 54 (2016) 3010–3017.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
F. Hu, L. Rishishwar, A. Sivadas, G. Mitchell, J. King, T. Murphy, J. Gilsdorf, L. Mayer, X. Wang, Journal of Clinical Microbiology 54 (2016) 3010–3017.
2016 | Published | Journal Article | IST-REx-ID: 1206 |
Libration of strongly oriented polar molecules inside a superfluid
E. Redchenko, M. Lemeshko, ChemPhysChem 17 (2016) 3649–3654.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
E. Redchenko, M. Lemeshko, ChemPhysChem 17 (2016) 3649–3654.
2016 | Published | Journal Article | IST-REx-ID: 1204 |
Surprises in numerical expressions of physical constants
A. Amir, M. Lemeshko, T. Tokieda, American Mathematical Monthly 123 (2016) 609–612.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Amir, M. Lemeshko, T. Tokieda, American Mathematical Monthly 123 (2016) 609–612.
2016 | Published | Journal Article | IST-REx-ID: 1195 |
Reconstruction of haplotype-blocks selected during experimental evolution.
S. Franssen, N.H. Barton, C. Schlötterer, Molecular Biology and Evolution 34 (2016) 174–184.
[Submitted Version]
View
| Files available
| DOI
| WoS
S. Franssen, N.H. Barton, C. Schlötterer, Molecular Biology and Evolution 34 (2016) 174–184.
2016 | Published | Journal Article | IST-REx-ID: 1197 |
Error-robust modes of the retinal population code
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, PLoS Computational Biology 12 (2016).
[Published Version]
View
| Files available
| DOI
| WoS
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, PLoS Computational Biology 12 (2016).
2016 | Published | Conference Paper | IST-REx-ID: 1193 |
Commutativity in the algorithmic Lovasz local lemma
V. Kolmogorov, in:, Proceedings - Annual IEEE Symposium on Foundations of Computer Science, IEEE, 2016.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
V. Kolmogorov, in:, Proceedings - Annual IEEE Symposium on Foundations of Computer Science, IEEE, 2016.