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.
4938 Publications
2023 | Conference Paper | IST-REx-ID: 14243 | 
G. Avni, I. R. Jecker, and D. Zikelic, “Bidding graph games with partially-observable budgets,” in Proceedings of the 37th AAAI Conference on Artificial Intelligence, Washington, DC, United States, 2023, vol. 37, no. 5, pp. 5464–5471.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14241 |
K. Tojo, A. Shamir, B. Bickel, and N. Umetani, “Stealth shaper: Reflectivity optimization as surface stylization,” in SIGGRAPH 2023 Conference Proceedings, Los Angeles, CA, United States, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12562
D. R. Ladle and S. Hippenmeyer, “Loss of ETV1/ER81 in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons,” Journal of Neurophysiology, vol. 129, no. 3. American Physiological Society, pp. 501–512, 2023.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 13310 |
T. A. Henzinger, M. Karimi, K. Kueffner, and K. Mallik, “Monitoring algorithmic fairness,” in Computer Aided Verification, Paris, France, 2023, vol. 13965, pp. 358–382.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12205 |
J. Glajzer et al., “Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium,” Annals of Surgical Oncology, vol. 30. Springer Nature, pp. 35–45, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12115 |
J. Glajzer et al., “ASO Visual Abstract: Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome, and patient survival in primary and recurrent high-grade serous ovarian cancer (HGSOC). A multicenter, retrospective study of the ovarian cancer therapy—innovative models prolong survival (OCTIPS) consortium,” Annals of Surgical Oncology, vol. 30. Springer Nature, pp. 46–47, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2023 | Journal Article | IST-REx-ID: 14253 |
N. C. Vierra et al., “Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14259 |
J. Kretinsky, T. Meggendorfer, M. Prokop, and S. Rieder, “Guessing winning policies in LTL synthesis by semantic learning,” in 35th International Conference on Computer Aided Verification , Paris, France, 2023, vol. 13964, pp. 390–414.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14105 |
S. Sinha, P. Gehler, F. Locatello, and B. Schiele, “TeST: Test-time Self-Training under distribution shift,” in 2023 IEEE/CVF Winter Conference on Applications of Computer Vision, Waikoloa, HI, United States, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14256 |
S. Mathis and L. A. Bugnet, “Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields,” Astronomy and Astrophysics, vol. 676. EDP Sciences, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv