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.
4841 Publications
2022 | Published | Conference Paper | IST-REx-ID: 11775 | 
Abstract monitors for quantitative specifications
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.
[Published Version]
View
| Files available
| DOI
| WoS
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.
2022 | Published | Thesis | IST-REx-ID: 11777 |
High-dimensional expansion and crossing numbers of simplicial complexes
P. Wild, High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes, Institute of Science and Technology, 2022.
[Published Version]
View
| Files available
| DOI
P. Wild, High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes, Institute of Science and Technology, 2022.
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 | Thesis | IST-REx-ID: 11879 |
Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature
C. Artner, Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
C. Artner, Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature, Institute of Science and Technology Austria, 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 | Thesis | IST-REx-ID: 11932 |
On the encoding, transfer, and consolidation of spatial memories
M. Nardin, On the Encoding, Transfer, and Consolidation of Spatial Memories, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
M. Nardin, On the Encoding, Transfer, and Consolidation of Spatial Memories, Institute of Science and Technology Austria, 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 | Submitted | Preprint | IST-REx-ID: 11943 |
Saturated reconstruction of living brain tissue
P. Velicky, E. Miguel Villalba, J.M. Michalska, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
P. Velicky, E. Miguel Villalba, J.M. Michalska, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, BioRxiv (n.d.).
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 | Submitted | Preprint | IST-REx-ID: 11950 |
Uncovering brain tissue architecture across scales with super-resolution light microscopy
J.M. Michalska, J. Lyudchik, P. Velicky, H. Korinkova, J. Watson, A. Cenameri, C.M. Sommer, A. Venturino, K. Roessler, T. Czech, S. Siegert, G. Novarino, P.M. Jonas, J.G. Danzl, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
J.M. Michalska, J. Lyudchik, P. Velicky, H. Korinkova, J. Watson, A. Cenameri, C.M. Sommer, A. Venturino, K. Roessler, T. Czech, S. Siegert, G. Novarino, P.M. Jonas, J.G. Danzl, BioRxiv (n.d.).
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.