ISTA Research Explorer

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

2016 | Journal Article | IST-REx-ID: 1059

Fluorescent rhodamines and fluorogenic carbopyronines for super-resolution STED microscopy in living cells
A. Butkevich, G. Mitronova, S. Sidenstein, J. Klocke, D. Kamin, D. Meineke, E. D’Este, P. Kraemer, J.G. Danzl, V. Belov, S. Hell, Angewandte Chemie - International Edition 55 (2016) 3290–3294.

View | DOI

2016 | Journal Article | IST-REx-ID: 1060

Multicolour multilevel STED nanoscopy of actin/spectrin organization at synapses
S. Sidenstein, E. D’Este, M. Böhm, J.G. Danzl, V. Belov, S. Hell, Scientific Reports 6 (2016) 1–8.

View | DOI

2016 | Conference Paper | IST-REx-ID: 1068 |

Conditionally optimal algorithms for generalized Büchi Games
K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.

[Published Version] View | Files available | DOI

2016 | Conference Paper | IST-REx-ID: 1069 |

On the skolem problem for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.

[Published Version] View | Files available | DOI

2016 | Conference Paper | IST-REx-ID: 1070 |

Computation tree logic for synchronization properties
K. Chatterjee, L. Doyen, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.

[Published Version] View | Files available | DOI