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.
1620 Publications
2023 | Conference Paper | IST-REx-ID: 14691 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
B. Auerbach, M. Cueto Noval, G. Pascual Perez, and K. Z. Pietrzak, “On the cost of post-compromise security in concurrent Continuous Group-Key Agreement,” in 21st International Conference on Theory of Cryptography, Taipei, Taiwan, 2023, vol. 14371, pp. 271–300.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Conference Paper | IST-REx-ID: 14692 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
B. Auerbach, C. Hoffmann, and G. Pascual Perez, “Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing,” in 21st International Conference on Theory of Cryptography, 2023, vol. 14371, pp. 301–330.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Thesis | IST-REx-ID: 14697
J. A. Stopp, “Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14718 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Pastva and T. A. Henzinger, “Binary decision diagrams on modern hardware,” in Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, Ames, IA, United States, 2023, pp. 122–131.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14726 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
L.-Z. Zhou et al., “The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize,” The Plant Cell. Oxford University Press, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12833 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Biniaz et al., “Token swapping on trees,” Discrete Mathematics and Theoretical Computer Science, vol. 24, no. 2. EPI Sciences, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14735 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
C. Stefo, Z. Xiang, and E. Kokoris Kogias, “Executing and proving over dirty ledgers,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13950, pp. 3–20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Conference Paper | IST-REx-ID: 14736
M. Bastankhah, K. Chatterjee, M. A. Maddah-Ali, S. Schmid, J. Svoboda, and M. X. Yeo, “R2: Boosting liquidity in payment channel networks with online admission control,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13950, pp. 309–325.
View
| DOI
2023 | Conference Paper | IST-REx-ID: 14744
Z. Avarikioti, A. Desjardins, E. Kokoris Kogias, and R. Wattenhofer, “Divide & Scale: Formalization and roadmap to robust sharding,” in 30th International Colloquium on Structural Information and Communication Complexity, Alcalá de Henares, Spain, 2023, vol. 13892, pp. 199–245.
View
| DOI
2023 | Journal Article | IST-REx-ID: 14751 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Y. Zhang, “Zero-error communication over adversarial MACs,” IEEE Transactions on Information Theory, vol. 69, no. 7. Institute of Electrical and Electronics Engineers, pp. 4093–4127, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14776 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Teplova et al., “Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3,” International Journal of Molecular Sciences, vol. 24, no. 22. MDPI, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14775 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Schnelli and Y. Xu, “Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices,” The Annals of Applied Probability, vol. 33, no. 1. Institute of Mathematical Statistics, pp. 677–725, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 9651 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Dymond and V. Kaluza, “Divergence of separated nets with respect to displacement equivalence,” Geometriae Dedicata. Springer Nature, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2023 | Conference Paper | IST-REx-ID: 14768 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
V. Cohen-Addad, D. Saulpic, and C. Schwiegelshohn, “Deterministic clustering in high dimensional spaces: Sketches and approximation,” in 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, Santa Cruz, CA, United States, 2023, pp. 1105–1130.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14782 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
L. Baldauf, F. F. Frey, M. Arribas Perez, T. Idema, and G. H. Koenderink, “Branched actin cortices reconstituted in vesicles sense membrane curvature,” Biophysical Journal, vol. 122, no. 11. Elsevier, pp. 2311–2324, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 14539 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
D. Zikelic, “Automated verification and control of infinite state stochastic systems,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14456 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. M. Křišťan and J. Svoboda, “Shortest dominating set reconfiguration under token sliding,” in 24th International Symposium on Fundamentals of Computation Theory, Trier, Germany, 2023, vol. 14292, pp. 333–347.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14829 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Cohen, G. Goren, E. Kokoris Kogias, A. Sonnino, and A. Spiegelman, “Proof of availability and retrieval in a modular blockchain architecture,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13951, pp. 36–53.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14830
D. Zikelic, M. Lechner, T. A. Henzinger, and K. Chatterjee, “Learning control policies for stochastic systems with reach-avoid guarantees,” in Proceedings of the 37th AAAI Conference on Artificial Intelligence, Washington, DC, United States, 2023, vol. 37, no. 10, pp. 11926–11935.
[Preprint]
View
| Files available
| DOI
| arXiv