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| Conference Paper | IST-REx-ID: 12516 |
A. Bogdanov, M. Cueto Noval, C. Hoffmann, and A. Rosen, “Public-Key Encryption from Homogeneous CLWE,” in Theory of Cryptography, Chicago, IL, United States, 2022, vol. 13748, pp. 565–592.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2022 |Epub ahead of print| Journal Article | IST-REx-ID: 12178 |
A. Agresti, M. Hieber, A. Hussein, and M. Saal, “The stochastic primitive equations with transport noise and turbulent pressure,” Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2022 |Published| Thesis | IST-REx-ID: 11362 |
M. Lechner, “Learning verifiable representations,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 13452 |
Z. Keszthelyi et al., “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, vol. 517, no. 2. Oxford University Press, pp. 2028–2055, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 14098 |
Z. Keszthelyi et al., “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, vol. 517, no. 2. Oxford Academic, pp. 2028–2055, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11732 |
S. J. Henheik and A. B. Lauritsen, “The BCS energy gap at high density,” Journal of Statistical Physics, vol. 189. Springer Nature, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Conference Paper | IST-REx-ID: 12167 |
G. Avarikioti, K. Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, and M. X. Yeo, “Hide & Seek: Privacy-preserving rebalancing on payment channel networks,” in Financial Cryptography and Data Security, Grenada, 2022, vol. 13411, pp. 358–373.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12302 |
K. Doveri, P. Ganty, and N. A. Mazzocchi, “FORQ-based language inclusion formal testing,” in Computer Aided Verification, Haifa, Israel, 2022, vol. 13372, pp. 109–129.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12176 |
C. Hoffmann, P. Hubáček, C. Kamath, K. Klein, and K. Z. Pietrzak, “Practical statistically-sound proofs of exponentiation in any group,” in Advances in Cryptology – CRYPTO 2022, Santa Barbara, CA, United States, 2022, vol. 13508, pp. 370–399.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2022 |Published| Conference Paper | IST-REx-ID: 12298 |
R. Gelashvili, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, and Z. Xiang, “Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback,” in Financial Cryptography and Data Security, Radisson Grenada Beach Resort, Grenada, 2022, vol. 13411, pp. 296–315.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12168 |
S. Cohen et al., “Be aware of your leaders,” in International Conference on Financial Cryptography and Data Security, Grenada, 2022, vol. 13411, pp. 279–295.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12175 |
S. Bose, T. A. Henzinger, K. Lehtinen, S. Schewe, and P. Totzke, “History-deterministic timed automata are not determinizable,” in 16th International Conference on Reachability Problems, Kaiserslautern, Germany, 2022, vol. 13608, pp. 67–76.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 14168 |
N. Rahaman et al., “Neural attentive circuits,” in 36th Conference on Neural Information Processing Systems, New Orleans, United States, 2022, vol. 35.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 11185 |
A. M. Arroyo Guevara and S. Felsner, “Approximating the bundled crossing number,” in WALCOM 2022: Algorithms and Computation, Jember, Indonesia, 2022, vol. 13174, pp. 383–395.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 10753 |
B. J. Confavreux and T. P. Vogels, “A familiar thought: Machines that replace us?,” Neuron, vol. 110, no. 3. Elsevier, pp. 361–362, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 11144
L. Su et al., “High thermoelectric performance realized through manipulating layered phonon-electron decoupling,” Science, vol. 375, no. 6587. American Association for the Advancement of Science, pp. 1385–1389, 2022.
View
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Thesis | IST-REx-ID: 10799 |
N. H. Konstantinov, “Robustness and fairness in machine learning,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |Submitted| Preprint | IST-REx-ID: 10792 |
Z. Schaaf et al., “WDFY3 cell autonomously controls neuronal migration.” Research Square.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC