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.

L. M. Becker et al., “The rigid core and flexible surface of amyloid fibrils probed by MagicAngle Spinning NMR of aromatic residues,” Angewandte Chemie International Edition, vol. 62, no. 19. Wiley, 2023.

L. M. Becker and P. Schanda, “Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues.” Institute of Science and Technology Austria, 2023.

J. G. Danzl, “Research data for the publication ‘Imaging brain tissue architecture across millimeter to nanometer scales.’” Institute of Science and Technology Austria, 2023.

Z. Dunajova et al., “Chiral and nematic phases of flexible active filaments.” Institute of Science and Technology Austria, 2023.

Z. Dunajova et al., “Chiral and nematic phases of flexible active filaments,” Nature Physics, vol. 19. Springer Nature, pp. 1916–1926, 2023.

J. M. Michalska et al., “Imaging brain tissue architecture across millimeter to nanometer scales,” Nature Biotechnology. Springer Nature, 2023.

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

M. Valentini, “Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevicesf: From full-shell nanowires to two-dimensional hole gas in germanium,” Institute of Science and Technology Austria, 2023.

S. Curk, “aggregation_data.” Figshare, 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.

Y.-L. Hwong, M. Colin, P. Aglas, C. J. Muller, and S. C. Sherwood, “Assessing memory in convection schemes using idealized tests,” Journal of Advances in Modeling Earth Systems, vol. 15, no. 12. Wiley, 2023.

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.

Y.-L. Hwong, M. Colin, P. Aglas, C. J. Muller, and S. C. Sherwood, “Data-assessing memory in convection schemes using idealized tests.” Zenodo, 2023.

T. Meggendorfer, “Artefact for: Correct Approximation of Stationary Distributions.” Zenodo, 2023.

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.

R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, and S. Soudjani, “A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties.” Zenodo, 2023.

D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, and T. A. Henzinger, “Compositional policy learning in stochastic control systems with formal guarantees,” in 37th Conference on Neural Information Processing Systems, New Orleans, LO, United States, 2023.

C. Currin et al., “A framework for grassroots research collaboration in machine learning and global health,” in 1st Workshop on Machine Learning &; Global Health, Kigali, Rwanda, 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.

P. Tennage et al., “QuePaxa: Escaping the tyranny of timeouts in consensus,” in Proceedings of the 29th Symposium on Operating Systems Principles, Koblenz, Germany, 2023, pp. 281–297.

Y.-L. Chen, M. Ly, and C. Wojtan, “Unified treatment of contact, friction and shock-propagation in rigid body animation,” in Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Los Angeles, CA, United States, 2023.

M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers.” Zenodo, 2023.

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

B. Prach and C. Lampert, “-Lipschitz neural networks are more expressive with N-activations,” arXiv. .

S. Stankowski, “Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails.” Zenodo, 2023.

R. Abualia, S. Riegler, and E. Benková, “Nitrate, auxin and cytokinin - a trio to tango,” Cells, vol. 12, no. 12. MDPI, 2023.

K. Kuzmicz-Kowalska, “Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord,” Institute of Science and Technology Austria, 2023.

C. Zhang et al., “Causality in the time of LLMs: Round table discussion results of CLeaR 2023,” in 2nd Conference on Causal Learning and Reasoning, Tübingen, Germany, 2023.

R. Shigemoto, “Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals.” 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.

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.

S. Mondal, R. B. Jethwa, B. Pant, R. Hauschild, and S. A. Freunberger, “Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes,” Faraday Discussions. Royal Society of Chemistry, 2023.

A. Marveggio, “Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences,” Institute of Science and Technology Austria, 2023.

A. R. Esposito and M. Mondelli, “Concentration without independence via information measures,” in Proceedings of 2023 IEEE International Symposium on Information Theory, Taipei, Taiwan, 2023, pp. 400–405.

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. Agresti and A. Hussein, “Maximal Lp-regularity and He-calculus for block operator matrices and applications,” Journal of Functional Analysis, vol. 285, no. 11. Elsevier, 2023.

V. Riabov, “Mesoscopic eigenvalue statistics for Wigner-type matrices,” arXiv. .

O. O. Olusanya, K. Khudiakova, and H. Sachdeva, “Genetic load, eco-evolutionary feedback and extinction in a metapopulation,” bioRxiv. .

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.

J. Condor, M. Piovarci, B. Bickel, and P. Didyk, “Gloss-aware color correction for 3D printing,” in SIGGRAPH ’23 Conference Proceedings, Los Angeles, CA, United States, 2023.

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.

M. Piovarci, A. Chapiro, and B. Bickel, “Skin-Screen: A computational fabrication framework for color tattoos,” Transactions on Graphics, vol. 42, no. 4. Association for Computing Machinery, 2023.

S. Stankowski et al., “Whole-genome phylogeography of the intertidal snail Littorina saxatilis,” Evolutionary Journal of the Linnean Society, vol. 2, no. 1. Oxford University Press, 2023.

C. Lasne, M. N. Elkrewi, M. A. Toups, L. A. Layana Franco, A. Macon, and B. Vicoso, “The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome,” Molecular Biology and Evolution, vol. 40, no. 12. Oxford University Press, 2023.

C. Lasne and M. N. Elkrewi, “The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome.” Institute of Science and Technology Austria, 2023.

M. Hennessey-Wesen, “Adaptive mutation in E. coli modulated by luxS,” Institute of Science and Technology Austria, 2023.

N. Gnyliukh et al., “Role of dynamin-related proteins 2 and S in clathrin-mediated endocytosis in plants,” bioRxiv. .

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

A. Schauer, “Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues,” 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.

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

Y. Wang et al., “The nitrate transporter NR.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation,” Proceedings of the National Academy of Sciences of the United States of America, vol. 120, no. 25. National Academy of Sciences, 2023.

E. R. Stephenson, “Generalizing medial axes with homology switches,” Institute of Science and Technology Austria, 2023.

K. Kirillova, “Panoramic functional gradients across the mouse retina,” Institute of Science and Technology Austria, 2023.

M. Julseth, “The effect of local population structure on genetic variation at selected loci in the A. majus hybrid zone,” 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.

C. Hafner and B. Bickel, “The design space of Kirchhoff rods,” ACM Transactions on Graphics, vol. 42, no. 5. Association for Computing Machinery, 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.

O. Hosten, “Constraints on probing quantum coherence to infer gravitational entanglement,” Physical Review Research, vol. 4, no. 1. American Physical Society, 2022.

R. C. A. Dubini, E. Korytiaková, T. Schinkel, P. Heinrichs, T. Carell, and P. Rovo, “H NMR chemical exchange techniques reveal local and global effects of oxidized cytosine derivatives,” ACS Physical Chemistry Au, vol. 2, no. 3. American Chemical Society, pp. 237–246, 2022.

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.

L. Daguerre, G. Torroba, R. A. Medina Ramos, and M. Solís, “Non relativistic quantum field theory: Dynamics and irreversibility,” Anales de la Asociacion Fisica Argentina, vol. 32, no. 4. Asociacion Fisica Argentina, pp. 93–98, 2022.

F. Lombardi et al., “Alpha rhythm induces attenuation-amplification dynamics in neural activity cascades,” bioRxiv. Cold Spring Harbor Laboratory, 2022.

M. Maslov, M. Lemeshko, and A. Volosniev, “Impurity with a resonance in the vicinity of the Fermi energy,” Physical Review Research, vol. 4. American Physical Society, 2022.

A. Davidovi, R. P. Chait, G. Batt, and J. Ruess, “Parameter inference for stochastic biochemical models from perturbation experiments parallelised at the single cell level,” PLoS Computational Biology, vol. 18, no. 3. Public Library of Science, 2022.

D.-A. Alistarh, R. Gelashvili, and J. Rybicki, “Fast graphical population protocols,” in 25th International Conference on Principles of Distributed Systems, Strasbourg, France, 2022, vol. 217.

A. Nikabadi and J. Korhonen, “Beyond distributed subgraph detection: Induced subgraphs, multicolored problems and graph parameters,” in 25th International Conference on Principles of Distributed Systems, Strasbourg, France, 2022, vol. 217.

J. Kroll, M. J. A. Ruiz-Fernandez, M. B. Braun, J. Merrin, and J. Renkawitz, “Quantifying the probing and selection of microenvironmental pores by motile immune cells,” Current Protocols, vol. 2, no. 4. Wiley, 2022.

E. Chambers, C. D. Fillmore, E. R. Stephenson, and M. Wintraecken, “A cautionary tale: Burning the medial axis is unstable,” in 38th International Symposium on Computational Geometry, Berlin, Germany, 2022, vol. 224, p. 66:1-66:9.

A. Shevchenko, V. Kungurtsev, and M. Mondelli, “Mean-field analysis of piecewise linear solutions for wide ReLU networks,” Journal of Machine Learning Research, vol. 23, no. 130. Journal of Machine Learning Research, pp. 1–55, 2022.

F. Karimipour and S. Storandt, Eds., Web and Wireless Geographical Information Systems, 1st ed., vol. 13238. Cham: Springer Nature, 2022.

B. Bleile, A. Garin, T. Heiss, K. Maggs, and V. Robins, “The persistent homology of dual digital image constructions,” in Research in Computational Topology 2, 1st ed., vol. 30, E. Gasparovic, V. Robins, and K. Turner, Eds. Cham: Springer Nature, 2022, pp. 1–26.

C. A. Chlebak and P. H. Reid, “From the prefect’s desk: Gerard van Swieten’s library correspondence,” Library and Information History, vol. 38, no. 1. Edinburgh University Press, pp. 23–41, 2022.

M. Artan and M. de Bono, “Proteomic Analysis of C. Elegans Neurons Using TurboID-Based Proximity Labeling,” in Behavioral Neurogenetics, vol. 181, D. Yamamoto, Ed. New York: Springer Nature, 2022, pp. 277–294.

T. Clark, K. Drach, O. Kozlovski, and S. V. Strien, “The dynamics of complex box mappings,” Arnold Mathematical Journal, vol. 8, no. 2. Springer Nature, pp. 319–410, 2022.

V. Ngampruetikorn, V. Sachdeva, J. Torrence, J. Humplik, D. J. Schwab, and S. E. Palmer, “Inferring couplings in networks across order-disorder phase transitions,” Physical Review Research, vol. 4, no. 2. American Physical Society, 2022.

N. H. Barton, “The ‘New Synthesis,’” Proceedings of the National Academy of Sciences of the United States of America, vol. 119, no. 30. Proceedings of the National Academy of Sciences, 2022.

N. Nikolic, M. Sauert, T. G. Albanese, and I. Moll, “Quantifying heterologous gene expression during ectopic MazF production in Escherichia coli,” BMC Research Notes, vol. 15. Springer Nature, 2022.

M. Wirth, “Kac regularity and domination of quadratic forms,” Advances in Operator Theory, vol. 7, no. 3. Springer Nature, 2022.

A. Krokhin and J. Oprsal, “An invitation to the promise constraint satisfaction problem,” ACM SIGLOG News, vol. 9, no. 3. Association for Computing Machinery, pp. 30–59, 2022.

J. A. Palacci, “A soft active matter that can climb walls,” Science, vol. 377, no. 6607. American Association for the Advancement of Science, pp. 710–711, 2022.

A. Brunnbauer et al., “Latent imagination facilitates zero-shot transfer in autonomous racing,” in 2022 International Conference on Robotics and Automation, Philadelphia, PA, United States, 2022, pp. 7513–7520.

Y. Zhang, S. Jaggi, M. Langberg, and A. D. Sarwate, “The capacity of causal adversarial channels,” in 2022 IEEE International Symposium on Information Theory, Espoo, Finland, 2022, vol. 2022, pp. 2523–2528.

A. K. Yadav, M. Alimohammadi, Y. Zhang, A. J. Budkuley, and S. Jaggi, “New results on AVCs with omniscient and myopic adversaries,” in 2022 IEEE International Symposium on Information Theory, Espoo, Finland, 2022, vol. 2022, pp. 2535–2540.

P. Joshi, A. Purkayastha, Y. Zhang, A. J. Budkuley, and S. Jaggi, “On the capacity of additive AVCs with feedback,” in 2022 IEEE International Symposium on Information Theory, Espoo, Finland, 2022, vol. 2022, pp. 504–509.

D. Fathollahi and M. Mondelli, “Polar coded computing: The role of the scaling exponent,” in 2022 IEEE International Symposium on Information Theory, Espoo, Finland, 2022, vol. 2022, pp. 2154–2159.

S. Torkamani, J. B. Ebrahimi, P. Sadeghi, R. G. L. D’Oliveira, and M. Médard, “Heterogeneous differential privacy via graphs,” in 2022 IEEE International Symposium on Information Theory, Espoo, Finland, 2022, vol. 2022, pp. 1623–1628.

Y. Zhang and S. Vatedka, “Lower bounds on list decoding capacity using error exponents,” in 2022 IEEE International Symposium on Information Theory, Espoo, Finland, 2022, vol. 2022, pp. 1324–1329.

Y. Zhang and S. Vatedka, “Lower bounds for multiple packing,” in 2022 IEEE International Symposium on Information Theory, Espoo, Finland, 2022, vol. 2022, pp. 3085–3090.

Y. Zhang and S. Vatedka, “List-decodability of Poisson Point Processes,” in 2022 IEEE International Symposium on Information Theory, Espoo, Finland, 2022, vol. 2022, pp. 2559–2564.

N. Polyanskii and Y. Zhang, “List-decodable zero-rate codes for the Z-channel,” in 2022 IEEE International Symposium on Information Theory, Espoo, Finland, 2022, vol. 2022, pp. 2553–2558.

A. L. Shute, “Existence and density problems in Diophantine geometry: From norm forms to Campana points,” Institute of Science and Technology Austria, 2022.

R. Sahu, W. J. Hease, A. R. Rueda Sanchez, G. M. Arnold, L. Qiu, and J. M. Fink, “Realizing a quantum-enabled interconnect between microwave and telecom light,” in Conference on Lasers and Electro-Optics, San Jose, CA, United States, 2022.

A. Ahmadi, K. Chatterjee, A. K. Goharshady, T. Meggendorfer, R. Safavi Hemami, and D. Zikelic, “Algorithms and hardness results for computing cores of Markov chains,” in 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Madras, India, 2022, vol. 250.

K. Chatterjee, R. Ibsen-Jensen, I. R. Jecker, and J. Svoboda, “Complexity of spatial games,” in 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Madras, India, 2022, vol. 250.

L. Stocker, S. Sack, M. S. Ferguson, and O. Zilberberg, “Entanglement-based observables for quantum impurities,” Physical Review Research, vol. 4, no. 4. American Physical Society, 2022.

B. Chen et al., “Gloss management for consistent reproduction of real and virtual objects,” in SIGGRAPH Asia 2022 Conference Papers, Daegu, South Korea, 2022, vol. 2022.