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.
5256 Publications
2022 | Published | Conference Paper | IST-REx-ID: 12170
PET – A partial exploration tool for probabilistic verification
T. Meggendorfer, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 320–326.
View
| DOI
T. Meggendorfer, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 320–326.
2022 | Published | Conference Paper | IST-REx-ID: 12171 | 
Synthesis of parametric hybrid automata from time series
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 337–353.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 337–353.
2022 | Published | Journal Article | IST-REx-ID: 12173 |
Atypical enteropathogenic E. coli are associated with disease activity in ulcerative colitis
M. Baumgartner, R. Zirnbauer, S. Schlager, D. Mertens, N. Gasche, B. Sladek, C. Herbold, O. Bochkareva, V. Emelianenko, H. Vogelsang, M. Lang, A. Klotz, B. Moik, A. Makristathis, D. Berry, S. Dabsch, V. Khare, C. Gasche, Gut Microbes 14 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
M. Baumgartner, R. Zirnbauer, S. Schlager, D. Mertens, N. Gasche, B. Sladek, C. Herbold, O. Bochkareva, V. Emelianenko, H. Vogelsang, M. Lang, A. Klotz, B. Moik, A. Makristathis, D. Berry, S. Dabsch, V. Khare, C. Gasche, Gut Microbes 14 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12174 |
Phenotypic and genetic spectrum of ATP6V1A encephalopathy: A disorder of lysosomal homeostasis
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
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.
2022 | Published | Conference Paper | IST-REx-ID: 12175 |
History-deterministic timed automata are not determinizable
S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, in:, 16th International Conference on Reachability Problems, Springer Nature, 2022, pp. 67–76.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, in:, 16th International Conference on Reachability Problems, Springer Nature, 2022, pp. 67–76.
2022 | Published | Conference Paper | IST-REx-ID: 12176 |
Practical statistically-sound proofs of exponentiation in any group
C. Hoffmann, P. Hubáček, C. Kamath, K. Klein, K.Z. Pietrzak, in:, Advances in Cryptology – CRYPTO 2022, Springer Nature, 2022, pp. 370–399.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
C. Hoffmann, P. Hubáček, C. Kamath, K. Klein, K.Z. Pietrzak, in:, Advances in Cryptology – CRYPTO 2022, Springer Nature, 2022, pp. 370–399.
2022 | Published | Journal Article | IST-REx-ID: 12177 |
Effective contraction of Skinning maps
T. Cremaschi, L. Dello Schiavo, Proceedings of the American Mathematical Society, Series B 9 (2022) 445–459.
[Published Version]
View
| Files available
| DOI
T. Cremaschi, L. Dello Schiavo, Proceedings of the American Mathematical Society, Series B 9 (2022) 445–459.
2022 | Published | Journal Article | IST-REx-ID: 12179 |
On the condition number of the shifted real Ginibre ensemble
G. Cipolloni, L. Erdös, D.J. Schröder, SIAM Journal on Matrix Analysis and Applications 43 (2022) 1469–1487.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, SIAM Journal on Matrix Analysis and Applications 43 (2022) 1469–1487.
2022 | Published | Conference Paper | IST-REx-ID: 12182 |
Brief announcement: Temporal locality in online algorithms
M. Pacut, M. Parham, J. Rybicki, S. Schmid, J. Suomela, A. Tereshchenko, in:, 36th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version]
View
| Files available
| DOI
M. Pacut, M. Parham, J. Rybicki, S. Schmid, J. Suomela, A. Tereshchenko, in:, 36th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
2022 | Published | Journal Article | IST-REx-ID: 12184 |
On adiabatic theory for extended fermionic lattice systems
S.J. Henheik, T. Wessel, Journal of Mathematical Physics 63 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S.J. Henheik, T. Wessel, Journal of Mathematical Physics 63 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12208 |
On the nanoscale structural evolution of solid discharge products in lithium-sulfur batteries using operando scattering
C. Prehal, J.-M. von Mentlen, S. Drvarič Talian, A. Vizintin, R. Dominko, H. Amenitsch, L. Porcar, S.A. Freunberger, V. Wood, Nature Communications 13 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. Prehal, J.-M. von Mentlen, S. Drvarič Talian, A. Vizintin, R. Dominko, H. Amenitsch, L. Porcar, S.A. Freunberger, V. Wood, Nature Communications 13 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12209 |
Morphogen gradient orchestrates pattern-preserving tissue morphogenesis via motility-driven unjamming
D.C. Nunes Pinheiro, R. Kardos, E.B. Hannezo, C.-P.J. Heisenberg, Nature Physics 18 (2022) 1482–1493.
[Published Version]
View
| Files available
| DOI
| WoS
D.C. Nunes Pinheiro, R. Kardos, E.B. Hannezo, C.-P.J. Heisenberg, Nature Physics 18 (2022) 1482–1493.
2022 | Published | Journal Article | IST-REx-ID: 12210 |
Norms of certain functions of a distinguished Laplacian on the ax + b groups
R. Akylzhanov, Y. Kuznetsova, M. Ruzhansky, H. Zhang, Mathematische Zeitschrift 302 (2022) 2327–2352.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Akylzhanov, Y. Kuznetsova, M. Ruzhansky, H. Zhang, Mathematische Zeitschrift 302 (2022) 2327–2352.
2022 | Published | Journal Article | IST-REx-ID: 12212 |
Nanoscale alterations in GABAB receptors and GIRK channel organization on the hippocampus of APP/PS1 mice
A. Martín-Belmonte, C. Aguado, R. Alfaro-Ruiz, A.E. Moreno-Martínez, L. de la Ossa, E. Aso, L. Gómez-Acero, R. Shigemoto, Y. Fukazawa, F. Ciruela, R. Luján, Alzheimer’s Research & Therapy 14 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
A. Martín-Belmonte, C. Aguado, R. Alfaro-Ruiz, A.E. Moreno-Martínez, L. de la Ossa, E. Aso, L. Gómez-Acero, R. Shigemoto, Y. Fukazawa, F. Ciruela, R. Luján, Alzheimer’s Research & Therapy 14 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12213 |
Evolution of electronic and magnetic properties of Sr₂IrO₄ under strain
E. Paerschke, W.-C. Chen, R. Ray, C.-C. Chen, Npj Quantum Materials 7 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
E. Paerschke, W.-C. Chen, R. Ray, C.-C. Chen, Npj Quantum Materials 7 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12214 |
The isometry group of Wasserstein spaces: The Hilbertian case
G.P. Gehér, T. Titkos, D. Virosztek, Journal of the London Mathematical Society 106 (2022) 3865–3894.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G.P. Gehér, T. Titkos, D. Virosztek, Journal of the London Mathematical Society 106 (2022) 3865–3894.
2022 | Published | Journal Article | IST-REx-ID: 12216 |
Monotonicity versions of Epstein's concavity theorem and related inequalities
E.A. Carlen, H. Zhang, Linear Algebra and Its Applications 654 (2022) 289–310.
[Published Version]
View
| Files available
| DOI
| WoS
E.A. Carlen, H. Zhang, Linear Algebra and Its Applications 654 (2022) 289–310.
2022 | Published | Journal Article | IST-REx-ID: 12217 |
Spatiotemporal dynamics of self-organized branching in pancreas-derived organoids
S. Randriamanantsoa, A. Papargyriou, H.C. Maurer, K. Peschke, M. Schuster, G. Zecchin, K. Steiger, R. Öllinger, D. Saur, C. Scheel, R. Rad, E.B. Hannezo, M. Reichert, A.R. Bausch, Nature Communications 13 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
S. Randriamanantsoa, A. Papargyriou, H.C. Maurer, K. Peschke, M. Schuster, G. Zecchin, K. Steiger, R. Öllinger, D. Saur, C. Scheel, R. Rad, E.B. Hannezo, M. Reichert, A.R. Bausch, Nature Communications 13 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12225 |
Depolarization of echo chambers by random dynamical nudge
C. Currin, S.V. Vera, A. Khaledi-Nasab, Scientific Reports 12 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. Currin, S.V. Vera, A. Khaledi-Nasab, Scientific Reports 12 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12226 |
Strand asymmetry influences mismatch resolution during single-strand annealing
V. Pokusaeva, A.R. Diez, L. Espinar, A.T. Pérez, G.J. Filion, Genome Biology 23 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
V. Pokusaeva, A.R. Diez, L. Espinar, A.T. Pérez, G.J. Filion, Genome Biology 23 (2022).