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.
10552 Publications
2022 | Published | Conference Paper | IST-REx-ID: 12171 | 
Garcia Soto M, Henzinger TA, Schilling C. 2022. Synthesis of parametric hybrid automata from time series. 20th International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 13505, 337–353.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12173 |
Baumgartner M, Zirnbauer R, Schlager S, Mertens D, Gasche N, Sladek B, Herbold C, Bochkareva O, Emelianenko V, Vogelsang H, Lang M, Klotz A, Moik B, Makristathis A, Berry D, Dabsch S, Khare V, Gasche C. 2022. Atypical enteropathogenic E. coli are associated with disease activity in ulcerative colitis. Gut Microbes. 14(1), e2143218.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12174 |
Guerrini R, Mei D, Szigeti MK, Pepe S, Koenig MK, Von Allmen G, Cho MT, McDonald K, Baker J, Bhambhani V, Powis Z, Rodan L, Nabbout R, Barcia G, Rosenfeld JA, Bacino CA, Mignot C, Power LH, Harris CJ, Marjanovic D, Møller RS, Hammer TB, Keski Filppula R, Vieira P, Hildebrandt C, Sacharow S, Maragliano L, Benfenati F, Lachlan K, Benneche A, Petit F, de Sainte Agathe JM, Hallinan B, Si Y, Wentzensen IM, Zou F, Narayanan V, Matsumoto N, Boncristiano A, la Marca G, Kato M, Anderson K, Barba C, Sturiale L, Garozzo D, Bei R, Masuelli L, Conti V, Novarino G, Fassio A. 2022. Phenotypic and genetic spectrum of ATP6V1A encephalopathy: A disorder of lysosomal homeostasis. Brain. 145(8), 2687–2703.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2022 | Published | Conference Paper | IST-REx-ID: 12175 |
Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. 2022. History-deterministic timed automata are not determinizable. 16th International Conference on Reachability Problems. RC: Reachability Problems, LNCS, vol. 13608, 67–76.
[Preprint]
View
| DOI
| Download Preprint (ext.)
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. 9(43), 445–459.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12179 |
Cipolloni G, Erdös L, Schröder DJ. 2022. On the condition number of the shifted real Ginibre ensemble. SIAM Journal on Matrix Analysis and Applications. 43(3), 1469–1487.
[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. 36th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing vol. 246, 52.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12208 |
Prehal C, von Mentlen J-M, Drvarič Talian S, Vizintin A, Dominko R, Amenitsch H, Porcar L, Freunberger SA, Wood V. 2022. On the nanoscale structural evolution of solid discharge products in lithium-sulfur batteries using operando scattering. Nature Communications. 13, 6326.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12209 |
Nunes Pinheiro DC, Kardos R, Hannezo EB, Heisenberg C-PJ. 2022. Morphogen gradient orchestrates pattern-preserving tissue morphogenesis via motility-driven unjamming. Nature Physics. 18(12), 1482–1493.
[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. 302(4), 2327–2352.
[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 AE, de la Ossa L, Aso E, Gómez-Acero L, Shigemoto R, Fukazawa Y, Ciruela F, Luján R. 2022. Nanoscale alterations in GABAB receptors and GIRK channel organization on the hippocampus of APP/PS1 mice. Alzheimer’s Research & Therapy. 14, 136.
[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. 7, 90.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12214 |
Gehér GP, Titkos T, Virosztek D. 2022. The isometry group of Wasserstein spaces: The Hilbertian case. Journal of the London Mathematical Society. 106(4), 3865–3894.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12216 |
Carlen EA, Zhang H. 2022. Monotonicity versions of Epstein’s concavity theorem and related inequalities. Linear Algebra and its Applications. 654, 289–310.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12217 |
Randriamanantsoa S, Papargyriou A, Maurer HC, Peschke K, Schuster M, Zecchin G, Steiger K, Öllinger R, Saur D, Scheel C, Rad R, Hannezo EB, Reichert M, Bausch AR. 2022. Spatiotemporal dynamics of self-organized branching in pancreas-derived organoids. Nature Communications. 13, 5219.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12224 |
Muhia MW, YuanXiang P, Sedlacik J, Schwarz JR, Heisler FF, Gromova KV, Thies E, Breiden P, Pechmann Y, Kreutz MR, Kneussel M. 2022. Muskelin regulates actin-dependent synaptic changes and intrinsic brain activity relevant to behavioral and cognitive processes. Communications Biology. 5, 589.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12225 |
Currin C, Vera SV, Khaledi-Nasab A. 2022. Depolarization of echo chambers by random dynamical nudge. Scientific Reports. 12, 9234.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12227 |
Kovačič S, Schafzahl B, Matsko NB, Gruber K, Schmuck M, Koller S, Freunberger SA, 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. 5(11), 14381–14390.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12228 |
Xu F, Crisp A, Schinkel T, Dubini RCA, Hübner S, Becker S, Schelter F, Rovo P, Carell T. 2022. Isoxazole nucleosides as building blocks for a plausible proto‐RNA. Angewandte Chemie International Edition. 61(45), e202211945.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12231 |
Kogure YS, Muraoka H, Koizumi WC, Gelin-alessi R, Godard BG, Oka K, Heisenberg C-PJ, Hotta K. 2022. Admp regulates tail bending by controlling ventral epidermal cell polarity via phosphorylated myosin localization in Ciona. Development. 149(21), dev200215.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC