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: 11783 | 
Low-energy spectrum and dynamics of the weakly interacting Bose gas
L. Bossmann, Journal of Mathematical Physics 63 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Bossmann, Journal of Mathematical Physics 63 (2022).
2022 | Published | Conference Paper | IST-REx-ID: 11839 |
Almost-orthogonal layers for efficient general-purpose Lipschitz networks
B. Prach, C. Lampert, in:, Computer Vision – ECCV 2022, Springer Nature, 2022, pp. 350–365.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Prach, C. Lampert, in:, Computer Vision – ECCV 2022, Springer Nature, 2022, pp. 350–365.
2022 | Published | Journal Article | IST-REx-ID: 11841 |
Adsorption free energy predicts amyloid protein nucleation rates
Z. Toprakcioglu, A. Kamada, T.C.T. Michaels, M. Xie, J. Krausser, J. Wei, A. Šarić, M. Vendruscolo, T.P.J. Knowles, Proceedings of the National Academy of Sciences of the United States of America 119 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
Z. Toprakcioglu, A. Kamada, T.C.T. Michaels, M. Xie, J. Krausser, J. Wei, A. Šarić, M. Vendruscolo, T.P.J. Knowles, Proceedings of the National Academy of Sciences of the United States of America 119 (2022).
2022 | Published | Journal Article | IST-REx-ID: 11842 |
Weak-strong uniqueness for the Navier–Stokes equation for two fluids with ninety degree contact angle and same viscosities
S. Hensel, A. Marveggio, Journal of Mathematical Fluid Mechanics 24 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Hensel, A. Marveggio, Journal of Mathematical Fluid Mechanics 24 (2022).
2022 | Published | Journal Article | IST-REx-ID: 11843 |
Type 1 piliated uropathogenic Escherichia coli hijack the host immune response by binding to CD14
K. Tomasek, A.F. Leithner, I. Glatzová, M.S. Lukesch, C.C. Guet, M.K. Sixt, ELife 11 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
K. Tomasek, A.F. Leithner, I. Glatzová, M.S. Lukesch, C.C. Guet, M.K. Sixt, ELife 11 (2022).
2022 | Published | Conference Paper | IST-REx-ID: 11844 |
Near-optimal leader election in population protocols on graphs
D.-A. Alistarh, J. Rybicki, S. Voitovych, in:, Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2022, pp. 246–256.
[Published Version]
View
| Files available
| DOI
| arXiv
D.-A. Alistarh, J. Rybicki, S. Voitovych, in:, Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2022, pp. 246–256.
2022 | Published | Journal Article | IST-REx-ID: 11858 |
Nonlinear parabolic stochastic evolution equations in critical spaces part II
A. Agresti, M. Veraar, Journal of Evolution Equations 22 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
A. Agresti, M. Veraar, Journal of Evolution Equations 22 (2022).
2022 | Published | Journal Article | IST-REx-ID: 11916 |
Kac regularity and domination of quadratic forms
M. Wirth, Advances in Operator Theory 7 (2022).
[Published Version]
View
| Files available
| DOI
M. Wirth, Advances in Operator Theory 7 (2022).
2022 | Published | Journal Article | IST-REx-ID: 11917 |
Large deviation estimates for weakly interacting bosons
S.A.E. Rademacher, R. Seiringer, Journal of Statistical Physics 188 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
S.A.E. Rademacher, R. Seiringer, Journal of Statistical Physics 188 (2022).
2022 | Published | Journal Article | IST-REx-ID: 11937 |
Thermodynamics of high-pressure ice phases explored with atomistic simulations
A. Reinhardt, M. Bethkenhagen, F. Coppari, M. Millot, S. Hamel, B. Cheng, Nature Communications 13 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Reinhardt, M. Bethkenhagen, F. Coppari, M. Millot, S. Hamel, B. Cheng, Nature Communications 13 (2022).
2022 | Published | Journal Article | IST-REx-ID: 11938 |
On compatible matchings
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, Journal of Graph Algorithms and Applications 26 (2022) 225–240.
[Published Version]
View
| Files available
| DOI
| arXiv
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, Journal of Graph Algorithms and Applications 26 (2022) 225–240.
2022 | Published | Thesis | IST-REx-ID: 11945 |
Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function
R. Schulz, Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
R. Schulz, Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function, Institute of Science and Technology Austria, 2022.
2022 | Published | Journal Article | IST-REx-ID: 11951 |
A direct excitatory projection from entorhinal layer 6b neurons to the hippocampus contributes to spatial coding and memory
Y. Ben Simon, K. Käfer, P. Velicky, J.L. Csicsvari, J.G. Danzl, P.M. Jonas, Nature Communications 13 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
Y. Ben Simon, K. Käfer, P. Velicky, J.L. Csicsvari, J.G. Danzl, P.M. Jonas, Nature Communications 13 (2022).
2022 | Published | Journal Article | IST-REx-ID: 11991 |
An invitation to the promise constraint satisfaction problem
A. Krokhin, J. Opršal, ACM SIGLOG News 9 (2022) 30–59.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Krokhin, J. Opršal, ACM SIGLOG News 9 (2022) 30–59.
2022 | Published | Journal Article | IST-REx-ID: 11993 |
State of the art in computational mould design
T. Alderighi, L. Malomo, T. Auzinger, B. Bickel, P. Cignoni, N. Pietroni, Computer Graphics Forum 41 (2022) 435–452.
[Submitted Version]
View
| Files available
| DOI
| WoS
T. Alderighi, L. Malomo, T. Auzinger, B. Bickel, P. Cignoni, N. Pietroni, Computer Graphics Forum 41 (2022) 435–452.
2022 | Published | Journal Article | IST-REx-ID: 11995 |
Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses
R. Schulz, M. Korkut, A. Venturino, G. Colombo, S. Siegert, Nature Communications 13 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R. Schulz, M. Korkut, A. Venturino, G. Colombo, S. Siegert, Nature Communications 13 (2022).
2022 | Published | Journal Article | IST-REx-ID: 11996
A soft active matter that can climb walls
J.A. Palacci, Science 377 (2022) 710–711.
View
| DOI
| PubMed | Europe PMC
J.A. Palacci, Science 377 (2022) 710–711.
2022 | Published | Journal Article | IST-REx-ID: 11997 |
Impurity in a heteronuclear two-component Bose mixture
G. Bighin, A. Burchianti, F. Minardi, T. Macrì, Physical Review A 106 (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Bighin, A. Burchianti, F. Minardi, T. Macrì, Physical Review A 106 (2022).
2022 | Published | Journal Article | IST-REx-ID: 11998 |
A simple model for high rotational excitations of molecules in a superfluid
I. Cherepanov, G. Bighin, C.A. Schouder, A.S. Chatterley, H. Stapelfeldt, M. Lemeshko, New Journal of Physics 24 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
I. Cherepanov, G. Bighin, C.A. Schouder, A.S. Chatterley, H. Stapelfeldt, M. Lemeshko, New Journal of Physics 24 (2022).
2022 | Published | Conference Paper | IST-REx-ID: 12000 |
Sound and complete certificates for auantitative termination analysis of probabilistic programs
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, in:, Proceedings of the 34th International Conference on Computer Aided Verification, Springer, 2022, pp. 55–78.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, in:, Proceedings of the 34th International Conference on Computer Aided Verification, Springer, 2022, pp. 55–78.