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.
7296 Publications
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
| WoS
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: 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.)
| WoS
| arXiv
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: 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.)
| WoS
P. Recouvreux, T.R. Sokolowski, A. Grammoustianou, P. Tenwolde, M. Dogterom, PNAS 113 (2016) 1811–1816.
2016 | Published | Journal Article | IST-REx-ID: 1241 |
The role of recombination in evolutionary rescue
H. Uecker, J. Hermisson, Genetics 202 (2016) 721–732.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
H. Uecker, J. Hermisson, Genetics 202 (2016) 721–732.
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
| WoS
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 413–428.
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
| WoS
D. von Wangenheim, A. Rosero, G. Komis, O. Šamajová, M. Ovečka, B. Voigt, J. Šamaj, Frontiers in Plant Science 6 (2016).
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.)
| WoS
| arXiv
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.)
| WoS
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.
2016 | Published | Conference Paper | IST-REx-ID: 1229 |
Offline witness encryption
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.
[Submitted Version]
View
| Files available
| DOI
| WoS
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.
2016 | Published | Conference Paper | IST-REx-ID: 1227 |
Discrete abstraction of multiaffine systems
H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T.A. Henzinger, Y. Jiang, C. Schilling, in:, Springer, 2016, pp. 128–144.
[Submitted Version]
View
| Files available
| DOI
| WoS
H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T.A. Henzinger, Y. Jiang, C. Schilling, in:, Springer, 2016, pp. 128–144.
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: 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: 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.