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.

6112 Publications


2020 | Conference Paper | IST-REx-ID: 8286 | OA
D.-A. Alistarh, G. Nadiradze, and A. Sabour, “Dynamic averaging load balancing on cycles,” in 47th International Colloquium on Automata, Languages, and Programming, Virtual, Online; Germany, 2020, vol. 168.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8321
S. A. Mukba, P. Vlasov, P. M. Kolosov, E. Y. Shuvalova, T. V. Egorova, and E. Z. Alkalaeva, “Expanding the genetic code: Unnatural base pairs in biological systems,” Molekuliarnaia biologiia, vol. 54, no. 4. Russian Academy of Sciences, pp. 531–541, 2020.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8322 | OA
S. Chakraborty, S. Dziembowski, and J. B. Nielsen, “Reverse firewalls for actively secure MPCs,” in Advances in Cryptology – CRYPTO 2020, Santa Barbara, CA, United States, 2020, vol. 12171, pp. 732–762.
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8323 | OA
J. Pach, “A farewell to Ricky Pollack,” Discrete and Computational Geometry, vol. 64. Springer Nature, pp. 571–574, 2020.
View | DOI | Download None (ext.)
 

2020 | Journal Article | IST-REx-ID: 8325 | OA
N. Kalinin and M. Shkolnikov, “Sandpile solitons via smoothing of superharmonic functions,” Communications in Mathematical Physics, vol. 378, no. 9. Springer Nature, pp. 1649–1675, 2020.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8329 | OA
W. Schlemmer et al., “2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries,” Angewandte Chemie International Edition, vol. 59, no. 51. Wiley, pp. 22943–22946, 2020.
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8320
S. A. Mukba, P. Vlasov, P. M. Kolosov, E. Y. Shuvalova, T. V. Egorova, and E. Z. Alkalaeva, “Expanding the genetic code: Unnatural base pairs in biological systems,” Molecular Biology, vol. 54, no. 4. Springer Nature, pp. 475–484, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8332 | OA
B. Kragl, “Verifying concurrent programs: Refinement, synchronization, sequentialization,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8336 | OA
K. Kubiasova et al., “Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum,” Nature Communications, vol. 11. Springer Nature, 2020.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8337 | OA
I. Antoniadi et al., “Cell-surface receptors enable perception of extracellular cytokinins,” Nature Communications, vol. 11. Springer Nature, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8338 | OA
A. Akopyan, A. I. Bobenko, W. K. Schief, and J. Techter, “On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs,” Discrete and Computational Geometry. Springer Nature, 2020.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8339 | OA
N. Genise, D. Micciancio, C. Peikert, and M. Walter, “Improved discrete Gaussian and subgaussian analysis for lattice cryptography,” in 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Edinburgh, United Kingdom, 2020, vol. 12110, pp. 623–651.
View | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 8341
U. Bezeljak, “In vitro reconstitution of a Rab activation switch,” IST Austria, 2020.
View | Files available | DOI
 

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

2020 | Conference Paper | IST-REx-ID: 8012 | OA
B. Kragl, C. Enea, T. A. Henzinger, S. O. Mutluergil, and S. Qadeer, “Inductive sequentialization of asynchronous programs,” in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 2020, pp. 227–242.
View | Files available | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8195 | OA
B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent programs,” in Computer Aided Verification, 2020, vol. 12224, pp. 275–298.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7580 | OA
U. Bezeljak, H. Loya, B. M. Kaczmarek, T. E. Saunders, and M. Loose, “Stochastic activation and bistability in a Rab GTPase regulatory network,” Proceedings of the National Academy of Sciences, vol. 117, no. 12. Proceedings of the National Academy of Sciences, pp. 6504–6549, 2020.
View | Files available | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 8340
D. Kampjut, “Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8358 | OA
P. R. Dos Santos Caldas, “Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7262 | OA
R. Guseinov, C. McMahan, J. Perez Rodriguez, C. Daraio, and B. Bickel, “Programming temporal morphing of self-actuated shells,” Nature Communications, vol. 11. Springer Nature, 2020.
View | Files available | DOI
 

2020 | Technical Report | IST-REx-ID: 8067 | OA
A. Varzi et al., Current status and future perspectives of Lithium metal batteries. IST Austria.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7572 | OA
P. R. Dos Santos Caldas, P. Radler, C. M. Sommer, and M. Loose, “Computational analysis of filament polymerization dynamics in cytoskeletal networks,” Methods in Cell Biology, vol. 158. Elsevier, pp. 145–161, 2020.
View | Files available | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8361
A. Varzi et al., “Current status and future perspectives of lithium metal batteries,” Journal of Power Sources, vol. 480, no. 12. Elsevier, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8386 | OA
R. Zhang, “Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8402 | OA
H. Rampelt et al., “The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments,” BMC Biology, vol. 18. Springer Nature, 2020.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 8403 | OA
I. Sučec et al., “Structural basis of client specificity in mitochondrial membrane-protein chaperones,” bioRxiv. Cold Spring Harbor Laboratory.
View | DOI | Download Preprint (ext.)
 

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

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

2020 | Preprint | IST-REx-ID: 8429 | OA
M. Patxot et al., “Probabilistic inference of the genetic architecture of functional enrichment of complex traits,” medRxiv. Cold Spring Harbor Laboratory, 2020.
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8430 | OA
S. E. Ojavee et al., “Genomic architecture and prediction of censored time-to-event phenotypes with a Bayesian genome-wide analysis,” medRxiv. Cold Spring Harbor Laboratory.
View | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 7996 | OA
J. Kukucka, “Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7936 | OA
A. Royer and C. Lampert, “Localizing grouped instances for efficient detection in low-resource scenarios,” in IEEE Winter Conference on Applications of Computer Vision, Snowmass Village, CO, United States, 2020.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7937 | OA
A. Royer and C. Lampert, “A flexible selection scheme for minimum-effort transfer learning,” in 2020 IEEE Winter Conference on Applications of Computer Vision, Snowmass Village, CO, United States, 2020.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8193
K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, and A. Royer, “Multiple-environment Markov decision processes: Efficient analysis and applications,” in Proceedings of the 30th International Conference on Automated Planning and Scheduling, Nancy, France, 2020, vol. 30, pp. 48–56.
View | Files available
 

2020 | Book Chapter | IST-REx-ID: 8092 | OA
A. Royer et al., “XGAN: Unsupervised image-to-image translation for many-to-many mappings,” in Domain Adaptation for Visual Understanding, R. Singh, M. Vatsa, V. M. Patel, and N. Ratha, Eds. Springer Nature, 2020, pp. 33–49.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 8589
H. Han, “Novel insights into PIN polarity regulation during Arabidopsis development,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8592 | OA
A. Tian et al., “Oncogenic state and cell identity combinatorially dictate the susceptibility of cells within glioma development hierarchy to IGF1R targeting,” Advanced Science, vol. 7, no. 21. Wiley, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8597 | OA
J. Merrin, “Differences in power law growth over time and indicators of COVID-19 pandemic progression worldwide,” Physical Biology, vol. 17, no. 6. IOP Publishing, 2020.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8599 | OA
G. Avni and T. A. Henzinger, “A survey of bidding games on graphs,” in 31st International Conference on Concurrency Theory, Virtual, 2020, vol. 171.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8600 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Multi-dimensional long-run average problems for vector addition systems with states,” in 31st International Conference on Concurrency Theory, Virtual, 2020, vol. 171.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8601 | OA
G. Cipolloni, L. Erdös, and D. J. Schröder, “Edge universality for non-Hermitian random matrices,” Probability Theory and Related Fields. Springer Nature, 2020.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8602 | OA
D. R. Boocock, N. Hino, N. Ruzickova, T. Hirashima, and E. B. Hannezo, “Theory of mechanochemical patterning and optimal migration in cell monolayers,” Nature Physics. Springer Nature, 2020.
View | Files available | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8603
R. Frank and R. Seiringer, “Quantum corrections to the Pekar asymptotics of a strongly coupled polaron,” Communications on Pure and Applied Mathematics. Wiley, 2020.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8606 | OA
P. He et al., “GhARF16-1 modulates leaf development by transcriptionally regulating the GhKNOX2-1 gene in cotton,” Plant Biotechnology Journal. Wiley, 2020.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8607 | OA
D. Liu et al., “Endocytosis of BRASSINOSTEROID INSENSITIVE1 is partly driven by a canonical tyrosine-based Motif,” Plant Cell, vol. 32, no. 11. American Society of Plant Biologists, pp. 3598–3612, 2020.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8608 | OA
M. Ke et al., “Salicylic acid regulates PIN2 auxin transporter hyper-clustering and root gravitropic growth via Remorin-dependent lipid nanodomain organization in Arabidopsis thaliana,” New Phytologist. Wiley, 2020.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 8616 | OA
X. Gao et al., “Reduction of neuronal activity mediated by blood-vessel regression in the brain,” bioRxiv. Cold Spring Harbor Laboratory.
View | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 8620
J. Morandell, “Illuminating the role of Cul3 in autism spectrum disorder pathogenesis,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8623 | OA
T. A. Henzinger and N. E. Sarac, “Monitorability under assumptions,” in Runtime Verification, Los Angeles, CA, United States, 2020, vol. 12399, pp. 3–18.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8634 | OA
B. Suri, L. Kageorge, R. O. Grigoriev, and M. F. Schatz, “Capturing turbulent dynamics and statistics in experiments with unstable periodic orbits,” Physical Review Letters, vol. 125, no. 6. American Physical Society, 2020.
View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications