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.

5760 Publications


2020 | Journal Article | IST-REx-ID: 11980 | OA
Mazzanti, S., Kurpil, B., Pieber, B., Antonietti, M., & Savateev, A. (2020). Dichloromethylation of enones by carbon nitride photocatalysis. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-15131-0
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 11979 | OA
Gisbertz, S., Reischauer, S., & Pieber, B. (2020). Overcoming limitations in dual photoredox/nickel-catalysed C–N cross-couplings due to catalyst deactivation. Nature Catalysis. Springer Nature. https://doi.org/10.1038/s41929-020-0473-6
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 11986 | OA
Rosso, C., Gisbertz, S., Williams, J. D., Gemoets, H. P. L., Debrouwer, W., Pieber, B., & Kappe, C. O. (2020). An oscillatory plug flow photoreactor facilitates semi-heterogeneous dual nickel/carbon nitride photocatalytic C–N couplings. Reaction Chemistry and Engineering. Royal Society of Chemistry. https://doi.org/10.1039/d0re00036a
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7084 | OA
Ghosh, S., Matty, M., Baumbach, R., Bauer, E. D., Modic, K. A., Shekhter, A., … Ramshaw, B. J. (2020). One-component order parameter in URu2Si2 uncovered by resonant  ultrasound spectroscopy and machine learning. Science Advances. American Association for the Advancement of Science. https://doi.org/10.1126/sciadv.aaz4074
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7272 | OA
Arbel-Raviv, M., Brown, T. A., & Morrison, A. (2020). Getting to the root of concurrent binary search tree performance. In Proceedings of the 2018 USENIX Annual Technical Conference (pp. 295–306). Boston, MA, United States: USENIX Association.
[Published Version] View | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 7346 | OA
Schmid, L., Chatterjee, K., & Schmid, S. (2020). The evolutionary price of anarchy: Locally bounded agents in a dynamic virus game. In Proceedings of the 23rd International Conference on Principles of Distributed Systems (Vol. 153). Neuchâtel, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.OPODIS.2019.21
[Preprint] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7348 | OA
Ferrere, T., Henzinger, T. A., & Kragl, B. (2020). Monitoring event frequencies. In 28th EACSL Annual Conference on Computer Science Logic (Vol. 152). Barcelona, Spain: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2020.20
[Published Version] View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7477 | OA
Ménard, G. C., Anselmetti, G. L. R., Martinez, E. A., Puglia, D., Malinowski, F. K., Lee, J. S., … Higginbotham, A. P. (2020). Conductance-matrix symmetries of a three-terminal hybrid device. Physical Review Letters. APS. https://doi.org/10.1103/physrevlett.124.036802
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7478 | OA
Danon, J., Hellenes, A. B., Hansen, E. B., Casparis, L., Higginbotham, A. P., & Flensberg, K. (2020). Nonlocal conductance spectroscopy of Andreev bound states: Symmetry relations and BCS charges. Physical Review Letters. APS. https://doi.org/10.1103/physrevlett.124.036801
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7530 | OA
Senior, J. L., Gubaydullin, A., Karimi, B., Peltonen, J. T., Ankerhold, J., & Pekola, J. P. (2020). Heat rectification via a superconducting artificial atom. Communications Physics. Springer Nature. https://doi.org/10.1038/s42005-020-0307-5
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7545 | OA
Cohn, J. A., Cebul, E. R., Valperga, G., Brose, L., de Bono, M., Heiman, M. G., & Pierce, J. T. (2020). Long-term activity drives dendritic branch elaboration of a C. elegans sensory neuron. Developmental Biology. Elsevier. https://doi.org/10.1016/j.ydbio.2020.01.005
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7567 | OA
Choudhary, A., Kachanovich, S., & Wintraecken, M. (2020). Coxeter triangulations have good quality. Mathematics in Computer Science. Springer Nature. https://doi.org/10.1007/s11786-020-00461-5
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7594 | OA
Gotfryd, D., Paerschke, E., Chaloupka, J., Oles, A. M., & Wohlfeld, K. (2020). How spin-orbital entanglement depends on the spin-orbit coupling in a Mott insulator. Physical Review Research. American Physical Society. https://doi.org/10.1103/PhysRevResearch.2.013353
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7605 | OA
Alistarh, D.-A., Fedorov, A., & Koval, N. (2020). In search of the fastest concurrent union-find algorithm. In 23rd International Conference on Principles of Distributed Systems (Vol. 153, p. 15:1-15:16). Neuchatal, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.OPODIS.2019.15
[Published Version] View | Files available | DOI | arXiv
 

2020 | Preprint | IST-REx-ID: 7601 | OA
Wei, Z., Tan, S., Liu, T., Wu, Y., Lei, J.-G., Chen, Z., … Liao, K. (2020). Plasmodesmata-like intercellular connections by plant remorin in animal cells. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/791137
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7651 | OA
Larsson, J., Westram, A. M., Bengmark, S., Lundh, T., & Butlin, R. K. (2020). A developmentally descriptive method for quantifying shape in gastropod shells. Journal of The Royal Society Interface. The Royal Society. https://doi.org/10.1098/rsif.2019.0721
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7708 | OA
Nabais MF, Lin T, Benyamin B, Williams KL, Garton FC, Vinkhuyzen AAE, Zhang F, Vallerga CL, Restuadi R, Freydenzon A, Zwamborn RAJ, Hop PJ, Robinson MR, Gratten J, Visscher PM, Hannon E, Mill J, Brown MA, Laing NG, Mather KA, Sachdev PS, Ngo ST, Steyn FJ, Wallace L, Henders AK, Needham M, Veldink JH, Mathers S, Nicholson G, Rowe DB, Henderson RD, McCombe PA, Pamphlett R, Yang J, Blair IP, McRae AF, Wray NR. 2020. Significant out-of-sample classification from methylation profile scoring for amyotrophic lateral sclerosis. npj Genomic Medicine. 5, 10.
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7707 | OA
Sulc, J., Mounier, N., Günther, F., Winkler, T., Wood, A. R., Frayling, T. M., … Kutalik, Z. (2020). Quantification of the overall contribution of gene-environment interaction for obesity-related traits. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-15107-0
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7778 | OA
Kimchi, O., Goodrich, C. P., Courbet, A., Curatolo, A. I., Woodall, N. B., Baker, D., & Brenner, M. P. (2020). Self-assembly-based posttranslational protein oscillators. Science Advances. https://doi.org/10.1126/sciadv.abc1939
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7803 | OA
Czumaj, A., Davies, P., & Parter, M. (2020). Simple, deterministic, constant-round coloring in the congested clique. In Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing (pp. 309–318). Salerno, Italy: Association for Computing Machinery. https://doi.org/10.1145/3382734.3405751
[Submitted Version] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7806 | OA
Filakovský, M., Wagner, U., & Zhechev, S. Y. (2020). Embeddability of simplicial complexes is undecidable. In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms (Vol. 2020–January, pp. 767–785). Salt Lake City, UT, United States: SIAM. https://doi.org/10.1137/1.9781611975994.47
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7814 | OA
Beattie, R. J., Hippenmeyer, S., & Pauler, F. (2020). SCOPES: Sparking curiosity through Open-Source platforms in education and science. Frontiers in Education. Frontiers Media. https://doi.org/10.3389/feduc.2020.00048
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7866 | OA
Fellner, K., & Kniely, M. (2020). Uniform convergence to equilibrium for a family of drift–diffusion models with trap-assisted recombination and the limiting Shockley–Read–Hall model. Journal of Elliptic and Parabolic Equations. Springer Nature. https://doi.org/10.1007/s41808-020-00068-8
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7919 | OA
Mistakidis, S. I., Volosniev, A., & Schmelcher, P. (2020). Induced correlations between impurities in a one-dimensional quenched Bose gas. Physical Review Research. American Physical Society. https://doi.org/10.1103/physrevresearch.2.023154
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7991 | OA
Avvakumov, S., & Nivasch, G. (2020). Homotopic curve shortening and the affine curve-shortening flow. In 36th International Symposium on Computational Geometry (Vol. 164). Zürich, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2020.12
[Published Version] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7989 | OA
Patakova, Z. (2020). Bounding radon number via Betti numbers. In 36th International Symposium on Computational Geometry (Vol. 164). Zürich, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2020.61
[Published Version] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7992 | OA
Patakova, Z., Tancer, M., & Wagner, U. (2020). Barycentric cuts through a convex body. In 36th International Symposium on Computational Geometry (Vol. 164). Zürich, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2020.62
[Published Version] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7994 | OA
Arroyo Guevara, A. M., Bensmail, J., & Bruce Richter, R. (2020). Extending drawings of graphs to arrangements of pseudolines. In 36th International Symposium on Computational Geometry (Vol. 164). Zürich, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2020.9
[Published Version] View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8011 | OA
Michailidis, A., Turner, C. J., Papić, Z., Abanin, D. A., & Serbyn, M. (2020). Stabilizing two-dimensional quantum scars by deformation and synchronization. Physical Review Research. American Physical Society. https://doi.org/10.1103/physrevresearch.2.022065
[Published Version] View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8063 | OA
Anciukevicius, T., Lampert, C., & Henderson, P. M. (n.d.). Object-centric image generation with factored depths, locations, and appearances. arXiv.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2020 | Preprint | IST-REx-ID: 8081 | OA
Hobisch, M. A., Mourad, E., Fischer, W. J., Prehal, C., Eyley, S., Childress, A., … Spirk, S. (n.d.). High specific capacitance supercapacitors from hierarchically organized all-cellulose composites.
[Submitted Version] View | Files available
 

2020 | Journal Article | IST-REx-ID: 8105 | OA
Lombardi, F., Wang, J. W. J. L., Zhang, X., & Ivanov, P. C. (2020). 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. EDP Sciences. https://doi.org/10.1051/epjconf/202023000005
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8135 | OA
Edelsbrunner, H., Nikitenko, A., Ölsböck, K., & Synak, P. (2020). Radius functions on Poisson–Delaunay mosaics and related complexes experimentally. In Topological Data Analysis (Vol. 15, pp. 181–218). Springer Nature. https://doi.org/10.1007/978-3-030-43408-3_8
[Submitted Version] View | Files available | DOI
 

2020 | Scientific Software | IST-REx-ID: 8181 | OA
Hauschild, R. (2020). Amplified centrosomes in dendritic cells promote immune cell effector functions. IST Austria. https://doi.org/10.15479/AT:ISTA:8181
View | Files available | DOI
 

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

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 | Preprint | IST-REx-ID: 8307 | OA
Stewart, A., & Kokoris Kogias, E. (n.d.). GRANDPA: A Byzantine finality gadget. arXiv.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8322 | OA
Chakraborty, S., Dziembowski, S., & Nielsen, J. B. (2020). Reverse firewalls for actively secure MPCs. In Advances in Cryptology – CRYPTO 2020 (Vol. 12171, pp. 732–762). Santa Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-030-56880-1_26
[Preprint] View | DOI | Download Preprint (ext.)
 

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

2020 | Journal Article | IST-REx-ID: 8402 | OA
Rampelt, H., Sucec, I., Bersch, B., Horten, P., Perschil, I., Martinou, J.-C., … Pfanner, N. (2020). The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments. BMC Biology. Springer Nature. https://doi.org/10.1186/s12915-019-0733-6
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 8404 | OA
Weinhäupl, K., Wang, Y., Hessel, A., Brennich, M., Lindorff-Larsen, K., & Schanda, P. (n.d.). Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.03.13.990150
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8403 | OA
Sučec, I., Wang, Y., Dakhlaoui, O., Weinhäupl, K., Jores, T., Costa, D., … Schanda, P. (n.d.). Structural basis of client specificity in mitochondrial membrane-protein chaperones. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.06.08.140772
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8572 | OA
Althoff, M., Bak, S., Bao, Z., Forets, M., Frehse, G., Freire, D., … Wetzlinger, M. (2020). ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. In EPiC Series in Computing (Vol. 74, pp. 16–48). EasyChair. https://doi.org/10.29007/7dt2
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8571 | OA
Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Chapoutot, A., Chen, X., … Schilling, C. (2020). ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. In EPiC Series in Computing (Vol. 74, pp. 49–75). EasyChair. https://doi.org/10.29007/zkf6
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8600 | OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2020). Multi-dimensional long-run average problems for vector addition systems with states. In 31st International Conference on Concurrency Theory (Vol. 171). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2020.23
[Published Version] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8599 | OA
Avni, G., & Henzinger, T. A. (2020). A survey of bidding games on graphs. In 31st International Conference on Concurrency Theory (Vol. 171). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2020.2
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8725 | OA
Aksenov, V., Alistarh, D.-A., Drozdova, A., & Mohtashami, A. (2020). The splay-list: A distribution-adaptive concurrent skip-list. In 34th International Symposium on Distributed Computing (Vol. 179, p. 3:1-3:18). Freiburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2020.3
[Published Version] View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8726 | OA
Gotfryd, D., Paerschke, E., Wohlfeld, K., & Oleś, A. M. (2020). Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling. Condensed Matter. MDPI. https://doi.org/10.3390/condmat5030053
[Published Version] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 9040 | OA
Alamdari, P. A., Avni, G., Henzinger, T. A., & Lukina, A. (2020). Formal methods with a touch of magic. In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design (pp. 138–147). Online Conference: TU Wien Academic Press. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications