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.
2023 Publications
2023 |Published| Conference Paper | IST-REx-ID: 14768 | 
Cohen-Addad, Vincent, David Saulpic, and Chris Schwiegelshohn. “Deterministic Clustering in High Dimensional Spaces: Sketches and Approximation.” In 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, 1105–30. IEEE, 2023. https://doi.org/10.1109/focs57990.2023.00066.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Thesis | IST-REx-ID: 14539 |
Zikelic, Dorde. “Automated Verification and Control of Infinite State Stochastic Systems.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14539.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 14815 |
Beznosikov, Aleksandr, Samuel Horvath, Peter Richtarik, and Mher Safaryan. “On Biased Compression for Distributed Learning.” Journal of Machine Learning Research. Journal of Machine Learning Research, 2023.
[Published Version]
View
| Files available
| WoS
| arXiv
2023 |In Press| Journal Article | IST-REx-ID: 14844 |
Azadbakht, Ali, Billie Meadowcroft, Juraj Majek, Anđela Šarić, and Daniela J. Kraft. “Nonadditivity in Interactions between Three Membrane-Wrapped Colloidal Spheres.” Biophysical Journal. Elsevier, n.d. https://doi.org/10.1016/j.bpj.2023.12.020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 14854
Mitrouskas, David Johannes, and Robert Seiringer. “Ubiquity of Bound States for the Strongly Coupled Polaron.” Pure and Applied Analysis. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/paa.2023.5.973.
View
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 14867 |
Anastos, Michael. “Constructing Hamilton Cycles and Perfect Matchings Efficiently.” In Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, 36–41. Masaryk University Press, 2023. https://doi.org/10.5817/cz.muni.eurocomb23-005.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 13212 |
Chen, Huihuang, Lanxin Li, Minxia Zou, Linlin Qi, and Jiří Friml. “Distinct Functions of TIR1 and AFB1 Receptors in Auxin Signalling.” Molecular Plant. Elsevier , 2023. https://doi.org/10.1016/j.molp.2023.06.007.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| 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. Wiley, 2023. https://doi.org/10.1111/nph.19123.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 13269 |
Polyanskii, Nikita, and Yihan Zhang. “Codes for the Z-Channel.” IEEE Transactions on Information Theory. Institute of Electrical and Electronics Engineers, 2023. https://doi.org/10.1109/TIT.2023.3292219.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 13128 |
Mohammadi, Ali, Thang Pham, and Yiting Wang. “An Energy Decomposition Theorem for Matrices and Related Questions.” Canadian Mathematical Bulletin. Cambridge University Press, 2023. https://doi.org/10.4153/S000843952300036X.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 10551 |
Cornalba, Federico, and Julian L Fischer. “The Dean-Kawasaki Equation and the Structure of Density Fluctuations in Systems of Diffusing Particles.” Archive for Rational Mechanics and Analysis. Springer Nature, 2023. https://doi.org/10.1007/s00205-023-01903-7.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14043 |
Henzinger, Monika H, Billy Jin, Richard Peng, and David P. Williamson. “A Combinatorial Cut-Toggling Algorithm for Solving Laplacian Linear Systems.” Algorithmica. Springer Nature, 2023. https://doi.org/10.1007/s00453-023-01154-8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14087 |
Rønning, Jonas, Julian B Renaud, Amin Doostmohammadi, and Luiza Angheluta. “Spontaneous Flows and Dynamics of Full-Integer Topological Defects in Polar Active Matter.” Soft Matter. Royal Society of Chemistry, 2023. https://doi.org/10.1039/d3sm00316g.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14379
Mahato, Neelima, Saurabh Singh, Mohammad Faisal, T. V.M. Sreekanth, Sutripto Majumder, Kisoo Yoo, and Jonghoon Kim. “Polycrystalline Phases Grown In-Situ Engendering Unique Mechanism of Charge Storage in Polyaniline-Graphite Composite.” Synthetic Metals. Elsevier, 2023. https://doi.org/10.1016/j.synthmet.2023.117463.
View
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 14920 |
Banerjee, Tamajit, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and Sadegh Soudjani. “Fast Symbolic Algorithms for Mega-Regular Games under Strong Transition Fairness.” TheoretiCS. EPI Sciences, 2023. https://doi.org/10.46298/theoretics.23.4.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Submitted| Preprint | IST-REx-ID: 14961 |
Montagna, Francesco, Nicoletta Noceti, Lorenzo Rosasco, and Francesco Locatello. “Shortcuts for Causal Discovery of Nonlinear Models by Score Matching.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2310.14246.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14985 |
Liu, Zhengtao, Tao Hong, Liqing Xu, Sining Wang, Xiang Gao, Cheng Chang, Xiangdong Ding, Yu Xiao, and Li‐Dong Zhao. “Lattice Expansion Enables Interstitial Doping to Achieve a High Average ZT in N‐type PbS.” Interdisciplinary Materials. Wiley, 2023. https://doi.org/10.1002/idm2.12056.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 14989 |
Malvai, Harjasleen, Eleftherios Kokoris Kogias, Alberto Sonnino, Esha Ghosh, Ercan Oztürk, Kevin Lewi, and Sean Lawlor. “Parakeet: Practical Key Transparency for End-to-End EEncrypted Messaging.” In Proceedings of the 2023 Network and Distributed System Security Symposium. Internet Society, 2023. https://doi.org/10.14722/ndss.2023.24545.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 14758 |
Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” In 35th International Conference on Computer Aided Verification, 13966:3–15. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9_1.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14995 |
Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7877757.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)