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.
591 Publications
2017 | Published | Book Chapter | IST-REx-ID: 444
Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions
L.A. Sazanov, in:, M. Wikström (Ed.), Mechanisms of Primary Energy Transduction in Biology , Royal Society of Chemistry, 2017, pp. 25–59.
View
| DOI
L.A. Sazanov, in:, M. Wikström (Ed.), Mechanisms of Primary Energy Transduction in Biology , Royal Society of Chemistry, 2017, pp. 25–59.
2017 | Published | Journal Article | IST-REx-ID: 445 | 
Loschmidt echo in many body localized phases
M. Serbyn, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 96 (2017).
View
| DOI
| Download (ext.)
M. Serbyn, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 96 (2017).
2017 | Published | Journal Article | IST-REx-ID: 447 |
Fluctuations of the competition interface in presence of shocks
P. Ferrari, P. Nejjar, Revista Latino-Americana de Probabilidade e Estatística 9 (2017) 299–325.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
P. Ferrari, P. Nejjar, Revista Latino-Americana de Probabilidade e Estatística 9 (2017) 299–325.
2017 | Published | Journal Article | IST-REx-ID: 452
Spin it: Optimizing moment of inertia for spinnable objects
M. Bächer, B. Bickel, E. Whiting, O. Sorkine Hornung, Communications of the ACM 60 (2017) 92–99.
View
| DOI
M. Bächer, B. Bickel, E. Whiting, O. Sorkine Hornung, Communications of the ACM 60 (2017) 92–99.
2017 | Published | Journal Article | IST-REx-ID: 453 |
Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement
T. Fallesen, J. Roostalu, C.F. Düllberg, G. Pruessner, T. Surrey, Biophysical Journal 113 (2017) 2055–2067.
[Published Version]
View
| Files available
| DOI
T. Fallesen, J. Roostalu, C.F. Düllberg, G. Pruessner, T. Surrey, Biophysical Journal 113 (2017) 2055–2067.
2017 | Published | Journal Article | IST-REx-ID: 459 |
Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern
S. Cremer, Rundgespräche Forum Ökologie 46 (2017) 105–116.
[Published Version]
View
| Files available
S. Cremer, Rundgespräche Forum Ökologie 46 (2017) 105–116.
2017 | Published | Journal Article | IST-REx-ID: 463 |
Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow
S. Altmeyer, Y. Do, S. Ryu, Chaos 27 (2017).
[Published Version]
View
| Files available
| DOI
S. Altmeyer, Y. Do, S. Ryu, Chaos 27 (2017).
2017 | Published | Journal Article | IST-REx-ID: 464 |
Improved algorithms for parity and Streett objectives
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, Logical Methods in Computer Science 13 (2017).
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, Logical Methods in Computer Science 13 (2017).
2017 | Published | Journal Article | IST-REx-ID: 465 |
Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Logical Methods in Computer Science 13 (2017).
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Logical Methods in Computer Science 13 (2017).
2017 | Published | Journal Article | IST-REx-ID: 466 |
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Křetínská, J. Kretinsky, Logical Methods in Computer Science 13 (2017).
[Published Version]
View
| Files available
| DOI
K. Chatterjee, Z. Křetínská, J. Kretinsky, Logical Methods in Computer Science 13 (2017).
2017 | Published | Journal Article | IST-REx-ID: 467 |
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, ACM Transactions on Computational Logic (TOCL) 18 (2017).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, T.A. Henzinger, J. Otop, ACM Transactions on Computational Logic (TOCL) 18 (2017).
2017 | Published | Journal Article | IST-REx-ID: 470 |
Water wave packets
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 36 (2017).
[Published Version]
View
| Files available
| DOI
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 36 (2017).
2017 | Published | Journal Article | IST-REx-ID: 471 |
Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, ACM Transactions on Computational Logic (TOCL) 18 (2017).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, ACM Transactions on Computational Logic (TOCL) 18 (2017).
2017 | Published | Journal Article | IST-REx-ID: 472
Wild-type monomeric α-synuclein can impair vesicle endocytosis and synaptic fidelity via tubulin polymerization at the calyx of held
K. Eguchi, Z. Taoufiq, O. Thorn Seshold, D. Trauner, M. Hasegawa, T. Takahashi, European Journal of Neuroscience 37 (2017) 6043–6052.
View
| DOI
K. Eguchi, Z. Taoufiq, O. Thorn Seshold, D. Trauner, M. Hasegawa, T. Takahashi, European Journal of Neuroscience 37 (2017) 6043–6052.
2017 | Published | Journal Article | IST-REx-ID: 481 |
Planar matchings for weighted straight skeletons
T. Biedl, S. Huber, P. Palfrader, International Journal of Computational Geometry and Applications 26 (2017) 211–229.
[Published Version]
View
| Files available
| DOI
T. Biedl, S. Huber, P. Palfrader, International Journal of Computational Geometry and Applications 26 (2017) 211–229.
2017 | Published | Journal Article | IST-REx-ID: 483 |
Universality for a class of random band matrices
P. Bourgade, L. Erdös, H. Yau, J. Yin, Advances in Theoretical and Mathematical Physics 21 (2017) 739–800.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
P. Bourgade, L. Erdös, H. Yau, J. Yin, Advances in Theoretical and Mathematical Physics 21 (2017) 739–800.
2017 | Published | Journal Article | IST-REx-ID: 484 |
Bogoliubov correction to the mean-field dynamics of interacting bosons
P. Nam, M.M. Napiórkowski, Advances in Theoretical and Mathematical Physics 21 (2017) 683–738.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
P. Nam, M.M. Napiórkowski, Advances in Theoretical and Mathematical Physics 21 (2017) 683–738.
2017 | Published | Conference Paper | IST-REx-ID: 485
Single sideband microwave to optical photon conversion-an-electro-optic-realization
A.R. Rueda Sanchez, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, Optics InfoBase Conference Papers, Optica Publishing Group, 2017.
View
| DOI
A.R. Rueda Sanchez, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, Optics InfoBase Conference Papers, Optica Publishing Group, 2017.
2017 | Published | Journal Article | IST-REx-ID: 486 |
Scattering-aware texture reproduction for 3D printing
O. Elek, D. Sumin, R. Zhang, T. Weyrich, K. Myszkowski, B. Bickel, A. Wilkie, J. Krivanek, ACM Transactions on Graphics 36 (2017).
[Submitted Version]
View
| Files available
| DOI
O. Elek, D. Sumin, R. Zhang, T. Weyrich, K. Myszkowski, B. Bickel, A. Wilkie, J. Krivanek, ACM Transactions on Graphics 36 (2017).
2017 | Published | Conference Paper | IST-REx-ID: 487
Towards unlicensed cellular networks in TV white spaces
G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, L. Qiu, in:, Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14.
View
| DOI
G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, L. Qiu, in:, Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14.