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.
513 Publications
2020 | Published | Book (Editor) | IST-REx-ID: 7474 | 
Schlögl, A., Kiss, J., & Elefante, S. (Eds.). (2020). Austrian High-Performance-Computing meeting (AHPC2020). Presented at the AHPC: Austrian High-Performance-Computing Meeting, Klosterneuburg, Austria: IST Austria. https://doi.org/10.15479/AT:ISTA:7474
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7632 |
Tombaz, T., Dunn, B. A., Hovde, K., Cubero, R. J., Mimica, B., Mamidanna, P., … Whitlock, J. R. (2020). Action representation in the mouse parieto-frontal network. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-020-62089-6
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8402 |
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 | Research Data Reference | IST-REx-ID: 9885
Ucar, M. C., & Lipowsky, R. (2020). MURL_Dataz. American Chemical Society . https://doi.org/10.1021/acs.nanolett.9b04445.s002
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8973 |
Redig, F., Saada, E., & Sau, F. (2020). Symmetric simple exclusion process in dynamic environment: Hydrodynamics. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/20-EJP536
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8571 |
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 | Published | Conference Paper | IST-REx-ID: 7952 |
Boissonnat, J.-D., & Wintraecken, M. (2020). The topological correctness of PL-approximations of isomanifolds. 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.20
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7792 |
Taboada-Gutiérrez, J., Álvarez-Pérez, G., Duan, J., Ma, W., Crowley, K., Prieto Gonzalez, I., … Alonso-González, P. (2020). Broad spectral tuning of ultra-low-loss polaritons in a van der Waals crystal by intercalation. Nature Materials. Springer Nature. https://doi.org/10.1038/s41563-020-0665-0
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8568 |
Prehal, C., Fitzek, H., Kothleitner, G., Presser, V., Gollas, B., Freunberger, S. A., & Abbas, Q. (2020). Persistent and reversible solid iodine electrodeposition in nanoporous carbons. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-18610-6
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 7207 |
Martín-Belmonte, A., Aguado, C., Alfaro-Ruíz, R., Moreno-Martínez, A. E., De La Ossa, L., Martínez-Hernández, J., … Luján, R. (2020). Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer’s disease. Brain Pathology. Wiley. https://doi.org/10.1111/bpa.12802
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 7940 |
Yang, Y., & Zhao, G. (2020). The PBW theorem for affine Yangians. Transformation Groups. Springer Nature. https://doi.org/10.1007/s00031-020-09572-6
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8091 |
Seiringer, R., & Yngvason, J. (2020). Emergence of Haldane pseudo-potentials in systems with short-range interactions. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-020-02586-0
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 9040 |
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
2020 | Published | Journal Article | IST-REx-ID: 7161 |
Shehu, Y., Gibali, A., & Sagratella, S. (2020). Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization Theory and Applications. Springer Nature. https://doi.org/10.1007/s10957-019-01616-6
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 10874 |
Ionica, S., Kılıçer, P., Lauter, K., Lorenzo García, E., Manzateanu, M.-A., Massierer, M., & Vincent, C. (2019). Modular invariants for genus 3 hyperelliptic curves. Research in Number Theory. Springer Nature. https://doi.org/10.1007/s40993-018-0146-6
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 11505 |
de La Vieuville G, Bina D, Pello R, Mahler G, Richard J, Drake AB, Herenz EC, Bauer FE, Clément B, Lagattuta D, Laporte N, Martinez J, Patrício V, Wisotzki L, Zabl J, Bouwens RJ, Contini T, Garel T, Guiderdoni B, Marino RA, Maseda MV, Matthee JJ, Schaye J, Soucail G. 2019. Faint end of the z ∼ 3–7 luminosity function of Lyman-alpha emitters behind lensing clusters observed with MUSE. Astronomy & Astrophysics. 628, A3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 11535 |
Khostovan, A. A., Sobral, D., Mobasher, B., Matthee, J. J., Cochrane, R. K., Chartab, N., … Calhau, J. (2019). The clustering of typical Ly α emitters from z ∼ 2.5–6: Host halo masses depend on Ly α and UV luminosities. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stz2149
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 11850 |
Henzinger, M., Neumann, S., & Schmid, S. (2019). Efficient distributed workload (re-)embedding. In SIGMETRICS’19: International Conference on Measurement and Modeling of Computer Systems (pp. 43–44). Phoenix, AZ, United States: Association for Computing Machinery. https://doi.org/10.1145/3309697.3331503
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 11851
Henzinger, M., Noe, A., & Schulz, C. (2019). Shared-memory exact minimum cuts. In 33rd International Parallel and Distributed Processing Symposium. Rio de Janeiro, Brazil: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ipdps.2019.00013
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 170 |
Browning, T. D., & Sofos, E. (2019). Counting rational points on quartic del Pezzo surfaces with a rational conic. Mathematische Annalen. Springer Nature. https://doi.org/10.1007/s00208-018-1716-6
[Published Version]
View
| Files available
| DOI
| arXiv