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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Edelsbrunner H, Nikitenko A, Ölsböck K, Synak P. 2020. Radius functions on Poisson–Delaunay mosaics and related complexes experimentally. Topological Data Analysis. , Abel Symposia, vol. 15, 181–218.
[Submitted Version]
View
| Files available
| DOI
2020 | Scientific Software | IST-REx-ID: 8181 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hauschild R. 2020. Amplified centrosomes in dendritic cells promote immune cell effector functions, IST Austria, 10.15479/AT:ISTA:8181.
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 8225 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Köhler VK, Crescioli S, Singer J, Bax HJ, Hofer G, Pranger CL, Hufnagl K, Bianchini R, Flicker S, Keller W, Karagiannis SN, 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. 21(16), 5693.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2020 |Epub ahead of print| Journal Article | IST-REx-ID: 8226 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gotovina J, Bianchini R, Singer J, Herrmann I, Pellizzari G, Haidl ID, Hufnagl K, Karagiannis SN, Marshall JS, Jensen‐Jarolim E. 2020. Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro. Allergy.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Scientific Software | IST-REx-ID: 8294 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hauschild R. 2020. RGtracker, IST Austria, 10.15479/AT:ISTA:8294.
View
| Files available
| DOI
2020 |Submitted| Preprint | IST-REx-ID: 8307 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Stewart A, Kokoris Kogias E. GRANDPA: A Byzantine finality gadget. arXiv, 2007.01560.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 8322 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chakraborty S, Dziembowski S, Nielsen JB. 2020. Reverse firewalls for actively secure MPCs. Advances in Cryptology – CRYPTO 2020. CRYPTO: Annual International Cryptology Conference, LNCS, vol. 12171, 732–762.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 8339 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Genise N, Micciancio D, Peikert C, Walter M. 2020. Improved discrete Gaussian and subgaussian analysis for lattice cryptography. 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography, LNCS, vol. 12110, 623–651.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Journal Article | IST-REx-ID: 8402 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rampelt H, Sucec I, Bersch B, Horten P, Perschil I, Martinou J-C, van der Laan M, Wiedemann N, Schanda P, Pfanner N. 2020. The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments. BMC Biology. 18, 2.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 |Submitted| Preprint | IST-REx-ID: 8404 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Weinhäupl K, Wang Y, Hessel A, Brennich M, Lindorff-Larsen K, Schanda P. Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone. bioRxiv, 10.1101/2020.03.13.990150.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Submitted| Preprint | IST-REx-ID: 8403 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sučec I, Wang Y, Dakhlaoui O, Weinhäupl K, Jores T, Costa D, Hessel A, Brennich M, Rapaport D, Lindorff-Larsen K, Bersch B, Schanda P. Structural basis of client specificity in mitochondrial membrane-protein chaperones. bioRxiv, 10.1101/2020.06.08.140772.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 8572 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Althoff M, Bak S, Bao Z, Forets M, Frehse G, Freire D, Kochdumper N, Li Y, Mitra S, Ray R, Schilling C, Schupp S, Wetzlinger M. 2020. ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 74, 16–48.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 8571 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Geretti L, Alexandre Dit Sandretto J, Althoff M, Benet L, Chapoutot A, Chen X, Collins P, Forets M, Freire D, Immler F, Kochdumper N, Sanders D, Schilling C. 2020. ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 74, 49–75.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 8600 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Henzinger TA, Otop J. 2020. Multi-dimensional long-run average problems for vector addition systems with states. 31st International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 171, 23.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 8599 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Avni G, Henzinger TA. 2020. A survey of bidding games on graphs. 31st International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 171, 2.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 8725 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Aksenov V, Alistarh D-A, Drozdova A, Mohtashami A. 2020. The splay-list: A distribution-adaptive concurrent skip-list. 34th International Symposium on Distributed Computing. DISC: Symposium on Distributed ComputingLIPIcs vol. 179, 3:1-3:18.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 8726 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gotfryd D, Paerschke E, Wohlfeld K, Oleś AM. 2020. Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling. Condensed Matter. 5(3), 53.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 9040 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alamdari PA, Avni G, Henzinger TA, Lukina A. 2020. Formal methods with a touch of magic. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 138–147.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 9126 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Risi C, Muller CJ, Blossey P. 2020. 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. 12(8), e2020MS002106.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 |Published| Journal Article | IST-REx-ID: 9127 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Drobinski P, Da Silva N, Bastin S, Mailler S, Muller CJ, Ahrens B, Christensen OB, Lionello P. 2020. How warmer and drier will the Mediterranean region be at the end of the twenty-first century? Regional Environmental Change. 20(9), 78.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)