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: 9307 |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
2021 | Published | Journal Article | IST-REx-ID: 7939 |

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

M. Calcabrini et al., “Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate,” JACS Au, vol. 1, no. 11. American Chemical Society, pp. 1898–1903, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 10123 |

Y. Liu et al., “The importance of surface adsorbates in solution‐processed thermoelectric materials: The case of SnSe,” Advanced Materials, vol. 33, no. 52. Wiley, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9158 |

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

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
2021 | Published | Journal Article | IST-REx-ID: 10117 |

M. Artan et al., “Interactome analysis of Caenorhabditis elegans synapses by TurboID-based proximity labeling,” Journal of Biological Chemistry, vol. 297, no. 3. Elsevier, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 9620 |

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

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
2021 | Published | Journal Article | IST-REx-ID: 10025 |

H. Zhou et al., “Half and quarter metals in rhombohedral trilayer graphene,” Nature. Springer Nature, 2021.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10024 |

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

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

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

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

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

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

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

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

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

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

Z. Seferbekova et al., “High rates of genome rearrangements and pathogenicity of Shigella spp,” Frontiers in Microbiology, vol. 12. Frontiers, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9240 |

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

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

Y. Zhang et al., “Influence of copper telluride nanodomains on the transport properties of n-type bismuth telluride,” Chemical Engineering Journal, vol. 418, no. 8. Elsevier, 2021.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9093 |

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

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

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

Y. Zhang et al., “Doping-mediated stabilization of copper vacancies to promote thermoelectric properties of Cu2-xS,” Nano Energy, vol. 85, no. 7. Elsevier, 2021.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9295 |

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

T. K. Srivastava, “Pathologies of the Hilbert scheme of points of a supersingular Enriques surface,” Bulletin des Sciences Mathematiques, vol. 167, no. 03. Elsevier, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv