Please note that IST 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.

6318 Publications


2020 | Journal Article | IST-REx-ID: 8268 | OA
Gurel, N. M., Kara, K., Stojanov, A., Smith, T., Lemmin, T., Alistarh, D.-A., … Zhang, C. (2020). Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. IEEE Transactions on Signal Processing. IEEE. https://doi.org/10.1109/TSP.2020.3010355
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8271
He, P., Zhang, Y., & Xiao, G. (2020). Origin of a subgenome and genome evolution of allotetraploid cotton species. Molecular Plant. Elsevier. https://doi.org/10.1016/j.molp.2020.07.006
View | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8272 | OA
Chatterjee, K., Katoen, J. P., Weininger, M., & Winkler, T. (2020). Stochastic games with lexicographic reachability-safety objectives. In International Conference on Computer Aided Verification (Vol. 12225, pp. 398–420). Springer Nature. https://doi.org/10.1007/978-3-030-53291-8_21
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8283 | OA
Chen, H., Lai, L., Li, L., Liu, L., Jakada, B. H., Huang, Y., … Qin, Y. (2020). AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms21165727
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8284 | OA
Steiner, J., & Sazanov, L. A. (2020). Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.59407
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8285 | OA
Malia, B. K., Martínez-Rincón, J., Wu, Y., Hosten, O., & Kasevich, M. A. (2020). Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit. Physical Review Letters. https://doi.org/10.1103/PhysRevLett.125.043202
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8286 | OA
Alistarh, D.-A., Nadiradze, G., & Sabour, A. (2020). Dynamic averaging load balancing on cycles. In 47th International Colloquium on Automata, Languages, and Programming (Vol. 168). Virtual, Online; Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2020.7
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8287 | OA
Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (n.d.). Reachability analysis of linear hybrid systems via block decomposition. In Proceedings of the International Conference on Embedded Software. Virtual .
View | Files available | arXiv
 

2020 | Scientific Software | IST-REx-ID: 8294 | OA
Hauschild, R. (2020). RGtracker. IST Austria. https://doi.org/10.15479/AT:ISTA:8294
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8307 | OA
Stewart, A., & Kokoris Kogias, E. (n.d.). GRANDPA: A Byzantine finality gadget. arXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8308 | OA
Brighi, P., Abanin, D. A., & Serbyn, M. (2020). Stability of mobility edges in disordered interacting systems. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.102.060202
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8318 | OA
Gutierrez-Fernandez, J., Kaszuba, K., Minhas, G. S., Baradaran, R., Tambalo, M., Gallagher, D. T., & Sazanov, L. A. (2020). Key role of quinone in the mechanism of respiratory complex I. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-17957-0
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8319 | OA
Wu, Y., Krishnakumar, R., Martínez-Rincón, J., Malia, B. K., Hosten, O., & Kasevich, M. A. (2020). Retrieval of cavity-generated atomic spin squeezing after free-space release. Physical Review A. APS. https://doi.org/10.1103/PhysRevA.102.012224
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8320
Mukba, S. A., Vlasov, P., Kolosov, P. M., Shuvalova, E. Y., Egorova, T. V., & Alkalaeva, E. Z. (2020). Expanding the genetic code: Unnatural base pairs in biological systems. Molecular Biology. Springer Nature. https://doi.org/10.1134/S0026893320040111
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8321
Mukba, S. A., Vlasov, P., Kolosov, P. M., Shuvalova, E. Y., Egorova, T. V., & Alkalaeva, E. Z. (2020). Expanding the genetic code: Unnatural base pairs in biological systems. Molekuliarnaia biologiia. Russian Academy of Sciences. https://doi.org/10.31857/S0026898420040126
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8322 | OA
Chakraborty, S., Dziembowski, S., & Nielsen, J. B. (2020). Reverse firewalls for actively secure MPCs. In Advances in Cryptology – CRYPTO 2020 (Vol. 12171, pp. 732–762). Santa Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-030-56880-1_26
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8323 | OA
Pach, J. (2020). A farewell to Ricky Pollack. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-020-00237-5
View | DOI | Download None (ext.)
 

2020 | Journal Article | IST-REx-ID: 8325 | OA
Kalinin, N., & Shkolnikov, M. (2020). Sandpile solitons via smoothing of superharmonic functions. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-020-03828-8
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8329 | OA
Schlemmer, W., Nothdurft, P., Petzold, A., Frühwirt, P., Schmallegger, M., Gescheidt-Demner, G., … Spirk, S. (2020). 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202008253
View | DOI | Download Published Version (ext.)
 

2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl, B. (2020). Verifying concurrent programs: Refinement, synchronization, sequentialization. IST Austria. https://doi.org/10.15479/AT:ISTA:8332
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8336 | OA
Kubiasova, K., Montesinos López, J. C., Šamajová, O., Nisler, J., Mik, V., Semeradova, H., … Spíchal, L. (2020). Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-17949-0
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8337 | OA
Antoniadi, I., Novák, O., Gelová, Z., Johnson, A. J., Plíhal, O., Simerský, R., … Turnbull, C. (2020). Cell-surface receptors enable perception of extracellular cytokinins. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-17700-9
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8338 | OA
Akopyan, A., Bobenko, A. I., Schief, W. K., & Techter, J. (2020). On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-020-00240-w
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8339 | OA
Genise, N., Micciancio, D., Peikert, C., & Walter, M. (2020). Improved discrete Gaussian and subgaussian analysis for lattice cryptography. In 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography (Vol. 12110, pp. 623–651). Edinburgh, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-45374-9_21
View | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 8340
Kampjut, D. (2020). Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes. IST Austria. https://doi.org/10.15479/AT:ISTA:8340
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8341
Bezeljak, U. (2020). In vitro reconstitution of a Rab activation switch. IST Austria. https://doi.org/10.15479/AT:ISTA:8341
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8349 | OA
Nardin, M., Phillips, J. W., Podlaski, W. F., & Keemink, S. W. (n.d.). Nonlinear computations in spiking neural networks through multiplicative synapses. arXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 8350
Shamipour, S. (2020). Bulk actin dynamics drive phase segregation in zebrafish oocytes . IST Austria. https://doi.org/10.15479/AT:ISTA:8350
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8353
Steiner, J. (2020). Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. IST Austria. https://doi.org/10.15479/AT:ISTA:8353
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8358 | OA
Dos Santos Caldas, P. R. (2020). Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. IST Austria. https://doi.org/10.15479/AT:ISTA:8358
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8361 | OA
Varzi, A., Thanner, K., Scipioni, R., Di Lecce, D., Hassoun, J., Dörfler, S., … Freunberger, S. A. (2020). Current status and future perspectives of lithium metal batteries. Journal of Power Sources. Elsevier. https://doi.org/10.1016/j.jpowsour.2020.228803
View | Files available | DOI | Download Published Version (ext.)
 

2020 | Thesis | IST-REx-ID: 8366 | OA
Guseinov, R. (2020). Computational design of curved thin shells: From glass façades to programmable matter. IST Austria. https://doi.org/10.15479/AT:ISTA:8366
View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8375 | OA
Guseinov, R. (2020). Supplementary data for “Computational design of curved thin shells: from glass façades to programmable matter.” IST Austria. https://doi.org/10.15479/AT:ISTA:8375
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8382 | OA
Baig, M. A., Hendler, D., Milani, A., & Travers, C. (2020). Long-lived snapshots with polylogarithmic amortized step complexity. In Proceedings of the 39th Symposium on Principles of Distributed Computing (pp. 31–40). Virtual, Italy: ACM. https://doi.org/10.1145/3382734.3406005
View | DOI | Download Preprint (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8383
Alistarh, D.-A., Aspnes, J., Ellen, F., Gelashvili, R., & Zhu, L. (2020). Brief Announcement: Why Extension-Based Proofs Fail. In Proceedings of the 39th Symposium on Principles of Distributed Computing (pp. 54–56). Virtual, Italy: ACM. https://doi.org/10.1145/3382734.3405743
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8384 | OA
Ishida, S., Synak, P., Narita, F., Hachisuka, T., & Wojtan, C. J. (2020). A model for soap film dynamics with evolving thickness. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3386569.3392405
View | Files available | DOI | Download Submitted Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8385 | OA
Sperl, G., Narain, R., & Wojtan, C. J. (2020). Homogenized yarn-level cloth. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3386569.3392412
View | Files available | DOI | Download Submitted Version (ext.)
 

2020 | Thesis | IST-REx-ID: 8386 | OA
Zhang, R. (2020). Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. IST Austria. https://doi.org/10.15479/AT:ISTA:8386
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8390 | OA
Royer, A. (2020). Leveraging structure in Computer Vision tasks for flexible Deep Learning models. IST Austria. https://doi.org/10.15479/AT:ISTA:8390
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8402 | OA
Rampelt, H., Sucec, I., Bersch, B., Horten, P., Perschil, I., Martinou, J.-C., … Pfanner, N. (2020). The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments. BMC Biology. Springer Nature. https://doi.org/10.1186/s12915-019-0733-6
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 8403 | OA
Sučec, I., Wang, Y., Dakhlaoui, O., Weinhäupl, K., Jores, T., Costa, D., … Schanda, P. (n.d.). Structural basis of client specificity in mitochondrial membrane-protein chaperones. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.06.08.140772
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8404 | OA
Weinhäupl, K., Wang, Y., Hessel, A., Brennich, M., Lindorff-Larsen, K., & Schanda, P. (n.d.). Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.03.13.990150
View | DOI | Download Preprint (ext.)
 

2020 | Book | IST-REx-ID: 8414
Kaloshin, V., & Zhang, K. (2020). Arnold diffusion for smooth systems of two and a half degrees of freedom (1st ed., Vol. 208). Princeton University Press.
View
 

2020 | Preprint | IST-REx-ID: 8429 | OA
Patxot, M., Trejo Banos, D., Kousathanas, A., Orliac, E. J., Ojavee, S. E., Moser, G., … Robinson, M. R. (2020). Probabilistic inference of the genetic architecture of functional enrichment of complex traits. medRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.09.04.20188433
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8529 | OA
Arnold, G. M., Wulf, M., Barzanjeh, S., Redchenko, E., Rueda Sanchez, A. R., Hease, W. J., … Fink, J. M. (2020). Converting microwave and telecom photons with a silicon photonic nanomechanical interface. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-18269-z
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8532 | OA
Kleindienst, D., Montanaro-Punzengruber, J.-C., Bhandari, P., Case, M. J., Fukazawa, Y., & Shigemoto, R. (2020). Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms21186737
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8533 | OA
Chatterjee, K., Ibsen-Jensen, R., Jecker, I. R., & Svoboda, J. (2020). Simplified game of life: Algorithms and complexity. In 45th International Symposium on Mathematical Foundations of Computer Science (Vol. 170). Prague, Czech Republic: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2020.22
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8534 | OA
Jecker, I. R., Kupferman, O., & Mazzocchi, N. (2020). Unary prime languages. In 45th International Symposium on Mathematical Foundations of Computer Science (Vol. 170). Prague, Czech Republic: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2020.51
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8535 | OA
Skrivan, T., Soderstrom, A., Johansson, J., Sprenger, C., Museth, K., & Wojtan, C. J. (2020). Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3386569.3392466
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8536 | OA
Mondelli, M., Hashemi, S. A., Cioffi, J., & Goldsmith, A. (2020). Simplified successive cancellation decoding of polar codes has sublinear latency. In IEEE International Symposium on Information Theory - Proceedings (Vol. 2020–June). Los Angeles, CA, United States: IEEE. https://doi.org/10.1109/ISIT44484.2020.9174141
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications