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.
1933 Publications
2023 | Journal Article | IST-REx-ID: 14345 | 
On angles in higher order Brillouin tessellations and related tilings in the plane
H. Edelsbrunner, A. Garber, M. Ghafari, T. Heiss, M. Saghafian, Discrete and Computational Geometry (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
H. Edelsbrunner, A. Garber, M. Ghafari, T. Heiss, M. Saghafian, Discrete and Computational Geometry (2023).
2023 | Journal Article | IST-REx-ID: 14435
A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries
G. Zeng, Q. Sun, S. Horta, S. Wang, X. Lu, C. Zhang, J. Li, J. Li, L. Ci, Y. Tian, M. Ibáñez, A. Cabot, Advanced Materials (n.d.).
View
| DOI
| WoS
| PubMed | Europe PMC
G. Zeng, Q. Sun, S. Horta, S. Wang, X. Lu, C. Zhang, J. Li, J. Li, L. Ci, Y. Tian, M. Ibáñez, A. Cabot, Advanced Materials (n.d.).
2023 | Conference Paper | IST-REx-ID: 14693 |
(Verifiable) delay functions from Lucas sequences
C. Hoffmann, P. Hubáček, C. Kamath, T. Krňák, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 336–362.
[Preprint]
View
| DOI
| Download Preprint (ext.)
C. Hoffmann, P. Hubáček, C. Kamath, T. Krňák, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 336–362.
2023 | Conference Paper | IST-REx-ID: 14691 |
On the cost of post-compromise security in concurrent Continuous Group-Key Agreement
B. Auerbach, M. Cueto Noval, G. Pascual Perez, K.Z. Pietrzak, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 271–300.
[Preprint]
View
| DOI
| Download Preprint (ext.)
B. Auerbach, M. Cueto Noval, G. Pascual Perez, K.Z. Pietrzak, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 271–300.
2023 | Conference Paper | IST-REx-ID: 14692 |
Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing
B. Auerbach, C. Hoffmann, G. Pascual Perez, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 301–330.
[Preprint]
View
| DOI
| Download Preprint (ext.)
B. Auerbach, C. Hoffmann, G. Pascual Perez, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 301–330.
2023 | Thesis | IST-REx-ID: 14697
Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function
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
J.A. Stopp, Neutrophils on the Hunt: Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function, Institute of Science and Technology Austria, 2023.
2023 | Conference Paper | IST-REx-ID: 14718 |
Binary decision diagrams on modern hardware
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
[Published Version]
View
| Files available
| DOI
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
2023 | Journal Article | IST-REx-ID: 14726 |
The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize
L.-Z. Zhou, L. Wang, X. Chen, Z. Ge, J. Mergner, X. Li, B. Küster, G. Längst, L.-J. Qu, T. Dresselhaus, The Plant Cell (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
L.-Z. Zhou, L. Wang, X. Chen, Z. Ge, J. Mergner, X. Li, B. Küster, G. Längst, L.-J. Qu, T. Dresselhaus, The Plant Cell (2023).
2023 | Journal Article | IST-REx-ID: 12833 |
Token swapping on trees
A. Biniaz, K. Jain, A. Lubiw, Z. Masárová, T. Miltzow, D. Mondal, A.M. Naredla, J. Tkadlec, A. Turcotte, Discrete Mathematics and Theoretical Computer Science 24 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
A. Biniaz, K. Jain, A. Lubiw, Z. Masárová, T. Miltzow, D. Mondal, A.M. Naredla, J. Tkadlec, A. Turcotte, Discrete Mathematics and Theoretical Computer Science 24 (2023).
2023 | Conference Paper | IST-REx-ID: 14735 |
Executing and proving over dirty ledgers
C. Stefo, Z. Xiang, E. Kokoris Kogias, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 3–20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
C. Stefo, Z. Xiang, E. Kokoris Kogias, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 3–20.
2023 | Conference Paper | IST-REx-ID: 14736
R2: Boosting liquidity in payment channel networks with online admission control
M. Bastankhah, K. Chatterjee, M.A. Maddah-Ali, S. Schmid, J. Svoboda, M.X. Yeo, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 309–325.
View
| DOI
M. Bastankhah, K. Chatterjee, M.A. Maddah-Ali, S. Schmid, J. Svoboda, M.X. Yeo, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 309–325.
2023 | Conference Paper | IST-REx-ID: 14744
Divide & Scale: Formalization and roadmap to robust sharding
Z. Avarikioti, A. Desjardins, E. Kokoris Kogias, R. Wattenhofer, in:, 30th International Colloquium on Structural Information and Communication Complexity, Springer Nature, 2023, pp. 199–245.
View
| DOI
Z. Avarikioti, A. Desjardins, E. Kokoris Kogias, R. Wattenhofer, in:, 30th International Colloquium on Structural Information and Communication Complexity, Springer Nature, 2023, pp. 199–245.
2023 | Journal Article | IST-REx-ID: 14751 |
Zero-error communication over adversarial MACs
Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127.
2023 | Journal Article | IST-REx-ID: 13267 |
Dense 4D nanoscale reconstruction of living brain tissue
P. Velicky, E. Miguel Villalba, J.M. Michalska, J. Lyudchik, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, Nature Methods 20 (2023) 1256–1265.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
P. Velicky, E. Miguel Villalba, J.M. Michalska, J. Lyudchik, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, Nature Methods 20 (2023) 1256–1265.
2023 | Journal Article | IST-REx-ID: 14776 |
Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3
A. Teplova, A.A. Pigidanov, M.V. Serebryakova, S.A. Golyshev, R.A. Galiullina, N.V. Chichkova, A.B. Vartapetian, International Journal of Molecular Sciences 24 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Teplova, A.A. Pigidanov, M.V. Serebryakova, S.A. Golyshev, R.A. Galiullina, N.V. Chichkova, A.B. Vartapetian, International Journal of Molecular Sciences 24 (2023).
2023 | Journal Article | IST-REx-ID: 14775 |
Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices
K. Schnelli, Y. Xu, The Annals of Applied Probability 33 (2023) 677–725.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Schnelli, Y. Xu, The Annals of Applied Probability 33 (2023) 677–725.
2023 | Journal Article | IST-REx-ID: 9651 |
Divergence of separated nets with respect to displacement equivalence
M. Dymond, V. Kaluza, Geometriae Dedicata (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
M. Dymond, V. Kaluza, Geometriae Dedicata (2023).
2023 | Conference Paper | IST-REx-ID: 14768 |
Deterministic clustering in high dimensional spaces: Sketches and approximation
V. Cohen-Addad, D. Saulpic, C. Schwiegelshohn, in:, 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, IEEE, 2023, pp. 1105–1130.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Cohen-Addad, D. Saulpic, C. Schwiegelshohn, in:, 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, IEEE, 2023, pp. 1105–1130.
2023 | Journal Article | IST-REx-ID: 14782 |
Branched actin cortices reconstituted in vesicles sense membrane curvature
L. Baldauf, F.F. Frey, M. Arribas Perez, T. Idema, G.H. Koenderink, Biophysical Journal 122 (2023) 2311–2324.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L. Baldauf, F.F. Frey, M. Arribas Perez, T. Idema, G.H. Koenderink, Biophysical Journal 122 (2023) 2311–2324.
2023 | Thesis | IST-REx-ID: 14539 |
Automated verification and control of infinite state stochastic systems
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.