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.
9084 Publications
2021 | Journal Article | IST-REx-ID: 11974 | 
Emerging concepts in photocatalytic organic synthesis
S. Reischauer, B. Pieber, IScience 24 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Reischauer, B. Pieber, IScience 24 (2021).
2021 | Journal Article | IST-REx-ID: 11981 |
Visible-light-mediated oxidative debenzylation enables the use of benzyl ethers as temporary protecting groups
C. Cavedon, E.T. Sletten, A. Madani, O. Niemeyer, P.H. Seeberger, B. Pieber, Organic Letters 23 (2021) 514–518.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
C. Cavedon, E.T. Sletten, A. Madani, O. Niemeyer, P.H. Seeberger, B. Pieber, Organic Letters 23 (2021) 514–518.
2021 | Journal Article | IST-REx-ID: 12071 |
Evidence for a percolative Mott insulator-metal transition in doped Sr₂IrO₄
Z. Sun, J.M. Guevara, S. Sykora, E. Paerschke, K. Manna, A. Maljuk, S. Wurmehl, J. van den Brink, B. Büchner, C. Hess, Physical Review Research 3 (2021).
[Published Version]
View
| Files available
| DOI
Z. Sun, J.M. Guevara, S. Sykora, E. Paerschke, K. Manna, A. Maljuk, S. Wurmehl, J. van den Brink, B. Büchner, C. Hess, Physical Review Research 3 (2021).
2021 | Preprint | IST-REx-ID: 12070 |
Switching between enantiomers by combining chromoselective photocatalysis and biocatalysis
L. Schmermund, S. Reischauer, S. Bierbaumer, C. Winkler, A. Diaz-Rodriguez, L.J. Edwards, S. Kara, T. Mielke, J. Cartwright, G. Grogan, B. Pieber, W. Kroutil, (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
L. Schmermund, S. Reischauer, S. Bierbaumer, C. Winkler, A. Diaz-Rodriguez, L.J. Edwards, S. Kara, T. Mielke, J. Cartwright, G. Grogan, B. Pieber, W. Kroutil, (n.d.).
2021 | Preprint | IST-REx-ID: 12068 |
Photocatalyst-free, visible-light-mediated nickel catalyzed carbon–heteroatom cross-couplings
C. Cavedon, S. Gisbertz, S. Vogl, N. Richter, S. Schrottke, C. Teutloff, P.H. Seeberger, A. Thomas, B. Pieber, (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
C. Cavedon, S. Gisbertz, S. Vogl, N. Richter, S. Schrottke, C. Teutloff, P.H. Seeberger, A. Thomas, B. Pieber, (n.d.).
2021 | Preprint | IST-REx-ID: 12077 |
On the leading constant in the Manin-type conjecture for Campana points
A.L. Shute, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A.L. Shute, ArXiv (n.d.).
2021 | 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 | Preprint | IST-REx-ID: 12314 |
A recurrence relation for elliptic divisibility sequences
M. Verzobio, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Verzobio, ArXiv (n.d.).
2021 | Journal Article | IST-REx-ID: 12667 |
Microscopic origins of the crystallographically preferred growth in evaporation-induced colloidal crystals
L. Li, C.P. Goodrich, H. Yang, K.R. Phillips, Z. Jia, H. Chen, L. Wang, J. Zhong, A. Liu, J. Lu, J. Shuai, M.P. Brenner, F. Spaepen, J. Aizenberg, PNAS 118 (2021).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
L. Li, C.P. Goodrich, H. Yang, K.R. Phillips, Z. Jia, H. Chen, L. Wang, J. Zhong, A. Liu, J. Lu, J. Shuai, M.P. Brenner, F. Spaepen, J. Aizenberg, PNAS 118 (2021).
2021 | Book Chapter | IST-REx-ID: 7941
Simple multi-color super-resolution by X10 microscopy
S.M. Truckenbrodt, S.O. Rizzoli, in:, Methods in Cell Biology, Elsevier, 2021, pp. 33–56.
View
| DOI
| PubMed | Europe PMC
S.M. Truckenbrodt, S.O. Rizzoli, in:, Methods in Cell Biology, Elsevier, 2021, pp. 33–56.
2021 | Journal Article | IST-REx-ID: 11446
Vanishing of all equivariant obstructions and the mapping degree
S. Avvakumov, S. Kudrya, Discrete & Computational Geometry 66 (2021) 1202–1216.
[Preprint]
View
| Files available
| DOI
| arXiv
S. Avvakumov, S. Kudrya, Discrete & Computational Geometry 66 (2021) 1202–1216.
2021 | Journal Article | IST-REx-ID: 9097 |
Role of subnetworks mediated by TNF α, IL-23/IL-17 and IL-15 in a network involved in the pathogenesis of psoriasis
R. Pandey, Y. Al-Nuaimi, R.K. Mishra, S.K. Spurgeon, M. Goodfellow, Scientific Reports 11 (2021).
[Published Version]
View
| Files available
| DOI
R. Pandey, Y. Al-Nuaimi, R.K. Mishra, S.K. Spurgeon, M. Goodfellow, Scientific Reports 11 (2021).
2021 | 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 | Journal Article | IST-REx-ID: 9282 |
Complete mapping of magnetic anisotropy for prototype Ising van der Waals FePS3
M. Nauman, D.H. Kiem, S. Lee, S. Son, J.-G. Park, W. Kang, M.J. Han, Y.J. Jo, 2D Materials 8 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Nauman, D.H. Kiem, S. Lee, S. Son, J.-G. Park, W. Kang, M.J. Han, Y.J. Jo, 2D Materials 8 (2021).
2021 | Journal Article | IST-REx-ID: 9285 |
Justifying Kubo’s formula for gapped systems at zero temperature: A brief review and some new results
S.J. Henheik, S. Teufel, Reviews in Mathematical Physics 33 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S.J. Henheik, S. Teufel, Reviews in Mathematical Physics 33 (2021).
2021 | Conference Paper | IST-REx-ID: 9296 |
On compatible matchings
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, in:, 15th International Conference on Algorithms and Computation, Springer Nature, 2021, pp. 221–233.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, in:, 15th International Conference on Algorithms and Computation, Springer Nature, 2021, pp. 221–233.
2021 | Book Chapter | IST-REx-ID: 9403 |
The evolution of strategic ignorance in strategic interaction
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
[Published Version]
View
| Download Published Version (ext.)
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
2021 | Conference Paper | IST-REx-ID: 9466 |
The convergence of slide-type reductions
M. Walter, in:, Public-Key Cryptography – PKC 2021, Springer Nature, 2021, pp. 45–67.
[Published Version]
View
| Files available
| DOI
M. Walter, in:, Public-Key Cryptography – PKC 2021, Springer Nature, 2021, pp. 45–67.
2021 | Journal Article | IST-REx-ID: 9465 |
A step in the Delaunay mosaic of order k
H. Edelsbrunner, A. Nikitenko, G.F. Osang, Journal of Geometry 112 (2021).
[Published Version]
View
| Files available
| DOI
H. Edelsbrunner, A. Nikitenko, G.F. Osang, Journal of Geometry 112 (2021).
2021 | Conference Paper | IST-REx-ID: 9543 |
New bounds for distributed mean estimation and variance reduction
P. Davies, V. Gurunanthan, N. Moshrefi, S. Ashkboos, D.-A. Alistarh, in:, 9th International Conference on Learning Representations, 2021.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
P. Davies, V. Gurunanthan, N. Moshrefi, S. Ashkboos, D.-A. Alistarh, in:, 9th International Conference on Learning Representations, 2021.
2021 | Journal Article | IST-REx-ID: 9572 |
Acyclic subgraphs of tournaments with high chromatic number
J. Fox, M.A. Kwan, B. Sudakov, Bulletin of the London Mathematical Society 53 (2021) 619–630.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Fox, M.A. Kwan, B. Sudakov, Bulletin of the London Mathematical Society 53 (2021) 619–630.
2021 | Conference Paper | IST-REx-ID: 9592 |
Massively winning configurations in the convex grabbing game on the plane
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, n.d.
[Submitted Version]
View
| Files available
| arXiv
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, n.d.
2021 | Journal Article | IST-REx-ID: 9669 |
Quantum-mechanical exploration of the phase diagram of water
A. Reinhardt, B. Cheng, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
A. Reinhardt, B. Cheng, Nature Communications 12 (2021).
2021 | Preprint | IST-REx-ID: 9695 |
Ranking the information content of distance measures
A. Glielmo, C. Zeni, B. Cheng, G. Csanyi, A. Laio, ArXiv (n.d.).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
A. Glielmo, C. Zeni, B. Cheng, G. Csanyi, A. Laio, ArXiv (n.d.).
2021 | Preprint | IST-REx-ID: 9696 |
Predicting the phase behaviors of superionic water at planetary conditions
B. Cheng, M. Bethkenhagen, C.J. Pickard, S. Hamel, ArXiv (n.d.).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
B. Cheng, M. Bethkenhagen, C.J. Pickard, S. Hamel, ArXiv (n.d.).
2021 | Preprint | IST-REx-ID: 9082 |
Simultaneous identification of brain cell type and lineage via single cell RNA sequencing
D.J. Anderson, F. Pauler, A. McKenna, J. Shendure, S. Hippenmeyer, M.S. Horwitz, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
D.J. Anderson, F. Pauler, A. McKenna, J. Shendure, S. Hippenmeyer, M.S. Horwitz, BioRxiv (n.d.).
2021 | Journal Article | IST-REx-ID: 9151 |
Distortions of the rain distribution with warming, with and without self‐aggregation
B. Fildier, W.D. Collins, C.J. Muller, Journal of Advances in Modeling Earth Systems 13 (2021).
[Published Version]
View
| Files available
| DOI
B. Fildier, W.D. Collins, C.J. Muller, Journal of Advances in Modeling Earth Systems 13 (2021).
2021 | Conference Paper | IST-REx-ID: 9210 |
Does SGD implicitly optimize for smoothness?
V. Volhejn, C. Lampert, in:, 42nd German Conference on Pattern Recognition, Springer, 2021, pp. 246–259.
[Submitted Version]
View
| Files available
| DOI
V. Volhejn, C. Lampert, in:, 42nd German Conference on Pattern Recognition, Springer, 2021, pp. 246–259.
2021 | Conference Paper | IST-REx-ID: 9345 |
The density fingerprint of a periodic point set
H. Edelsbrunner, T. Heiss, V. Kurlin , P. Smith, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 32:1-32:16.
[Published Version]
View
| Files available
| DOI
H. Edelsbrunner, T. Heiss, V. Kurlin , P. Smith, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 32:1-32:16.
2021 | Preprint | IST-REx-ID: 9435 |
Non co-preservation of the 1/2 and 1/(2l+1)-rational caustics along deformations of circles
V. Kaloshin, E. Koudjinan, (2021).
[Submitted Version]
View
| Files available
V. Kaloshin, E. Koudjinan, (2021).
2021 | Conference Paper | IST-REx-ID: 9604 |
Counting cells of order-k voronoi tessellations in ℝ3 with morse theory
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 | Conference Paper | IST-REx-ID: 9620 |
Collecting coupons is faster with friends
D.-A. Alistarh, P. Davies, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 3–12.
[Preprint]
View
| Files available
| DOI
D.-A. Alistarh, P. Davies, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 3–12.
2021 | Conference Paper | IST-REx-ID: 9826 |
Inverse-Sybil attacks in automated contact tracing
B. Auerbach, S. Chakraborty, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, M.X. Yeo, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 399–421.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
B. Auerbach, S. Chakraborty, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, M.X. Yeo, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 399–421.
2021 | Conference Paper | IST-REx-ID: 9825 |
Dual lattice attacks for closest vector problems (with preprocessing)
T. Laarhoven, M. Walter, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 478–502.
[Preprint]
View
| DOI
| Download Preprint (ext.)
T. Laarhoven, M. Walter, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 478–502.
2021 | Conference Paper | IST-REx-ID: 9823 |
Wait-free approximate agreement on graphs
D.-A. Alistarh, F. Ellen, J. Rybicki, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 87–105.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D.-A. Alistarh, F. Ellen, J. Rybicki, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 87–105.
2021 | Conference Paper | IST-REx-ID: 9824
Body centered cubic grid - coordinate system and discrete analytical plane definition
L. Čomić, R. Zrour, G. Largeteau-Skapin, R. Biswas, E. Andres, in:, Discrete Geometry and Mathematical Morphology, Springer Nature, 2021, pp. 152–163.
View
| DOI
L. Čomić, R. Zrour, G. Largeteau-Skapin, R. Biswas, E. Andres, in:, Discrete Geometry and Mathematical Morphology, Springer Nature, 2021, pp. 152–163.
2021 | Preprint | IST-REx-ID: 9980 |
Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries
C. Prehal, S.D. Talian, A. Vizintin, H. Amenitsch, R. Dominko, S.A. Freunberger, V. Wood, Research Square (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
C. Prehal, S.D. Talian, A. Vizintin, H. Amenitsch, R. Dominko, S.A. Freunberger, V. Wood, Research Square (n.d.).
2021 | Journal Article | IST-REx-ID: 12584 |
Multi-source hydrological data products to monitor High Asian river basins and regional water security
Menenti M, Li X, Jia L, Yang K, Pellicciotti F, Mancini M, Shi J, Escorihuela MJ, Zheng C, Chen Q, Lu J, Zhou J, Hu G, Ren S, Zhang J, Liu Q, Qiu Y, Huang C, Zhou J, Han X, Pan X, Li H, Wu Y, Ding B, Yang W, Buri P, McCarthy MJ, Miles ES, Shaw TE, Ma C, Zhou Y, Corbari C, Li R, Zhao T, Stefan V, Gao Q, Zhang J, Xie Q, Wang N, Sun Y, Mo X, Jia J, Jouberton AP, Kneib M, Fugger S, Paciolla N, Paolini G. 2021. Multi-source hydrological data products to monitor High Asian river basins and regional water security. Remote Sensing. 13(24), 5122.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Menenti M, Li X, Jia L, Yang K, Pellicciotti F, Mancini M, Shi J, Escorihuela MJ, Zheng C, Chen Q, Lu J, Zhou J, Hu G, Ren S, Zhang J, Liu Q, Qiu Y, Huang C, Zhou J, Han X, Pan X, Li H, Wu Y, Ding B, Yang W, Buri P, McCarthy MJ, Miles ES, Shaw TE, Ma C, Zhou Y, Corbari C, Li R, Zhao T, Stefan V, Gao Q, Zhang J, Xie Q, Wang N, Sun Y, Mo X, Jia J, Jouberton AP, Kneib M, Fugger S, Paciolla N, Paolini G. 2021. Multi-source hydrological data products to monitor High Asian river basins and regional water security. Remote Sensing. 13(24), 5122.
2021 | Journal Article | IST-REx-ID: 12590 |
Mapping ice cliffs on debris-covered glaciers using multispectral satellite images
M. Kneib, E.S. Miles, S. Jola, P. Buri, S. Herreid, A. Bhattacharya, C.S. Watson, T. Bolch, D. Quincey, F. Pellicciotti, Remote Sensing of Environment 253 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Kneib, E.S. Miles, S. Jola, P. Buri, S. Herreid, A. Bhattacharya, C.S. Watson, T. Bolch, D. Quincey, F. Pellicciotti, Remote Sensing of Environment 253 (2021).
2021 | Journal Article | IST-REx-ID: 12591 |
Anisotropy parameterization development and evaluation for glacier surface albedo retrieval from satellite observations
S. Ren, E.S. Miles, L. Jia, M. Menenti, M. Kneib, P. Buri, M.J. McCarthy, T.E. Shaw, W. Yang, F. Pellicciotti, Remote Sensing 13 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Ren, E.S. Miles, L. Jia, M. Menenti, M. Kneib, P. Buri, M.J. McCarthy, T.E. Shaw, W. Yang, F. Pellicciotti, Remote Sensing 13 (2021).
2021 | Journal Article | IST-REx-ID: 12589 |
Distributed summer air temperatures across mountain glaciers in the south-east Tibetan Plateau: Temperature sensitivity and comparison with existing glacier datasets
T.E. Shaw, W. Yang, Á. Ayala, C. Bravo, C. Zhao, F. Pellicciotti, The Cryosphere 15 (2021) 595–614.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T.E. Shaw, W. Yang, Á. Ayala, C. Bravo, C. Zhao, F. Pellicciotti, The Cryosphere 15 (2021) 595–614.
2021 | Journal Article | IST-REx-ID: 12586 |
Interannual dynamics of ice cliff populations on debris‐covered glaciers from remote sensing observations and stochastic modeling
M. Kneib, E.S. Miles, P. Buri, P. Molnar, M. McCarthy, S. Fugger, F. Pellicciotti, Journal of Geophysical Research: Earth Surface 126 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Kneib, E.S. Miles, P. Buri, P. Molnar, M. McCarthy, S. Fugger, F. Pellicciotti, Journal of Geophysical Research: Earth Surface 126 (2021).
2021 | Journal Article | IST-REx-ID: 12587 |
Using climate reanalysis data in conjunction with multi-temporal satellite thermal imagery to derive supraglacial debris thickness changes from energy-balance modelling
R.L. Stewart, M. Westoby, F. Pellicciotti, A. Rowan, D. Swift, B. Brock, J. Woodward, Journal of Glaciology 67 (2021) 366–384.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R.L. Stewart, M. Westoby, F. Pellicciotti, A. Rowan, D. Swift, B. Brock, J. Woodward, Journal of Glaciology 67 (2021) 366–384.
2021 | Journal Article | IST-REx-ID: 12585 |
Health and sustainability of glaciers in High Mountain Asia
E. Miles, M. McCarthy, A. Dehecq, M. Kneib, S. Fugger, F. Pellicciotti, Nature Communications 12 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
E. Miles, M. McCarthy, A. Dehecq, M. Kneib, S. Fugger, F. Pellicciotti, Nature Communications 12 (2021).
2021 | Journal Article | IST-REx-ID: 12588 |
Supraglacial ice cliffs can substantially increase the mass loss of debris‐covered glaciers
P. Buri, E.S. Miles, J.F. Steiner, S. Ragettli, F. Pellicciotti, Geophysical Research Letters 48 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Buri, E.S. Miles, J.F. Steiner, S. Ragettli, F. Pellicciotti, Geophysical Research Letters 48 (2021).
2021 | Journal Article | IST-REx-ID: 12583 |
The energy and mass balance of Peruvian Glaciers
C.L. Fyffe, E. Potter, S. Fugger, A. Orr, S. Fatichi, E. Loarte, K. Medina, R.Å. Hellström, M. Bernat, C. Aubry‐Wake, W. Gurgiser, L.B. Perry, W. Suarez, D.J. Quincey, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 126 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
C.L. Fyffe, E. Potter, S. Fugger, A. Orr, S. Fatichi, E. Loarte, K. Medina, R.Å. Hellström, M. Bernat, C. Aubry‐Wake, W. Gurgiser, L.B. Perry, W. Suarez, D.J. Quincey, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 126 (2021).
2021 | 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 | Preprint | IST-REx-ID: 10011 |
A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness
S. Hensel, T. Laux, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Hensel, T. Laux, ArXiv (n.d.).
2021 | 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 | Preprint | IST-REx-ID: 9281 |
Formal verification of Zagier's one-sentence proof
G. Dubach, F. Mühlböck, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
G. Dubach, F. Mühlböck, ArXiv (n.d.).