Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4841 Publications
2022 | Published | Conference Paper | IST-REx-ID: 12175 | 
Bose, S., Henzinger, T. A., Lehtinen, K., Schewe, S., & Totzke, P. (2022). History-deterministic timed automata are not determinizable. In 16th International Conference on Reachability Problems (Vol. 13608, pp. 67–76). Kaiserslautern, Germany: Springer Nature. https://doi.org/10.1007/978-3-031-19135-0_5
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 12176 |
Hoffmann, C., Hubáček, P., Kamath, C., Klein, K., & Pietrzak, K. Z. (2022). Practical statistically-sound proofs of exponentiation in any group. In Advances in Cryptology – CRYPTO 2022 (Vol. 13508, pp. 370–399). Santa Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-031-15979-4_13
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12177 |
Cremaschi, T., & Dello Schiavo, L. (2022). Effective contraction of Skinning maps. Proceedings of the American Mathematical Society, Series B. American Mathematical Society. https://doi.org/10.1090/bproc/134
[Published Version]
View
| Files available
| DOI
2022 | Epub ahead of print | Journal Article | IST-REx-ID: 12178 |
Agresti, A., Hieber, M., Hussein, A., & Saal, M. (2022). The stochastic primitive equations with transport noise and turbulent pressure. Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature. https://doi.org/10.1007/s40072-022-00277-3
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12179 |
Cipolloni, G., Erdös, L., & Schröder, D. J. (2022). On the condition number of the shifted real Ginibre ensemble. SIAM Journal on Matrix Analysis and Applications. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/21m1424408
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12182 |
Pacut, M., Parham, M., Rybicki, J., Schmid, S., Suomela, J., & Tereshchenko, A. (2022). Brief announcement: Temporal locality in online algorithms. In 36th International Symposium on Distributed Computing (Vol. 246). Augusta, GA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2022.52
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12184 |
Henheik, S. J., & Wessel, T. (2022). On adiabatic theory for extended fermionic lattice systems. Journal of Mathematical Physics. AIP Publishing. https://doi.org/10.1063/5.0123441
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12208 |
Prehal, C., von Mentlen, J.-M., Drvarič Talian, S., Vizintin, A., Dominko, R., Amenitsch, H., … Wood, V. (2022). On the nanoscale structural evolution of solid discharge products in lithium-sulfur batteries using operando scattering. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-022-33931-4
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12209 |
Nunes Pinheiro, D. C., Kardos, R., Hannezo, E. B., & Heisenberg, C.-P. J. (2022). Morphogen gradient orchestrates pattern-preserving tissue morphogenesis via motility-driven unjamming. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-022-01787-6
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12210 |
Akylzhanov, R., Kuznetsova, Y., Ruzhansky, M., & Zhang, H. (2022). Norms of certain functions of a distinguished Laplacian on the ax + b groups. Mathematische Zeitschrift. Springer Nature. https://doi.org/10.1007/s00209-022-03143-z
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12212 |
Martín-Belmonte, A., Aguado, C., Alfaro-Ruiz, R., Moreno-Martínez, A. E., de la Ossa, L., Aso, E., … Luján, R. (2022). Nanoscale alterations in GABAB receptors and GIRK channel organization on the hippocampus of APP/PS1 mice. Alzheimer’s Research & Therapy. Springer Nature. https://doi.org/10.1186/s13195-022-01078-5
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12213 |
Paerschke, E., Chen, W.-C., Ray, R., & Chen, C.-C. (2022). Evolution of electronic and magnetic properties of Sr₂IrO₄ under strain. Npj Quantum Materials. Springer Nature. https://doi.org/10.1038/s41535-022-00496-w
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12214 |
Gehér, G. P., Titkos, T., & Virosztek, D. (2022). The isometry group of Wasserstein spaces: The Hilbertian case. Journal of the London Mathematical Society. Wiley. https://doi.org/10.1112/jlms.12676
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12216 |
Carlen, E. A., & Zhang, H. (2022). Monotonicity versions of Epstein’s concavity theorem and related inequalities. Linear Algebra and Its Applications. Elsevier. https://doi.org/10.1016/j.laa.2022.09.001
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12217 |
Randriamanantsoa, S., Papargyriou, A., Maurer, H. C., Peschke, K., Schuster, M., Zecchin, G., … Bausch, A. R. (2022). Spatiotemporal dynamics of self-organized branching in pancreas-derived organoids. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-022-32806-y
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12225 |
Currin, C., Vera, S. V., & Khaledi-Nasab, A. (2022). Depolarization of echo chambers by random dynamical nudge. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-022-12494-w
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12226 |
Pokusaeva, V., Diez, A. R., Espinar, L., Pérez, A. T., & Filion, G. J. (2022). Strand asymmetry influences mismatch resolution during single-strand annealing. Genome Biology. Springer Nature. https://doi.org/10.1186/s13059-022-02665-3
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12227 |
Kovačič, S., Schafzahl, B., Matsko, N. B., Gruber, K., Schmuck, M., Koller, S., … Slugovc, C. (2022). Carbon foams via ring-opening metathesis polymerization of emulsion templates: A facile method to make carbon current collectors for battery applications. ACS Applied Energy Materials. American Chemical Society. https://doi.org/10.1021/acsaem.2c02787
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Conference Paper | IST-REx-ID: 12229 |
Spiegelman, A., Giridharan, N., Sonnino, A., & Kokoris Kogias, E. (2022). Bullshark: DAG BFT protocols made practical. In Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (pp. 2705–2718). Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3548606.3559361
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12231 |
Kogure, Y. S., Muraoka, H., Koizumi, W. C., Gelin-alessi, R., Godard, B. G., Oka, K., … Hotta, K. (2022). Admp regulates tail bending by controlling ventral epidermal cell polarity via phosphorylated myosin localization in Ciona. Development. The Company of Biologists. https://doi.org/10.1242/dev.200215
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC