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.

4840 Publications


2023 | Submitted | Preprint | IST-REx-ID: 14962 | OA
K. Fan et al., “Unsupervised open-vocabulary object localization in videos,” arXiv. .
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Submitted | Preprint | IST-REx-ID: 14963 | OA
Z. Zhao et al., “Object-centric multiple object tracking,” arXiv. .
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14985 | OA
Z. Liu et al., “Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS,” Interdisciplinary Materials, vol. 2, no. 1. Wiley, pp. 161–170, 2023.
[Published Version] View | Files available | DOI
 

2023 | Published | Conference Paper | IST-REx-ID: 14989 | OA
H. Malvai et al., “Parakeet: Practical key transparency for end-to-end eEncrypted messaging,” in Proceedings of the 2023 Network and Distributed System Security Symposium, San Diego, CA, United States, 2023.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14990 | OA
T. Meggendorfer, “Artefact for: Correct Approximation of Stationary Distributions.” Zenodo, 2023.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14991 | OA
Y.-L. Hwong, M. Colin, P. Aglas, C. J. Muller, and S. C. Sherwood, “Data-assessing memory in convection schemes using idealized tests.” Zenodo, 2023.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Published | Book Chapter | IST-REx-ID: 14992 | OA
M. Lewin, E. H. Lieb, and R. Seiringer, “Universal Functionals in Density Functional Theory,” in Density Functional Theory, 1st ed., E. Cances and G. Friesecke, Eds. Springer, 2023, pp. 115–182.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 14993 | OA
C. Currin et al., “A framework for grassroots research collaboration in machine learning and global health,” in 1st Workshop on Machine Learning & Global Health, Kigali, Rwanda, 2023.
[Published Version] View | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14994 | OA
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, and S. Soudjani, “A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties.” Zenodo, 2023.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14995 | OA
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM.” Zenodo, 2023.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Epub ahead of print | Conference Paper | IST-REx-ID: 15023 | OA
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, and T. A. Henzinger, “Compositional policy learning in stochastic control systems with formal guarantees,” in 37th Conference on Neural Information Processing Systems, New Orleans, LO, United States, 2023.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 15027 | OA
S. Curk, “aggregation_data.” Figshare, 2023.
[Published Version] View | Files available | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 15035 | OA
M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers.” Zenodo, 2023.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Submitted | Preprint | IST-REx-ID: 15039 | OA
B. Prach and C. Lampert, “1-Lipschitz neural networks are more expressive with N-activations,” arXiv. .
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Accepted | Conference Paper | IST-REx-ID: 13053 | OA
E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, and D.-A. Alistarh, “CrAM: A Compression-Aware Minimizer,” in 11th International Conference on Learning Representations , Kigali, Rwanda .
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2023 | Published | Thesis | PhD | IST-REx-ID: 13074 | OA
E.-A. Peste, “Efficiency and generalization of sparse neural networks,” Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Published | Thesis | PhD | IST-REx-ID: 13081
L. Bocanegra, “Epithelial dynamics during mouse neural tube development,” Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 13091 | OA
T. D. Browning and W. Sawin, “Free rational curves on low degree hypersurfaces and the circle method,” Algebra and Number Theory, vol. 17, no. 3. Mathematical Sciences Publishers, pp. 719–748, 2023.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 13092 | OA
B. Nan et al., “Bottom-up synthesis of SnTe-based thermoelectric composites,” ACS Applied Materials and Interfaces, vol. 15, no. 19. American Chemical Society, pp. 23380–23389, 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Epub ahead of print | Journal Article | IST-REx-ID: 13093 | OA
B. Nan et al., “Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature,” ACS Applied Electronic Materials. American Chemical Society, 2023.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed