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 | OA
Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library
M. Villányi, Informationspraxis 3 (2017).
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 10369 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 10370 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 10373 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 10374 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 10375 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 10416 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 10417 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 10418 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 1061 | OA
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
 

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
 

2017 | Published | Journal Article | IST-REx-ID: 1063 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 1065 | OA
Pushdown reachability with constant treewidth
K. Chatterjee, G.F. Osang, Information Processing Letters 122 (2017) 25–29.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1180 | OA
Algebraic vertices of non-convex polyhedra
A. Akopyan, I. Bárány, S. Robins, Advances in Mathematics 308 (2017) 627–644.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 11829 | OA
Conditional hardness for sensitivity problems
M.H. Henzinger, A. Lincoln, S. Neumann, V. Vassilevska Williams, in:, 8th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 11831 | OA
Improved guarantees for vertex sparsification in planar graphs
G. Goranci, M.H. Henzinger, P. Peng, in:, 25th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 11832 | OA
Dynamic clustering to minimize the sum of radii
M.H. Henzinger, D. Leniowski, C. Mathieu, in:, 25th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 11833 | OA
The power of vertex sparsifiers in dynamic graph algorithms
G. Goranci, M.H. Henzinger, P. Peng, in:, 25th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1187 | OA
Efficient authentication from hard learning problems
E. Kiltz, K.Z. Pietrzak, D. Venturi, D. Cash, A. Jain, Journal of Cryptology 30 (2017) 1238–1275.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 11873 | OA
Local flow partitioning for faster edge connectivity
M.H. Henzinger, S. Rao, D. Wang, in:, 28th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2017, pp. 1919–1938.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

year=2017

Search

Filter Publications

Display / Sort

Export / Embed