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.

2926 Publications


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

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, 11. 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, 11. https://doi.org/10.1038/s41467-020-17700-9
View | DOI | Download Published Version (ext.)
 

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. 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: 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 | Journal Article | IST-REx-ID: 8361
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, 480(12). https://doi.org/10.1016/j.jpowsour.2020.228803
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8373 | OA
Pitrik, J., & Virosztek, D. (2020). A divergence center interpretation of general symmetric Kubo-Ando means, and related weighted multivariate operator means. Linear Algebra and Its Applications, 609, 203–217. https://doi.org/10.1016/j.laa.2020.09.007
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8193
Chatterjee, K., Chmelik, M., Karkhanis, D., Novotný, P., & Royer, A. (2020). Multiple-environment Markov decision processes: Efficient analysis and applications. In Proceedings of the 30th International Conference on Automated Planning and Scheduling (Vol. 30, pp. 48–56). Nancy, France: Association for the Advancement of Artificial Intelligence.
View | Files available
 

2020 | Journal Article | IST-REx-ID: 7847 | OA
Bouchal, R., Li, Z., Bongu, C., Le Vot, S., Berthelot, R., Rotenberg, B., … Fontaine, O. (2020). Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie International Edition, 59(37), 15913–1591. https://doi.org/10.1002/anie.202005378
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8057 | OA
Bouchal, R., Li, Z., Bongu, C., Le Vot, S., Berthelot, R., Rotenberg, B., … Fontaine, O. (2020). Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie, 132(37), 16047–16051. https://doi.org/10.1002/ange.202005378
View | Files available | 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, 39(4). https://doi.org/10.1145/3386569.3392405
View | DOI | Download Published 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, 39(4). https://doi.org/10.1145/3386569.3392412
View | DOI | Download Published Version (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 | 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.
View | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8430 | OA
Ojavee, S. E., Kousathanas, A., Trejo Banos, D., Orliac, E. J., Patxot, M., Lall, K., … Robinson, M. R. (2020). Genomic architecture and prediction of censored time-to-event phenotypes with a Bayesian genome-wide analysis. MedRxiv. Cold Spring Harbor Laboratory.
View | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8038 | OA
Fink, J. M., Kalaee, M., Norte, R., Pitanti, A., & Painter, O. (2020). Efficient microwave frequency conversion mediated by a photonics compatible silicon nitride nanobeam oscillator. Quantum Science and Technology, 5(3). https://doi.org/10.1088/2058-9565/ab8dce
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7505 | OA
Henzinger, T. A., Lukina, A., & Schilling, C. (2020). Outside the box: Abstraction-based monitoring of neural networks. In 24th European Conference on Artificial Intelligence (Vol. 325, pp. 2433–2440). Santiago de Compostela, Spain: IOS Press. https://doi.org/10.3233/FAIA200375
View | Files available | DOI | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications