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.

2975 Publications


2020 | Journal Article | IST-REx-ID: 8039
Zhang Y, Liu Y, Xing C, et al. Tin selenide molecular precursor for the solution processing of thermoelectric materials and devices. ACS Applied Materials and Interfaces. 2020;12(24):27104-27111. doi:10.1021/acsami.0c04331
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8040
Gupta C, Khaniya U, Chan CK, et al. Charge transfer and chemo-mechanical coupling in respiratory complex I. Journal of the American Chemical Society. 2020;142(20):9220-9230. doi:10.1021/jacs.9b13450
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8042 | OA
Boccato C, Brennecke C, Cenatiempo S, Schlein B. The excitation spectrum of Bose gases interacting through singular potentials. Journal of the European Mathematical Society. 2020;22(7):2331-2403. doi:10.4171/JEMS/966
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Technical Report | IST-REx-ID: 8067 | OA
Varzi A, Thanner K, Scipioni R, et al. Current Status and Future Perspectives of Lithium Metal Batteries. IST Austria doi:10.15479/AT:ISTA:8067
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8081 | OA
Hobisch MA, Mourad E, Fischer WJ, et al. High specific capacitance supercapacitors from hierarchically organized all-cellulose composites.
View | Files available
 

2020 | Journal Article | IST-REx-ID: 8084 | OA
Lombardi F, Gómez-Extremera M, Bernaola-Galván P, et al. Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake. Journal of Neuroscience. 2020;40(1):171-190. doi:10.1523/jneurosci.1278-19.2019
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8089 | OA
Chatterjee K, Fu H, Goharshady AK, Goharshady EK. Polynomial invariant generation for non-deterministic recursive programs. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2020:672-687. doi:10.1145/3385412.3385969
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Research Data | IST-REx-ID: 8097 | OA
Kavcic B. Analysis Scripts and Research Data for the Paper “Mechanisms of Drug Interactions between Translation-Inhibiting Antibiotics.” IST Austria; 2020. doi:10.15479/AT:ISTA:8097
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8105 | OA
Lombardi F, Wang JWJL, Zhang X, Ivanov PC. Power-law correlations and coupling of active and quiet states underlie a class of complex systems with self-organization at criticality. EPJ Web of Conferences. 2020;230. doi:10.1051/epjconf/202023000005
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8112
Barton NH. On the completion of speciation. Philosophical Transactions of the Royal Society Series B: Biological Sciences. 2020;375(1806). doi:10.1098/rstb.2019.0530
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8130 | OA
Bossmann L. Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons. Archive for Rational Mechanics and Analysis. 2020. doi:10.1007/s00205-020-01548-w
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8132
Salzer E, Zoghi S, Kiss MG, et al. The cytoskeletal regulator HEM1 governs B cell development and prevents autoimmunity. Science Immunology. 2020;5(49). doi:10.1126/sciimmunol.abc3979
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8133 | OA
Hillary RF, Trejo-Banos D, Kousathanas A, et al. Multi-method genome- and epigenome-wide studies of inflammatory protein levels in healthy older adults. Genome Medicine. 2020;12(1). doi:10.1186/s13073-020-00754-1
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8134 | OA
Mayer S, Seiringer R. The free energy of the two-dimensional dilute Bose gas. II. Upper bound. Journal of Mathematical Physics. 2020;61(6). doi:10.1063/5.0005950
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8138 | OA
Zhang J, Mazur E, Balla J, et al. Strigolactones inhibit auxin feedback on PIN-dependent auxin transport canalization. Nature Communications. 2020;11(1):3508. doi:10.1038/s41467-020-17252-y
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8142 | OA
Montesinos López JC, Abuzeineh A, Kopf A, et al. Phytohormone cytokinin guides microtubule dynamics during cell progression from proliferative to differentiated stage. The Embo Journal. 2020. doi:10.15252/embj.2019104238
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 8156 | OA
Avvakumov S. Topological Methods in Geometry and Discrete Mathematics. IST Austria; 2020. doi:10.15479/AT:ISTA:8156
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8167 | OA
Stankowski S, Westram AM, Zagrodzka ZB, et al. The evolution of strong reproductive isolation between sympatric intertidal snails. Philosophical Transactions of the Royal Society Series B: Biological Sciences. 2020;375(1806). doi:10.1098/rstb.2019.0545
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8168 | OA
Kulmuni J, Butlin RK, Lucek K, Savolainen V, Westram AM. Towards the completion of speciation: The evolution of reproductive isolation beyond the first barriers. Philosophical Transactions of the Royal Society Series B: Biological sciences. 2020;375(1806). doi:10.1098/rstb.2019.0528
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8169 | OA
Shang H, Hess J, Pickup M, et al. Evolution of strong reproductive isolation in plants: Broad-scale patterns and lessons from a perennial model group. Philosophical Transactions of the Royal Society Series B: Biological Sciences. 2020;375(1806). doi:10.1098/rstb.2019.0544
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8170 | OA
Chatterley AS, Christiansen L, Schouder CA, et al. Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains. Physical Review Letters. 2020;125(1). doi:10.1103/PhysRevLett.125.013001
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Book Chapter | IST-REx-ID: 8173
Kainrath S, Janovjak HL. Design and application of light-regulated receptor tyrosine kinases. In: Niopek D, ed. Photoswitching Proteins. Vol 2173. MIMB. Springer Nature; 2020:233-246. doi:10.1007/978-1-0716-0755-8_16
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 8186 | OA
Henderson PM, Tsiminaki V, Lampert C. Leveraging 2D data to learn textured 3D mesh generation. In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. CVF; 2020:7498-7507.
View | Files available | Download Submitted Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8189
Yu X, Liu J, Li J, et al. Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation. Nano Energy. 2020;77(11). doi:10.1016/j.nanoen.2020.105116
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8190 | OA
Sixt MK, Huttenlocher A. Zena Werb (1945-2020): Cell biology in context. The Journal of cell biology. 2020;219(8). doi:10.1083/jcb.202007029
View | Files available | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8191
Alistarh D-A, Brown TA, Singhal N. Memory tagging: Minimalist synchronization for scalable concurrent data structures. In: Annual ACM Symposium on Parallelism in Algorithms and Architectures. ACM; 2020:37-49. doi:10.1145/3350755.3400213
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point arithmetic. In: Automated Reasoning. Vol 12166. Springer Nature; 2020:13-31. doi:10.1007/978-3-030-51074-9_2
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8195 | OA
Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298. doi:10.1007/978-3-030-53288-8_14
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8196 | OA
Shehu Y, Dong Q-L, Liu L-L, Yao J-C. New strong convergence method for the sum of two maximal monotone operators. Optimization and Engineering. 2020. doi:10.1007/s11081-020-09544-5
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8203 | OA
Katsaros G, Kukucka J, Vukušić L, et al. Zero field splitting of heavy-hole states in quantum dots. Nano Letters. 2020;20(7):5201-5206. doi:10.1021/acs.nanolett.0c01466
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Research Data | IST-REx-ID: 8254 | OA
Arathoon LS. Estimating Inbreeding and Its Effects in a Long-Term Study of Snapdragons (Antirrhinum Majus). IST Austria; 2020. doi:10.15479/AT:ISTA:8254
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8268 | OA
Gurel NM, Kara K, Stojanov A, et al. Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. IEEE Transactions on Signal Processing. 2020. doi:10.1109/TSP.2020.3010355
View | DOI | Download Preprint (ext.) | arXiv
 

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

2020 | Conference Paper | IST-REx-ID: 8272 | OA
Chatterjee K, Katoen JP, Weininger M, Winkler T. Stochastic games with lexicographic reachability-safety objectives. In: International Conference on Computer Aided Verification. Vol 12225. Springer Nature; 2020:398-420. doi: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, et al. AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. International Journal of Molecular Sciences. 2020;21(16). doi:10.3390/ijms21165727
View | Files available | DOI | PubMed | Europe PMC
 

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

2020 | Journal Article | IST-REx-ID: 8317 | OA
Aichholzer O, Akitaya HA, Cheung KC, et al. Folding polyominoes with holes into a cube. Computational Geometry: Theory and Applications. 93. doi:10.1016/j.comgeo.2020.101700
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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

2020 | Journal Article | IST-REx-ID: 8320
Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. Expanding the genetic code: Unnatural base pairs in biological systems. Molecular Biology. 2020;54(4):475-484. doi:10.1134/S0026893320040111
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8321
Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. Expanding the genetic code: Unnatural base pairs in biological systems. Molekuliarnaia biologiia. 2020;54(4):531-541. doi:10.31857/S0026898420040126
View | Files available | DOI | PubMed | Europe PMC
 

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

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

2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl B. Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization. IST Austria; 2020. doi:10.15479/AT:ISTA:8332
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8336 | OA
Kubiasova K, Montesinos López JC, Šamajová O, et al. Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum. Nature Communications. 2020;11. doi: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, et al. Cell-surface receptors enable perception of extracellular cytokinins. Nature Communications. 2020;11. doi:10.1038/s41467-020-17700-9
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8338 | OA
Akopyan A, Bobenko AI, Schief WK, Techter J. On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs. Discrete and Computational Geometry. 2020. doi: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. 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. Springer Nature; 2020:623-651. doi:10.1007/978-3-030-45374-9_21
View | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 8341
Bezeljak U. In Vitro Reconstitution of a Rab Activation Switch. IST Austria; 2020. doi:10.15479/AT:ISTA:8341
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8349 | OA
Nardin M, Phillips JW, Podlaski WF, Keemink SW. Nonlinear computations in spiking neural networks through multiplicative synapses. arXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8361
Varzi A, Thanner K, Scipioni R, et al. Current status and future perspectives of lithium metal batteries. Journal of Power Sources. 2020;480(12). doi:10.1016/j.jpowsour.2020.228803
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications