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.
5401 Publications
2022 | Published | Conference Paper | IST-REx-ID: 12170
Meggendorfer, Tobias. “PET – A Partial Exploration Tool for Probabilistic Verification.” In 20th International Symposium on Automated Technology for Verification and Analysis, 13505:320–26. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-19992-9_20.
View
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 12171 | 
Garcia Soto, Miriam, Thomas A Henzinger, and Christian Schilling. “Synthesis of Parametric Hybrid Automata from Time Series.” In 20th International Symposium on Automated Technology for Verification and Analysis, 13505:337–53. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-19992-9_22.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12173 |
Baumgartner, Maximilian, Rebecca Zirnbauer, Sabine Schlager, Daniel Mertens, Nikolaus Gasche, Barbara Sladek, Craig Herbold, et al. “Atypical Enteropathogenic E. Coli Are Associated with Disease Activity in Ulcerative Colitis.” Gut Microbes. Taylor & Francis, 2022. https://doi.org/10.1080/19490976.2022.2143218.
[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, Sougata, Thomas A Henzinger, Karoliina Lehtinen, Sven Schewe, and Patrick Totzke. “History-Deterministic Timed Automata Are Not Determinizable.” In 16th International Conference on Reachability Problems, 13608:67–76. Springer Nature, 2022. 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, Charlotte, Pavel Hubáček, Chethan Kamath, Karen Klein, and Krzysztof Z Pietrzak. “Practical Statistically-Sound Proofs of Exponentiation in Any Group.” In Advances in Cryptology – CRYPTO 2022, 13508:370–99. Springer Nature, 2022. 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, Tommaso, and Lorenzo Dello Schiavo. “Effective Contraction of Skinning Maps.” Proceedings of the American Mathematical Society, Series B. American Mathematical Society, 2022. https://doi.org/10.1090/bproc/134.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12179 |
Cipolloni, Giorgio, László Erdös, and Dominik J Schröder. “On the Condition Number of the Shifted Real Ginibre Ensemble.” SIAM Journal on Matrix Analysis and Applications. Society for Industrial and Applied Mathematics, 2022. https://doi.org/10.1137/21m1424408.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12182 |
Pacut, Maciej, Mahmoud Parham, Joel Rybicki, Stefan Schmid, Jukka Suomela, and Aleksandr Tereshchenko. “Brief Announcement: Temporal Locality in Online Algorithms.” In 36th International Symposium on Distributed Computing, Vol. 246. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. https://doi.org/10.4230/LIPIcs.DISC.2022.52.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12184 |
Henheik, Sven Joscha, and Tom Wessel. “On Adiabatic Theory for Extended Fermionic Lattice Systems.” Journal of Mathematical Physics. AIP Publishing, 2022. https://doi.org/10.1063/5.0123441.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12208 |
Prehal, Christian, Jean-Marc von Mentlen, Sara Drvarič Talian, Alen Vizintin, Robert Dominko, Heinz Amenitsch, Lionel Porcar, Stefan Alexander Freunberger, and Vanessa Wood. “On the Nanoscale Structural Evolution of Solid Discharge Products in Lithium-Sulfur Batteries Using Operando Scattering.” Nature Communications. Springer Nature, 2022. 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, Diana C, Roland Kardos, Edouard B Hannezo, and Carl-Philipp J Heisenberg. “Morphogen Gradient Orchestrates Pattern-Preserving Tissue Morphogenesis via Motility-Driven Unjamming.” Nature Physics. Springer Nature, 2022. 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, Rauan, Yulia Kuznetsova, Michael Ruzhansky, and Haonan Zhang. “Norms of Certain Functions of a Distinguished Laplacian on the Ax + b Groups.” Mathematische Zeitschrift. Springer Nature, 2022. 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, Alejandro, Carolina Aguado, Rocío Alfaro-Ruiz, Ana Esther Moreno-Martínez, Luis de la Ossa, Ester Aso, Laura Gómez-Acero, et al. “Nanoscale Alterations in GABAB Receptors and GIRK Channel Organization on the Hippocampus of APP/PS1 Mice.” Alzheimer’s Research & Therapy. Springer Nature, 2022. 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, Ekaterina, Wei-Chih Chen, Rajyavardhan Ray, and Cheng-Chien Chen. “Evolution of Electronic and Magnetic Properties of Sr₂IrO₄ under Strain.” Npj Quantum Materials. Springer Nature, 2022. 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, György Pál, Tamás Titkos, and Daniel Virosztek. “The Isometry Group of Wasserstein Spaces: The Hilbertian Case.” Journal of the London Mathematical Society. Wiley, 2022. https://doi.org/10.1112/jlms.12676.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12216 |
Carlen, Eric A., and Haonan Zhang. “Monotonicity Versions of Epstein’s Concavity Theorem and Related Inequalities.” Linear Algebra and Its Applications. Elsevier, 2022. 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., A. Papargyriou, H. C. Maurer, K. Peschke, M. Schuster, G. Zecchin, K. Steiger, et al. “Spatiotemporal Dynamics of Self-Organized Branching in Pancreas-Derived Organoids.” Nature Communications. Springer Nature, 2022. https://doi.org/10.1038/s41467-022-32806-y.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12224 |
Muhia, Mary W, PingAn YuanXiang, Jan Sedlacik, Jürgen R. Schwarz, Frank F. Heisler, Kira V. Gromova, Edda Thies, et al. “Muskelin Regulates Actin-Dependent Synaptic Changes and Intrinsic Brain Activity Relevant to Behavioral and Cognitive Processes.” Communications Biology. Springer Nature, 2022. https://doi.org/10.1038/s42003-022-03446-1.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12225 |
Currin, Christopher, Sebastián Vallejo Vera, and Ali Khaledi-Nasab. “Depolarization of Echo Chambers by Random Dynamical Nudge.” Scientific Reports. Springer Nature, 2022. https://doi.org/10.1038/s41598-022-12494-w.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC