M. Ljubotina, J. Y. Desaules, M. Serbyn, and Z. Papi, “Superdiffusive energy transport in kinetically constrained models,” Physical Review X, vol. 13, no. 1. American Physical Society, 2023.

N. Clozeau, M. Josien, F. Otto, and Q. Xu, “Bias in the representative volume element method: Periodize the ensemble instead of its realizations,” Foundations of Computational Mathematics. Springer Nature, 2023.

A. Madani, E. T. Sletten, C. Cavedon, P. H. Seeberger, and B. Pieber, “Visible-light-mediated oxidative debenzylation of 3-O-Benzyl-1,2:5,6-di-O-isopropylidene-;1-D-glucofuranose,” Organic Syntheses, vol. 100. Organic Syntheses, pp. 271–286, 2023.

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.

J. Yeung, M. Florescu, P. Zeller, B. A. De Barbanson, M. D. Wellenstein, and A. Van Oudenaarden, “scChIX-seq infers dynamic relationships between histone modifications in single cells,” Nature Biotechnology, vol. 41. Springer Nature, pp. 813–823, 2023.

C. Boccato and R. Seiringer, “The Bose Gas in a box with Neumann boundary conditions,” Annales Henri Poincare, vol. 24. Springer Nature, pp. 1505–1560, 2023.

J. Hales et al., “Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering,” Nature Communications, vol. 14. Springer Nature, 2023.

R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.

R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.

T. A. Henzinger, M. Karimi, K. Kueffner, and K. Mallik, “Monitoring algorithmic fairness,” in Computer Aided Verification, Paris, France, 2023, vol. 13965, pp. 358–382.

J. Glajzer et al., “Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium,” Annals of Surgical Oncology, vol. 30. Springer Nature, pp. 35–45, 2023.

J. Kretinsky, T. Meggendorfer, M. Prokop, and S. Rieder, “Guessing winning policies in LTL synthesis by semantic learning,” in 35th International Conference on Computer Aided Verification , Paris, France, 2023, vol. 13964, pp. 390–414.

Y. Sun, H. Fu, K. Chatterjee, and A. K. Goharshady, “Automated tail bound analysis for probabilistic recurrence relations,” in Computer Aided Verification, Paris, France, 2023, vol. 13966, pp. 16–39.

S. Akshay, K. Chatterjee, T. Meggendorfer, and D. Zikelic, “MDPs as distribution transformers: Affine invariant synthesis for safety objectives,” in International Conference on Computer Aided Verification, Paris, France, 2023, vol. 13966, pp. 86–112.

M. Dvorak and J. Blanchette, “Closure properties of general grammars - formally verified,” in 14th International Conference on Interactive Theorem Proving, Bialystok, Poland, 2023, vol. 268.

T. Graham, M. Kleshnina, and J. A. Filar, “Where do mistakes lead? A survey of games with incompetent players,” Dynamic Games and Applications, vol. 13. Springer Nature, pp. 231–264, 2023.

B. Wagner, V. Slipogor, 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.

R. Corbet, M. Kerber, M. Lesnick, and G. F. Osang, “Computing the multicover bifiltration,” Discrete and Computational Geometry, vol. 70. Springer Nature, pp. 376–405, 2023.

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.

P. Tomaszewska and C. Lampert, “On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift,” in International Workshop on Reproducible Research in Pattern Recognition, Montreal, Canada, 2023, vol. 14068, pp. 67–73.

Y. Dodis, N. Ferguson, E. Goldin, P. Hall, and K. Z. Pietrzak, “Random oracle combiners: Breaking the concatenation barrier for collision-resistance,” in 43rd Annual International Cryptology Conference, Santa Barbara, CA, United States, 2023, vol. 14082, pp. 514–546.

L. Qiu, R. Sahu, W. J. Hease, G. M. Arnold, and J. M. Fink, “Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action,” Nature Communications, vol. 14. Nature Research, 2023.

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.

T. D. Browning, P. L. Boudec, and W. Sawin, “The Hasse principle for random Fano hypersurfaces,” Annals of Mathematics, vol. 197, no. 3. Princeton University, pp. 1115–1203, 2023.

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.

T. A. Henzinger, K. Kueffner, and K. Mallik, “Monitoring algorithmic fairness under partial observations,” in 23rd International Conference on Runtime Verification, Thessaloniki, Greece, 2023, vol. 14245, pp. 291–311.

M. Brooks and R. Seiringer, “The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy,” Communications in Mathematical Physics, vol. 404. Springer Nature, pp. 287–337, 2023.

P. Rao et al., “A deeper analysis of volumetric relightiable faces,” International Journal of Computer Vision. Springer Nature, 2023.

D. Beaver et al., “STROBE: Streaming Threshold Random Beacons,” in 5th Conference on Advances in Financial Technologies, Princeton, NJ, United States, 2023, vol. 282.

V. Helson et al., “Density-wave ordering in a unitary Fermi gas with photon-mediated interactions,” Nature, vol. 618. Springer Nature, pp. 716–720, 2023.

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.

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.

F. Fäßler et al., “Arp isoforms regulate Ar/3 complex–dependent protrusion through differential Ena/VASP positioning,” Science Advances, vol. 9, no. 3. American Association for the Advancement of Science, 2023.

F. K. Schur, “Research data of the publication ‘Arp isoforms regulate Ar/3 complex-dependent protrusion through differential Ena/VASP positioning.’” Institute of Science and Technology Austria, 2023.

C. Bussi et al., “Stress granules plug and stabilize damaged endolysosomal membranes,” Nature. Springer Nature, 2023.

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.

S. Scarpetta et al., “Criticality of neuronal avalanches in human sleep and their relationship with sleep macro- and micro-architecture,” iScience, vol. 26, no. 10. Elsevier, p. 107840, 2023.

F. Hassani, M. Peruzzo, L. Kapoor, A. Trioni, M. Zemlicka, and J. M. Fink, “Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours,” Nature Communications, vol. 14. Springer Nature, 2023.

H. Zhang, “Some convexity and monotonicity results of trace functionals,” Annales Henri Poincare. Springer Nature, 2023.

S. Sugimoto, S. J. Henheik, V. Riabov, and L. Erdös, “Eigenstate thermalisation hypothesis for translation invariant spin systems,” Journal of Statistical Physics, vol. 190, no. 7. Springer Nature, 2023.

R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, and U. Wagner, “The crossing Tverberg theorem,” Discrete and Computational Geometry. Springer Nature, 2023.

E. Méhes et al., “D cell segregation geometry and dynamics are governed by tissue surface tension regulation,” Communications Biology, vol. 6. Springer Nature, 2023.

G. Puixeu Sala, “The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation,” Institute of Science and Technology Austria, 2023.

G. Puixeu Sala, A. Macon, and B. Vicoso, “Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster,” : Genes, Genomes, Genetics, vol. 13, no. 8. Oxford University Press, 2023.

G. Zeng et al., “A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries,” Advanced Materials. Wiley.

C. Hoffmann, P. Hubádek, C. Kamath, and T. Krák, “(Verifiable) delay functions from Lucas sequences,” in 21st International Conference on Theory of Cryptography, Taipei, Taiwan, 2023, vol. 14372, pp. 336–362.

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.

B. Auerbach, C. Hoffmann, and G. Pascual Perez, “Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing,” in 21st International Conference on Theory of Cryptography, 2023, vol. 14371, pp. 301–330.

J. A. Stopp, “Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function,” Institute of Science and Technology Austria, 2023.

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.

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.

A. Biniaz et al., “Token swapping on trees,” Discrete Mathematics and Theoretical Computer Science, vol. 24, no. 2. EPI Sciences, 2023.

C. Stefo, Z. Xiang, and E. Kokoris Kogias, “Executing and proving over dirty ledgers,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13950, pp. 3–20.

M. Bastankhah, K. Chatterjee, M. A. Maddah-Ali, S. Schmid, J. Svoboda, and M. X. Yeo, “: Boosting liquidity in payment channel networks with online admission control,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13950, pp. 309–325.

Z. Avarikioti, A. Desjardins, E. Kokoris Kogias, and R. Wattenhofer, “Divide &; Scale: Formalization and roadmap to robust sharding,” in 30th International Colloquium on Structural Information and Communication Complexity, Alcalá de Henares, Spain, 2023, vol. 13892, pp. 199–245.

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.

A. Teplova et al., “Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3,” International Journal of Molecular Sciences, vol. 24, no. 22. MDPI, 2023.

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.

M. Dymond and V. Kaluza, “Divergence of separated nets with respect to displacement equivalence,” Geometriae Dedicata. Springer Nature, 2023.

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.

L. Baldauf, F. F. Frey, M. Arribas Perez, T. Idema, and G. H. Koenderink, “Branched actin cortices reconstituted in vesicles sense membrane curvature,” Biophysical Journal, vol. 122, no. 11. Elsevier, pp. 2311–2324, 2023.

D. Zikelic, “Automated verification and control of infinite state stochastic systems,” Institute of Science and Technology Austria, 2023.

J. M. Kisan and J. Svoboda, “Shortest dominating set reconfiguration under token sliding,” in 24th International Symposium on Fundamentals of Computation Theory, Trier, Germany, 2023, vol. 14292, pp. 333–347.

S. Cohen, G. Goren, E. Kokoris Kogias, A. Sonnino, and A. Spiegelman, “Proof of availability and retrieval in a modular blockchain architecture,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13951, pp. 36–53.

D. Zikelic, M. Lechner, T. A. Henzinger, and K. Chatterjee, “Learning control policies for stochastic systems with reach-avoid guarantees,” in Proceedings of the 37th AAAI Conference on Artificial Intelligence, Washington, DC, United States, 2023, vol. 37, no. 10, pp. 11926–11935.

R. Sahu et al., “Entangling microwaves and telecom wavelength light,” in Frontiers in Optics + Laser Science 2023, Tacoma, WA, United States, 2023.

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.

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.

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.

J. Xia et al., “Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen,” Plant Communications, vol. 4, no. 6. Elsevier , 2023.

L. Fang, H. Huang, J. Pach, G. Tardos, and J. Zuo, “Successive vertex orderings of fully regular graphs,” Journal of Combinatorial Theory. Series A, vol. 199, no. 10. Elsevier, 2023.

N. Mahato et al., “Polycrystalline phases grown in-situ engendering unique mechanism of charge storage in polyaniline-graphite composite,” Synthetic Metals, vol. 299. Elsevier, 2023.

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.

F. Montagna, N. Noceti, L. Rosasco, and F. Locatello, “Shortcuts for causal discovery of nonlinear models by score matching,” arXiv. .

N. Benes, L. Brim, S. Pastva, D. Safránek, and E. Smijáková, “Phenotype control of partially specified boolean networks,” in 21st International Conference on Computational Methods in Systems Biology, Luxembourg City, Luxembourg, 2023, vol. 14137, pp. 18–35.

M. Lewin, E. H. Lieb, and R. Seiringer, “Universal Functionals in Density Functional Theory,” in Density Functional Theory, 1st ed., E. Cances and G. Friesecke, Eds. Springer, 2023, pp. 115–182.

P. Radler, “Spatiotemporal signaling during assembly of the bacterial divisome,” Institute of Science and Technology Austria, 2023.

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.

T. Meggendorfer, “Correct approximation of stationary distributions,” in TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13993, pp. 489–507.

N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM,” in 35th International Conference on Computer Aided Verification , Paris, France, 2023, vol. 13964, pp. 156–169.

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.

M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers,” in 23nd International Conference on Runtime Verification, Thessaloniki, Greek, 2023, vol. 14245, pp. 168–190.

A. Franschitz, “Individual and social immunity against viral infections in ants,” Institute of Science and Technology Austria, 2023.

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.

M. A. Kwan, A. Sah, and M. Sawhney, “Enumerating matroids and linear spaces,” Comptes Rendus Mathematique, vol. 361, no. . Academie des Sciences, pp. 565–575, 2023.

A. K. Michael et al., “Cooperation between bHLH transcription factors and histones for DNA access,” Nature, vol. 619, no. 7969. Springer Nature, pp. 385–393, 2023.

L. Isbel et al., “Readout of histone methylation by Trim24 locally restricts chromatin opening by ,” Nature Structural &; Molecular Biology, vol. 30, no. 7. Springer Nature, pp. 948–957, 2023.

K. B. Burdge et al., “Orbital decay in an accreting and eclipsing 13.7 minute orbital period binary with a luminous donor,” The Astrophysical Journal Letters, vol. 953, no. 1. American Astronomical Society, 2023.

L. Fleury, I. Caiazzo, and J. Heyl, “The origin of ultramassive white dwarfs: hints from Gaia ED,” Monthly Notices of the Royal Astronomical Society, vol. 520, no. 1. Oxford University Press, pp. 364–374, 2023.

S. Zane et al., “A strong x-ray polarization signal from the magnetar 1RXS J170849.0-400910,” The Astrophysical Journal Letters, vol. 944, no. 2. American Astronomical Society, 2023.

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.

M. Calcabrini, “Nanoparticle-based semiconductor solids: From synthesis to consolidation,” Institute of Science and Technology Austria, 2023.

B. Zens, “Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography,” Institute of Science and Technology Austria, 2023.

D. R. Boocock, “Mechanochemical pattern formation across biological scales,” Institute of Science and Technology Austria, 2023.

C. Alcarva, “Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning,” Institute of Science and Technology Austria, 2023.

V. Kravchuk, “Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog,” Institute of Science and Technology Austria, 2023.

N. Gnyliukh, “Mechanism of clathrin-coated vesicle  formation during endocytosis in plants,” Institute of Science and Technology Austria, 2023.

C. Hafner, “Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models,” Institute of Science and Technology Austria, 2023.

J. M. Michalska, “A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy,” Institute of Science and Technology Austria, 2023.

E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. O. Da Costa, “Flavors of sequential information flow,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Philadelphia, PA, United States, 2022, vol. 13182, pp. 1–19.