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
A. Butkevich et al., “Fluorescent rhodamines and fluorogenic carbopyronines for super-resolution STED microscopy in living cells,” Angewandte Chemie - International Edition, vol. 55, no. 10. Wiley-Blackwell, pp. 3290–3294, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1060
S. Sidenstein, E. D’Este, M. Böhm, J. G. Danzl, V. Belov, and S. Hell, “Multicolour multilevel STED nanoscopy of actin/spectrin organization at synapses,” Scientific Reports, vol. 6. Nature Publishing Group, pp. 1–8, 2016.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1068 | OA
K. Chatterjee, W. Dvorák, M. H. Henzinger, and V. Loitzenbauer, “Conditionally optimal algorithms for generalized Büchi Games,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow, Poland, 2016, vol. 58.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1069 | OA
V. K. Chonev, J. Ouaknine, and J. Worrell, “On the skolem problem for continuous linear dynamical systems,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1070 | OA
K. Chatterjee and L. Doyen, “Computation tree logic for synchronization properties,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

year=2016

Search

Filter Publications