Please note that IST 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.
6207 Publications
2016 | 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.
View
| DOI
| Download Submitted Version (ext.)
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 | 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.
View
| DOI
| Download Preprint (ext.)
J. Lee, K. Schnelli, B. Stetler, H. Yau, Annals of Probability 44 (2016) 2349–2425.
2016 | Journal Article | IST-REx-ID: 122 |

Origami building blocks: Generic and special four-vertices
S.R. Waitukaitis, M. Van Hecke, Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 93 (2016).
View
| DOI
| Download Preprint (ext.)
| arXiv
S.R. Waitukaitis, M. Van Hecke, Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 93 (2016).
2016 | Conference Paper | IST-REx-ID: 1220 |

Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency
G. Mikić, A. Stoll, J. Bevirt, R. Grah, M. Moore, in:, AIAA, 2016, pp. 1–19.
View
| DOI
| Download Preprint (ext.)
G. Mikić, A. Stoll, J. Bevirt, R. Grah, M. Moore, in:, AIAA, 2016, pp. 1–19.
2016 | Journal Article | IST-REx-ID: 1221 |

Strong morphological defects in conditional Arabidopsis abp1 knock-down mutants generated in absence of functional ABP1 protein
J. Michalko, M. Glanc, C. Perrot Rechenmann, J. Friml, F1000 Research 5 (2016).
View
| Files available
| DOI
J. Michalko, M. Glanc, C. Perrot Rechenmann, J. Friml, F1000 Research 5 (2016).
2016 | 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.
View
| DOI
| Download Preprint (ext.)
O. Musin, A. Nikitenko, Discrete & Computational Geometry 55 (2016) 1–20.
2016 | 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.
View
| DOI
| Download Preprint (ext.)
R. Froese, D. Lee, C. Sadel, W. Spitzer, G. Stolz, Journal of Spectral Theory 6 (2016) 557–600.
2016 | 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
Z. Teitel, M. Pickup, D. Field, S. Barrett, Plant Biology 18 (2016) 98–103.
2016 | Conference Paper | IST-REx-ID: 1225 |

Practical round-optimal blind signatures in the standard model from weaker assumptions
G. Fuchsbauer, C. Hanser, C. Kamath Hosdurg, D. Slamanig, in:, Springer, 2016, pp. 391–408.
View
| Files available
| DOI
| Download Submitted Version (ext.)
G. Fuchsbauer, C. Hanser, C. Kamath Hosdurg, D. Slamanig, in:, Springer, 2016, pp. 391–408.
2016 | 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.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
K. Fiedorczuk, J.A. Letts, G. Degliesposti, K. Kaszuba, M. Skehel, L.A. Sazanov, Nature 538 (2016) 406–410.
2016 | 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.
View
| Files available
| DOI
H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T.A. Henzinger, Y. Jiang, C. Schilling, in:, Springer, 2016, pp. 128–144.
2016 | Conference Paper | IST-REx-ID: 1229 |

Offline witness encryption
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.
View
| Files available
| DOI
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.
2016 | Conference Paper | IST-REx-ID: 1230 |

Abstraction-driven concolic testing
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
View
| Files available
| DOI
| Download Preprint (ext.)
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
2016 | 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.
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 | 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 | 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.
View
| DOI
| Download Submitted Version (ext.)
G. Fuchsbauer, F. Heuer, E. Kiltz, K.Z. Pietrzak, in:, Springer, 2016, pp. 282–305.
2016 | 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.
View
| Files available
| DOI
| Download Preprint (ext.)
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
2016 | 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.
View
| Files available
| DOI
| Download Submitted Version (ext.)
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.
2016 | 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.
View
| Files available
| DOI
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 413–428.
2016 | 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.