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.
7112 Publications
2016 | Published | Journal Article | IST-REx-ID: 101 | 
Exponential protection of zero modes in Majorana islands
S.M. Albrecht, A.P. Higginbotham, T. Jespersen, M. Madsen, F. Kuemmeth, J. Nygård, P. Krogstrup, C. Marcus, Nature 531 (2016) 206–209.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
S.M. Albrecht, A.P. Higginbotham, T. Jespersen, M. Madsen, F. Kuemmeth, J. Nygård, P. Krogstrup, C. Marcus, Nature 531 (2016) 206–209.
2016 | Published | Journal Article | IST-REx-ID: 102 |
Approaching a topological phase transition in Majorana nanowires
R. Mishmash, D. Aasen, A.P. Higginbotham, J. Alicea, Physical Review B 93 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Mishmash, D. Aasen, A.P. Higginbotham, J. Alicea, Physical Review B 93 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1057
Coordinate-targeted fluorescence nanoscopy with multiple off states
J.G. Danzl, S. Sidenstein, C. Gregor, N. Urban, P. Ilgen, S. Jakobs, S. Hell, Nature Photonics 10 (2016) 122–128.
View
| DOI
J.G. Danzl, S. Sidenstein, C. Gregor, N. Urban, P. Ilgen, S. Jakobs, S. Hell, Nature Photonics 10 (2016) 122–128.
2016 | Published | 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
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.
2016 | Published | 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
S. Sidenstein, E. D’Este, M. Böhm, J.G. Danzl, V. Belov, S. Hell, Scientific Reports 6 (2016) 1–8.
2016 | Published | 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
K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Published | 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
V.K. Chonev, J. Ouaknine, J. Worrell, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
2016 | Published | 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
K. Chatterjee, L. Doyen, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1071 |
Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
2016 | Published | Journal Article | IST-REx-ID: 1705 |
Guided search for hybrid systems based on coarse-grained space abstractions
S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle, International Journal on Software Tools for Technology Transfer 18 (2016) 449–467.
[Published Version]
View
| Files available
| DOI
S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle, International Journal on Software Tools for Technology Transfer 18 (2016) 449–467.
2016 | Published | Conference Paper | IST-REx-ID: 1205 |
Safety assured formal model driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.
[Submitted Version]
View
| Files available
| DOI
Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.
2016 | Published | Conference Paper | IST-REx-ID: 1227 |
Discrete abstraction of multiaffine systems
H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T.A. Henzinger, Y. Jiang, C. Schilling, in:, Springer, 2016, pp. 128–144.
[Submitted Version]
View
| Files available
| DOI
H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T.A. Henzinger, Y. Jiang, C. Schilling, in:, Springer, 2016, pp. 128–144.
2016 | Published | Conference Paper | IST-REx-ID: 1095 |
Local linearizability for concurrent container-type data structures
A. Haas, T.A. Henzinger, A. Holzer, C. Kirsch, M. Lippautz, H. Payer, A. Sezgin, A. Sokolova, H. Veith, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| Files available
| DOI
A. Haas, T.A. Henzinger, A. Holzer, C. Kirsch, M. Lippautz, H. Payer, A. Sezgin, A. Sokolova, H. Veith, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1090 |
Nested weighted limit-average automata of bounded width
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1103 |
Parallel reachability analysis for hybrid systems
A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray, in:, IEEE, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray, in:, IEEE, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1135 |
Synthesizing time triggered schedules for switched networks with faulty links
G. Avni, S. Guha, G. Rodríguez Navas, in:, Proceedings of the 13th International Conference on Embedded Software , ACM, 2016.
[Submitted Version]
View
| Files available
| DOI
G. Avni, S. Guha, G. Rodríguez Navas, in:, Proceedings of the 13th International Conference on Embedded Software , ACM, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1138 |
Quantitative automata under probabilistic semantics
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.
2016 | Published | Journal Article | IST-REx-ID: 1148
Adaptive moment closure for parameter inference of biochemical reaction networks
C. Schilling, S. Bogomolov, T.A. Henzinger, A. Podelski, J. Ruess, Biosystems 149 (2016) 15–25.
View
| Files available
| DOI
C. Schilling, S. Bogomolov, T.A. Henzinger, A. Podelski, J. Ruess, Biosystems 149 (2016) 15–25.
2016 | Published | Conference Paper | IST-REx-ID: 1093 |
Linear distances between Markov chains
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| Files available
| DOI
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1230 |
Abstraction-driven concolic testing
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.