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
2016 | Conference Paper | IST-REx-ID: 10746 |
Polshyn, H., Naibert, T., Chua, V., & Budakian, R. (2016). Study of vortex states and dynamics in mesoscopic superconducting samples with MFM. In APS March Meeting 2016 (Vol. 61). Baltimore, MD, United States: American Physical Society.
[Published Version]
View
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 10747 |
Naibert, T., Polshyn, H., Wolin, B., Durkin, M., Garrido Menacho, R., Shem, I. M., … Budakian, R. (2016). Stochastic resonance magnetic force microscopy imaging of Josephson arrays. In APS March Meeting 2016 (Vol. 61). Baltimore, MD, United States: American Physical Society.
[Published Version]
View
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1081 |
Łangowski, Ł., Wabnik, K. T., Li, H., Vanneste, S., Naramoto, S., Tanaka, H., & Friml, J. (2016). Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells. Cell Discovery. Nature Publishing Group. https://doi.org/10.1038/celldisc.2016.18
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 10810 |
Rubel, P., Pani, D., Schlögl, A., Fayn, J., Badilini, F., Macfarlane, P., & Varri, A. (2016). SCP-ECG V3.0: An enhanced standard communication protocol for computer-assisted electrocardiography. In 2016 Computing in Cardiology Conference (Vol. 43, pp. 309–312). Vancouver, Canada: Computing in Cardiology. https://doi.org/10.22489/cinc.2016.090-500
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1082 |
Chalk, M. J., Marre, O., & Tkačik, G. (2016). Relevant sparse codes with variational information bottleneck (Vol. 29, pp. 1965–1973). Presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain: Neural Information Processing Systems.
[Preprint]
View
| Files available
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1083
Booker, S., Althof, D., Gross, A., Loreth, D., Müller, J., Unger, A., … Kulik, Á. (2016). KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. Oxford University Press. https://doi.org/10.1093/cercor/bhw090
View
| DOI
2016 | Journal Article | IST-REx-ID: 1088
Uhler, C., & Shivashankar, G. V. (2016). Geometric control and modeling of genome reprogramming. BioArchitecture. Taylor & Francis. https://doi.org/10.1080/19490992.2016.1201620
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1090 |
Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Nested weighted limit-average automata of bounded width (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.24
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1095 |
Haas, A., Henzinger, T. A., Holzer, A., Kirsch, C., Lippautz, M., Payer, H., … Veith, H. (2016). Local linearizability for concurrent container-type data structures. In Leibniz International Proceedings in Informatics (Vol. 59). Quebec City; Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2016.6
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1097 |
Du, T., Schulz, A., Zhu, B., Bickel, B., & Matusik, W. (2016). Computational multicopter design (Vol. 35). Presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China: ACM. https://doi.org/10.1145/2980179.2982427
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1098 |
Pentina, A., & Urner, R. (2016). Lifelong learning with weighted majority votes (Vol. 29, pp. 3619–3627). Presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain: Neural Information Processing Systems.
[Published Version]
View
| Files available
2016 | Conference Paper | IST-REx-ID: 1099 |
Malomo, L., Pietroni, N., Bickel, B., & Cignoni, P. (2016). FlexMolds: Automatic design of flexible shells for molding (Vol. 35). Presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China: ACM. https://doi.org/10.1145/2980179.2982397
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1102 |
Kolesnikov, A., & Lampert, C. (2016). Improving weakly-supervised object localization by micro-annotation. In Proceedings of the British Machine Vision Conference 2016 (Vol. 2016–September, p. 92.1-92.12). York, United Kingdom: BMVA Press. https://doi.org/10.5244/C.30.92
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1103 |
Gurung, A., Deka, A., Bartocci, E., Bogomolov, S., Grosu, R., & Ray, R. (2016). Parallel reachability analysis for hybrid systems. Presented at the MEMOCODE: International Conference on Formal Methods and Models for System Design, Kanpur, India : IEEE. https://doi.org/10.1109/MEMCOD.2016.7797741
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1105
Savin, C., & Tkačik, G. (2016). Estimating nonlinear neural response functions using GP priors and Kronecker methods (Vol. 29, pp. 3610–3618). Presented at the NIPS: Neural Information Processing Systems, Barcelona; Spain: Neural Information Processing Systems.
View
| Download None (ext.)