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.
439 Publications
2023 | Published | 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.)
| WoS
2023 | Published | 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
2023 | Published | Thesis | IST-REx-ID: 14641
Hennessey-Wesen, M. (2023). Adaptive mutation in E. coli modulated by luxS. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14641
[Published Version]
View
| Files available
| DOI
2023 | Draft | Preprint | IST-REx-ID: 20572 |
Dello Schiavo, L., & Quattrocchi, F. (n.d.). Multivariate Dirichlet moments and a polychromatic Ewens sampling formula. arXiv. https://doi.org/10.48550/arXiv.2309.11292
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13221 |
Boker, U., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Safety and liveness of quantitative automata. In 34th International Conference on Concurrency Theory (Vol. 279). Antwerp, Belgium: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2023.17
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Thesis | IST-REx-ID: 13074 |
Krumes, A. (2023). Efficiency and generalization of sparse neural networks. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13074
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 13175 |
Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13175
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12900
Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12900
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 13310 |
Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37703-7_17
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Thesis | IST-REx-ID: 12491 |
Zens, B. (2023). Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12491
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 13984 |
Franschitz, A. (2023). Individual and social immunity against viral infections in ants. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13984
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12964 |
Boocock, D. R. (2023). Mechanochemical pattern formation across biological scales. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12964
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14422 |
Confavreux, B. J. (2023). Synapseek: Meta-learning synaptic plasticity rules. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14422
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12809 |
Alcarva, C. (2023). Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12809
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14622 |
Sack, S. (2023). Improving variational quantum algorithms : Innovative initialization techniques and extensions to qudit systems. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14622
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14697 |
Stopp, J. A. (2023). Neutrophils on the hunt : Migratory strategies employed by neutrophils to fulfill their effector function. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14697
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14032 |
Mukhopadhyay, S., Senior, J. L., Saez Mollejo, J., Puglia, D., Zemlicka, M., Fink, J. M., & Higginbotham, A. P. (2023). Superconductivity from a melted insulator in Josephson junction arrays. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-023-02161-w
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Thesis | IST-REx-ID: 12891 |
Schauer, A. (2023). Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12891
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12897 |
Hafner, C. (2023). Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12897
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12800 |
Julseth, M. (2023). The effect of local population structure on genetic variation at selected loci in the A. majus hybrid zone. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12800
[Published Version]
View
| Files available
| DOI