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.
1850 Publications
2022 |Published| Journal Article | IST-REx-ID: 12174 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Guerrini R, Mei D, Szigeti MK, Pepe S, Koenig MK, Von Allmen G, Cho MT, McDonald K, Baker J, Bhambhani V, Powis Z, Rodan L, Nabbout R, Barcia G, Rosenfeld JA, Bacino CA, Mignot C, Power LH, Harris CJ, Marjanovic D, Møller RS, Hammer TB, Keski Filppula R, Vieira P, Hildebrandt C, Sacharow S, Maragliano L, Benfenati F, Lachlan K, Benneche A, Petit F, de Sainte Agathe JM, Hallinan B, Si Y, Wentzensen IM, Zou F, Narayanan V, Matsumoto N, Boncristiano A, la Marca G, Kato M, Anderson K, Barba C, Sturiale L, Garozzo D, Bei R, Masuelli L, Conti V, Novarino G, Fassio A. 2022. Phenotypic and genetic spectrum of ATP6V1A encephalopathy: A disorder of lysosomal homeostasis. Brain. 145(8), 2687–2703.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2022 |Published| Journal Article | IST-REx-ID: 12209 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nunes Pinheiro DC, Kardos R, Hannezo EB, Heisenberg C-PJ. 2022. Morphogen gradient orchestrates pattern-preserving tissue morphogenesis via motility-driven unjamming. Nature Physics. 18(12), 1482–1493.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 12227 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kovačič S, Schafzahl B, Matsko NB, Gruber K, Schmuck M, Koller S, Freunberger SA, Slugovc C. 2022. Carbon foams via ring-opening metathesis polymerization of emulsion templates: A facile method to make carbon current collectors for battery applications. ACS Applied Energy Materials. 5(11), 14381–14390.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 12226 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pokusaeva V, Diez AR, Espinar L, Pérez AT, Filion GJ. 2022. Strand asymmetry influences mismatch resolution during single-strand annealing. Genome Biology. 23, 93.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 12233 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Doan N, Hashemi SA, Mondelli M, Gross WJ. 2022. Decoding Reed-Muller codes with successive codeword permutations. IEEE Transactions on Communications. 70(11), 7134–7145.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12516 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bogdanov A, Cueto Noval M, Hoffmann C, Rosen A. 2022. Public-Key Encryption from Homogeneous CLWE. Theory of Cryptography. TCC: Theory of Cryptography, LNCS, vol. 13748, 565–592.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2022 |Epub ahead of print| Journal Article | IST-REx-ID: 12178 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Agresti A, Hieber M, Hussein A, Saal M. 2022. The stochastic primitive equations with transport noise and turbulent pressure. Stochastics and Partial Differential Equations: Analysis and Computations.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2022 |Published| Thesis | IST-REx-ID: 11362 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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