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.
6978 Publications
2022 |Published| Journal Article | IST-REx-ID: 12154 |
First and second sound in two-dimensional bosonic and fermionic superfluids
L. Salasnich, A. Cappellaro, K. Furutani, A. Tononi, G. Bighin, Symmetry 14 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
L. Salasnich, A. Cappellaro, K. Furutani, A. Tononi, G. Bighin, Symmetry 14 (2022).
2022 |Published| Journal Article | IST-REx-ID: 9955
Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum
R. Reyes‐Pinto, J.L. Ferrán, T.A. Vega Zuniga, C. González‐Cabrera, H. Luksch, J. Mpodozis, L. Puelles, G.J. Marín, Journal of Comparative Neurology 530 (2022) 553–573.
View
| DOI
| WoS
| PubMed | Europe PMC
R. Reyes‐Pinto, J.L. Ferrán, T.A. Vega Zuniga, C. González‐Cabrera, H. Luksch, J. Mpodozis, L. Puelles, G.J. Marín, Journal of Comparative Neurology 530 (2022) 553–573.
2022 |Published| Journal Article | IST-REx-ID: 10284 |
Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies
B.E. Casillas Perez, C. Pull, F. Naiser, E. Naderlinger, J. Matas, S. Cremer, Ecology Letters 25 (2022) 89–100.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B.E. Casillas Perez, C. Pull, F. Naiser, E. Naderlinger, J. Matas, S. Cremer, Ecology Letters 25 (2022) 89–100.
2022 |Published| Journal Article | IST-REx-ID: 11593 |
The Z2-Genus of Kuratowski minors
R. Fulek, J. Kynčl, Discrete and Computational Geometry 68 (2022) 425–447.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Fulek, J. Kynčl, Discrete and Computational Geometry 68 (2022) 425–447.
2022 |Published| Journal Article | IST-REx-ID: 12122 |
Multiple centrosomes enhance migration and immune cell effector functions of mature dendritic cells
A.-K. Weier, M. Homrich, S. Ebbinghaus, P. Juda, E. Miková, R. Hauschild, L. Zhang, T. Quast, E. Mass, A. Schlitzer, W. Kolanus, S. Burgdorf, O.J. Gruß, M. Hons, S. Wieser, E. Kiermaier, Journal of Cell Biology 221 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A.-K. Weier, M. Homrich, S. Ebbinghaus, P. Juda, E. Miková, R. Hauschild, L. Zhang, T. Quast, E. Mass, A. Schlitzer, W. Kolanus, S. Burgdorf, O.J. Gruß, M. Hons, S. Wieser, E. Kiermaier, Journal of Cell Biology 221 (2022).
2022 |Published| Thesis | IST-REx-ID: 11362 |
Learning verifiable representations
M. Lechner, Learning Verifiable Representations, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
M. Lechner, Learning Verifiable Representations, Institute of Science and Technology Austria, 2022.
2022 |Published| Journal Article | IST-REx-ID: 11469 |
Localization of a mobile impurity interacting with an Anderson insulator
P. Brighi, A. Michailidis, K. Kirova, D.A. Abanin, M. Serbyn, Physical Review B 105 (2022).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Brighi, A. Michailidis, K. Kirova, D.A. Abanin, M. Serbyn, Physical Review B 105 (2022).
2022 |Published| Journal Article | IST-REx-ID: 9311 |
Finite-memory strategies in POMDPs with long-run average objectives
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
2022 |Published| Conference Paper | IST-REx-ID: 12167 |
Hide & Seek: Privacy-preserving rebalancing on payment channel networks
G. Avarikioti, K.Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, M.X. Yeo, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 358–373.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Avarikioti, K.Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, M.X. Yeo, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 358–373.
2022 |Published| Conference Paper | IST-REx-ID: 12176 |
Practical statistically-sound proofs of exponentiation in any group
C. Hoffmann, P. Hubáček, C. Kamath, K. Klein, K.Z. Pietrzak, in:, Advances in Cryptology – CRYPTO 2022, Springer Nature, 2022, pp. 370–399.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
C. Hoffmann, P. Hubáček, C. Kamath, K. Klein, K.Z. Pietrzak, in:, Advances in Cryptology – CRYPTO 2022, Springer Nature, 2022, pp. 370–399.
2022 |Published| Conference Paper | IST-REx-ID: 12175 |
History-deterministic timed automata are not determinizable
S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, in:, 16th International Conference on Reachability Problems, Springer Nature, 2022, pp. 67–76.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, in:, 16th International Conference on Reachability Problems, Springer Nature, 2022, pp. 67–76.
2022 |Published| Journal Article | IST-REx-ID: 12246 |
Improved Lieb–Oxford bound on the indirect and exchange energies
M. Lewin, E.H. Lieb, R. Seiringer, Letters in Mathematical Physics 112 (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Lewin, E.H. Lieb, R. Seiringer, Letters in Mathematical Physics 112 (2022).
2022 |Published| Thesis | IST-REx-ID: 11473 |
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
K. Mysliwy, Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates, Institute of Science and Technology Austria, 2022.
2022 |Published| Journal Article | IST-REx-ID: 10564 |
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
K. Mysliwy, R. Seiringer, Journal of Statistical Physics 186 (2022).
2022 |Published| Journal Article | IST-REx-ID: 11402 |
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
K. Chatterjee, L. Doyen, Journal of Computer and System Sciences 129 (2022) 1–21.
2022 |Submitted| Preprint | IST-REx-ID: 12750 |
Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models
P. Brighi, M. Ljubotina, M. Serbyn, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
P. Brighi, M. Ljubotina, M. Serbyn, ArXiv (n.d.).
2022 |Published| Conference Paper | IST-REx-ID: 11185 |
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
A.M. Arroyo Guevara, S. Felsner, in:, WALCOM 2022: Algorithms and Computation, Springer Nature, 2022, pp. 383–395.
2022 |Published| Conference Paper | IST-REx-ID: 12775 |
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
K. Grover, J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 33rd International Conference on Concurrency Theory , Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
2022 |Published| Journal Article | IST-REx-ID: 12510 |
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
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.
2022 |Published| Journal Article | IST-REx-ID: 10802 |
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
N.H. Konstantinov, C. Lampert, Journal of Machine Learning Research 23 (2022) 1–60.