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.
7072 Publications
2021 |Published| Conference Paper | IST-REx-ID: 10044 | 
C. Kamath Hosdurg, K. Klein, and K. Z. Pietrzak, “On treewidth, separators and Yao’s garbling,” in 19th Theory of Cryptography Conference 2021, Raleigh, NC, United States, 2021.
[Preprint]
View
| Files available
| Download Preprint (ext.)
2021 |Submitted| 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 |Submitted| 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 |Published| Thesis | IST-REx-ID: 9418 |
M. Phuong, “Underspecification in deep learning,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 |Published| Thesis | IST-REx-ID: 10199 |
V. Toman, “Improved verification techniques for concurrent systems,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 |Published| Conference Paper | IST-REx-ID: 10854 |
K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, and S. Schmid, “Input-dynamic distributed algorithms for communication networks,” in Abstract Proceedings of the 2021 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, Virtual, Online, 2021, pp. 71–72.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 10855 |
K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, and S. Schmid, “Input-dynamic distributed algorithms for communication networks,” Proceedings of the ACM on Measurement and Analysis of Computing Systems, vol. 5, no. 1. Association for Computing Machinery, pp. 1–33, 2021.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 9293 |
K. Chatterjee, W. Dvořák, M. H. Henzinger, and A. Svozil, “Algorithms and conditional lower bounds for planning problems,” Artificial Intelligence, vol. 297, no. 8. Elsevier, 2021.
[Preprint]
View
| Files available
| 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: 9793 |
K. T. Baldwin et al., “HepaCAM controls astrocyte self-organization and coupling,” Neuron, vol. 109, no. 15. Elsevier, p. 2427–2442.e10, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
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: 9212 |
N. Cavallari, C. Artner, and E. Benková, “Auxin-regulated lateral root organogenesis,” Cold Spring Harbor Perspectives in Biology, vol. 13, no. 7. Cold Spring Harbor Laboratory Press, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 10327 |
M. Li et al., “PbS–Pb–CuxS composites for thermoelectric application,” ACS Applied Materials and Interfaces, vol. 13, no. 43. American Chemical Society , pp. 51373–51382, 2021.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 9235 |
M. Li et al., “Effect of the annealing atmosphere on crystal phase and thermoelectric properties of copper sulfide,” ACS Nano, vol. 15, no. 3. American Chemical Society , pp. 4967–4978, 2021.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 10204 |
G. F. Osang, H. Edelsbrunner, and M. Saadatfar, “Topological signatures and stability of hexagonal close packing and Barlow stackings,” Soft Matter, vol. 17, no. 40. Royal Society of Chemistry , pp. 9107–9115, 2021.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Conference Paper | IST-REx-ID: 9605 |
R. Corbet, M. Kerber, M. Lesnick, and G. F. Osang, “Computing the multicover bifiltration,” in Leibniz International Proceedings in Informatics, Online, 2021, vol. 189.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 9441 |
J.-D. Boissonnat, S. Kachanovich, and M. Wintraecken, “Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations,” in 37th International Symposium on Computational Geometry (SoCG 2021), Virtual, 2021, vol. 189, p. 17:1-17:16.
[Published Version]
View
| Files available
| DOI
2021 |Published| Journal Article | IST-REx-ID: 9393 |
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Faster algorithms for quantitative verification in bounded treewidth graphs,” Formal Methods in System Design, vol. 57. Springer, pp. 401–428, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8817
Y. Shehu, O. S. Iyiola, D. V. Thong, and N. T. C. Van, “An inertial subgradient extragradient algorithm extended to pseudomonotone equilibrium problems,” Mathematical Methods of Operations Research, vol. 93, no. 2. Springer Nature, pp. 213–242, 2021.
View
| DOI
| WoS