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.
697 Publications
2020 | Published | Conference Paper | IST-REx-ID: 8322 | 
Reverse firewalls for actively secure MPCs
S. Chakraborty, S. Dziembowski, J.B. Nielsen, in:, Advances in Cryptology – CRYPTO 2020, Springer Nature, 2020, pp. 732–762.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Chakraborty, S. Dziembowski, J.B. Nielsen, in:, Advances in Cryptology – CRYPTO 2020, Springer Nature, 2020, pp. 732–762.
2020 | Published | Journal Article | IST-REx-ID: 8323 |
A farewell to Ricky Pollack
J. Pach, Discrete and Computational Geometry 64 (2020) 571–574.
View
| DOI
| Download None (ext.)
| WoS
J. Pach, Discrete and Computational Geometry 64 (2020) 571–574.
2020 | Published | Conference Paper | IST-REx-ID: 8324 |
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time
P. Wang, H. Fu, K. Chatterjee, Y. Deng, M. Xu, in:, Proceedings of the ACM on Programming Languages, ACM, 2020.
[Published Version]
View
| Files available
| DOI
| arXiv
P. Wang, H. Fu, K. Chatterjee, Y. Deng, M. Xu, in:, Proceedings of the ACM on Programming Languages, ACM, 2020.
2020 | Published | Journal Article | IST-REx-ID: 8325 |
Sandpile solitons via smoothing of superharmonic functions
N. Kalinin, M. Shkolnikov, Communications in Mathematical Physics 378 (2020) 1649–1675.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
N. Kalinin, M. Shkolnikov, Communications in Mathematical Physics 378 (2020) 1649–1675.
2020 | Published | Journal Article | IST-REx-ID: 8329 |
2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries
W. Schlemmer, P. Nothdurft, A. Petzold, P. Frühwirt, M. Schmallegger, G. Gescheidt-Demner, R. Fischer, S.A. Freunberger, W. Kern, S. Spirk, Angewandte Chemie International Edition 59 (2020) 22943–22946.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
W. Schlemmer, P. Nothdurft, A. Petzold, P. Frühwirt, M. Schmallegger, G. Gescheidt-Demner, R. Fischer, S.A. Freunberger, W. Kern, S. Spirk, Angewandte Chemie International Edition 59 (2020) 22943–22946.
2020 | Published | Thesis | IST-REx-ID: 8332 |
Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.
2020 | Published | Journal Article | IST-REx-ID: 8336 |
Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum
K. Kubiasova, J.C. Montesinos López, O. Šamajová, J. Nisler, V. Mik, H. Semerádová, L. Plíhalová, O. Novák, P. Marhavý, N. Cavallari, D. Zalabák, K. Berka, K. Doležal, P. Galuszka, J. Šamaj, M. Strnad, E. Benková, O. Plíhal, L. Spíchal, Nature Communications 11 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
K. Kubiasova, J.C. Montesinos López, O. Šamajová, J. Nisler, V. Mik, H. Semerádová, L. Plíhalová, O. Novák, P. Marhavý, N. Cavallari, D. Zalabák, K. Berka, K. Doležal, P. Galuszka, J. Šamaj, M. Strnad, E. Benková, O. Plíhal, L. Spíchal, Nature Communications 11 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8337 |
Cell-surface receptors enable perception of extracellular cytokinins
I. Antoniadi, O. Novák, Z. Gelová, A.J. Johnson, O. Plíhal, R. Simerský, V. Mik, T. Vain, E. Mateo-Bonmatí, M. Karady, M. Pernisová, L. Plačková, K. Opassathian, J. Hejátko, S. Robert, J. Friml, K. Doležal, K. Ljung, C. Turnbull, Nature Communications 11 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
I. Antoniadi, O. Novák, Z. Gelová, A.J. Johnson, O. Plíhal, R. Simerský, V. Mik, T. Vain, E. Mateo-Bonmatí, M. Karady, M. Pernisová, L. Plačková, K. Opassathian, J. Hejátko, S. Robert, J. Friml, K. Doležal, K. Ljung, C. Turnbull, Nature Communications 11 (2020).
2020 | Published | Conference Paper | IST-REx-ID: 8339 |
Improved discrete Gaussian and subgaussian analysis for lattice cryptography
N. Genise, D. Micciancio, C. Peikert, M. Walter, in:, 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Springer Nature, 2020, pp. 623–651.
[Preprint]
View
| DOI
| Download Preprint (ext.)
N. Genise, D. Micciancio, C. Peikert, M. Walter, in:, 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Springer Nature, 2020, pp. 623–651.
2020 | Published | Thesis | IST-REx-ID: 8341 |
In vitro reconstitution of a Rab activation switch
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, Institute of Science and Technology Austria, 2020.
2020 | Published | Thesis | IST-REx-ID: 8358 |
Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers
P.R. Dos Santos Caldas, Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
P.R. Dos Santos Caldas, Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers, Institute of Science and Technology Austria, 2020.
2020 | Published | Journal Article | IST-REx-ID: 8361 |
Current status and future perspectives of lithium metal batteries
A. Varzi, K. Thanner, R. Scipioni, D. Di Lecce, J. Hassoun, S. Dörfler, H. Altheus, S. Kaskel, C. Prehal, S.A. Freunberger, Journal of Power Sources 480 (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
A. Varzi, K. Thanner, R. Scipioni, D. Di Lecce, J. Hassoun, S. Dörfler, H. Altheus, S. Kaskel, C. Prehal, S.A. Freunberger, Journal of Power Sources 480 (2020).
2020 | Published | Conference Paper | IST-REx-ID: 8382 |
Long-lived snapshots with polylogarithmic amortized step complexity
M.A. Baig, D. Hendler, A. Milani, C. Travers, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 31–40.
[Preprint]
View
| DOI
| Download Preprint (ext.)
M.A. Baig, D. Hendler, A. Milani, C. Travers, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 31–40.
2020 | Published | Conference Paper | IST-REx-ID: 8383
Brief Announcement: Why Extension-Based Proofs Fail
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 54–56.
View
| DOI
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 54–56.
2020 | Published | Journal Article | IST-REx-ID: 8384 |
A model for soap film dynamics with evolving thickness
S. Ishida, P. Synak, F. Narita, T. Hachisuka, C. Wojtan, ACM Transactions on Graphics 39 (2020).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
S. Ishida, P. Synak, F. Narita, T. Hachisuka, C. Wojtan, ACM Transactions on Graphics 39 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8385 |
Homogenized yarn-level cloth
G. Sperl, R. Narain, C. Wojtan, ACM Transactions on Graphics 39 (2020).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
G. Sperl, R. Narain, C. Wojtan, ACM Transactions on Graphics 39 (2020).
2020 | Published | Thesis | IST-REx-ID: 8386 |
Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, Institute of Science and Technology Austria, 2020.
2020 | Published | Thesis | IST-REx-ID: 8390 |
Leveraging structure in Computer Vision tasks for flexible Deep Learning models
A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models, Institute of Science and Technology Austria, 2020.
2020 | Published | Journal Article | IST-REx-ID: 8402 |
The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments
H. Rampelt, I. Sucec, B. Bersch, P. Horten, I. Perschil, J.-C. Martinou, M. van der Laan, N. Wiedemann, P. Schanda, N. Pfanner, BMC Biology 18 (2020).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
H. Rampelt, I. Sucec, B. Bersch, P. Horten, I. Perschil, J.-C. Martinou, M. van der Laan, N. Wiedemann, P. Schanda, N. Pfanner, BMC Biology 18 (2020).
2020 | Submitted | Preprint | IST-REx-ID: 8403 |
Structural basis of client specificity in mitochondrial membrane-protein chaperones
I. Sučec, Y. Wang, O. Dakhlaoui, K. Weinhäupl, T. Jores, D. Costa, A. Hessel, M. Brennich, D. Rapaport, K. Lindorff-Larsen, B. Bersch, P. Schanda, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
I. Sučec, Y. Wang, O. Dakhlaoui, K. Weinhäupl, T. Jores, D. Costa, A. Hessel, M. Brennich, D. Rapaport, K. Lindorff-Larsen, B. Bersch, P. Schanda, BioRxiv (n.d.).