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.
277 Publications
2023 |Published| Conference Paper | IST-REx-ID: 14735 |
Stefo C, Xiang Z, Kokoris Kogias E. Executing and proving over dirty ledgers. In: 27th International Conference on Financial Cryptography and Data Security. Vol 13950. Springer Nature; 2023:3-20. doi:10.1007/978-3-031-47754-6_1
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 |Published| Thesis | IST-REx-ID: 14539 |
Zikelic D. Automated verification and control of infinite state stochastic systems. 2023. doi:10.15479/14539
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Abstract | IST-REx-ID: 14863 |
Polesello A, Muller CJ, Pasquero C, Meroni AN. Intensification mechanisms of tropical cyclones. In: EGU General Assembly 2023. European Geosciences Union; 2023. doi:10.5194/egusphere-egu23-6157
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 13049 |
Freire M, Bhargava M, Schreck C, Hugron P-A, Bickel B, Lefebvre S. PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. 2023;42(4). doi:10.1145/3592411
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 13128 |
Mohammadi A, Pham T, Wang Y. An energy decomposition theorem for matrices and related questions. Canadian Mathematical Bulletin. 2023;66(4):1280-1295. doi:10.4153/S000843952300036X
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14087 |
Rønning J, Renaud JB, Doostmohammadi A, Angheluta L. Spontaneous flows and dynamics of full-integer topological defects in polar active matter. Soft Matter. 2023;39:7513-7527. doi:10.1039/d3sm00316g
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 12859 |
Bombari S, Kiyani S, Mondelli M. Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels. In: Proceedings of the 40th International Conference on Machine Learning. Vol 202. ML Research Press; 2023:2738-2776.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2023 |Published| Thesis | 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 |Published| Journal Article | IST-REx-ID: 14466 |
Marensi E, Yalniz G, Hof B. Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics. 2023;974. doi:10.1017/jfm.2023.780
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12675 |
Becker LM, Berbon M, Vallet A, et al. The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues. Angewandte Chemie International Edition. 2023;62(19). doi:10.1002/anie.202219314
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Research Data | IST-REx-ID: 12497 |
Becker LM, Schanda P. Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues. 2023. doi:10.15479/AT:ISTA:12497
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 13314 |
Dunajova Z, Prats Mateu B, Radler P, et al. Chiral and nematic phases of flexible active filaments. Nature Physics. 2023;19:1916-1926. doi:10.1038/s41567-023-02218-w
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |Published| Thesis | IST-REx-ID: 14280
Radler P. Spatiotemporal signaling during assembly of the bacterial divisome. 2023. doi:10.15479/at:ista:14280
[Published Version]
View
| Files available
| DOI
2023 |Published| Thesis | IST-REx-ID: 13286 |
Valentini M. Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium. 2023. doi:10.15479/at:ista:13286
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 14260 |
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 |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 |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 |Published| Thesis | IST-REx-ID: 14587 |
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: 15128 |
Riabov V. Mesoscopic eigenvalue statistics for Wigner-type matrices. arXiv. doi:10.48550/arXiv.2301.01712
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 13262 |
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