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 |

M. Villányi, “Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library,” Informationspraxis, vol. 3, no. 1. Verein Informationspraxis , 2017.
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 10369 |

M. Simunovic, A. Šarić, J. M. Henderson, K. Y. C. Lee, and G. A. Voth, “Long-range organization of membrane-curving proteins,” ACS Central Science, vol. 3, no. 12. American Chemical Society, pp. 1246–1253, 2017.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 10370 |

S. C. J. Helle et al., “Mechanical force induces mitochondrial fission,” eLife, vol. 6. eLife Sciences Publications, 2017.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 10373 |

P. Wirnsberger, D. Fijan, R. A. Lightwood, A. Šarić, C. Dellago, and D. Frenkel, “Numerical evidence for thermally induced monopoles,” Proceedings of the National Academy of Sciences, vol. 114, no. 19. National Academy of Sciences, pp. 4911–4914, 2017.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 10374 |

G. Meisl et al., “Scaling behaviour and rate-determining steps in filamentous self-assembly,” Chemical Science, vol. 8, no. 10. Royal Society of Chemistry, pp. 7087–7097, 2017.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 10375 |

A. Vahid, A. Šarić, and T. Idema, “Curvature variation controls particle aggregation on fluid vesicles,” Soft Matter, vol. 13, no. 28. Royal Society of Chemistry, pp. 4924–4930, 2017.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 10416 |

K. Chatterjee, B. Choudhary, and A. Pavlogiannis, “Optimal Dyck reachability for data-dependence and Alias analysis,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
[Published Version]
View
| Files available
| DOI
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 10417 |

M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, and K. Vaidya, “Data-centric dynamic partial order reduction,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 10418 |

A. Mciver, C. Morgan, B. L. Kaminski, and J. P. Katoen, “A new proof rule for almost-sure termination,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1061 |

V. Veetil, A. Angermayr, and K. Hellingwerf, “Ethylene production with engineered Synechocystis sp PCC 6803 strains,” Microbial Cell Factories, vol. 16, no. 1. BioMed Central, 2017.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 1062
L. Guarina, D. H. Vandael, V. Carabelli, and E. Carbone, “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,” Journal of Physiology, vol. 595, no. 8. Wiley-Blackwell, pp. 2587–2609, 2017.
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1063 |

H. Uecker, “Evolutionary rescue in randomly mating, selfing, and clonal populations,” Evolution, vol. 71, no. 4. Wiley-Blackwell, pp. 845–858, 2017.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1065 |

K. Chatterjee and G. F. Osang, “Pushdown reachability with constant treewidth,” Information Processing Letters, vol. 122. Elsevier, pp. 25–29, 2017.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1066
K. Chatterjee, T. A. Henzinger, J. Otop, and Y. Velner, “Quantitative fair simulation games,” Information and Computation, vol. 254, no. 2. Elsevier, pp. 143–166, 2017.
View
| Files available
| DOI
| WoS
2017 | Published | Thesis | IST-REx-ID: 10663 |

H. Polshyn, “Magnetic force microscopy studies of mesoscopic superconducting structures,” University of Illinois at Urbana-Champaign, 2017.
[Published Version]
View
| Download Published Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 1067 |

H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, and C.-P. J. Heisenberg, “The physical basis of coordinated tissue spreading in zebrafish gastrulation,” Developmental Cell, vol. 40, no. 4. Cell Press, pp. 354–366, 2017.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1072 |

U. Bauer and H. Edelsbrunner, “The Morse theory of Čech and delaunay complexes,” Transactions of the American Mathematical Society, vol. 369, no. 5. American Mathematical Society, pp. 3741–3762, 2017.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1073 |

M. Čadek, M. Krcál, and L. Vokřínek, “Algorithmic solvability of the lifting extension problem,” Discrete & Computational Geometry, vol. 54, no. 4. Springer, pp. 915–965, 2017.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1074 |

H. Ringbauer, G. Coop, and N. H. Barton, “Inferring recent demography from isolation by distance of long shared sequence blocks,” Genetics, vol. 205, no. 3. Genetics Society of America, pp. 1335–1351, 2017.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 10745 |

H. Polshyn, T. Naibert, and R. Budakian, “ Probing and controlling fluxoid states in multiply-connected mesoscopic superconducting structures,” in APS March Meeting 2017, New Orleans, LA, United States, 2017, vol. 62, no. 4.
[Published Version]
View
| Download Published Version (ext.)