ISTA Research Explorer

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2017 | 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

2017 | 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

2017 | 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

2017 | 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.)

2017 | 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