Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




403 Publications

2023 | Journal Article | IST-REx-ID: 14985 | OA
Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS
Z. Liu, T. Hong, L. Xu, S. Wang, X. Gao, C. Chang, X. Ding, Y. Xiao, L. Zhao, Interdisciplinary Materials 2 (2023) 161–170.
[Published Version] View | Files available | DOI
 
2023 | Conference Paper | IST-REx-ID: 14758 | OA
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
[Published Version] View | Files available | DOI
 
2023 | Preprint | IST-REx-ID: 15128 | OA [Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Thesis | IST-REx-ID: 12809 | OA
Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning
C. Alcarva, Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2022 | Conference Paper | IST-REx-ID: 11428 | OA
A cautionary tale: Burning the medial axis is unstable
E. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, in:, X. Goaoc, M. Kerber (Eds.), 38th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 66:1-66:9.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

type%3C%3Eresearch_data

Search

Filter Publications