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.
1621 Publications
2022 |Published| Thesis | IST-REx-ID: 11362 | 
Lechner M. 2022. Learning verifiable representations. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 13452 |
Keszthelyi Z, de Koter A, Götberg YLL, Meynet G, Brands SA, Petit V, Carrington M, David-Uraz A, Geen ST, Georgy C, Hirschi R, Puls J, Ramalatswa KJ, Shultz ME, ud-Doula A. 2022. The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at Solar, LMC, and SMC metallicities. Monthly Notices of the Royal Astronomical Society. 517(2), 2028–2055.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 14098 |
Keszthelyi Z, Koter A de, Götberg YLL, Meynet G, Brands SA, Petit V, Carrington M, A. David-Uraz AD-U, Geen ST, Georgy C, Hirschi R, Puls J, Ramalatswa KJ, Shultz ME, A. ud-Doula A ud-Doula. 2022. The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at solar, LMC, and SMC metallicities. Monthly Notices of the Royal Astronomical Society. 517(2), 2028–2055.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11732 |
Henheik SJ, Lauritsen AB. 2022. The BCS energy gap at high density. Journal of Statistical Physics. 189, 5.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Conference Paper | IST-REx-ID: 12167 |
Avarikioti G, Pietrzak KZ, Salem I, Schmid S, Tiwari S, Yeo MX. 2022. Hide & Seek: Privacy-preserving rebalancing on payment channel networks. Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13411, 358–373.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12302 |
Doveri K, Ganty P, Mazzocchi NA. 2022. FORQ-based language inclusion formal testing. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13372, 109–129.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12176 |
Hoffmann C, Hubáček P, Kamath C, Klein K, Pietrzak KZ. 2022. Practical statistically-sound proofs of exponentiation in any group. Advances in Cryptology – CRYPTO 2022. CRYYPTO: International Cryptology Conference, LNCS, vol. 13508, 370–399.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2022 |Published| Conference Paper | IST-REx-ID: 12298 |
Gelashvili R, Kokoris Kogias E, Sonnino A, Spiegelman A, Xiang Z. 2022. Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback. Financial Cryptography and Data Security. FC: Financial Cryptography, LNCS, vol. 13411, 296–315.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12168 |
Cohen S, Gelashvili R, Kokoris Kogias E, Li Z, Malkhi D, Sonnino A, Spiegelman A. 2022. Be aware of your leaders. International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13411, 279–295.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12170
Meggendorfer T. 2022. PET – A partial exploration tool for probabilistic verification. 20th International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 13505, 320–326.
View
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 12175 |
Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. 2022. History-deterministic timed automata are not determinizable. 16th International Conference on Reachability Problems. RC: Reachability Problems, LNCS, vol. 13608, 67–76.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 14168 |
Rahaman N, Weiss M, Locatello F, Pal C, Bengio Y, Schölkopf B, Li LE, Ballas N. 2022. Neural attentive circuits. 36th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 35.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 11185 |
Arroyo Guevara AM, Felsner S. 2022. Approximating the bundled crossing number. WALCOM 2022: Algorithms and Computation. WALCOM: Algorithms and ComputationLNCS vol. 13174, 383–395.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 10753 |
Confavreux BJ, Vogels TP. 2022. A familiar thought: Machines that replace us? Neuron. 110(3), 361–362.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 11144
Su L, Wang D, Wang S, Qin B, Wang Y, Qin Y, Jin Y, Chang C, Zhao LD. 2022. High thermoelectric performance realized through manipulating layered phonon-electron decoupling. Science. 375(6587), 1385–1389.
View
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Thesis | IST-REx-ID: 10799 |
Konstantinov NH. 2022. Robustness and fairness in machine learning. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 |Submitted| Preprint | IST-REx-ID: 10792 |
Schaaf Z, Tat L, Cannizzaro N, Green R, Rülicke T, Hippenmeyer S, Zarbalis K. WDFY3 cell autonomously controls neuronal migration. 10.21203/rs.3.rs-1316167/v1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 11435 |
Ivanov G, Naszodi M. 2022. A quantitative Helly-type theorem: Containment in a homothet. SIAM Journal on Discrete Mathematics. 36(2), 951–957.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11478 |
Bartalska K, Hübschmann V, Korkut M, Cubero RJ, Venturino A, Rössler K, Czech T, Siegert S. 2022. A systematic characterization of microglia-like cell occurrence during retinal organoid differentiation. iScience. 25(7), 104580.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Thesis | IST-REx-ID: 11626 |
Gallei MC. 2022. Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI