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 | Journal Article | IST-REx-ID: 12151 | 
On a question of Vera T. Sós about size forcing of graphons
O. Cooley, M. Kang, O. Pikhurko, Acta Mathematica Hungarica 168 (2022) 1–26.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
O. Cooley, M. Kang, O. Pikhurko, Acta Mathematica Hungarica 168 (2022) 1–26.
2022 | Published | Journal Article | IST-REx-ID: 12152 |
Modelling membrane reshaping by staged polymerization of ESCRT-III filaments
X. Jiang, L. Harker-Kirschneck, C.E. Vanhille-Campos, A.-K. Pfitzner, E. Lominadze, A. Roux, B. Baum, A. Šarić, PLOS Computational Biology 18 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
X. Jiang, L. Harker-Kirschneck, C.E. Vanhille-Campos, A.-K. Pfitzner, E. Lominadze, A. Roux, B. Baum, A. Šarić, PLOS Computational Biology 18 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12154 |
First and second sound in two-dimensional bosonic and fermionic superfluids
L. Salasnich, A. Cappellaro, K. Furutani, A. Tononi, G. Bighin, Symmetry 14 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
L. Salasnich, A. Cappellaro, K. Furutani, A. Tononi, G. Bighin, Symmetry 14 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12155
Solid-state cooling: Thermoelectrics
Y. Qin, B. Qin, D. Wang, C. Chang, L.-D. Zhao, Energy & Environmental Science 15 (2022) 4527–4541.
View
| Files available
| DOI
| WoS
Y. Qin, B. Qin, D. Wang, C. Chang, L.-D. Zhao, Energy & Environmental Science 15 (2022) 4527–4541.
2022 | Published | Journal Article | IST-REx-ID: 12156 |
Eukaryotic gene regulation at equilibrium, or non?
B. Zoller, T. Gregor, G. Tkačik, Current Opinion in Systems Biology 31 (2022).
[Published Version]
View
| Files available
| DOI
B. Zoller, T. Gregor, G. Tkačik, Current Opinion in Systems Biology 31 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12157 |
Polygenic adaptation after a sudden change in environment
L. Hayward, G. Sella, ELife 11 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
L. Hayward, G. Sella, ELife 11 (2022).
2022 | Published | Conference Paper | IST-REx-ID: 12160
Hierarchical consensus: A horizontal scaling framework for blockchains
A. De la Rocha, E. Kokoris Kogias, J.M. Soares, M. Vukolic, in:, 42nd International Conference on Distributed Computing Systems Workshops, Institute of Electrical and Electronics Engineers, 2022, pp. 45–52.
View
| DOI
| WoS
A. De la Rocha, E. Kokoris Kogias, J.M. Soares, M. Vukolic, in:, 42nd International Conference on Distributed Computing Systems Workshops, Institute of Electrical and Electronics Engineers, 2022, pp. 45–52.
2022 | Published | Conference Paper | IST-REx-ID: 12161 |
Lightweight conditional model extrapolation for streaming data under class-prior shift
P. Tomaszewska, C. Lampert, in:, 26th International Conference on Pattern Recognition, Institute of Electrical and Electronics Engineers, 2022, pp. 2128–2134.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Tomaszewska, C. Lampert, in:, 26th International Conference on Pattern Recognition, Institute of Electrical and Electronics Engineers, 2022, pp. 2128–2134.
2022 | Published | Conference Paper | IST-REx-ID: 12167 |
Hide & Seek: Privacy-preserving rebalancing on payment channel networks
G. Avarikioti, K.Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, M.X. Yeo, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 358–373.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Avarikioti, K.Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, M.X. Yeo, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 358–373.
2022 | Published | Conference Paper | IST-REx-ID: 12168 |
Be aware of your leaders
S. Cohen, R. Gelashvili, E. Kokoris Kogias, Z. Li, D. Malkhi, A. Sonnino, A. Spiegelman, in:, International Conference on Financial Cryptography and Data Security, Springer Nature, 2022, pp. 279–295.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Cohen, R. Gelashvili, E. Kokoris Kogias, Z. Li, D. Malkhi, A. Sonnino, A. Spiegelman, in:, International Conference on Financial Cryptography and Data Security, Springer Nature, 2022, pp. 279–295.
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).