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.

4947 Publications


2022 | Thesis | IST-REx-ID: 11473 | OA
Polarons in Bose gases and polar crystals: Some rigorous energy estimates
K. Mysliwy, Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10564 | OA
Polaron models with regular interactions at strong coupling
K. Mysliwy, R. Seiringer, Journal of Statistical Physics 186 (2022).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11402 | OA
Graph planning with expected finite horizon
K. Chatterjee, L. Doyen, Journal of Computer and System Sciences 129 (2022) 1–21.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Preprint | IST-REx-ID: 12750 | OA [Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11185 | OA
Approximating the bundled crossing number
A.M. Arroyo Guevara, S. Felsner, in:, WALCOM 2022: Algorithms and Computation, Springer Nature, 2022, pp. 383–395.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12775 | OA
Anytime guarantees for reachability in uncountable Markov decision processes
K. Grover, J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 33rd International Conference on Concurrency Theory , Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 12510 | OA
GoTube: Scalable statistical verification of continuous-depth models
S.A. Gruenbacher, M. Lechner, R. Hasani, D. Rus, T.A. Henzinger, S.A. Smolka, R. Grosu, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 6755–6764.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 10802 | OA
Fairness-aware PAC learning from corrupted data
N.H. Konstantinov, C. Lampert, Journal of Machine Learning Research 23 (2022) 1–60.
[Published Version] View | Files available | arXiv
 

2022 | Conference Paper | IST-REx-ID: 13241 | OA
On the impossibility of fairness-aware learning from corrupted data
N.H. Konstantinov, C. Lampert, in:, Proceedings of Machine Learning Research, ML Research Press, 2022, pp. 59–83.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 10566 | OA
Room temperature aqueous-based synthesis of copper-doped lead sulfide nanoparticles for thermoelectric application
M. Li, Y. Liu, Y. Zhang, C. Chang, T. Zhang, D. Yang, K. Xiao, J. Arbiol, M. Ibáñez, A. Cabot, Chemical Engineering Journal 433 (2022).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

Filters and Search Terms

extern<>1

Search

Filter Publications