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.
9789 Publications
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 | Conference Paper | IST-REx-ID: 11918
The complexity of average-case dynamic subgraph counting
M.H. Henzinger, A. Lincoln, B. Saha, in:, 33rd Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2022, pp. 459–498.
View
| DOI
M.H. Henzinger, A. Lincoln, B. Saha, in:, 33rd Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2022, pp. 459–498.
2022 | Published | Conference Paper | IST-REx-ID: 11930 |
Practical fully dynamic minimum cut algorithms
M.H. Henzinger, A. Noe, C. Schulz, in:, 2022 Proceedings of the Symposium on Algorithm Engineering and Experiments, Society for Industrial and Applied Mathematics, 2022, pp. 13–26.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, A. Noe, C. Schulz, in:, 2022 Proceedings of the Symposium on Algorithm Engineering and Experiments, Society for Industrial and Applied Mathematics, 2022, pp. 13–26.
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 | 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: 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.
2022 | Published | Journal Article | IST-REx-ID: 12001 |
Differing associations between sex determination and sex-linked inversions in two ecotypes of Littorina saxatilis
K.E. Hearn, E.L. Koch, S. Stankowski, R.K. Butlin, R. Faria, K. Johannesson, A.M. Westram, Evolution Letters 6 (2022) 358–374.
[Published Version]
View
| Files available
| DOI
| WoS
K.E. Hearn, E.L. Koch, S. Stankowski, R.K. Butlin, R. Faria, K. Johannesson, A.M. Westram, Evolution Letters 6 (2022) 358–374.