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: 14260 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. In: 35th International Conference on Computer Aided Verification . Vol 13964. Springer Nature; 2023:156-169. doi:10.1007/978-3-031-37706-8_8
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14995 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. 2023. doi:10.5281/ZENODO.7877757
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 14076 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. In: 23nd International Conference on Runtime Verification. Vol 14245. Springer Nature; 2023:168-190. doi:10.1007/978-3-031-44267-4_9
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 15035 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. 2023. doi:10.5281/ZENODO.8191723
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |Submitted| Preprint | IST-REx-ID: 15039 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv. doi:10.48550/ARXIV.2311.06103
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14812 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Stankowski S. Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails. 2023. doi:10.5281/ZENODO.8318995
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 13214 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Abualia R, Riegler S, Benková E. Nitrate, auxin and cytokinin - a trio to tango. Cells. 2023;12(12). doi:10.3390/cells12121613
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Thesis | IST-REx-ID: 14323
Kuzmicz-Kowalska K. Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. 2023. doi:10.15479/at:ista:14323
[Published Version]
View
| Files available
| DOI
2023 |Epub ahead of print| Conference Paper | IST-REx-ID: 14974 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zhang C, Janzing D, van der Schaar M, et al. Causality in the time of LLMs: Round table discussion results of CLeaR 2023. In: 2nd Conference on Causal Learning and Reasoning. ; 2023.
[Submitted Version]
View
| Files available
2023 | Research Data | IST-REx-ID: 13173 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Shigemoto R. Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals. 2023. doi:10.15479/AT:ISTA:13173
[Published Version]
View
| Files available
| DOI
2023 |Published| Thesis | IST-REx-ID: 14587 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Marveggio A. Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. 2023. doi:10.15479/at:ista:14587
[Published Version]
View
| Files available
| DOI
2023 |Submitted| Preprint | IST-REx-ID: 14732 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Olusanya OO, Khudiakova K, Sachdeva H. Genetic load, eco-evolutionary feedback and extinction in a metapopulation. bioRxiv. doi:10.1101/2023.12.02.569702
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 13262 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. Provably-efficient and internally-deterministic parallel Union-Find. In: Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery; 2023:261-271. doi:10.1145/3558481.3591082
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 12979 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Condor J, Piovarci M, Bickel B, Didyk P. Gloss-aware color correction for 3D printing. In: SIGGRAPH ’23 Conference Proceedings. Association for Computing Machinery; 2023. doi:10.1145/3588432.3591546
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Conference Paper | IST-REx-ID: 13228 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger TA, Karimi M, Kueffner K, Mallik K. Runtime monitoring of dynamic fairness properties. In: FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency. Association for Computing Machinery; 2023:604-614. doi:10.1145/3593013.3594028
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14833 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Stankowski S, Zagrodzka ZB, Galindo J, et al. Whole-genome phylogeography of the intertidal snail Littorina saxatilis. Evolutionary Journal of the Linnean Society. 2023;2(1). doi:10.1093/evolinnean/kzad002
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 14613 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lasne C, Elkrewi MN, Toups MA, Layana Franco LA, Macon A, Vicoso B. The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome. Molecular Biology and Evolution. 2023;40(12). doi:10.1093/molbev/msad245
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |Published| Thesis | IST-REx-ID: 14641
Hennessey-Wesen M. Adaptive mutation in E. coli modulated by luxS. 2023. doi:10.15479/at:ista:14641
[Published Version]
View
| Files available
| DOI
2023 |Submitted| Preprint | IST-REx-ID: 14591 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gnyliukh N, Johnson AJ, Nagel M-K, et al. Role of dynamin-related proteins 2 and SH3P2 in clathrin-mediated endocytosis in plants. bioRxiv. doi:10.1101/2023.10.09.561523
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2023 |Published| Journal Article | IST-REx-ID: 12984 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Piovarci M, Chapiro A, Bickel B. Skin-Screen: A computational fabrication framework for color tattoos. ACM Transactions on Graphics. 2023;42(4). doi:10.1145/3592432
[Published Version]
View
| Files available
| DOI
| WoS