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.
503 Publications
2016 | Journal Article | IST-REx-ID: 1059
Butkevich, A., Mitronova, G., Sidenstein, S., Klocke, J., Kamin, D., Meineke, D., … Hell, S. (2016). Fluorescent rhodamines and fluorogenic carbopyronines for super-resolution STED microscopy in living cells. Angewandte Chemie - International Edition. Wiley-Blackwell. https://doi.org/10.1002/anie.201511018
View
| DOI
2016 | Journal Article | IST-REx-ID: 1060
Sidenstein, S., D’Este, E., Böhm, M., Danzl, J. G., Belov, V., & Hell, S. (2016). Multicolour multilevel STED nanoscopy of actin/spectrin organization at synapses. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep26725
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1068 | 
Chatterjee, K., Dvorák, W., Henzinger, M. H., & Loitzenbauer, V. (2016). Conditionally optimal algorithms for generalized Büchi Games (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2016.25
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1069 |
Chonev, V. K., Ouaknine, J., & Worrell, J. (2016). On the skolem problem for continuous linear dynamical systems (Vol. 55). Presented at the ICALP: Automata, Languages and Programming, Rome, Italy: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2016.100
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1070 |
Chatterjee, K., & Doyen, L. (2016). Computation tree logic for synchronization properties (Vol. 55). Presented at the ICALP: Automata, Languages and Programming, Rome, Italy: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2016.98
[Published Version]
View
| Files available
| DOI