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
2017 | Published | Journal Article | IST-REx-ID: 103 | 
Transport signatures of quasiparticle poisoning in a majorana island
S.M. Albrecht, E. Hansen, A.P. Higginbotham, F. Kuemmeth, T. Jespersen, J. Nygård, P. Krogstrup, J. Danon, K. Flensberg, C. Marcus, APS Physics, Physical Review Letters 118 (2017).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S.M. Albrecht, E. Hansen, A.P. Higginbotham, F. Kuemmeth, T. Jespersen, J. Nygård, P. Krogstrup, J. Danon, K. Flensberg, C. Marcus, APS Physics, Physical Review Letters 118 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1030 |
Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library
M. Villányi, Informationspraxis 3 (2017).
[Published Version]
View
| Files available
| DOI
M. Villányi, Informationspraxis 3 (2017).
2017 | Published | Journal Article | IST-REx-ID: 10416 |
Optimal Dyck reachability for data-dependence and Alias analysis
K. Chatterjee, B. Choudhary, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 2 (2017).
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, B. Choudhary, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 2 (2017).
2017 | Published | Journal Article | IST-REx-ID: 10417 |
Data-centric dynamic partial order reduction
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Proceedings of the ACM on Programming Languages 2 (2017).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Proceedings of the ACM on Programming Languages 2 (2017).
2017 | Published | Journal Article | IST-REx-ID: 10418 |
A new proof rule for almost-sure termination
A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM on Programming Languages 2 (2017).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM on Programming Languages 2 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1061 |
Ethylene production with engineered Synechocystis sp PCC 6803 strains
V. Veetil, A. Angermayr, K. Hellingwerf, Microbial Cell Factories 16 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
V. Veetil, A. Angermayr, K. Hellingwerf, Microbial Cell Factories 16 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1062
Low pH inf o boosts burst firing and catecholamine release by blocking TASK-1 and BK channels while preserving Cav1 channels in mouse chromaffin cells
L. Guarina, D.H. Vandael, V. Carabelli, E. Carbone, Journal of Physiology 595 (2017) 2587–2609.
View
| DOI
| WoS
L. Guarina, D.H. Vandael, V. Carabelli, E. Carbone, Journal of Physiology 595 (2017) 2587–2609.
2017 | Published | Journal Article | IST-REx-ID: 1063 |
Evolutionary rescue in randomly mating, selfing, and clonal populations
H. Uecker, Evolution 71 (2017) 845–858.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
H. Uecker, Evolution 71 (2017) 845–858.
2017 | Published | Journal Article | IST-REx-ID: 1065 |
Pushdown reachability with constant treewidth
K. Chatterjee, G.F. Osang, Information Processing Letters 122 (2017) 25–29.
[Submitted Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, G.F. Osang, Information Processing Letters 122 (2017) 25–29.
2017 | Published | Journal Article | IST-REx-ID: 1066
Quantitative fair simulation games
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Information and Computation 254 (2017) 143–166.
View
| Files available
| DOI
| WoS
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Information and Computation 254 (2017) 143–166.
2017 | Published | Journal Article | IST-REx-ID: 1067 |
The physical basis of coordinated tissue spreading in zebrafish gastrulation
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, C.-P.J. Heisenberg, Developmental Cell 40 (2017) 354–366.
[Published Version]
View
| Files available
| DOI
| WoS
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, C.-P.J. Heisenberg, Developmental Cell 40 (2017) 354–366.
2017 | Published | Journal Article | IST-REx-ID: 1072 |
The Morse theory of Čech and delaunay complexes
U. Bauer, H. Edelsbrunner, Transactions of the American Mathematical Society 369 (2017) 3741–3762.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
U. Bauer, H. Edelsbrunner, Transactions of the American Mathematical Society 369 (2017) 3741–3762.
2017 | Published | Journal Article | IST-REx-ID: 1073 |
Algorithmic solvability of the lifting extension problem
M. Čadek, M. Krcál, L. Vokřínek, Discrete & Computational Geometry 54 (2017) 915–965.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
M. Čadek, M. Krcál, L. Vokřínek, Discrete & Computational Geometry 54 (2017) 915–965.
2017 | Published | Journal Article | IST-REx-ID: 1074 |
Inferring recent demography from isolation by distance of long shared sequence blocks
H. Ringbauer, G. Coop, N.H. Barton, Genetics 205 (2017) 1335–1351.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
H. Ringbauer, G. Coop, N.H. Barton, Genetics 205 (2017) 1335–1351.
2017 | Published | Book Chapter | IST-REx-ID: 1075 |
An American in Allied-occupied Austria: John Dos Passos Reports on "The Vienna Frontier"
B. Wenzl, in:, J. Parker, R. Poole (Eds.), Austria and America: 20th-Century Cross-Cultural Encounters, LIT Verlag Berlin-Münster-Wien-Zürich-London, 2017, pp. 73–80.
View
| Files available
B. Wenzl, in:, J. Parker, R. Poole (Eds.), Austria and America: 20th-Century Cross-Cultural Encounters, LIT Verlag Berlin-Münster-Wien-Zürich-London, 2017, pp. 73–80.
2017 | Published | Journal Article | IST-REx-ID: 1076 |
Strong-field ionization via a high-order Coulomb-corrected strong-field approximation
M. Klaiber, J. Daněk, E. Yakaboylu, K. Hatsagortsyan, C. Keitel, Physical Review A - Atomic, Molecular, and Optical Physics 95 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
M. Klaiber, J. Daněk, E. Yakaboylu, K. Hatsagortsyan, C. Keitel, Physical Review A - Atomic, Molecular, and Optical Physics 95 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1077 |
Evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family
R.A. Fernandes Redondo, H. de Vladar, T. Włodarski, J.P. Bollback, Journal of the Royal Society Interface 14 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
R.A. Fernandes Redondo, H. de Vladar, T. Włodarski, J.P. Bollback, Journal of the Royal Society Interface 14 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1078 |
Light sheet fluorescence microscopy of plant roots growing on the surface of a gel
D. von Wangenheim, R. Hauschild, J. Friml, Journal of Visualized Experiments JoVE 2017 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
D. von Wangenheim, R. Hauschild, J. Friml, Journal of Visualized Experiments JoVE 2017 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1079 |
Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges
P. Nam, H. Van Den Bosch, Mathematical Physics, Analysis and Geometry 20 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
P. Nam, H. Van Den Bosch, Mathematical Physics, Analysis and Geometry 20 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1080 |
Reconstructing metastatic seeding patterns of human cancers
J. Reiter, A. Makohon Moore, J. Gerold, I. Božić, K. Chatterjee, C. Iacobuzio Donahue, B. Vogelstein, M. Nowak, Nature Communications 8 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
J. Reiter, A. Makohon Moore, J. Gerold, I. Božić, K. Chatterjee, C. Iacobuzio Donahue, B. Vogelstein, M. Nowak, Nature Communications 8 (2017).