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.
2006 Publications
2023 | Journal Article | IST-REx-ID: 13235
Y. Liu et al., “Surface chemistry and band engineering in AgSbSe₂: Toward high thermoelectric performance,” ACS Nano, vol. 17, no. 12. American Chemical Society, pp. 11923–11934, 2023.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13256 | 
B. B. GOSWAMI and S. I. An, “An assessment of the ENSO-monsoon teleconnection in a warming climate,” npj Climate and Atmospheric Science, vol. 6. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Preprint | IST-REx-ID: 13447 |
Huber D, Pinsonneault M, Beck P, Bedding TR, Joss Bland-Hawthorn JB-H, Breton SN, Bugnet LA, Chaplin WJ, Garcia RA, Grunblatt SK, Guzik JA, Hekker S, Kawaler SD, Mathis S, Mathur S, Metcalfe T, Mosser B, Ness MK, Piro AL, Serenelli A, Sharma S, Soderblom DR, Stassun KG, Stello D, Tayar J, Belle GT van, Zinn JC. Asteroseismology with the Roman galactic bulge time-domain survey. arXiv, 2307.03237.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 10173 |
N. Clozeau, “Optimal decay of the parabolic semigroup in stochastic homogenization for correlated coefficient fields,” Stochastics and Partial Differential Equations: Analysis and Computations, vol. 11. Springer Nature, pp. 1254–1378, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12331 |
S. Wang et al., “Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe,” Chemistry of Materials, vol. 35, no. 2. American Chemical Society, pp. 755–763, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 11999 |
A. M. Arroyo Guevara, F. Klute, I. Parada, B. Vogtenhuber, R. Seidel, and T. Wiedera, “Inserting one edge into a simple drawing is hard,” Discrete and Computational Geometry, vol. 69. Springer Nature, pp. 745–770, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12164 |
M. A. Baig, D. Hendler, A. Milani, and C. Travers, “Long-lived counters with polylogarithmic amortized step complexity,” Distributed Computing, vol. 36. Springer Nature, pp. 29–43, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2023 | Journal Article | IST-REx-ID: 12762 |
F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, and D. De Martino, “Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain,” Nature Computational Science, vol. 3. Springer Nature, pp. 254–263, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14085 |
G. Goranci and M. H. Henzinger, “Efficient data structures for incremental exact and approximate maximum flow,” in 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 2023, vol. 261.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14084 |
D. G. Harris and V. Kolmogorov, “Parameter estimation for Gibbs distributions,” in 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 2023, vol. 261.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14086 |
M. H. Henzinger, P. Liu, J. Vondrák, and D. W. Zheng, “Faster submodular maximization for several classes of matroids,” in 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 2023, vol. 261.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14083 |
N. Resch, C. Yuan, and Y. Zhang, “Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery,” in 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 2023, vol. 261.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14319 |
M. Anastos, D. Fabian, A. Müyesser, and T. Szabó, “Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets,” Electronic Journal of Combinatorics, vol. 30, no. 3. Electronic Journal of Combinatorics, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14316 |
M. Nagano, K. Aoshima, H. Shimamura, D. E. Siekhaus, J. Y. Toshima, and J. Toshima, “Distinct role of TGN-resident clathrin adaptors for Vps21p activation in the TGN-endosome trafficking pathway,” Journal of Cell Science, vol. 136, no. 17. The Company of Biologists, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 12732 |
P. Brighi, “Ergodicity breaking in disordered and kinetically constrained quantum many-body systems,” Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13969 |
A. M. Arroyo Guevara and S. Felsner, “Approximating the bundled crossing number,” Journal of Graph Algorithms and Applications, vol. 27, no. 6. Brown University, pp. 433–457, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 11706 |
A. Liebenau, L. Mattos, W. Mendonca dos Santos, and J. Skokan, “Asymmetric Ramsey properties of random graphs involving cliques and cycles,” Random Structures and Algorithms, vol. 62, no. 4. Wiley, pp. 1035–1055, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12961
B. Wagner, V. Šlipogor, J. Oh, M. Varga, and M. Hoeschele, “A comparison between common marmosets (Callithrix jacchus) and human infants sheds light on traits proposed to be at the root of human octave equivalence,” Developmental Science, vol. 26, no. 5. Wiley, 2023.
View
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12763 |
J. D. Boissonnat and M. Wintraecken, “The reach of subsets of manifolds,” Journal of Applied and Computational Topology, vol. 7. Springer Nature, pp. 619–641, 2023.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Journal Article | IST-REx-ID: 14408 |
G. Cipolloni, L. Erdös, and D. J. Schröder, “Mesoscopic central limit theorem for non-Hermitian random matrices,” Probability Theory and Related Fields. Springer Nature, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12960 |
J. D. Boissonnat, S. Kachanovich, and M. Wintraecken, “Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations,” SIAM Journal on Computing, vol. 52, no. 2. Society for Industrial and Applied Mathematics, pp. 452–486, 2023.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2023 | Book Chapter | IST-REx-ID: 13052
A. F. Leithner, J. Merrin, and M. K. Sixt, “En-Face Imaging of T Cell-Dendritic Cell Immunological Synapses,” in The Immune Synapse, vol. 2654, C. Baldari and M. Dustin, Eds. New York, NY: Springer Nature, 2023, pp. 137–147.
View
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12683 |
G. Dubach and L. Erdös, “Dynamics of a rank-one perturbation of a Hermitian matrix,” Electronic Communications in Probability, vol. 28. Institute of Mathematical Statistics, pp. 1–13, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12761 |
G. Cipolloni, L. Erdös, and D. J. Schröder, “Functional central limit theorems for Wigner matrices,” Annals of Applied Probability, vol. 33, no. 1. Institute of Mathematical Statistics, pp. 447–489, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14452 |
N. H. Barton, A. M. Etheridge, and A. Véber, “The infinitesimal model with dominance,” Genetics, vol. 225, no. 2. Oxford Academic, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14457 |
C. Hoffmann and M. Simkin, “Stronger lower bounds for leakage-resilient secret sharing,” in 8th International Conference on Cryptology and Information Security in Latin America, Quito, Ecuador, 2023, vol. 14168, pp. 215–228.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Journal Article | IST-REx-ID: 14444 |
M. A. Kwan, A. Sah, M. Sawhney, and M. Simkin, “Substructures in Latin squares,” Israel Journal of Mathematics, vol. 256, no. 2. Springer Nature, pp. 363–416, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14516 |
D. Beaver et al., “STROBE: Streaming Threshold Random Beacons,” in 5th Conference on Advances in Financial Technologies, Princeton, NJ, United States, 2023, vol. 282.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14518 |
G. Avni, T. Meggendorfer, S. Sadhukhan, J. Tkadlec, and D. Zikelic, “Reachability poorman discrete-bidding games,” in Frontiers in Artificial Intelligence and Applications, Krakow, Poland, 2023, vol. 372, pp. 141–148.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14558
S. Bhattacharya, M. H. Henzinger, D. Nanongkai, and X. Wu, “Deterministic near-optimal approximation algorithms for dynamic set cover,” SIAM Journal on Computing, vol. 52, no. 5. Society for Industrial and Applied Mathematics, pp. 1132–1192, 2023.
View
| DOI
2023 | Conference Paper | IST-REx-ID: 14559
M. Ansaripour, K. Chatterjee, T. A. Henzinger, M. Lechner, and D. Zikelic, “Learning provably stabilizing neural controllers for discrete-time stochastic systems,” in 21st International Symposium on Automated Technology for Verification and Analysis, Singapore, Singapore, 2023, vol. 14215, pp. 357–379.
View
| DOI
2023 | Journal Article | IST-REx-ID: 14543 |
Kaiyrzhanov R, Rad A, Lin S-J, Bertoli-Avella A, Kallemeijn WW, Godwin A, Zaki MS, Huang K, Lau T, Petree C, Efthymiou S, Ghayoor Karimiani E, Hempel M, Normand EA, Rudnik-Schöneborn S, Schatz UA, Baggelaar MP, Ilyas M, Sultan T, Alvi JR, Ganieva M, Fowler B, Aanicai R, Akay Tayfun G, Al Saman A, Alswaid A, Amiri N, Asilova N, Shotelersuk V, Yeetong P, Azam M, Babaei M, Bahrami Monajemi G, Mohammadi P, Samie S, Banu SH, Basto JP, Kortüm F, Bauer M, Bauer P, Beetz C, Garshasbi M, Hameed Issa A, Eyaid W, Ahmed H, Hashemi N, Hassanpour K, Herman I, Ibrohimov S, Abdul-Majeed BA, Imdad M, Isrofilov M, Kaiyal Q, Khan S, Kirmse B, Koster J, Lourenço CM, Mitani T, Moldovan O, Murphy D, Najafi M, Pehlivan D, Rocha ME, Salpietro V, Schmidts M, Shalata A, Mahroum M, Talbeya JK, Taylor RW, Vazquez D, Vetro A, Waterham HR, Zaman M, Schrader TA, Chung WK, Guerrini R, Lupski JR, Gleeson J, Suri M, Jamshidi Y, Bhatia KP, Vona B, Schrader M, Severino M, Guille M, Tate EW, Varshney GK, Houlden H, Maroofian R. 2023. Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain., awad380.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14609 |
S. Das, Z. Xiang, E. Kokoris Kogias, and L. Ren, “Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling,” in 32nd USENIX Security Symposium, Anaheim, CA, United States, 2023, vol. 8, pp. 5359–5376.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 13238 |
S. Schmid, J. Svoboda, and M. X. Yeo, “Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation,” in SIROCCO 2023: Structural Information and Communication Complexity , Alcala de Henares, Spain, 2023, vol. 13892, pp. 576–594.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13264 |
D. T. Phan et al., “Gate-tunable superconductor-semiconductor parametric amplifier,” Physical Review Applied, vol. 19, no. 6. American Physical Society, 2023.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14658 |
J. M. Becker, G. Koutentakis, and P. Schmelcher, “Spin-charge correlations in finite one-dimensional multiband Fermi systems,” Physical Review Research, vol. 5, no. 4. American Physical Society, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14660 |
G. Ivanov and M. Naszódi, “Quantitative Steinitz theorem: A polynomial bound,” Bulletin of the London Mathematical Society. London Mathematical Society, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12838 |
Y. Zhang and S. Vatedka, “Multiple packing: Lower bounds via infinite constellations,” IEEE Transactions on Information Theory, vol. 69, no. 7. IEEE, pp. 4513–4527, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13318 |
A. Volberg and H. Zhang, “Noncommutative Bohnenblust–Hille inequalities,” Mathematische Annalen. Springer Nature, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13258 |
M. Kleshnina, C. Hilbe, S. Simsa, K. Chatterjee, and M. A. Nowak, “The effect of environmental information on evolution of cooperation in stochastic games,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13278 |
L. Rammelmüller, D. Huber, M. Čufar, J. Brand, H.-W. Hammer, and A. Volosniev, “Magnetic impurity in a one-dimensional few-fermion system,” SciPost Physics, vol. 14, no. 1. SciPost Foundation, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13443 |
S. Mathur et al., “Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations,” The Astrophysical Journal, vol. 952, no. 2. American Astronomical Society, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13974 |
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, and U. Wagner, “The crossing Tverberg theorem,” Discrete and Computational Geometry. Springer Nature, 2023.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13968 |
R. Hasler et al., “Optical and electronic signal stabilization of plasmonic fiber optic gate electrodes: Towards improved real-time dual-mode biosensing,” Frontiers in Physics, vol. 11. Frontiers, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14245 |
T. Horesh and A. Nevo, “Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution,” Pacific Journal of Mathematics, vol. 324, no. 2. Mathematical Sciences Publishers, pp. 265–294, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14255 |
J. Koch et al., “The phenuivirus Toscana virus makes an atypical use of vacuolar acidity to enter host cells,” PLoS Pathogens, vol. 19, no. 8. Public Library of Science, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14345 |
H. Edelsbrunner, A. Garber, M. Ghafari, T. Heiss, and M. Saghafian, “On angles in higher order Brillouin tessellations and related tilings in the plane,” Discrete and Computational Geometry. Springer Nature, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14361 |
M. Riedl, I. D. Mayer, J. Merrin, M. K. Sixt, and B. Hof, “Synchronization in collectively moving inanimate and living active matter,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14434
R. He et al., “A 3d‐4d‐5d high entropy alloy as a bifunctional oxygen catalyst for robust aqueous zinc–air batteries,” Advanced Materials. Wiley, 2023.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14427 |
J. Chen, V. Kaloshin, and H. K. Zhang, “Length spectrum rigidity for piecewise analytic Bunimovich billiards,” Communications in Mathematical Physics. Springer Nature, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13125 |
S. Sack, R. A. Medina Ramos, R. Kueng, and M. Serbyn, “Recursive greedy initialization of the quantum approximate optimization algorithm with guaranteed improvement,” Physical Review A, vol. 107, no. 6. American Physical Society, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14445 |
U. Wagner and P. Wild, “Coboundary expansion, equivariant overlap, and crossing numbers of simplicial complexes,” Israel Journal of Mathematics, vol. 256, no. 2. Springer Nature, pp. 675–717, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14683 |
N. Amberg, G. T. Cheung, and S. Hippenmeyer, “Protocol for sorting cells from mouse brains labeled with mosaic analysis with double markers by flow cytometry,” STAR Protocols, vol. 5, no. 1. Elsevier, 2023.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14665 |
Y. Zhang and S. Vatedka, “Multiple packing: Lower bounds via error exponents,” IEEE Transactions on Information Theory. IEEE, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14691 |
B. Auerbach, M. Cueto Noval, G. Pascual Perez, and K. Z. Pietrzak, “On the cost of post-compromise security in concurrent Continuous Group-Key Agreement,” in 21st International Conference on Theory of Cryptography, Taipei, Taiwan, 2023, vol. 14371, pp. 271–300.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Journal Article | IST-REx-ID: 14360 |
E. Sitarska et al., “Sensing their plasma membrane curvature allows migrating cells to circumvent obstacles,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 14697
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
2023 | Conference Paper | IST-REx-ID: 14718 |
S. Pastva and T. A. Henzinger, “Binary decision diagrams on modern hardware,” in Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, Ames, IA, United States, 2023, pp. 122–131.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14715 |
D. J. Mitrouskas and P. Pickl, “Exponential decay of the number of excitations in the weakly interacting Bose gas,” Journal of Mathematical Physics, vol. 64, no. 12. AIP Publishing, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14726 |
L.-Z. Zhou et al., “The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize,” The Plant Cell. Oxford University Press, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12833 |
A. Biniaz et al., “Token swapping on trees,” Discrete Mathematics and Theoretical Computer Science, vol. 24, no. 2. EPI Sciences, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14756 |
N. Carqueville and L. Szegedy, “Fully extended r-spin TQFTs,” Quantum Topology, vol. 14, no. 3. European Mathematical Society, pp. 467–532, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14751 |
Y. Zhang, “Zero-error communication over adversarial MACs,” IEEE Transactions on Information Theory, vol. 69, no. 7. Institute of Electrical and Electronics Engineers, pp. 4093–4127, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14775 |
K. Schnelli and Y. Xu, “Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices,” The Annals of Applied Probability, vol. 33, no. 1. Institute of Mathematical Statistics, pp. 677–725, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Conference Paper | IST-REx-ID: 14768 |
V. Cohen-Addad, D. Saulpic, and C. Schwiegelshohn, “Deterministic clustering in high dimensional spaces: Sketches and approximation,” in 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, Santa Cruz, CA, United States, 2023, pp. 1105–1130.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Thesis | IST-REx-ID: 14539 |
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 |
A. Beznosikov, S. Horvath, P. Richtarik, and M. Safaryan, “On biased compression for distributed learning,” Journal of Machine Learning Research, vol. 24. Journal of Machine Learning Research, pp. 1–50, 2023.
[Published Version]
View
| Files available
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14844 |
A. Azadbakht, B. Meadowcroft, J. Majek, A. Šarić, and D. J. Kraft, “Nonadditivity in interactions between three membrane-wrapped colloidal spheres,” Biophysical Journal. Elsevier.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14867 |
M. Anastos, “Constructing Hamilton cycles and perfect matchings efficiently,” in Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, Prague, Czech Republic, 2023, pp. 36–41.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13212 |
H. Chen, L. Li, M. Zou, L. Qi, and J. Friml, “Distinct functions of TIR1 and AFB1 receptors in auxin signalling.,” Molecular Plant, vol. 16, no. 7. Elsevier , pp. 1117–1119, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13266 |
L. Qi and J. Friml, “Tale of cAMP as a second messenger in auxin signaling and beyond,” New Phytologist, vol. 240, no. 2. Wiley, pp. 489–495, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13269 |
N. Polyanskii and Y. Zhang, “Codes for the Z-channel,” IEEE Transactions on Information Theory, vol. 69, no. 10. Institute of Electrical and Electronics Engineers, pp. 6340–6357, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13128 |
A. Mohammadi, T. Pham, and Y. Wang, “An energy decomposition theorem for matrices and related questions,” Canadian Mathematical Bulletin, vol. 66, no. 4. Cambridge University Press, pp. 1280–1295, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 10551 |
F. Cornalba and J. L. Fischer, “The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles,” Archive for Rational Mechanics and Analysis, vol. 247, no. 5. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14043 |
M. H. Henzinger, B. Jin, R. Peng, and D. P. Williamson, “A combinatorial cut-toggling algorithm for solving Laplacian linear systems,” Algorithmica, vol. 85. Springer Nature, pp. 2680–3716, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14087 |
J. Rønning, J. B. Renaud, A. Doostmohammadi, and L. Angheluta, “Spontaneous flows and dynamics of full-integer topological defects in polar active matter,” Soft Matter, vol. 39. Royal Society of Chemistry, pp. 7513–7527, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14920 |
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, and S. Soudjani, “Fast symbolic algorithms for mega-regular games under strong transition fairness,” TheoretiCS, vol. 2. EPI Sciences, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Preprint | IST-REx-ID: 14961 |
F. Montagna, N. Noceti, L. Rosasco, and F. Locatello, “Shortcuts for causal discovery of nonlinear models by score matching,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14985 |
Z. Liu et al., “Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS,” Interdisciplinary Materials, vol. 2, no. 1. Wiley, pp. 161–170, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14989 |
H. Malvai et al., “Parakeet: Practical key transparency for end-to-end eEncrypted messaging,” in Proceedings of the 2023 Network and Distributed System Security Symposium, San Diego, CA, United States, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14758 |
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, and S. Soudjani, “A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties,” in 35th International Conference on Computer Aided Verification, Paris, France, 2023, vol. 13966, pp. 3–15.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14995 |
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Preprint | IST-REx-ID: 15039 |
B. Prach and C. Lampert, “1-Lipschitz neural networks are more expressive with N-activations,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 13236 |
D. W. Zheng and M. H. Henzinger, “Multiplicative auction algorithm for approximate maximum weight bipartite matching,” in International Conference on Integer Programming and Combinatorial Optimization, Madison, WI, United States, 2023, vol. 13904, pp. 453–465.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13182 |
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, and M. Saghafian, “Geometric characterization of the persistence of 1D maps,” Journal of Applied and Computational Topology. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 15173 |
M. A. Kwan, A. Sah, and M. Sawhney, “Enumerating matroids and linear spaces,” Comptes Rendus Mathematique, vol. 361, no. G2. Academie des Sciences, pp. 565–575, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 15148 |
Michael AK, Stoos L, Crosby P, Eggers N, Nie XY, Makasheva K, Minnich M, Healy KL, Weiss J, Kempf G, Cavadini S, Kater L, Seebacher J, Vecchia L, Chakraborty D, Isbel L, Grand RS, Andersch F, Fribourgh JL, Schübeler D, Zuber J, Liu AC, Becker PB, Fierz B, Partch CL, Menet JS, Thomä NH. 2023. Cooperation between bHLH transcription factors and histones for DNA access. Nature. 619(7969), 385–393.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 15196 |
Burdge KB, El-Badry K, Rappaport S, Sunny Wong TL, Bauer EB, Bildsten L, Caiazzo I, Chakrabarty D, Chickles E, Graham MJ, Kara E, Kulkarni SR, Marsh TR, Nynka M, Prince TA, Simcoe RA, van Roestel J, Vanderbosch Z, Bellm EC, Dekany RG, Drake AJ, Helou G, Masci FJ, Milburn J, Riddle R, Rusholme B, Smith R. 2023. Orbital decay in an accreting and eclipsing 13.7 minute orbital period binary with a luminous donor. The Astrophysical Journal Letters. 953(1), L1.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 15194 |
Rodriguez AC, Galiullin I, Gilfanov M, Kulkarni SR, Khamitov I, Bikmaev I, van Roestel J, Yungelson L, El-Badry K, Sunayev R, Prince TA, Buntov M, Caiazzo I, Drake A, Gorbachev M, Graham MJ, Gumerov R, Irtuganov E, Laher RR, Masci FJ, Medvedev P, Purdum J, Sakhibullin N, Sklyanov A, Smith R, Szkody P, Vanderbosch ZP. 2023. SRGeJ045359.9+622444: A 55 minute period eclipsing AM Canum Venaticorum star discovered from a joint SRG/eROSITA + ZTF search. The Astrophysical Journal. 954(1), 63.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 15195 |
Caiazzo I, Burdge KB, Tremblay P-E, Fuller J, Ferrario L, Gänsicke BT, Hermes JJ, Heyl J, Kawka A, Kulkarni SR, Marsh TR, Mróz P, Prince TA, Richer HB, Rodriguez AC, van Roestel J, Vanderbosch ZP, Vennes S, Wickramasinghe D, Dhillon VS, Littlefair SP, Munday J, Pelisoli I, Perley D, Bellm EC, Breedt E, Brown AJ, Dekany R, Drake A, Dyer MJ, Graham MJ, Green MJ, Laher RR, Kerry P, Parsons SG, Riddle RL, Rusholme B, Sahman DI. 2023. A rotating white dwarf shows different compositions on its opposite faces. Nature. 620(7972), 61–66.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 15197 |
B. T. Bolin, K. S. Noll, I. Caiazzo, C. Fremling, and R. P. Binzel, “Keck and Gemini spectral characterization of Lucy mission fly-by target (152830) Dinkinesh,” Icarus, vol. 400. Elsevier, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 15201 |
D. González-Caniulef, I. Caiazzo, and J. Heyl, “Unbinned likelihood analysis for X-ray polarization,” Monthly Notices of the Royal Astronomical Society, vol. 519, no. 4. Oxford University Press, pp. 5902–5912, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 13262 |
A. Fedorov, D. Hashemi, G. Nadiradze, and D.-A. Alistarh, “Provably-efficient and internally-deterministic parallel Union-Find,” in Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Orlando, FL, United States, 2023, pp. 261–271.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 13228 |
T. A. Henzinger, M. Karimi, K. Kueffner, and K. Mallik, “Runtime monitoring of dynamic fairness properties,” in FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Chicago, IL, United States, 2023, pp. 604–614.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv