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.
LibreCat: https://research-explorer.ista.ac.at/record/12226
DOI: 10.1186/s13059-022-02665-3
WoS: 000781953800001
PMID: 35414014

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.
LibreCat: https://research-explorer.ista.ac.at/record/12233
DOI: 10.1109/tcomm.2022.3211101
WoS: 000937284600006
arXiv: 2109.02122

Anastos M. 2022. Solving the Hamilton cycle problem fast on average. 63rd Annual IEEE Symposium on Foundations of Computer Science. FOCS: Symposium on Foundations of Computer Science vol. 2022–October, 919–930.
LibreCat: https://research-explorer.ista.ac.at/record/12432
DOI: 10.1109/FOCS54457.2022.00091
WoS: 000909382900084

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.
LibreCat: https://research-explorer.ista.ac.at/record/12516
DOI: 10.1007/978-3-031-22365-5_20
WoS: 000921318200020

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.
LibreCat: https://research-explorer.ista.ac.at/record/12178
DOI: 10.1007/s40072-022-00277-3
WoS: 000874389000001

Lechner M. 2022. Learning verifiable representations. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/11362
DOI: 10.15479/at:ista:11362

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.
LibreCat: https://research-explorer.ista.ac.at/record/13452
DOI: 10.1093/mnras/stac2598
arXiv: 2209.06350

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.
LibreCat: https://research-explorer.ista.ac.at/record/14098
DOI: 10.1093/mnras/stac2598
arXiv: 2209.06350

Henheik SJ, Lauritsen AB. 2022. The BCS energy gap at high density. Journal of Statistical Physics. 189, 5.
LibreCat: https://research-explorer.ista.ac.at/record/11732
DOI: 10.1007/s10955-022-02965-9
WoS: 000833007200002

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.
LibreCat: https://research-explorer.ista.ac.at/record/12167
DOI: 10.1007/978-3-031-18283-9_17
arXiv: 2110.08848

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.
LibreCat: https://research-explorer.ista.ac.at/record/12302
DOI: 10.1007/978-3-031-13188-2_6
WoS: 000870310500006
arXiv: 2207.13549

Hoffmann C, Hubádek 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.
LibreCat: https://research-explorer.ista.ac.at/record/12176
DOI: 10.1007/978-3-031-15979-4_13
WoS: 000886792700013

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.
LibreCat: https://research-explorer.ista.ac.at/record/12298
DOI: 10.1007/978-3-031-18283-9_14
arXiv: 2106.10362

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.
LibreCat: https://research-explorer.ista.ac.at/record/12168
DOI: 10.1007/978-3-031-18283-9_13
arXiv: 2110.00960

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.
LibreCat: https://research-explorer.ista.ac.at/record/12170
DOI: 10.1007/978-3-031-19992-9_20

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.
LibreCat: https://research-explorer.ista.ac.at/record/12175
DOI: 10.1007/978-3-031-19135-0_5

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.
LibreCat: https://research-explorer.ista.ac.at/record/14168
arXiv: 2210.08031

Arroyo Guevara AM, Felsner S. 2022. Approximating the bundled crossing number. WALCOM 2022: Algorithms and Computation. WALCOM: Algorithms and ComputationLNCS vol. 13174, 383–395.
LibreCat: https://research-explorer.ista.ac.at/record/11185
DOI: 10.1007/978-3-030-96731-4_31
arXiv: 2109.14892

Confavreux BJ, Vogels TP. 2022. A familiar thought: Machines that replace us? Neuron. 110(3), 361–362.
LibreCat: https://research-explorer.ista.ac.at/record/10753
DOI: 10.1016/j.neuron.2022.01.014
WoS: 000751819100005
PMID: 35114107

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.
LibreCat: https://research-explorer.ista.ac.at/record/11144
DOI: 10.1126/science.abn8997
WoS: 000778894800038
PMID: 35324303