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
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
 

2023 | Thesis | IST-REx-ID: 14539 | OA
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
 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Filters and Search Terms

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

Search

Filter Publications