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 | Conference Paper | IST-REx-ID: 14768 | OA
Cohen-Addad V, Saulpic D, Schwiegelshohn C. 2023. Deterministic clustering in high dimensional spaces: Sketches and approximation. 2023 IEEE 64th Annual Symposium on Foundations of Computer Science. FOCS: Symposium on Foundations of Computer Science, 1105–1130.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Thesis | IST-REx-ID: 14539 | OA
Zikelic D. 2023. Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14815 | OA
Beznosikov A, Horvath S, Richtarik P, Safaryan M. 2023. On biased compression for distributed learning. Journal of Machine Learning Research. 24, 1–50.
[Published Version] View | Files available | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14844 | OA
Azadbakht A, Meadowcroft B, Majek J, Šarić A, Kraft DJ. Nonadditivity in interactions between three membrane-wrapped colloidal spheres. Biophysical Journal.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 14854
Mitrouskas DJ, Seiringer R. 2023. Ubiquity of bound states for the strongly coupled polaron. Pure and Applied Analysis. 5(4), 973–1008.
View | DOI
 

2023 | Conference Paper | IST-REx-ID: 14867 | OA
Anastos M. 2023. Constructing Hamilton cycles and perfect matchings efficiently. Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications. EUROCOMB: European Conference on Combinatorics, Graph Theory and Applications, 36–41.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 13212 | OA
Chen H, Li L, Zou M, Qi L, Friml J. 2023. Distinct functions of TIR1 and AFB1 receptors in auxin signalling. Molecular Plant. 16(7), 1117–1119.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 13266 | OA
Qi L, Friml J. 2023. Tale of cAMP as a second messenger in auxin signaling and beyond. New Phytologist. 240(2), 489–495.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 13269 | OA
Polyanskii N, Zhang Y. 2023. Codes for the Z-channel. IEEE Transactions on Information Theory. 69(10), 6340–6357.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13128 | OA
Mohammadi A, Pham T, Wang Y. 2023. An energy decomposition theorem for matrices and related questions. Canadian Mathematical Bulletin. 66(4), 1280–1295.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 10551 | OA
Cornalba F, Fischer JL. 2023. The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles. Archive for Rational Mechanics and Analysis. 247(5), 76.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14043 | OA
Henzinger MH, Jin B, Peng R, Williamson DP. 2023. A combinatorial cut-toggling algorithm for solving Laplacian linear systems. Algorithmica. 85, 2680–3716.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14087 | OA
Rønning J, Renaud JB, Doostmohammadi A, Angheluta L. 2023. Spontaneous flows and dynamics of full-integer topological defects in polar active matter. Soft Matter. 39, 7513–7527.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14379
Mahato N, Singh S, Faisal M, Sreekanth TVM, Majumder S, Yoo K, Kim J. 2023. Polycrystalline phases grown in-situ engendering unique mechanism of charge storage in polyaniline-graphite composite. Synthetic Metals. 299, 117463.
View | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 14920 | OA
Banerjee T, Majumdar R, Mallik K, Schmuck A-K, Soudjani S. 2023. Fast symbolic algorithms for mega-regular games under strong transition fairness. TheoretiCS. 2, 4.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Preprint | IST-REx-ID: 14961 | OA
Montagna F, Noceti N, Rosasco L, Locatello F. Shortcuts for causal discovery of nonlinear models by score matching. arXiv, 2310.14246.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 14985 | OA
Liu Z, Hong T, Xu L, Wang S, Gao X, Chang C, Ding X, Xiao Y, Zhao L. 2023. Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS. Interdisciplinary Materials. 2(1), 161–170.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14989 | OA
Malvai H, Kokoris Kogias E, Sonnino A, Ghosh E, Oztürk E, Lewi K, Lawlor S. 2023. Parakeet: Practical key transparency for end-to-end eEncrypted messaging. Proceedings of the 2023 Network and Distributed System Security Symposium. NDSS: Network and Distributed Systems Security.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14758 | OA
Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. 2023. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. 35th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13966, 3–15.
[Published Version] View | Files available | DOI
 

2023 | Research Data Reference | IST-REx-ID: 14995 | OA
Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. 2023. Lincheck: A practical framework for testing concurrent data structures on JVM, Zenodo, 10.5281/ZENODO.7877757.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

Filters and Search Terms

isbn%3D978-1-4503-3300-9

Search

Filter Publications