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| Journal Article | IST-REx-ID: 12107 | OA [Published Version] View | Files available | DOI | WoS
 

2022 |Published| Journal Article | IST-REx-ID: 12129 | OA
Connectivity of triangulation flip graphs in the plane
U. Wagner, E. Welzl, Discrete & Computational Geometry 68 (2022) 1227–1284.
[Published Version] View | Files available | DOI | WoS
 

2022 |Published| Journal Article | IST-REx-ID: 12142 | OA
Liability-scale heritability estimation for biobank studies of low-prevalence disease
S.E. Ojavee, Z. Kutalik, M.R. Robinson, The American Journal of Human Genetics 109 (2022) 2009–2017.
[Published Version] View | Files available | DOI | WoS
 

2022 |Published| Journal Article | IST-REx-ID: 12151 | OA
On a question of Vera T. Sós about size forcing of graphons
O. Cooley, M. Kang, O. Pikhurko, Acta Mathematica Hungarica 168 (2022) 1–26.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 |Published| Journal Article | IST-REx-ID: 12227 | OA
Carbon foams via ring-opening metathesis polymerization of emulsion templates: A facile method to make carbon current collectors for battery applications
S. Kovačič, B. Schafzahl, N.B. Matsko, K. Gruber, M. Schmuck, S. Koller, S.A. Freunberger, C. Slugovc, ACS Applied Energy Materials 5 (2022) 14381–14390.
[Published Version] View | Files available | DOI | WoS
 

2022 |Published| Journal Article | IST-REx-ID: 12226 | OA
Strand asymmetry influences mismatch resolution during single-strand annealing
V. Pokusaeva, A.R. Diez, L. Espinar, A.T. Pérez, G.J. Filion, Genome Biology 23 (2022).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 |Published| Journal Article | IST-REx-ID: 12233 | OA
Decoding Reed-Muller codes with successive codeword permutations
N. Doan, S.A. Hashemi, M. Mondelli, W.J. Gross, IEEE Transactions on Communications 70 (2022) 7134–7145.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 |Published| Conference Paper | IST-REx-ID: 12432
Solving the Hamilton cycle problem fast on average
M. Anastos, in:, 63rd Annual IEEE Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2022, pp. 919–930.
View | DOI | WoS
 

2022 |Published| Conference Paper | IST-REx-ID: 12516 | OA
Public-Key Encryption from Homogeneous CLWE
A. Bogdanov, M. Cueto Noval, C. Hoffmann, A. Rosen, in:, Theory of Cryptography, Springer Nature, 2022, pp. 565–592.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 |Epub ahead of print| Journal Article | IST-REx-ID: 12178 | OA
The stochastic primitive equations with transport noise and turbulent pressure
A. Agresti, M. Hieber, A. Hussein, M. Saal, Stochastics and Partial Differential Equations: Analysis and Computations (2022).
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2022 |Published| Thesis | IST-REx-ID: 11362 | OA
Learning verifiable representations
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 | OA
The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at Solar, LMC, and SMC metallicities
Z. Keszthelyi, A. de Koter, Y.L.L. Götberg, G. Meynet, S.A. Brands, V. Petit, M. Carrington, A. David-Uraz, S.T. Geen, C. Georgy, R. Hirschi, J. Puls, K.J. Ramalatswa, M.E. Shultz, A. ud-Doula, Monthly Notices of the Royal Astronomical Society 517 (2022) 2028–2055.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 |Published| Journal Article | IST-REx-ID: 14098 | OA
The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at solar, LMC, and SMC metallicities
Z. Keszthelyi, A. de Koter, Y.L.L. Götberg, G. Meynet, S.A. Brands, V. Petit, M. Carrington, A.D.-U. A. David-Uraz, S.T. Geen, C. Georgy, R. Hirschi, J. Puls, K.J. Ramalatswa, M.E. Shultz, A. ud-Doula A. ud-Doula, Monthly Notices of the Royal Astronomical Society 517 (2022) 2028–2055.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 |Published| Journal Article | IST-REx-ID: 11732 | OA
The BCS energy gap at high density
S.J. Henheik, A.B. Lauritsen, Journal of Statistical Physics 189 (2022).
[Published Version] View | Files available | DOI | WoS
 

2022 |Published| Conference Paper | IST-REx-ID: 12167 | OA
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
 

2022 |Published| Conference Paper | IST-REx-ID: 12302 | OA
FORQ-based language inclusion formal testing
K. Doveri, P. Ganty, N.A. Mazzocchi, in:, Computer Aided Verification, Springer Nature, 2022, pp. 109–129.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 |Published| Conference Paper | IST-REx-ID: 12176 | OA
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
 

2022 |Published| Conference Paper | IST-REx-ID: 12298 | OA
Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback
R. Gelashvili, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, Z. Xiang, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 296–315.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 |Published| Conference Paper | IST-REx-ID: 12168 | OA
Be aware of your leaders
S. Cohen, R. Gelashvili, E. Kokoris Kogias, Z. Li, D. Malkhi, A. Sonnino, A. Spiegelman, in:, International Conference on Financial Cryptography and Data Security, Springer Nature, 2022, pp. 279–295.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 |Published| Conference Paper | IST-REx-ID: 12170
PET – A partial exploration tool for probabilistic verification
T. Meggendorfer, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 320–326.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications