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.
591 Publications
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: 10369 |
Long-range organization of membrane-curving proteins
M. Simunovic, A. Šarić, J.M. Henderson, K.Y.C. Lee, G.A. Voth, ACS Central Science 3 (2017) 1246–1253.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Simunovic, A. Šarić, J.M. Henderson, K.Y.C. Lee, G.A. Voth, ACS Central Science 3 (2017) 1246–1253.
2017 | Published | Journal Article | IST-REx-ID: 10370 |
Mechanical force induces mitochondrial fission
S.C.J. Helle, Q. Feng, M.J. Aebersold, L. Hirt, R.R. Grüter, A. Vahid, A. Sirianni, S. Mostowy, J.G. Snedeker, A. Šarić, T. Idema, T. Zambelli, B. Kornmann, ELife 6 (2017).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S.C.J. Helle, Q. Feng, M.J. Aebersold, L. Hirt, R.R. Grüter, A. Vahid, A. Sirianni, S. Mostowy, J.G. Snedeker, A. Šarić, T. Idema, T. Zambelli, B. Kornmann, ELife 6 (2017).
2017 | Published | Journal Article | IST-REx-ID: 10373 |
Numerical evidence for thermally induced monopoles
P. Wirnsberger, D. Fijan, R.A. Lightwood, A. Šarić, C. Dellago, D. Frenkel, Proceedings of the National Academy of Sciences 114 (2017) 4911–4914.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
P. Wirnsberger, D. Fijan, R.A. Lightwood, A. Šarić, C. Dellago, D. Frenkel, Proceedings of the National Academy of Sciences 114 (2017) 4911–4914.
2017 | Published | Journal Article | IST-REx-ID: 10374 |
Scaling behaviour and rate-determining steps in filamentous self-assembly
G. Meisl, L. Rajah, S.A.I. Cohen, M. Pfammatter, A. Šarić, E. Hellstrand, A.K. Buell, A. Aguzzi, S. Linse, M. Vendruscolo, C.M. Dobson, T.P.J. Knowles, Chemical Science 8 (2017) 7087–7097.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
G. Meisl, L. Rajah, S.A.I. Cohen, M. Pfammatter, A. Šarić, E. Hellstrand, A.K. Buell, A. Aguzzi, S. Linse, M. Vendruscolo, C.M. Dobson, T.P.J. Knowles, Chemical Science 8 (2017) 7087–7097.
2017 | Published | Journal Article | IST-REx-ID: 10375 |
Curvature variation controls particle aggregation on fluid vesicles
A. Vahid, A. Šarić, T. Idema, Soft Matter 13 (2017) 4924–4930.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
A. Vahid, A. Šarić, T. Idema, Soft Matter 13 (2017) 4924–4930.
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 | Thesis | IST-REx-ID: 10663 |
Magnetic force microscopy studies of mesoscopic superconducting structures
H. Polshyn, Magnetic Force Microscopy Studies of Mesoscopic Superconducting Structures, University of Illinois at Urbana-Champaign, 2017.
[Published Version]
View
| Download Published Version (ext.)
H. Polshyn, Magnetic Force Microscopy Studies of Mesoscopic Superconducting Structures, University of Illinois at Urbana-Champaign, 2017.
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 | Conference Paper | IST-REx-ID: 10745 |
Probing and controlling fluxoid states in multiply-connected mesoscopic superconducting structures
H. Polshyn, T. Naibert, R. Budakian, in:, APS March Meeting 2017, American Physical Society, 2017.
[Published Version]
View
| Download Published Version (ext.)
H. Polshyn, T. Naibert, R. Budakian, in:, APS March Meeting 2017, American Physical Society, 2017.