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.
7036 Publications
2023 |Published| Conference Paper | IST-REx-ID: 14084 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Harris DG, Kolmogorov V. Parameter estimation for Gibbs distributions. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.ICALP.2023.72
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12697 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Grosjean GM, Waitukaitis SR. Single-collision statistics reveal a global mechanism driven by sample history for contact electrification in granular media. Physical Review Letters. 2023;130(9). doi:10.1103/physrevlett.130.098202
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Thesis | IST-REx-ID: 13175 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sahu R. Cavity quantum electrooptics. 2023. doi:10.15479/at:ista:13175
[Published Version]
View
| Files available
| DOI
2023 |Published| Thesis | IST-REx-ID: 12900
Sahu R. Cavity quantum electrooptics. 2023. doi:10.15479/at:ista:12900
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 14242 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lechner M, Zikelic D, Chatterjee K, Henzinger TA, Rus D. Quantization-aware interval bound propagation for training certifiably robust quantized neural networks. In: Proceedings of the 37th AAAI Conference on Artificial Intelligence. Vol 37. Association for the Advancement of Artificial Intelligence; 2023:14964-14973. doi:10.1609/aaai.v37i12.26747
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14243 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Avni G, Jecker IR, Zikelic D. Bidding graph games with partially-observable budgets. In: Proceedings of the 37th AAAI Conference on Artificial Intelligence. Vol 37. ; 2023:5464-5471. doi:10.1609/aaai.v37i5.25679
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14241 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tojo K, Shamir A, Bickel B, Umetani N. Stealth shaper: Reflectivity optimization as surface stylization. In: SIGGRAPH 2023 Conference Proceedings. Association for Computing Machinery; 2023. doi:10.1145/3588432.3591542
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12562
Ladle DR, Hippenmeyer S. Loss of ETV1/ER81 in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons. Journal of Neurophysiology. 2023;129(3):501-512. doi:10.1152/jn.00172.2022
View
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Conference Paper | IST-REx-ID: 13310 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger TA, Karimi M, Kueffner K, Mallik K. Monitoring algorithmic fairness. In: Computer Aided Verification. Vol 13965. Springer Nature; 2023:358–382. doi:10.1007/978-3-031-37703-7_17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12205 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Glajzer J, Castillo-Tong DC, Richter R, 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. 2023;30:35-45. doi:10.1245/s10434-022-12459-3
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 12115 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Glajzer J, Castillo-Tong DC, Richter R, 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. 2023;30:46-47. doi:10.1245/s10434-022-12681-z
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2023 |Published| Journal Article | IST-REx-ID: 14253 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Vierra NC, Ribeiro-Silva L, Kirmiz M, et al. Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling. Nature Communications. 2023;14. doi:10.1038/s41467-023-40930-6
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |Published| Conference Paper | IST-REx-ID: 14259 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kretinsky J, Meggendorfer T, Prokop M, Rieder S. Guessing winning policies in LTL synthesis by semantic learning. In: 35th International Conference on Computer Aided Verification . Vol 13964. Springer Nature; 2023:390-414. doi:10.1007/978-3-031-37706-8_20
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 14277 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Boocock DR, Hirashima T, Hannezo EB. Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers. PRX Life. 2023;1(1). doi:10.1103/prxlife.1.013001
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 14314 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nardin M, Käfer K, Stella F, Csicsvari JL. Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions. Cell Reports. 2023;42(9). doi:10.1016/j.celrep.2023.113015
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |Published| Conference Paper | IST-REx-ID: 14318 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sun Y, Fu H, Chatterjee K, Goharshady AK. Automated tail bound analysis for probabilistic recurrence relations. In: Computer Aided Verification. Vol 13966. Springer Nature; 2023:16-39. doi:10.1007/978-3-031-37709-9_2
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 14317 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Akshay S, Chatterjee K, Meggendorfer T, Zikelic D. MDPs as distribution transformers: Affine invariant synthesis for safety objectives. In: International Conference on Computer Aided Verification. Vol 13966. Springer Nature; 2023:86-112. doi:10.1007/978-3-031-37709-9_5
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 14316 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nagano M, Aoshima K, Shimamura H, Siekhaus DE, Toshima JY, Toshima J. Distinct role of TGN-resident clathrin adaptors for Vps21p activation in the TGN-endosome trafficking pathway. Journal of Cell Science. 2023;136(17). doi:10.1242/jcs.261448
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 14320 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henderson PM, Ghazaryan A, Zibrov AA, Young AF, Serbyn M. Deep learning extraction of band structure parameters from density of states: A case study on trilayer graphene. Physical Review B. 2023;108(12). doi:10.1103/physrevb.108.125411
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Thesis | IST-REx-ID: 12732 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Brighi P. Ergodicity breaking in disordered and kinetically constrained quantum many-body systems. 2023. doi:10.15479/at:ista:12732
View
| Files available
| DOI