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.
238 Publications
2023 | Preprint | IST-REx-ID: 14703 | 
Ishida, S., & Lavenant, H. (n.d.). Quantitative convergence of a discretization of dynamic optimal transport using the dual formulation. arXiv. https://doi.org/10.48550/arXiv.2312.12213
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14735 |
Stefo, C., Xiang, Z., & Kokoris Kogias, E. (2023). Executing and proving over dirty ledgers. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13950, pp. 3–20). Bol, Brac, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-47754-6_1
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Thesis | IST-REx-ID: 14539 |
Zikelic, D. (2023). Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria. https://doi.org/10.15479/14539
[Published Version]
View
| Files available
| DOI
2023 | Conference Abstract | IST-REx-ID: 14863 |
Polesello, A., Muller, C. J., Pasquero, C., & Meroni, A. N. (2023). Intensification mechanisms of tropical cyclones. In EGU General Assembly 2023. Vienna, Austria & Virtual: European Geosciences Union. https://doi.org/10.5194/egusphere-egu23-6157
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13049 |
Freire, M., Bhargava, M., Schreck, C., Hugron, P.-A., Bickel, B., & Lefebvre, S. (2023). PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3592411
[Submitted Version]
View
| Files available
| DOI
| WoS