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.
1612 Publications
2023 | Conference Paper | IST-REx-ID: 14768 | 
Cohen-Addad, Vincent, et al. “Deterministic Clustering in High Dimensional Spaces: Sketches and Approximation.” 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, IEEE, 2023, pp. 1105–30, doi:10.1109/focs57990.2023.00066.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14782 |
Baldauf, Lucia, et al. “Branched Actin Cortices Reconstituted in Vesicles Sense Membrane Curvature.” Biophysical Journal, vol. 122, no. 11, Elsevier, 2023, pp. 2311–24, doi:10.1016/j.bpj.2023.02.018.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 14539 |
Zikelic, Dorde. Automated Verification and Control of Infinite State Stochastic Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/14539.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14456 |
Křišťan, Jan Matyáš, and Jakub Svoboda. “Shortest Dominating Set Reconfiguration under Token Sliding.” 24th International Symposium on Fundamentals of Computation Theory, vol. 14292, Springer Nature, 2023, pp. 333–47, doi:10.1007/978-3-031-43587-4_24.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14829 |
Cohen, Shir, et al. “Proof of Availability and Retrieval in a Modular Blockchain Architecture.” 27th International Conference on Financial Cryptography and Data Security, vol. 13951, Springer Nature, 2023, pp. 36–53, doi:10.1007/978-3-031-47751-5_3.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14830
Zikelic, Dorde, et al. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.” Proceedings of the 37th AAAI Conference on Artificial Intelligence, vol. 37, no. 10, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–35, doi:10.1609/aaai.v37i10.26407.
[Preprint]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14872
Sahu, Rishabh, et al. “Entangling Microwaves and Telecom Wavelength Light.” Frontiers in Optics + Laser Science 2023, LM1F.3, Optica Publishing Group, 2023, doi:10.1364/ls.2023.lm1f.3.
View
| DOI
2023 | Journal Article | IST-REx-ID: 13266 |
Qi, Linlin, and Jiří Friml. “Tale of CAMP as a Second Messenger in Auxin Signaling and Beyond.” New Phytologist, vol. 240, no. 2, Wiley, 2023, pp. 489–95, doi:10.1111/nph.19123.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13269 |
Polyanskii, Nikita, and Yihan Zhang. “Codes for the Z-Channel.” IEEE Transactions on Information Theory, vol. 69, no. 10, Institute of Electrical and Electronics Engineers, 2023, pp. 6340–57, doi:10.1109/TIT.2023.3292219.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13128 |
Mohammadi, Ali, et al. “An Energy Decomposition Theorem for Matrices and Related Questions.” Canadian Mathematical Bulletin, vol. 66, no. 4, Cambridge University Press, 2023, pp. 1280–95, doi:10.4153/S000843952300036X.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13209 |
Xia, Jing, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.” Plant Communications, vol. 4, no. 6, 100632, Elsevier , 2023, doi:10.1016/j.xplc.2023.100632.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13165 |
Fang, Lixing, et al. “Successive Vertex Orderings of Fully Regular Graphs.” Journal of Combinatorial Theory. Series A, vol. 199, no. 10, 105776, Elsevier, 2023, doi:10.1016/j.jcta.2023.105776.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14379
Mahato, Neelima, et al. “Polycrystalline Phases Grown In-Situ Engendering Unique Mechanism of Charge Storage in Polyaniline-Graphite Composite.” Synthetic Metals, vol. 299, 117463, Elsevier, 2023, doi:10.1016/j.synthmet.2023.117463.
View
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14920 |
Banerjee, Tamajit, et al. “Fast Symbolic Algorithms for Mega-Regular Games under Strong Transition Fairness.” TheoretiCS, vol. 2, 4, EPI Sciences, 2023, doi:10.46298/theoretics.23.4.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Preprint | IST-REx-ID: 14961 |
Montagna, Francesco, et al. “Shortcuts for Causal Discovery of Nonlinear Models by Score Matching.” ArXiv, 2310.14246, doi:10.48550/arXiv.2310.14246.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14411 |
Beneš, Nikola, et al. “Phenotype Control of Partially Specified Boolean Networks.” 21st International Conference on Computational Methods in Systems Biology, vol. 14137, Springer Nature, 2023, pp. 18–35, doi:10.1007/978-3-031-42697-1_2.
[Submitted Version]
View
| Files available
| DOI
2023 | Book Chapter | IST-REx-ID: 14992 |
Lewin, Mathieu, et al. “Universal Functionals in Density Functional Theory.” Density Functional Theory, edited by Eric Cances and Gero Friesecke, 1st ed., Springer, 2023, pp. 115–82, doi:10.1007/978-3-031-22340-2_3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Thesis | IST-REx-ID: 14280
Radler, Philipp. Spatiotemporal Signaling during Assembly of the Bacterial Divisome. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14280.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14758 |
Majumdar, Rupak, et al. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” 35th International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 3–15, doi:10.1007/978-3-031-37709-9_1.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13139 |
Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.” TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, vol. 13993, Springer Nature, 2023, pp. 489–507, doi:10.1007/978-3-031-30823-9_25.
[Published Version]
View
| Files available
| DOI
| arXiv