Boker, U., Henzinger, T. A., Mazzocchi, N. A., &; Sarac, N. E. (2023). Safety and liveness of quantitative automata. In 34th International Conference on Concurrency Theory (Vol. 279). Antwerp, Belgium: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2023.17 

Diao, Y. (2023). Density of the union of positive diagonal binary quadratic forms. Acta Arithmetica. Instytut Matematyczny.https://doi.org/10.4064/aa210830-24-11 

Confavreux, B. J. (2023). Synapseek: Meta-learning synaptic plasticity rules. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14422 

Roos, B. (2023). Boundary superconductivity in BCS theory. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14374 

Hainzl, C., Roos, B., &; Seiringer, R. (2023). Boundary superconductivity in the BCS model. Journal of Spectral Theory. EMS Press.https://doi.org/10.4171/JST/439 

Aksenov, V., Anoprenko, M., Fedorov, A., &; Spear, M. (2023). Brief announcement: BatchBoost: Universal batching for concurrent data structures. In 37th International Symposium on Distributed Computing (Vol. 281). L’Aquila, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.DISC.2023.35 

Klausen, F. R., &; Lauritsen, A. B. (2023). Research data for: A stochastic cellular automaton model of culture formation. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:12869 

Klausen, F. R., &; Lauritsen, A. B. (2023). Stochastic cellular automaton model of culture formation. Physical Review E. American Physical Society.https://doi.org/10.1103/PhysRevE.108.054307 

Kaiyrzhanov, R., Rad, A., Lin, S.-J., Bertoli-Avella, A., Kallemeijn, W. W., Godwin, A.,https://doi.org/10.1093/brain/awad380__Maroofian, R. (2023). Bi-allelic ACB variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain. Oxford University Press.https://doi.org/10.1093/brain/awad380 

Henheik, S. J., Lauritsen, A. B., &; Roos, B. (2023). Universality in low-dimensional BCS theory. Reviews in Mathematical Physics. World Scientific Publishing.https://doi.org/10.1142/s0129055x2360005x 

Yeo, M. X. (2023). Advances in efficiency and privacy in payment channel network analysis. Institute of Science and Technology Austria.https://doi.org/10.15479/14506 

Riedl, M. (2023). Synchronization in collectively moving active matter. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12726 

Riedl, M. (2023). Synchronization in collectively moving active matter. Institute of Science and Technology Austria.https://doi.org/10.15479/14530 

Phan, D. T. (2023). Resonant microwave spectroscopy of Al-InAs. Institute of Science and Technology Austria.https://doi.org/10.15479/14547 

Makatura, L., Wang, B., Chen, Y.-L., Deng, B., Wojtan, C., Bickel, B., &; Matusik, W. (2023). Procedural metamaterials: A unified procedural graph for metamaterial design. ACM Transactions on Graphics. Association for Computing Machinery.https://doi.org/10.1145/3605389 

Kluibenschedl, F., Ploner, A., Meisenbichler, C., Konrat, R., &; Müller, T. (2023). Advanced motion tracking for interactive mass spectrometry imaging (IMSI). International Journal of Mass Spectrometry. Elsevier.https://doi.org/10.1016/j.ijms.2023.117168 

Paranjape, C. S., Yalniz, G., Duguet, Y., Budanur, N. B., &; Hof, B. (2023). Direct path from turbulence to time-periodic solutions. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.131.034002 

Puixeu Sala, G. (2023). 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.https://doi.org/10.15479/at:ista:14058 

Puixeu Sala, G., Macon, A., &; Vicoso, B. (2023). Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. : Genes, Genomes, Genetics. Oxford University Press.https://doi.org/10.1093/g3journal/jkad121 

Puixeu Sala, G. (2023). Data from: Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:12933