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.
11107 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14410
Tomaszewska P, Lampert C. 2023. On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift. International Workshop on Reproducible Research in Pattern Recognition. RRPR: Reproducible Research in Pattern Recognition, LNCS, vol. 14068, 67–73.
View
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14445 | 
Wagner U, Wild P. 2023. Coboundary expansion, equivariant overlap, and crossing numbers of simplicial complexes. Israel Journal of Mathematics. 256(2), 675–717.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14449 |
D’Elia D, Truu J, Lahti L, Berland M, Papoutsoglou G, Ceci M, Zomer A, Lopes MB, Ibrahimi E, Gruca A, Nechyporenko A, Frohme M, Klammsteiner T, Pau ECDS, Marcos-Zambrano LJ, Hron K, Pio G, Simeon A, Suharoschi R, Moreno-Indias I, Temko A, Nedyalkova M, Apostol ES, Truică CO, Shigdel R, Telalović JH, Bongcam-Rudloff E, Przymus P, Jordamović NB, Falquet L, Tarazona S, Sampri A, Isola G, Pérez-Serrano D, Trajkovik V, Klucar L, Loncar-Turukalo T, Havulinna AS, Jansen C, Bertelsen RJ, Claesson MJ. 2023. Advancing microbiome research with machine learning: Key findings from the ML4Microbiome COST action. Frontiers in Microbiology. 14, 1257002.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14455 |
Narzisi A, Halladay A, Masi G, Novarino G, Lord C. 2023. Tempering expectations: Considerations on the current state of stem cells therapy for autism treatment. Frontiers in Psychiatry. 14, 1287879.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14464 |
Ambrus Á, Csikós M, Kiss G, Pach J, Somlai G. 2023. Optimal embedded and enclosing isosceles triangles. International Journal of Foundations of Computer Science. 34(7), 737–760.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14485 |
Aksenov V, Anoprenko M, Fedorov A, Spear M. 2023. Brief announcement: BatchBoost: Universal batching for concurrent data structures. 37th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing, LIPIcs, vol. 281, 35.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14516 |
Beaver D, Kelkar M, Lewi K, Nikolaenko V, Sonnino A, Chalkias K, Kokoris Kogias E, Naurois LD, Roy A. 2023. STROBE: Streaming Threshold Random Beacons. 5th Conference on Advances in Financial Technologies. AFT: Conference on Advances in Financial Technologies, LIPIcs, vol. 282, 7.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 14553 |
Fedotova E, Kuznetsov N, Tiunov E, Ulanov AE, Lvovsky AI. 2023. Continuous-variable quantum tomography of high-amplitude states. Physical Review A. 108(4), 042430.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14639 |
Lin S-J, Vona B, Lau T, Huang K, Zaki MS, Aldeen HS, Karimiani EG, Rocca C, Noureldeen MM, Saad AK, Petree C, Bartolomaeus T, Abou Jamra R, Zifarelli G, Gotkhindikar A, Wentzensen IM, Liao M, Cork EE, Varshney P, Hashemi N, Mohammadi MH, Rad A, Neira J, Toosi MB, Knopp C, Kurth I, Challman TD, Smith R, Abdalla A, Haaf T, Suri M, Joshi M, Chung WK, Moreno-De-Luca A, Houlden H, Maroofian R, Varshney GK. 2023. Evaluating the association of biallelic OGDHL variants with significant phenotypic heterogeneity. Genome Medicine. 15, 102.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 11434
GOSWAMI BB. 2023. Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. 60, 427–442.
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 11706 |
Liebenau A, Mattos L, Mendonca dos Santos W, Skokan J. 2023. Asymmetric Ramsey properties of random graphs involving cliques and cycles. Random Structures and Algorithms. 62(4), 1035–1055.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 11741 |
Cipolloni G, Erdös L, Schröder DJ. 2023. Quenched universality for deformed Wigner matrices. Probability Theory and Related Fields. 185, 1183–1218.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Book Chapter | IST-REx-ID: 17380 |
Suzuki S, Martin A, Ren Y, Chen T-Y, Parascho S, Pauly M. 2023.BamX: Rethinking Deployability in Architecture through Weaving. In: Advances in Architectural Geometry 2023. De Gruyter STEM, .
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 17498 |
Guéneau A, Hostert J, Spies S, Sammler MJ, Birkedal L, Dreyer D. 2023. Melocoton: A program logic for verified interoperability between OCaml and C. Proceedings of the ACM on Programming Languages. 7(OOPSLA2), 716–744.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 17499 |
Song Y, Cho M, Lee D, Hur C-K, Sammler MJ, Dreyer D. 2023. Conditional contextual refinement. Proceedings of the ACM on Programming Languages. 7(POPL), 1121–1151.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 17500 |
Sammler MJ, Spies S, Song Y, D’Osualdo E, Krebbers R, Garg D, Dreyer D. 2023. DimSum: A decentralized approach to multi-language semantics and verification. Proceedings of the ACM on Programming Languages. 7(POPL), 775–805.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 17507 |
Tagawa H, Kimura SS, Haiman Z, Perna R, Bartos I. 2023. Observable signatures of stellar-mass black holes in active galactic nuclei. The Astrophysical Journal Letters. 946(1), L3.
[Published Version]
View
| DOI
| Download Published Version (ext.)