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.
5368 Publications
2022 | Published | Thesis | IST-REx-ID: 11362 | 
Lechner M. 2022. Learning verifiable representations. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Submitted | Preprint | IST-REx-ID: 11366 |
Lechner M, Amini A, Rus D, Henzinger TA. Revisiting the adversarial robustness-accuracy tradeoff in robot learning. arXiv, 2204.07373.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11379 |
Winterer F, Seiler AM, Ghazaryan A, Geisenhof FR, Watanabe K, Taniguchi T, Serbyn M, Weitz RT. 2022. Spontaneous gully-polarized quantum hall states in ABA trilayer graphene. Nano Letters. 22(8), 3317–3322.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11400 |
Palaia I, Šarić A. 2022. Controlling cluster size in 2D phase-separating binary mixtures with specific interactions. The Journal of Chemical Physics. 156(19), 194902.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 11401 |
Nguyen VQ, Trinh TL, Chang C, Zhao LD, Nguyen TH, Duong VT, Duong AT, Park JH, Park S, Kim J, Cho S. 2022. Unidentified major p-type source in SnSe: Multivacancies. NPG Asia Materials. 14, 42.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 11402 |
Chatterjee K, Doyen L. 2022. Graph planning with expected finite horizon. Journal of Computer and System Sciences. 129, 1–21.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11411 |
Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. 2022. Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Genetics. 221(3), iyac083.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 11417 |
Sigillito AJ, Covey JP, Fink JM, Petersson K, Preble S. 2022. Emerging qubit systems: Guest editorial. Applied Physics Letters. 120(19), 190401.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2022 | Published | Journal Article | IST-REx-ID: 11418 |
Cipolloni G, Erdös L, Schröder DJ. 2022. Normal fluctuation in quantum ergodicity for Wigner matrices. Annals of Probability. 50(3), 984–1012.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11419 |
Hori T, Eguchi K, Wang HY, Miyasaka T, Guillaud L, Taoufiq Z, Mahapatra S, Yamada H, Takei K, Takahashi T. 2022. Microtubule assembly by tau impairs endocytosis and neurotransmission via dynamin sequestration in Alzheimer’s disease synapse model. eLife. 11, e73542.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Conference Paper | IST-REx-ID: 11428 |
Chambers E, Fillmore CD, Stephenson ER, Wintraecken M. 2022. A cautionary tale: Burning the medial axis is unstable. 38th International Symposium on Computational Geometry. SoCG: Symposium on Computational GeometryLIPIcs vol. 224, 66:1-66:9.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11432 |
Schreck C, Wojtan C. 2022. Coupling 3D liquid simulation with 2D wave propagation for large scale water surface animation using the equivalent sources method. Computer Graphics Forum. 41(2), 343–353.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2022 | Published | Journal Article | IST-REx-ID: 11435 |
Ivanov G, Naszodi M. 2022. A quantitative Helly-type theorem: Containment in a homothet. SIAM Journal on Discrete Mathematics. 36(2), 951–957.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11438 |
Li V, Diorico FR, Hosten O. 2022. Laser frequency-offset locking at 10-Hz-level instability using hybrid electronic filters. Physical Review Applied. 17(5), 054031.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11442 |
Piovarci M, Foshey M, Xu J, Erps T, Babaei V, Didyk P, Rusinkiewicz S, Matusik W, Bickel B. 2022. Closed-loop control of direct ink writing via reinforcement learning. ACM Transactions on Graphics. 41(4), 112.
[Submitted Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11443 |
Kwan MA, Sauermann L, Zhao Y. 2022. Extension complexity of low-dimensional polytopes. Transactions of the American Mathematical Society. 375(6), 4209–4250.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11447 |
Saona Urmeneta RJ, Kondrashov F, Khudiakova K. 2022. Relation between the number of peaks and the number of reciprocal sign epistatic interactions. Bulletin of Mathematical Biology. 84(8), 74.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 11448 |
Gonzalez Somermeyer L, Fleiss A, Mishin AS, Bozhanova NG, Igolkina AA, Meiler J, Alaball Pujol M-E, Putintseva EV, Sarkisyan KS, Kondrashov F. 2022. Heterogeneity of the GFP fitness landscape and data-driven protein design. eLife. 11, 75842.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 11449 |
Anderson DJ, Pauler F, Mckenna A, Shendure J, Hippenmeyer S, Horwitz MS. 2022. Simultaneous brain cell type and lineage determined by scRNA-seq reveals stereotyped cortical development. Cell Systems. 13(6), 438–453.e5.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC