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.
7172 Publications
2021 | Published | Journal Article | IST-REx-ID: 10674 | 
Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, Logical Methods in Computer Science 17 (2021) 10:1-10:23.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Aghajohari, G. Avni, T.A. Henzinger, Logical Methods in Computer Science 17 (2021) 10:1-10:23.
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 | 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 | Journal Article | IST-REx-ID: 10738 |
The Landau–Pekar equations: Adiabatic theorem and accuracy
N.K. Leopold, S.A.E. Rademacher, B. Schlein, R. Seiringer, Analysis and PDE 14 (2021) 2079–2100.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
N.K. Leopold, S.A.E. Rademacher, B. Schlein, R. Seiringer, Analysis and PDE 14 (2021) 2079–2100.
2021 | Submitted | 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 | Submitted | 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 | 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: 10809
Tidying up the mess
Y. Liu, M. Ibáñez, Science 371 (2021) 678–679.
View
| DOI
| WoS
| PubMed | Europe PMC
Y. Liu, M. Ibáñez, Science 371 (2021) 678–679.
2021 | Published | Journal Article | IST-REx-ID: 9462 |
Semiclassical approximation and critical temperature shift for weakly interacting trapped bosons
A. Deuchert, R. Seiringer, Journal of Functional Analysis 281 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Deuchert, R. Seiringer, Journal of Functional Analysis 281 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9464
Ge/Si quantum wires for quantum computing
F. Gao, J.Y. Zhang, J.H. Wang, M. Ming, T. Wang, J.J. Zhang, H. Watzinger, J. Kukucka, L. Vukušić, G. Katsaros, K. Wang, G. Xu, H.O. Li, G.P. Guo, in:, 2021 5th IEEE Electron Devices Technology and Manufacturing Conference, EDTM 2021, IEEE, 2021.
View
| DOI
| WoS
F. Gao, J.Y. Zhang, J.H. Wang, M. Ming, T. Wang, J.J. Zhang, H. Watzinger, J. Kukucka, L. Vukušić, G. Katsaros, K. Wang, G. Xu, H.O. Li, G.P. Guo, in:, 2021 5th IEEE Electron Devices Technology and Manufacturing Conference, EDTM 2021, IEEE, 2021.
2021 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 9470 |
Unboxing mutations: Connecting mutation types with evolutionary consequences
E.L. Berdan, A. Blanckaert, T. Slotte, A. Suh, A.M. Westram, I. Fragata, Molecular Ecology 30 (2021) 2710–2723.
[Published Version]
View
| Files available
| DOI
| WoS
E.L. Berdan, A. Blanckaert, T. Slotte, A. Suh, A.M. Westram, I. Fragata, Molecular Ecology 30 (2021) 2710–2723.
2021 | Published | Journal Article | IST-REx-ID: 9540 |
Structural basis for inhibition of the AAA-ATPase Drg1 by diazaborine
M. Prattes, I. Grishkovskaya, V.-V. Hodirnau, I. Rössler, I. Klein, C. Hetzmannseder, G. Zisser, C.C. Gruber, K. Gruber, D. Haselbach, H. Bergler, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Prattes, I. Grishkovskaya, V.-V. Hodirnau, I. Rössler, I. Klein, C. Hetzmannseder, G. Zisser, C.C. Gruber, K. Gruber, D. Haselbach, H. Bergler, Nature Communications 12 (2021).
2021 | Published | 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 | Published | Journal Article | IST-REx-ID: 9547 |
Neural acceleration of scattering-aware color 3D printing
T. Rittig, D. Sumin, V. Babaei, P. Didyk, A. Voloboy, A. Wilkie, B. Bickel, K. Myszkowski, T. Weyrich, J. Křivánek, Computer Graphics Forum 40 (2021) 205–219.
[Submitted Version]
View
| Files available
| DOI
| WoS
T. Rittig, D. Sumin, V. Babaei, P. Didyk, A. Voloboy, A. Wilkie, B. Bickel, K. Myszkowski, T. Weyrich, J. Křivánek, Computer Graphics Forum 40 (2021) 205–219.
2021 | Published | Journal Article | IST-REx-ID: 9550 |
Equipartition principle for Wigner matrices
Z. Bao, L. Erdös, K. Schnelli, Forum of Mathematics, Sigma 9 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
Z. Bao, L. Erdös, K. Schnelli, Forum of Mathematics, Sigma 9 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9558 |
Coarse graining the state space of a turbulent flow using periodic orbits
G. Yalniz, B. Hof, N.B. Budanur, Physical Review Letters 126 (2021).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Yalniz, B. Hof, N.B. Budanur, Physical Review Letters 126 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9570 |
Closing of the induced gap in a hybrid superconductor-semiconductor nanowire
D. Puglia, E.A. Martinez, G.C. Ménard, A. Pöschl, S. Gronin, G.C. Gardner, R. Kallaher, M.J. Manfra, C.M. Marcus, A.P. Higginbotham, L. Casparis, Physical Review B 103 (2021).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D. Puglia, E.A. Martinez, G.C. Ménard, A. Pöschl, S. Gronin, G.C. Gardner, R. Kallaher, M.J. Manfra, C.M. Marcus, A.P. Higginbotham, L. Casparis, Physical Review B 103 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9571 |
NUQSGD: Provably communication-efficient data-parallel SGD via nonuniform quantization
A. Ramezani-Kebrya, F. Faghri, I. Markov, V. Aksenov, D.-A. Alistarh, D.M. Roy, Journal of Machine Learning Research 22 (2021) 1−43.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
A. Ramezani-Kebrya, F. Faghri, I. Markov, V. Aksenov, D.-A. Alistarh, D.M. Roy, Journal of Machine Learning Research 22 (2021) 1−43.