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.

1790 Publications


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

2022 | Thesis | IST-REx-ID: 11362 | OA
Lechner M. Learning verifiable representations. 2022. doi:10.15479/at:ista:11362
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 13452 | OA
Keszthelyi Z, de Koter A, Götberg YLL, 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. 2022;517(2):2028-2055. doi:10.1093/mnras/stac2598
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 14098 | OA
Keszthelyi Z, Koter A de, Götberg YLL, 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. 2022;517(2):2028-2055. doi:10.1093/mnras/stac2598
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11732 | OA
Henheik SJ, Lauritsen AB. The BCS energy gap at high density. Journal of Statistical Physics. 2022;189. doi:10.1007/s10955-022-02965-9
[Published Version] View | Files available | DOI | WoS
 

2022 | Conference Paper | IST-REx-ID: 12167 | OA
Avarikioti G, Pietrzak KZ, Salem I, Schmid S, Tiwari S, Yeo MX. Hide & Seek: Privacy-preserving rebalancing on payment channel networks. In: Financial Cryptography and Data Security. Vol 13411. Springer Nature; 2022:358-373. doi:10.1007/978-3-031-18283-9_17
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12302 | OA
Doveri K, Ganty P, Mazzocchi NA. FORQ-based language inclusion formal testing. In: Computer Aided Verification. Vol 13372. Springer Nature; 2022:109-129. doi:10.1007/978-3-031-13188-2_6
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12176 | OA
Hoffmann C, Hubáček P, Kamath C, Klein K, Pietrzak KZ. Practical statistically-sound proofs of exponentiation in any group. In: Advances in Cryptology – CRYPTO 2022. Vol 13508. Springer Nature; 2022:370-399. doi:10.1007/978-3-031-15979-4_13
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 | Conference Paper | IST-REx-ID: 12298 | OA
Gelashvili R, Kokoris Kogias E, Sonnino A, Spiegelman A, Xiang Z. Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback. In: Financial Cryptography and Data Security. Vol 13411. Springer Nature; 2022:296-315. doi:10.1007/978-3-031-18283-9_14
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12168 | OA
Cohen S, Gelashvili R, Kokoris Kogias E, et al. Be aware of your leaders. In: International Conference on Financial Cryptography and Data Security. Vol 13411. Springer Nature; 2022:279-295. doi:10.1007/978-3-031-18283-9_13
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12170
Meggendorfer T. PET – A partial exploration tool for probabilistic verification. In: 20th International Symposium on Automated Technology for Verification and Analysis. Vol 13505. Springer Nature; 2022:320-326. doi:10.1007/978-3-031-19992-9_20
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12175 | OA
Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. History-deterministic timed automata are not determinizable. In: 16th International Conference on Reachability Problems. Vol 13608. Springer Nature; 2022:67-76. doi:10.1007/978-3-031-19135-0_5
[Preprint] View | DOI | Download Preprint (ext.)
 

2022 | Conference Paper | IST-REx-ID: 14168 | OA
Rahaman N, Weiss M, Locatello F, et al. Neural attentive circuits. In: 36th Conference on Neural Information Processing Systems. Vol 35. ; 2022.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11185 | OA
Arroyo Guevara AM, Felsner S. Approximating the bundled crossing number. In: WALCOM 2022: Algorithms and Computation. Vol 13174. LNCS. Springer Nature; 2022:383-395. doi:10.1007/978-3-030-96731-4_31
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 10753 | OA
Confavreux BJ, Vogels TP. A familiar thought: Machines that replace us? Neuron. 2022;110(3):361-362. doi:10.1016/j.neuron.2022.01.014
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11144
Su L, Wang D, Wang S, et al. High thermoelectric performance realized through manipulating layered phonon-electron decoupling. Science. 2022;375(6587):1385-1389. doi:10.1126/science.abn8997
View | DOI | WoS | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 10799 | OA
Konstantinov NH. Robustness and fairness in machine learning. 2022. doi:10.15479/at:ista:10799
[Published Version] View | Files available | DOI
 

2022 | Preprint | IST-REx-ID: 10792 | OA
Schaaf Z, Tat L, Cannizzaro N, et al. WDFY3 cell autonomously controls neuronal migration. doi:10.21203/rs.3.rs-1316167/v1
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11435 | OA
Ivanov G, Naszodi M. A quantitative Helly-type theorem: Containment in a homothet. SIAM Journal on Discrete Mathematics. 2022;36(2):951-957. doi:10.1137/21M1403308
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11478 | OA
Bartalska K, Hübschmann V, Korkut M, et al. A systematic characterization of microglia-like cell occurrence during retinal organoid differentiation. iScience. 2022;25(7). doi:10.1016/j.isci.2022.104580
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

isbn%3D978-3-642-40707-9

Search

Filter Publications