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.
500 Publications
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.)
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
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.)
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: 1232
The architecture of respiratory supercomplexes
J.A. Letts, K. Fiedorczuk, L.A. Sazanov, Nature 537 (2016) 644–648.
View
| DOI
J.A. Letts, K. Fiedorczuk, L.A. Sazanov, Nature 537 (2016) 644–648.
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.)
G. Fuchsbauer, F. Heuer, E. Kiltz, K.Z. Pietrzak, in:, Springer, 2016, pp. 282–305.
2016 | Published | Conference Paper | IST-REx-ID: 1234 |
Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
2016 | Published | Conference Paper | IST-REx-ID: 1235 |
Constrained PRFs for unbounded inputs with short keys
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.
2016 | Published | Conference Paper | IST-REx-ID: 1236 |
Constrained PRFs for unbounded inputs
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 413–428.
[Submitted Version]
View
| Files available
| DOI
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 413–428.
2016 | Published | Conference Paper | IST-REx-ID: 1237
Computation of cubical Steenrod squares
M. Krcál, P. Pilarczyk, in:, Springer, 2016, pp. 140–151.
View
| DOI
M. Krcál, P. Pilarczyk, in:, Springer, 2016, pp. 140–151.
2016 | Published | Journal Article | IST-REx-ID: 1238 |
Endosomal interactions during root hair growth
D. von Wangenheim, A. Rosero, G. Komis, O. Šamajová, M. Ovečka, B. Voigt, J. Šamaj, Frontiers in Plant Science 6 (2016).
[Published Version]
View
| Files available
| DOI
D. von Wangenheim, A. Rosero, G. Komis, O. Šamajová, M. Ovečka, B. Voigt, J. Šamaj, Frontiers in Plant Science 6 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1239
Cortical flow-driven shapes of nonadherent cells
A. Callan Jones, V. Ruprecht, S. Wieser, C.-P.J. Heisenberg, R. Voituriez, Physical Review Letters 116 (2016).
View
| DOI
A. Callan Jones, V. Ruprecht, S. Wieser, C.-P.J. Heisenberg, R. Voituriez, Physical Review Letters 116 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1240 |
Long non-coding RNAs display higher natural expression variation than protein-coding genes in healthy humans
A. Kornienko, C. Dotter, P. Guenzl, H. Gisslinger, B. Gisslinger, C. Cleary, R. Kralovics, F. Pauler, D. Barlow, Genome Biology 17 (2016).
[Published Version]
View
| Files available
| DOI
A. Kornienko, C. Dotter, P. Guenzl, H. Gisslinger, B. Gisslinger, C. Cleary, R. Kralovics, F. Pauler, D. Barlow, Genome Biology 17 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1242 |
Extending the dynamic range of transcription factor action by translational regulation
T.R. Sokolowski, A. Walczak, W. Bialek, G. Tkačik, Physical Review E Statistical Nonlinear and Soft Matter Physics 93 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
T.R. Sokolowski, A. Walczak, W. Bialek, G. Tkačik, Physical Review E Statistical Nonlinear and Soft Matter Physics 93 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1243
Bacterial autoimmunity due to a restriction-modification system
M. Pleska, L. Qian, R. Okura, T. Bergmiller, Y. Wakamoto, E. Kussell, C.C. Guet, Current Biology 26 (2016) 404–409.
View
| Files available
| DOI
M. Pleska, L. Qian, R. Okura, T. Bergmiller, Y. Wakamoto, E. Kussell, C.C. Guet, Current Biology 26 (2016) 404–409.
2016 | Published | Journal Article | IST-REx-ID: 1244 |
Chimera proteins with affinity for membranes and microtubule tips polarize in the membrane of fission yeast cells
P. Recouvreux, T.R. Sokolowski, A. Grammoustianou, P. Tenwolde, M. Dogterom, PNAS 113 (2016) 1811–1816.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
P. Recouvreux, T.R. Sokolowski, A. Grammoustianou, P. Tenwolde, M. Dogterom, PNAS 113 (2016) 1811–1816.
2016 | Published | Conference Paper | IST-REx-ID: 1245
Game-theoretic models identify useful principles for peer collaboration in online learning platforms
V. Pandey, K. Chatterjee, in:, Proceedings of the ACM Conference on Computer Supported Cooperative Work, ACM, 2016, pp. 365–368.
View
| DOI
V. Pandey, K. Chatterjee, in:, Proceedings of the ACM Conference on Computer Supported Cooperative Work, ACM, 2016, pp. 365–368.
2016 | Published | Journal Article | IST-REx-ID: 1246 |
Imaging of electric and magnetic fields near plasmonic nanowires
I. Kabakova, A. De Hoogh, R. Van Der Wel, M. Wulf, B. Le Feber, L. Kuipers, Scientific Reports 6 (2016).
[Published Version]
View
| Files available
| DOI
I. Kabakova, A. De Hoogh, R. Van Der Wel, M. Wulf, B. Le Feber, L. Kuipers, Scientific Reports 6 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1248 |
Information processing in living systems
G. Tkačik, W. Bialek, Annual Review of Condensed Matter Physics 7 (2016) 89–117.
[Preprint]
View
| DOI
| Download Preprint (ext.)
G. Tkačik, W. Bialek, Annual Review of Condensed Matter Physics 7 (2016) 89–117.
2016 | Published | Journal Article | IST-REx-ID: 1249 |
Determining physical properties of the cell cortex
A. Saha, M. Nishikawa, M. Behrndt, C.-P.J. Heisenberg, F. Julicher, S. Grill, Biophysical Journal 110 (2016) 1421–1429.
[Published Version]
View
| Files available
| DOI
A. Saha, M. Nishikawa, M. Behrndt, C.-P.J. Heisenberg, F. Julicher, S. Grill, Biophysical Journal 110 (2016) 1421–1429.
2016 | Published | Journal Article | IST-REx-ID: 1250 |
Genetic manipulation of glycogen allocation affects replicative lifespan in E coli
A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, M. Ackermann, PLoS Genetics 12 (2016).
[Published Version]
View
| Files available
| DOI
A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, M. Ackermann, PLoS Genetics 12 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1251 |
TWISTED DWARF1 mediates the action of auxin transport inhibitors on actin cytoskeleton dynamics
Zhu J, Bailly A, Zwiewka M, Sovero V, Di Donato M, Ge P, Oehri J, Aryal B, Hao P, Linnert M, Burgardt N, Lücke C, Weiwad M, Michel M, Weiergräber O, Pollmann S, Azzarello E, Mancuso S, Ferro N, Fukao Y, Hoffmann C, Wedlich Söldner R, Friml J, Thomas C, Geisler M. 2016. TWISTED DWARF1 mediates the action of auxin transport inhibitors on actin cytoskeleton dynamics. Plant Cell. 28(4), 930–948.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
Zhu J, Bailly A, Zwiewka M, Sovero V, Di Donato M, Ge P, Oehri J, Aryal B, Hao P, Linnert M, Burgardt N, Lücke C, Weiwad M, Michel M, Weiergräber O, Pollmann S, Azzarello E, Mancuso S, Ferro N, Fukao Y, Hoffmann C, Wedlich Söldner R, Friml J, Thomas C, Geisler M. 2016. TWISTED DWARF1 mediates the action of auxin transport inhibitors on actin cytoskeleton dynamics. Plant Cell. 28(4), 930–948.