ISTA Research Explorer

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

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

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