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.

8355 Publications


2020 | Published | Journal Article | IST-REx-ID: 8203 | OA
Katsaros, G., Kukucka, J., Vukušić, L., Watzinger, H., Gao, F., Wang, T., … Held, K. (2020). Zero field splitting of heavy-hole states in quantum dots. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.0c01466
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 8220 | OA
Corominas-Murtra, B., Scheele, C. L. G. J., Kishi, K., Ellenbroek, S. I. J., Simons, B. D., Van Rheenen, J., & Hannezo, E. B. (2020). Stem cell lineage survival as a noisy competition for niche access. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.1921205117
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 8225 | OA
Köhler, V. K., Crescioli, S., Singer, J., Bax, H. J., Hofer, G., Pranger, C. L., … Jensen-Jarolim, E. (2020). Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms21165693
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2020 | Epub ahead of print | Journal Article | IST-REx-ID: 8226 | OA
Gotovina, J., Bianchini, R., Singer, J., Herrmann, I., Pellizzari, G., Haidl, I. D., … Jensen‐Jarolim, E. (2020). Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro. Allergy. Wiley. https://doi.org/10.1111/all.14299
[Published Version] View | DOI | Download Published Version (ext.)
 

earlier version | 2020 | Research Data | IST-REx-ID: 8254 | OA
Arathoon, L. S. (2020). Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus). Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8254
[Published Version] View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 8261 | OA
Zhang, X., Schlögl, A., & Jonas, P. M. (2020). Selective routing of spatial information flow from input to output in hippocampal granule cells. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2020.07.006
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | 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
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 8271 | OA
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
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

earlier version | 2020 | Published | 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
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | 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
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

earlier version | 2020 | Published | Conference Paper | IST-REx-ID: 8287 | OA
Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (2020). Reachability analysis of linear hybrid systems via block decomposition. In Proceedings of the International Conference on Embedded Software. Virtual .
[Preprint] View | Files available | WoS | 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 | Submitted | Preprint | IST-REx-ID: 8307 | OA
Stewart, A., & Kokoris Kogias, E. (n.d.). GRANDPA: A Byzantine finality gadget. arXiv. https://doi.org/10.48550/arXiv.2007.01560
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | 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
[Preprint] View | Files available | DOI | WoS | arXiv
 

2020 | Published | 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
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | 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.) | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8324 | OA
Wang, P., Fu, H., Chatterjee, K., Deng, Y., & Xu, M. (2020). Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. In Proceedings of the ACM on Programming Languages (Vol. 4). ACM. https://doi.org/10.1145/3371093
[Published Version] View | Files available | DOI | arXiv
 

2020 | Published | 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
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | 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
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8332 | OA
Kragl, B. (2020). Verifying concurrent programs: Refinement, synchronization, sequentialization. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8332
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed