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.
4858 Publications
2023 |
Research Data Reference |
IST-REx-ID: 14994 |
Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. 2023. doi:10.5281/ZENODO.7877790
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Research Data Reference |
IST-REx-ID: 14995 |
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 |
Epub ahead of print |
Conference Paper |
IST-REx-ID: 15023 |
Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. Compositional policy learning in stochastic control systems with formal guarantees. In: 37th Conference on Neural Information Processing Systems. ; 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 |
Research Data Reference |
IST-REx-ID: 15027 |
Curk S. aggregation_data. 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 |
Research Data Reference |
IST-REx-ID: 15035 |
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 |
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 |
Accepted |
Conference Paper |
IST-REx-ID: 13053 |
Peste E-A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware Minimizer. In: 11th International Conference on Learning Representations .
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13074 |
Peste E-A. Efficiency and generalization of sparse neural networks. 2023. doi:10.15479/at:ista:13074
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13081
Bocanegra L. Epithelial dynamics during mouse neural tube development. 2023. doi:10.15479/at:ista:13081
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 13091 |
Browning TD, Sawin W. Free rational curves on low degree hypersurfaces and the circle method. Algebra and Number Theory. 2023;17(3):719-748. doi:10.2140/ant.2023.17.719
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 13092 |
Nan B, Song X, Chang C, et al. Bottom-up synthesis of SnTe-based thermoelectric composites. ACS Applied Materials and Interfaces. 2023;15(19):23380–23389. doi:10.1021/acsami.3c00625
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 13093 |
Nan B, Li M, Zhang Y, et al. Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature. ACS Applied Electronic Materials. 2023. doi:10.1021/acsaelm.3c00055
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 13094 |
Azadbakht A, Meadowcroft B, Varkevisser T, Šarić A, Kraft DJ. Wrapping pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles. Nano Letters. 2023;23(10):4267–4273. doi:10.1021/acs.nanolett.3c00375
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 13095 |
Troussicot L, Vallet A, Molin M, Burmann BM, Schanda P. Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR. Journal of the American Chemical Society. 2023;145(19):10700–10711. doi:10.1021/jacs.3c01200
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 13096 |
Degen M, Santos JC, Pluhackova K, et al. Structural basis of NINJ1-mediated plasma membrane rupture in cell death. Nature. 2023;618:1065-1071. doi:10.1038/s41586-023-05991-z
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 13097 |
Wilson AC, Sweeney LB. Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. 2023;17. doi:10.3389/fncir.2023.1146449
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13106 |
Sahu R, Qiu L, Hease WJ, et al. Entangling microwaves with light. 2023;380:718-721. doi:10.1126/science.adg3812
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13107 |
Knaus L. The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival. 2023. doi:10.15479/at:ista:13107
[Published Version]
View
| Files available
| DOI
2023 |
Research Data |
IST-REx-ID: 13116 |
Dunajova Z, Prats Mateu B, Radler P, et al. Chiral and nematic phases of flexible active filaments. 2023. doi:10.15479/AT:ISTA:13116
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 13117 |
Redchenko E, Poshakinskiy AV, Sett R, Zemlicka M, Poddubny AN, Fink JM. Tunable directional photon scattering from a pair of superconducting qubits. Nature Communications. 2023;14. doi:10.1038/s41467-023-38761-6
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv