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.
5859 Publications
2020 |Published| Conference Paper | IST-REx-ID: 8135 | 
Edelsbrunner, Herbert, Anton Nikitenko, Katharina Ölsböck, and Peter Synak. “Radius Functions on Poisson–Delaunay Mosaics and Related Complexes Experimentally.” In Topological Data Analysis, 15:181–218. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-43408-3_8.
[Submitted Version]
View
| Files available
| DOI
2020 | Scientific Software | IST-REx-ID: 8181 |
Hauschild, Robert. “Amplified Centrosomes in Dendritic Cells Promote Immune Cell Effector Functions.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8181.
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 8225 |
Köhler, Verena K., Silvia Crescioli, Judit Singer, Heather J. Bax, Gerhard Hofer, Christina L. Pranger, Karin Hufnagl, et al. “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, 2020. 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 |
Gotovina, Jelena, Rodolfo Bianchini, Judit Singer, Ina Herrmann, Giulia Pellizzari, Ian D. Haidl, Karin Hufnagl, Sophia N. Karagiannis, Jean S. Marshall, and Erika Jensen‐Jarolim. “Epinephrine Drives Human M2a Allergic Macrophages to a Regulatory Phenotype Reducing Mast Cell Degranulation in Vitro.” Allergy. Wiley, 2020. https://doi.org/10.1111/all.14299.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Scientific Software | IST-REx-ID: 8294 |
Hauschild, Robert. “RGtracker.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8294.
View
| Files available
| DOI
2020 |Submitted| Preprint | IST-REx-ID: 8307 |
Stewart, Alistair, and Eleftherios Kokoris Kogias. “GRANDPA: A Byzantine Finality Gadget.” ArXiv, n.d.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 8322 |
Chakraborty, Suvradip, Stefan Dziembowski, and Jesper Buus Nielsen. “Reverse Firewalls for Actively Secure MPCs.” In Advances in Cryptology – CRYPTO 2020, 12171:732–62. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-56880-1_26.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 8339 |
Genise, Nicholas, Daniele Micciancio, Chris Peikert, and Michael Walter. “Improved Discrete Gaussian and Subgaussian Analysis for Lattice Cryptography.” In 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, 12110:623–51. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-45374-9_21.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Journal Article | IST-REx-ID: 8402 |
Rampelt, Heike, Iva Sucec, Beate Bersch, Patrick Horten, Inge Perschil, Jean-Claude Martinou, Martin van der Laan, Nils Wiedemann, Paul Schanda, and Nikolaus Pfanner. “The Mitochondrial Carrier Pathway Transports Non-Canonical Substrates with an Odd Number of Transmembrane Segments.” BMC Biology. Springer Nature, 2020. https://doi.org/10.1186/s12915-019-0733-6.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 |Submitted| Preprint | IST-REx-ID: 8404 |
Weinhäupl, Katharina, Yong Wang, Audrey Hessel, Martha Brennich, Kresten Lindorff-Larsen, and Paul Schanda. “Architecture and Subunit Dynamics of the Mitochondrial TIM9·10·12 Chaperone.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2020.03.13.990150.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Submitted| Preprint | IST-REx-ID: 8403 |
Sučec, Iva, Yong Wang, Ons Dakhlaoui, Katharina Weinhäupl, Tobias Jores, Doriane Costa, Audrey Hessel, et al. “Structural Basis of Client Specificity in Mitochondrial Membrane-Protein Chaperones.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2020.06.08.140772.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 8572 |
Althoff, Matthias, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Dynamics.” In EPiC Series in Computing, 74:16–48. EasyChair, 2020. https://doi.org/10.29007/7dt2.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 8571 |
Geretti, Luca, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In EPiC Series in Computing, 74:49–75. EasyChair, 2020. https://doi.org/10.29007/zkf6.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 8600 |
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States.” In 31st International Conference on Concurrency Theory, Vol. 171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.CONCUR.2020.23.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 8599 |
Avni, Guy, and Thomas A Henzinger. “A Survey of Bidding Games on Graphs.” In 31st International Conference on Concurrency Theory, Vol. 171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.CONCUR.2020.2.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 8725 |
Aksenov, Vitaly, Dan-Adrian Alistarh, Alexandra Drozdova, and Amirkeivan Mohtashami. “The Splay-List: A Distribution-Adaptive Concurrent Skip-List.” In 34th International Symposium on Distributed Computing, 179:3:1-3:18. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.DISC.2020.3.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 8726 |
Gotfryd, Dorota, Ekaterina Paerschke, Krzysztof Wohlfeld, and Andrzej M. Oleś. “Evolution of Spin-Orbital Entanglement with Increasing Ising Spin-Orbit Coupling.” Condensed Matter. MDPI, 2020. https://doi.org/10.3390/condmat5030053.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 9040 |
Alamdari, Par Alizadeh, Guy Avni, Thomas A Henzinger, and Anna Lukina. “Formal Methods with a Touch of Magic.” In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, 138–47. TU Wien Academic Press, 2020. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 9126 |
Risi, Camille, Caroline J Muller, and Peter Blossey. “What Controls the Water Vapor Isotopic Composition near the Surface of Tropical Oceans? Results from an Analytical Model Constrained by Large‐eddy Simulations.” Journal of Advances in Modeling Earth Systems. American Geophysical Union, 2020. https://doi.org/10.1029/2020ms002106.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 |Published| Journal Article | IST-REx-ID: 9127 |
Drobinski, Philippe, Nicolas Da Silva, Sophie Bastin, Sylvain Mailler, Caroline J Muller, Bodo Ahrens, Ole B. Christensen, and Piero Lionello. “How Warmer and Drier Will the Mediterranean Region Be at the End of the Twenty-First Century?” Regional Environmental Change. Springer Nature, 2020. https://doi.org/10.1007/s10113-020-01659-w.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)