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.
5872 Publications
2021 | Published | Journal Article | IST-REx-ID: 9910 |

The limits of normal approximation for adult height
Slavskii, Sergei A., The limits of normal approximation for adult height. European Journal of Human Genetics 29 (7). 2021
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Slavskii, Sergei A., The limits of normal approximation for adult height. European Journal of Human Genetics 29 (7). 2021
2021 | Published | Journal Article | IST-REx-ID: 10606 |

Combined effect of cell geometry and polarity domains determines the orientation of unequal division
B.G. Godard, R. Dumollard, C.-P.J. Heisenberg, A. Mcdougall, ELife 10 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B.G. Godard, R. Dumollard, C.-P.J. Heisenberg, A. Mcdougall, ELife 10 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 10218 |

Brief announcement: Fast graphical population protocols
D.-A. Alistarh, R. Gelashvili, J. Rybicki, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
D.-A. Alistarh, R. Gelashvili, J. Rybicki, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 9678 |

Efficient load-balancing through distributed token dropping
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2021, pp. 129–139.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2021, pp. 129–139.
2021 | Published | Journal Article | IST-REx-ID: 9259 |

Shape and function of interstitial chemokine CCL21 gradients are independent of heparan sulfates produced by lymphatic endothelium
K. Vaahtomeri, C. Moussion, R. Hauschild, M.K. Sixt, Frontiers in Immunology 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
K. Vaahtomeri, C. Moussion, R. Hauschild, M.K. Sixt, Frontiers in Immunology 12 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10365 |

Cell monolayers sense curvature by exploiting active mechanics and nuclear mechanoadaptation
M. Luciano, S. Xue, W.H. De Vos, L. Redondo-Morata, M. Surin, F. Lafont, E.B. Hannezo, S. Gabriele, Nature Physics 17 (2021) 1382–1390.
[Submitted Version]
View
| Files available
| DOI
| WoS
M. Luciano, S. Xue, W.H. De Vos, L. Redondo-Morata, M. Surin, F. Lafont, E.B. Hannezo, S. Gabriele, Nature Physics 17 (2021) 1382–1390.
2021 | Published | Journal Article | IST-REx-ID: 9629 |

Cell fate coordinates mechano-osmotic forces in intestinal crypt formation
Q. Yang, S. Xue, C.J. Chan, M. Rempfler, D. Vischi, F. Maurer-Gutierrez, T. Hiiragi, E.B. Hannezo, P. Liberali, Nature Cell Biology 23 (2021) 733–744.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
Q. Yang, S. Xue, C.J. Chan, M. Rempfler, D. Vischi, F. Maurer-Gutierrez, T. Hiiragi, E.B. Hannezo, P. Liberali, Nature Cell Biology 23 (2021) 733–744.
2021 | Published | Journal Article | IST-REx-ID: 9244 |

DUCT reveals architectural mechanisms contributing to bile duct recovery in a mouse model for alagille syndrome
S. Hankeova, J. Salplachta, T. Zikmund, M. Kavkova, N. Van Hul, A. Brinek, V. Smekalova, J. Laznovsky, F. Dawit, J. Jaros, V. Bryja, U. Lendahl, E. Ellis, A. Nemeth, B. Fischler, E.B. Hannezo, J. Kaiser, E.R. Andersson, ELife 10 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Hankeova, J. Salplachta, T. Zikmund, M. Kavkova, N. Van Hul, A. Brinek, V. Smekalova, J. Laznovsky, F. Dawit, J. Jaros, V. Bryja, U. Lendahl, E. Ellis, A. Nemeth, B. Fischler, E.B. Hannezo, J. Kaiser, E.R. Andersson, ELife 10 (2021).
2021 | Published | Journal Article | IST-REx-ID: 8817
An inertial subgradient extragradient algorithm extended to pseudomonotone equilibrium problems
Y. Shehu, O.S. Iyiola, D.V. Thong, N.T.C. Van, Mathematical Methods of Operations Research 93 (2021) 213–242.
View
| DOI
| WoS
Y. Shehu, O.S. Iyiola, D.V. Thong, N.T.C. Van, Mathematical Methods of Operations Research 93 (2021) 213–242.
2021 | Published | Conference Paper | IST-REx-ID: 10148 |

Capturing tactile properties of real surfaces for haptic reproduction
D. Degraen, M. Piovarci, B. Bickel, A. Kruger, in:, 34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–971.
[Preprint]
View
| Files available
| DOI
D. Degraen, M. Piovarci, B. Bickel, A. Kruger, in:, 34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–971.
2021 | Published | Journal Article | IST-REx-ID: 8723 |

Breaking (global) barriers in parallel stochastic optimization with wait-avoiding group averaging
Li, Shigang, Breaking (global) barriers in parallel stochastic optimization with wait-avoiding group averaging. IEEE Transactions on Parallel and Distributed Systems 32 (7). 2021
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Li, Shigang, Breaking (global) barriers in parallel stochastic optimization with wait-avoiding group averaging. IEEE Transactions on Parallel and Distributed Systems 32 (7). 2021
2021 | Published | Conference Paper | IST-REx-ID: 10854 |

Input-dynamic distributed algorithms for communication networks
K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, S. Schmid, in:, Abstract Proceedings of the 2021 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, Association for Computing Machinery, 2021, pp. 71–72.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, S. Schmid, in:, Abstract Proceedings of the 2021 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, Association for Computing Machinery, 2021, pp. 71–72.
2021 | Published | Journal Article | IST-REx-ID: 10855 |

Input-dynamic distributed algorithms for communication networks
K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, S. Schmid, Proceedings of the ACM on Measurement and Analysis of Computing Systems 5 (2021) 1–33.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, S. Schmid, Proceedings of the ACM on Measurement and Analysis of Computing Systems 5 (2021) 1–33.
2021 | Research Data Reference | IST-REx-ID: 13061 |

Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies
B.E. Casillas Perez, C. Pull, F. Naiser, E. Naderlinger, J. Matas, S. Cremer, (2021).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
B.E. Casillas Perez, C. Pull, F. Naiser, E. Naderlinger, J. Matas, S. Cremer, (2021).
2021 | Published | Conference Paper | IST-REx-ID: 12767 |

On satisficing in quantitative games
S. Bansal, K. Chatterjee, M.Y. Vardi, in:, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2021, pp. 20–37.
[Published Version]
View
| Files available
| DOI
| arXiv
S. Bansal, K. Chatterjee, M.Y. Vardi, in:, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2021, pp. 20–37.
2021 | Research Data Reference | IST-REx-ID: 15284 |

RevTerm
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, (2021).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, (2021).
2021 | Published | Conference Paper | IST-REx-ID: 10004 |

Stochastic processes with expected stopping time
Chatterjee, Krishnendu, Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 2021
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Chatterjee, Krishnendu, Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 2021
2021 | Published | Conference Paper | IST-REx-ID: 10847 |

Solving partially observable stochastic shortest-path games
Tomášek, Petr, Solving partially observable stochastic shortest-path games. 30th International Joint Conference on Artificial Intelligence. 2021
[Published Version]
View
| DOI
| Download Published Version (ext.)
Tomášek, Petr, Solving partially observable stochastic shortest-path games. 30th International Joint Conference on Artificial Intelligence. 2021
2021 | Published | Conference Paper | IST-REx-ID: 10669 |

On the verification of neural ODEs with stochastic guarantees
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
2021 | Published | Journal Article | IST-REx-ID: 10153 |

Transitioning from structural to nominal code with efficient gradual typing
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
[Published Version]
View
| Files available
| DOI
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10404 |

Interactive analysis of CNN robustness
S. Sietzen, M. Lechner, J. Borowski, R. Hasani, M. Waldner, Computer Graphics Forum 40 (2021) 253–264.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Sietzen, M. Lechner, J. Borowski, R. Hasani, M. Waldner, Computer Graphics Forum 40 (2021) 253–264.
2021 | Published | Journal Article | IST-REx-ID: 9647 |

Long lived transients in gene regulation
T. Petrov, C. Igler, A. Sezgin, T.A. Henzinger, C.C. Guet, Theoretical Computer Science 893 (2021) 1–16.
[Published Version]
View
| Files available
| DOI
| WoS
T. Petrov, C. Igler, A. Sezgin, T.A. Henzinger, C.C. Guet, Theoretical Computer Science 893 (2021) 1–16.
2021 | Published | Conference Paper | IST-REx-ID: 10671 |

Liquid time-constant networks
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
2021 | Published | Conference Paper | IST-REx-ID: 10670 |

Causal navigation by continuous-time neural networks
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10688 |

The Civl verifier
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
[Published Version]
View
| Files available
| DOI
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
2021 | Published | Journal Article | IST-REx-ID: 8912 |

Boosting expensive synchronizing heuristics
N.E. Sarac, Ö.F. Altun, K.T. Atam, S. Karahoda, K. Kaya, H. Yenigün, Expert Systems with Applications 167 (2021).
[Submitted Version]
View
| Files available
| DOI
| WoS
N.E. Sarac, Ö.F. Altun, K.T. Atam, S. Karahoda, K. Kaya, H. Yenigün, Expert Systems with Applications 167 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9356 |

Quantitative and approximate monitoring
Henzinger, Thomas A, Quantitative and approximate monitoring. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 2021
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
Henzinger, Thomas A, Quantitative and approximate monitoring. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 2021
2021 | Published | Conference Paper | IST-REx-ID: 10108 |

Differential monitoring
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
[Preprint]
View
| Files available
| DOI
| WoS
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
2021 | Published | Conference Paper | IST-REx-ID: 10666 |

Adversarial training is not ready for robot learning
Lechner, Mathias, Adversarial training is not ready for robot learning. 2021 IEEE International Conference on Robotics and Automation. 2021
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Lechner, Mathias, Adversarial training is not ready for robot learning. 2021 IEEE International Conference on Robotics and Automation. 2021
2021 | Published | Conference Paper | IST-REx-ID: 10002 |

Symbolic time and space tradeoffs for probabilistic verification
Chatterjee, Krishnendu, Symbolic time and space tradeoffs for probabilistic verification. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 2021
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Chatterjee, Krishnendu, Symbolic time and space tradeoffs for probabilistic verification. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 2021
2021 | Published | Journal Article | IST-REx-ID: 9036 |

The metric property of the quantum Jensen-Shannon divergence
D. Virosztek, Advances in Mathematics 380 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D. Virosztek, Advances in Mathematics 380 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9212 |

Auxin-regulated lateral root organogenesis
N. Cavallari, C. Artner, E. Benková, Cold Spring Harbor Perspectives in Biology 13 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
N. Cavallari, C. Artner, E. Benková, Cold Spring Harbor Perspectives in Biology 13 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9641 |

The role of hippocampal mossy cells in novelty detection
Fredes, Felipe, The role of hippocampal mossy cells in novelty detection. Neurobiology of Learning and Memory 183. 2021
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Fredes, Felipe, The role of hippocampal mossy cells in novelty detection. Neurobiology of Learning and Memory 183. 2021
2021 | Submitted | Preprint | IST-REx-ID: 10080 |

The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus
M. Nardin, K. Käfer, J.L. Csicsvari, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
M. Nardin, K. Käfer, J.L. Csicsvari, BioRxiv (n.d.).
2021 | Draft | Preprint | IST-REx-ID: 10013 |

Weak-strong uniqueness for the mean curvature flow of double bubbles
S. Hensel, T. Laux, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S. Hensel, T. Laux, ArXiv (n.d.).
2021 | Published | Journal Article | IST-REx-ID: 9999 |

Apical contacts stemming from incomplete delamination guide progenitor cell allocation through a dragging mechanism
E. Pulgar, C. Schwayer, N. Guerrero, L. López, S. Márquez, S. Härtel, R. Soto, C.P. Heisenberg, M.L. Concha, ELife 10 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
E. Pulgar, C. Schwayer, N. Guerrero, L. López, S. Márquez, S. Härtel, R. Soto, C.P. Heisenberg, M.L. Concha, ELife 10 (2021).
2021 | Published | Book Chapter | IST-REx-ID: 9245
Quantifying tissue tension in the granulosa layer after laser surgery
P. Xia, C.-P.J. Heisenberg, in:, R. Dosch (Ed.), Germline Development in the Zebrafish, Humana, 2021, pp. 117–128.
View
| DOI
| PubMed | Europe PMC
P. Xia, C.-P.J. Heisenberg, in:, R. Dosch (Ed.), Germline Development in the Zebrafish, Humana, 2021, pp. 117–128.
2021 | Published | Journal Article | IST-REx-ID: 9350 |

Holding it together: when cadherin meets cadherin
F.N. Arslan, J. Eckert, T. Schmidt, C.-P.J. Heisenberg, Biophysical Journal 120 (2021) 4182–4192.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
F.N. Arslan, J. Eckert, T. Schmidt, C.-P.J. Heisenberg, Biophysical Journal 120 (2021) 4182–4192.
2021 | Published | Journal Article | IST-REx-ID: 9205 |

Cryo-EM grid optimization for membrane proteins
D. Kampjut, J. Steiner, L.A. Sazanov, IScience 24 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D. Kampjut, J. Steiner, L.A. Sazanov, IScience 24 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9412 |

Fluctuation around the circular law for random matrices with real entries
G. Cipolloni, L. Erdös, D.J. Schröder, Electronic Journal of Probability 26 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Electronic Journal of Probability 26 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9307 |

Finite time extinction for the 1D stochastic porous medium equation with transport noise
S. Hensel, Stochastics and Partial Differential Equations: Analysis and Computations 9 (2021) 892–939.
[Published Version]
View
| Files available
| DOI
| WoS
S. Hensel, Stochastics and Partial Differential Equations: Analysis and Computations 9 (2021) 892–939.
2021 | Draft | Preprint | IST-REx-ID: 12076 |

Sums of four squareful numbers
A.L. Shute, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A.L. Shute, ArXiv (n.d.).
2021 | Draft | Preprint | IST-REx-ID: 10762 |

Artificial neural network states for non-additive systems
W. Rzadkowski, M. Lemeshko, J.H. Mentink, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
W. Rzadkowski, M. Lemeshko, J.H. Mentink, ArXiv (n.d.).
2021 | Draft | Preprint | IST-REx-ID: 10803 |

Fairness through regularization for learning to rank
N.H. Konstantinov, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
N.H. Konstantinov, C. Lampert, ArXiv (n.d.).
2021 | Published | Conference Paper | IST-REx-ID: 10414 |

On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, E. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
2021 | Published | Conference Paper | IST-REx-ID: 9644 |

Proving non-termination by program reversal
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.
2021 | Published | Conference Paper | IST-REx-ID: 10665 |

Scalable verification of quantized neural networks
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
2021 | Published | Conference Paper | IST-REx-ID: 10694 |

Infinite-duration all-pay bidding games
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
2021 | Published | Conference Paper | IST-REx-ID: 10667 |

Infinite time horizon safety of Bayesian neural networks
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
2021 | Published | Journal Article | IST-REx-ID: 8373 |

A divergence center interpretation of general symmetric Kubo-Ando means, and related weighted multivariate operator means
J. Pitrik, D. Virosztek, Linear Algebra and Its Applications 609 (2021) 203–217.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Pitrik, D. Virosztek, Linear Algebra and Its Applications 609 (2021) 203–217.
2021 | Published | Journal Article | IST-REx-ID: 10221 |

Eigenstate thermalization hypothesis for Wigner matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Communications in Mathematical Physics 388 (2021) 1005–1048.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Communications in Mathematical Physics 388 (2021) 1005–1048.
2021 | Published | Journal Article | IST-REx-ID: 9121 |

The BCS energy gap at low density
A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9998 |

Quantum K-theory of quiver varieties and many-body systems
P. Koroteev, P. Pushkar, A.V. Smirnov, A.M. Zeitlin, Selecta Mathematica 27 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
P. Koroteev, P. Pushkar, A.V. Smirnov, A.M. Zeitlin, Selecta Mathematica 27 (2021).
2021 | Published | Journal Article | IST-REx-ID: 8816 |

Area-dependent quantum field theory
Runkel, Ingo, Area-dependent quantum field theory. Communications in Mathematical Physics 381 (1). 2021
[Published Version]
View
| Files available
| DOI
| WoS
Runkel, Ingo, Area-dependent quantum field theory. Communications in Mathematical Physics 381 (1). 2021
2021 | Published | Journal Article | IST-REx-ID: 7901 |

Correlation energy of a weakly interacting Fermi gas
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, Inventiones Mathematicae 225 (2021) 885–979.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, Inventiones Mathematicae 225 (2021) 885–979.
2021 | Published | Journal Article | IST-REx-ID: 9234 |

New inertial projection methods for solving multivalued variational inequality problems beyond monotonicity
C. Izuchukwu, Y. Shehu, Networks and Spatial Economics 21 (2021) 291–323.
[Published Version]
View
| Files available
| DOI
| WoS
C. Izuchukwu, Y. Shehu, Networks and Spatial Economics 21 (2021) 291–323.
2021 | Published | Journal Article | IST-REx-ID: 8196 |

New strong convergence method for the sum of two maximal monotone operators
Y. Shehu, Q.-L. Dong, L.-L. Liu, J.-C. Yao, Optimization and Engineering 22 (2021) 2627–2653.
[Published Version]
View
| Files available
| DOI
| WoS
Y. Shehu, Q.-L. Dong, L.-L. Liu, J.-C. Yao, Optimization and Engineering 22 (2021) 2627–2653.
2021 | Published | Journal Article | IST-REx-ID: 7925 |

New inertial relaxed method for solving split feasibilities
Y. Shehu, A. Gibali, Optimization Letters 15 (2021) 2109–2126.
[Published Version]
View
| Files available
| DOI
| WoS
Y. Shehu, A. Gibali, Optimization Letters 15 (2021) 2109–2126.
2021 | Published | Journal Article | IST-REx-ID: 7905 |

Sheaf-theoretic stratification learning from geometric and topological perspectives
A. Brown, B. Wang, Discrete and Computational Geometry 65 (2021) 1166–1198.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Brown, B. Wang, Discrete and Computational Geometry 65 (2021) 1166–1198.
2021 | Published | Thesis | IST-REx-ID: 10007 |

Curvature driven interface evolution: Uniqueness properties of weak solution concepts
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.
2021 | Published | Journal Article | IST-REx-ID: 7939 |

Fast approximate shortest paths in the congested clique
K. Censor-Hillel, M. Dory, J. Korhonen, D. Leitersdorf, Distributed Computing 34 (2021) 463–487.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
K. Censor-Hillel, M. Dory, J. Korhonen, D. Leitersdorf, Distributed Computing 34 (2021) 463–487.
2021 | Published | Journal Article | IST-REx-ID: 10806 |

Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate
M. Calcabrini, D. Van den Eynden, S. Sanchez Ribot, R. Pokratath, J. Llorca, J. De Roo, M. Ibáñez, JACS Au 1 (2021) 1898–1903.
[Published Version]
View
| Files available
| DOI
M. Calcabrini, D. Van den Eynden, S. Sanchez Ribot, R. Pokratath, J. Llorca, J. De Roo, M. Ibáñez, JACS Au 1 (2021) 1898–1903.
2021 | Published | Journal Article | IST-REx-ID: 10123 |

The importance of surface adsorbates in solution‐processed thermoelectric materials: The case of SnSe
Y. Liu, M. Calcabrini, Y. Yu, A. Genç, C. Chang, T. Costanzo, T. Kleinhanns, S. Lee, J. Llorca, O. Cojocaru‐Mirédin, M. Ibáñez, Advanced Materials 33 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Y. Liu, M. Calcabrini, Y. Yu, A. Genç, C. Chang, T. Costanzo, T. Kleinhanns, S. Lee, J. Llorca, O. Cojocaru‐Mirédin, M. Ibáñez, Advanced Materials 33 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9158 |

Disentanglement approach to quantum spin ground states: Field theory and stochastic simulation
S. De Nicola, Journal of Statistical Mechanics: Theory and Experiment 2021 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
S. De Nicola, Journal of Statistical Mechanics: Theory and Experiment 2021 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9099 |

Lifting automorphisms on Abelian varieties as derived autoequivalences
Srivastava, Tanya K, Lifting automorphisms on Abelian varieties as derived autoequivalences. Archiv der Mathematik 116 (5). 2021
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Srivastava, Tanya K, Lifting automorphisms on Abelian varieties as derived autoequivalences. Archiv der Mathematik 116 (5). 2021
2021 | Published | Journal Article | IST-REx-ID: 10117 |

Interactome analysis of Caenorhabditis elegans synapses by TurboID-based proximity labeling
M. Artan, S. Barratt, S.M. Flynn, F. Begum, M. Skehel, A. Nicolas, M. de Bono, Journal of Biological Chemistry 297 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
M. Artan, S. Barratt, S.M. Flynn, F. Begum, M. Skehel, A. Nicolas, M. de Bono, Journal of Biological Chemistry 297 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9620 |

Collecting coupons is faster with friends
Alistarh, Dan-Adrian, Collecting coupons is faster with friends. Structural Information and Communication Complexity 12810. 2021
[Preprint]
View
| Files available
| DOI
Alistarh, Dan-Adrian, Collecting coupons is faster with friends. Structural Information and Communication Complexity 12810. 2021
2021 | Published | Conference Paper | IST-REx-ID: 9543 |

New bounds for distributed mean estimation and variance reduction
Davies, Peter, New bounds for distributed mean estimation and variance reduction. 9th International Conference on Learning Representations. 2021
[Published Version]
View
| Download Published Version (ext.)
| arXiv
Davies, Peter, New bounds for distributed mean estimation and variance reduction. 9th International Conference on Learning Representations. 2021
2021 | Published | Journal Article | IST-REx-ID: 10025 |

Half and quarter metals in rhombohedral trilayer graphene
H. Zhou, T. Xie, A. Ghazaryan, T. Holder, J.R. Ehrets, E.M. Spanton, T. Taniguchi, K. Watanabe, E. Berg, M. Serbyn, A.F. Young, Nature (2021).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
H. Zhou, T. Xie, A. Ghazaryan, T. Holder, J.R. Ehrets, E.M. Spanton, T. Taniguchi, K. Watanabe, E. Berg, M. Serbyn, A.F. Young, Nature (2021).
2021 | Published | Journal Article | IST-REx-ID: 10024 |

Hydrodynamics for the partial exclusion process in random environment
S. Floreani, F. Redig, F. Sau, Stochastic Processes and Their Applications 142 (2021) 124–158.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Floreani, F. Redig, F. Sau, Stochastic Processes and Their Applications 142 (2021) 124–158.
2021 | Published | Journal Article | IST-REx-ID: 10116 |

Neuronal calmodulin levels are controlled by CAMTA transcription factors
T. Vuong-Brender, S. Flynn, Y. Vallis, M. de Bono, ELife 10 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
T. Vuong-Brender, S. Flynn, Y. Vallis, M. de Bono, ELife 10 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9679 |

Morphology of three-body quantum states from machine learning
D. Huber, O.V. Marchukov, H.W. Hammer, A. Volosniev, New Journal of Physics 23 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
D. Huber, O.V. Marchukov, H.W. Hammer, A. Volosniev, New Journal of Physics 23 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10285 |

On eigenvector statistics in the spherical and truncated unitary ensembles
G. Dubach, Electronic Journal of Probability 26 (2021).
[Published Version]
View
| Files available
| DOI
G. Dubach, Electronic Journal of Probability 26 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10527 |

Unconventional superconductivity in systems with annular Fermi surfaces: Application to rhombohedral trilayer graphene
A. Ghazaryan, T. Holder, M. Serbyn, E. Berg, Physical Review Letters 127 (2021).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Ghazaryan, T. Holder, M. Serbyn, E. Berg, Physical Review Letters 127 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10146
Structure and assembly of the mammalian mitochondrial supercomplex CIII2CIV
I. Vercellino, L.A. Sazanov, Nature 598 (2021) 364–367.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
I. Vercellino, L.A. Sazanov, Nature 598 (2021) 364–367.
2021 | Published | Journal Article | IST-REx-ID: 9468 |

Extending drawings of complete graphs into arrangements of pseudocircles
A.M. Arroyo Guevara, R.B. Richter, M. Sunohara, SIAM Journal on Discrete Mathematics 35 (2021) 1050–1076.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A.M. Arroyo Guevara, R.B. Richter, M. Sunohara, SIAM Journal on Discrete Mathematics 35 (2021) 1050–1076.
2021 | Published | Journal Article | IST-REx-ID: 9111 |

Probabilistic convergence and stability of random mapper graphs
A. Brown, O. Bobrowski, E. Munch, B. Wang, Journal of Applied and Computational Topology 5 (2021) 99–140.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Brown, O. Bobrowski, E. Munch, B. Wang, Journal of Applied and Computational Topology 5 (2021) 99–140.
2021 | Published | Journal Article | IST-REx-ID: 10628 |

Shadow surface states in topological Kondo insulators
A. Ghazaryan, E.M. Nica, O. Erten, P. Ghaemi, New Journal of Physics 23 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Ghazaryan, E.M. Nica, O. Erten, P. Ghaemi, New Journal of Physics 23 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9933 |

Component stability in low-space massively parallel computation
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 481–491.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 481–491.
2021 | Published | Conference Paper | IST-REx-ID: 9935 |

Improved deterministic (Δ+1) coloring in low-space MPC
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 469–479.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 469–479.
2021 | Published | Journal Article | IST-REx-ID: 9380 |

High rates of genome rearrangements and pathogenicity of Shigella spp
Z. Seferbekova, A. Zabelkin, Y. Yakovleva, R. Afasizhev, N.O. Dranenko, N. Alexeev, M.S. Gelfand, O. Bochkareva, Frontiers in Microbiology 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
Z. Seferbekova, A. Zabelkin, Y. Yakovleva, R. Afasizhev, N.O. Dranenko, N. Alexeev, M.S. Gelfand, O. Bochkareva, Frontiers in Microbiology 12 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9240 |

Well-posedness for a regularised inertial Dean–Kawasaki model for slender particles in several space dimensions
F. Cornalba, T. Shardlow, J. Zimmer, Journal of Differential Equations 284 (2021) 253–283.
[Published Version]
View
| Files available
| DOI
| WoS
F. Cornalba, T. Shardlow, J. Zimmer, Journal of Differential Equations 284 (2021) 253–283.
2021 | Published | Journal Article | IST-REx-ID: 8773 |

Contravariant forms on Whittaker modules
A. Brown, A. Romanov, Proceedings of the American Mathematical Society 149 (2021) 37–52.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Brown, A. Romanov, Proceedings of the American Mathematical Society 149 (2021) 37–52.
2021 | Published | Journal Article | IST-REx-ID: 9304 |

Influence of copper telluride nanodomains on the transport properties of n-type bismuth telluride
Y. Zhang, C. Xing, Y. Liu, M. Li, K. Xiao, P. Guardia, S. Lee, X. Han, A. Moghaddam, J.J. Roa, J. Arbiol, M. Ibáñez, K. Pan, M. Prato, Y. Xie, A. Cabot, Chemical Engineering Journal 418 (2021).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
Y. Zhang, C. Xing, Y. Liu, M. Li, K. Xiao, P. Guardia, S. Lee, X. Han, A. Moghaddam, J.J. Roa, J. Arbiol, M. Ibáñez, K. Pan, M. Prato, Y. Xie, A. Cabot, Chemical Engineering Journal 418 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9093 |

Shape of a sound wave in a weakly-perturbed Bose gas
O. Marchukov, A. Volosniev, SciPost Physics 10 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
O. Marchukov, A. Volosniev, SciPost Physics 10 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9207 |

Experimental measurements in plane Couette-Poiseuille flow: Dynamics of the large- and small-scale flow
L. Klotz, A.M. Pavlenko, J.E. Wesfreid, Journal of Fluid Mechanics 912 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
L. Klotz, A.M. Pavlenko, J.E. Wesfreid, Journal of Fluid Mechanics 912 (2021).
2021 | Published | Journal Article | IST-REx-ID: 8940 |

Triangulating submanifolds: An elementary and quantified version of Whitney’s method
J.-D. Boissonnat, S. Kachanovich, M. Wintraecken, Discrete & Computational Geometry 66 (2021) 386–434.
[Published Version]
View
| Files available
| DOI
| WoS
J.-D. Boissonnat, S. Kachanovich, M. Wintraecken, Discrete & Computational Geometry 66 (2021) 386–434.
2021 | Published | Journal Article | IST-REx-ID: 9305 |

Doping-mediated stabilization of copper vacancies to promote thermoelectric properties of Cu2-xS
Y. Zhang, C. Xing, Y. Liu, M.C. Spadaro, X. Wang, M. Li, K. Xiao, T. Zhang, P. Guardia, K.H. Lim, A.O. Moghaddam, J. Llorca, J. Arbiol, M. Ibáñez, A. Cabot, Nano Energy 85 (2021).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
Y. Zhang, C. Xing, Y. Liu, M.C. Spadaro, X. Wang, M. Li, K. Xiao, T. Zhang, P. Guardia, K.H. Lim, A.O. Moghaddam, J. Llorca, J. Arbiol, M. Ibáñez, A. Cabot, Nano Energy 85 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9295 |

Drawings of complete graphs in the projective plane
A.M. Arroyo Guevara, D. Mcquillan, R.B. Richter, G. Salazar, M. Sullivan, Journal of Graph Theory 97 (2021) 426–440.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A.M. Arroyo Guevara, D. Mcquillan, R.B. Richter, G. Salazar, M. Sullivan, Journal of Graph Theory 97 (2021) 426–440.
2021 | Published | Journal Article | IST-REx-ID: 9173 |

Pathologies of the Hilbert scheme of points of a supersingular Enriques surface
T.K. Srivastava, Bulletin Des Sciences Mathematiques 167 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
T.K. Srivastava, Bulletin Des Sciences Mathematiques 167 (2021).
2021 | Draft | Preprint | IST-REx-ID: 10029 |

Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid
D.T. Phan, J.L. Senior, A. Ghazaryan, M. Hatefipour, W.M. Strickland, J. Shabani, M. Serbyn, A.P. Higginbotham, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
D.T. Phan, J.L. Senior, A. Ghazaryan, M. Hatefipour, W.M. Strickland, J. Shabani, M. Serbyn, A.P. Higginbotham, ArXiv (n.d.).
2021 | Submitted | Preprint | IST-REx-ID: 9230 |

Maxima of a random model of the Riemann zeta function over intervals of varying length
L.-P. Arguin, G. Dubach, L. Hartung, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L.-P. Arguin, G. Dubach, L. Hartung, ArXiv (n.d.).
2021 | Research Data | IST-REx-ID: 9636 |

Data for "Breakdown of induced p ± ip pairing in a superconductor-semiconductor hybrid"
A.P. Higginbotham, (2021).
[Submitted Version]
View
| Files available
A.P. Higginbotham, (2021).
2021 | Published | Journal Article | IST-REx-ID: 15259 |

On words of non-Hermitian random matrices
G. Dubach, Y. Peled, The Annals of Probability 49 (2021) 1886–1916.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Dubach, Y. Peled, The Annals of Probability 49 (2021) 1886–1916.
2021 | Published | Journal Article | IST-REx-ID: 14890 |

Beyond Bogoliubov dynamics
L. Bossmann, S.P. Petrat, P. Pickl, A. Soffer, Pure and Applied Analysis 3 (2021) 677–726.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Bossmann, S.P. Petrat, P. Pickl, A. Soffer, Pure and Applied Analysis 3 (2021) 677–726.
2021 | Published | Journal Article | IST-REx-ID: 9541 |

Graph sparsification for derandomizing massively parallel computation with low space
A. Czumaj, P. Davies, M. Parter, ACM Transactions on Algorithms 17 (2021).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
A. Czumaj, P. Davies, M. Parter, ACM Transactions on Algorithms 17 (2021).
2021 | Published | Journal Article | IST-REx-ID: 7463 |

Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches
F. Lombardi, O. Shriki, H.J. Herrmann, L. de Arcangelis, Neurocomputing 461 (2021) 657–666.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
F. Lombardi, O. Shriki, H.J. Herrmann, L. de Arcangelis, Neurocomputing 461 (2021) 657–666.
2021 | Published | Journal Article | IST-REx-ID: 8198 |

Impact of drive harmonics on the stability of Floquet many-body localization
A.A. Diringer, T. Gulden, Physical Review B 103 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A.A. Diringer, T. Gulden, Physical Review B 103 (2021).
2021 | Published | Journal Article | IST-REx-ID: 8248 |

Local conditions for triangulating submanifolds of Euclidean space
J.-D. Boissonnat, R. Dyer, A. Ghosh, A. Lieutier, M. Wintraecken, Discrete and Computational Geometry 66 (2021) 666–686.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
J.-D. Boissonnat, R. Dyer, A. Ghosh, A. Lieutier, M. Wintraecken, Discrete and Computational Geometry 66 (2021) 666–686.
2021 | Published | Journal Article | IST-REx-ID: 14889 |

Landau–Pekar equations and quantum fluctuations for the dynamics of a strongly coupled polaron
N.K. Leopold, D.J. Mitrouskas, S.A.E. Rademacher, B. Schlein, R. Seiringer, Pure and Applied Analysis 3 (2021) 653–676.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
N.K. Leopold, D.J. Mitrouskas, S.A.E. Rademacher, B. Schlein, R. Seiringer, Pure and Applied Analysis 3 (2021) 653–676.