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.

10151 Publications


2023 | Published | Conference Paper | IST-REx-ID: 14559 | OA
Learning provably stabilizing neural controllers for discrete-time stochastic systems
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
 

2023 | Published | Journal Article | IST-REx-ID: 14564 | OA
A shallow‐deep unified stochastic mass flux cumulus parameterization in the single column community climate model
B. Khouider, B.B. GOSWAMI, R. Phani, A.J. Majda, Journal of Advances in Modeling Earth Systems 15 (2023).
[Published Version] View | Files available | DOI
 

2023 | Research Data Reference | IST-REx-ID: 14579 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Published | Thesis | IST-REx-ID: 14587 | OA
Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences
A. Marveggio, Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 14603 | OA
A streamlined molecular-dynamics workflow for computing solubilities of molecular and ionic crystals
A. Reinhardt, P.Y. Chew, B. Cheng, Journal of Chemical Physics 159 (2023).
[Published Version] View | Files available | DOI | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14604 | OA
The X chromosome of insects likely predates the origin of class Insecta
M.A. Toups, B. Vicoso, Evolution 77 (2023) 2504–2511.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 14605
Role of high-order lattice anharmonicity in the phonon thermal transport of silver halide AgX (X=Cl,Br, I)
N. Ouyang, Z. Zeng, C. Wang, Q. Wang, Y. Chen, Physical Review B 108 (2023).
View | DOI
 

2023 | Published | Conference Paper | IST-REx-ID: 14609 | OA
Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling
S. Das, Z. Xiang, E. Kokoris Kogias, L. Ren, in:, 32nd USENIX Security Symposium, Usenix, 2023, pp. 5359–5376.
[Published Version] View | Files available | Download Published Version (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 14610 | OA
Stress granules plug and stabilize damaged endolysosomal membranes
C. Bussi, A. Mangiarotti, C.E. Vanhille-Campos, B. Aylan, E. Pellegrino, N. Athanasiadi, A. Fearns, A. Rodgers, T.M. Franzmann, A. Šarić, R. Dimova, M.G. Gutierrez, Nature 623 (2023) 1062–1069.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 14613 | OA
The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome
C. Lasne, M.N. Elkrewi, M.A. Toups, L.A. Layana Franco, A. Macon, B. Vicoso, Molecular Biology and Evolution 40 (2023).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Research Data | IST-REx-ID: 14614 | OA [Published Version] View | Files available | DOI
 

2023 | Research Data Reference | IST-REx-ID: 14616 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14617 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14619 | OA
BingqingCheng/solubility: V1.0
B. Cheng, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 14628 | OA
Procedural metamaterials: A unified procedural graph for metamaterial design
L. Makatura, B. Wang, Y.-L. Chen, B. Deng, C. Wojtan, B. Bickel, W. Matusik, ACM Transactions on Graphics 42 (2023).
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 14639 | OA
Evaluating the association of biallelic OGDHL variants with significant phenotypic heterogeneity
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 View | Files available | DOI | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 11479 | OA
Ten years of demographic modelling of divergence and speciation in the sea
A. De Jode, A. Le Moan, K. Johannesson, R. Faria, S. Stankowski, A.M. Westram, R.K. Butlin, M. Rafajlović, C. Fraisse, Evolutionary Applications 16 (2023) 542–559.
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 11706 | OA
Asymmetric Ramsey properties of random graphs involving cliques and cycles
A. Liebenau, L. Mattos, W. Mendonca dos Santos, J. Skokan, Random Structures and Algorithms 62 (2023) 1035–1055.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Export / Embed