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.
7047 Publications
2017 |Published| Journal Article | IST-REx-ID: 960 | 
Hansen, Andi H., et al. “Cell Polarity in Cerebral Cortex Development - Cellular Architecture Shaped by Biochemical Networks.” Frontiers in Cellular Neuroscience, vol. 11, 176, Frontiers Research Foundation, 2017, doi:10.3389/fncel.2017.00176.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 639 |
Chatterjee, Krishnendu, et al. Non-Polynomial Worst Case Analysis of Recursive Programs. Edited by Rupak Majumdar and Viktor Kunčak, vol. 10427, Springer, 2017, pp. 41–63, doi:10.1007/978-3-319-63390-9_3.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2017 |Published| Conference Paper | IST-REx-ID: 949 |
Chatterjee, Krishnendu, et al. JTDec: A Tool for Tree Decompositions in Soot. Edited by Deepak D’Souza, vol. 10482, Springer, 2017, pp. 59–66, doi:10.1007/978-3-319-68167-2_4.
[Submitted Version]
View
| Files available
| DOI
| WoS
2016 |Published| Journal Article | IST-REx-ID: 100 |
Aasen, David, et al. “Milestones toward Majorana-Based Quantum Computing.” Physical Review X, vol. 6, no. 3, 031016, American Physical Society, 2016, doi:10.1103/PhysRevX.6.031016.
[Published Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1008
Gnügge, Robert, et al. “An Orthogonal Permease–Inducer–Repressor Feedback Loop Shows Bistability.” ACS Synthetic Biology, vol. 5, no. 10, American Chemical Society, 2016, pp. 1098–107, doi:10.1021/acssynbio.6b00013.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 101 |
Albrecht, S. M., et al. “Exponential Protection of Zero Modes in Majorana Islands.” Nature, vol. 531, no. 7593, Nature Publishing Group, 2016, pp. 206–09, doi:10.1038/nature17162.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 102 |
Mishmash, Ryan, et al. “Approaching a Topological Phase Transition in Majorana Nanowires.” Physical Review B, vol. 93, no. 24, 245404, American Physical Society, 2016, doi:10.1103/PhysRevB.93.245404.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 1057
Danzl, Johann G., et al. “Coordinate-Targeted Fluorescence Nanoscopy with Multiple off States.” Nature Photonics, vol. 10, no. 2, Nature Publishing Group, 2016, pp. 122–28, doi:10.1038/nphoton.2015.266.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1059
Butkevich, Alexey, 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, 2016, pp. 3290–94, doi:10.1002/anie.201511018.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1060
Sidenstein, Sven, et al. “Multicolour Multilevel STED Nanoscopy of Actin/Spectrin Organization at Synapses.” Scientific Reports, vol. 6, Nature Publishing Group, 2016, pp. 1–8, doi:10.1038/srep26725.
View
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1068 |
Chatterjee, Krishnendu, et al. Conditionally Optimal Algorithms for Generalized Büchi Games. Vol. 58, 25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.MFCS.2016.25.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1069 |
Chonev, Ventsislav K., et al. On the Skolem Problem for Continuous Linear Dynamical Systems. Vol. 55, 100, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.100.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1070 |
Chatterjee, Krishnendu, and Laurent Doyen. Computation Tree Logic for Synchronization Properties. Vol. 55, 98, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.98.
[Published Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1081 |
Łangowski, Łukasz, et al. “Cellular Mechanisms for Cargo Delivery and Polarity Maintenance at Different Polar Domains in Plant Cells.” Cell Discovery, vol. 2, 16018, Nature Publishing Group, 2016, doi:10.1038/celldisc.2016.18.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 10810 |
Rubel, Paul, et al. “SCP-ECG V3.0: An Enhanced Standard Communication Protocol for Computer-Assisted Electrocardiography.” 2016 Computing in Cardiology Conference, vol. 43, Computing in Cardiology, 2016, pp. 309–12, doi:10.22489/cinc.2016.090-500.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1082 |
Chalk, Matthew J., et al. Relevant Sparse Codes with Variational Information Bottleneck. Vol. 29, Neural Information Processing Systems, 2016, pp. 1965–73.
[Preprint]
View
| Files available
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1083
Booker, Sam, et al. “KCTD12 Auxiliary Proteins Modulate Kinetics of GABAB Receptor-Mediated Inhibition in Cholecystokinin-Containing Interneurons.” Cerebral Cortex, vol. 27, no. 3, Oxford University Press, 2016, pp. 2318–34, doi:10.1093/cercor/bhw090.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1088
Uhler, Caroline, and G. V. Shivashankar. “Geometric Control and Modeling of Genome Reprogramming.” BioArchitecture, vol. 6, no. 4, Taylor & Francis, 2016, pp. 76–84, doi:10.1080/19490992.2016.1201620.
View
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1090 |
Chatterjee, Krishnendu, et al. Nested Weighted Limit-Average Automata of Bounded Width. Vol. 58, 24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.MFCS.2016.24.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1095 |
Haas, Andreas, et al. “Local Linearizability for Concurrent Container-Type Data Structures.” Leibniz International Proceedings in Informatics, vol. 59, 6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.CONCUR.2016.6.
[Published Version]
View
| Files available
| DOI