Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative automata. In: 34th International Conference on Concurrency Theory. Vol 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.CONCUR.2023.17
LibreCat: https://research-explorer.ista.ac.at/record/13221
DOI: 10.4230/LIPIcs.CONCUR.2023.17
arXiv: 2307.06016

Diao Y. Density of the union of positive diagonal binary quadratic forms. Acta Arithmetica. 2023;207:1-17. doi:10.4064/aa210830-24-11
LibreCat: https://research-explorer.ista.ac.at/record/12406
DOI: 10.4064/aa210830-24-11
WoS: 000912903000001
arXiv: 2103.08268

Confavreux BJ. Synapseek: Meta-learning synaptic plasticity rules. 2023. doi:10.15479/at:ista:14422
LibreCat: https://research-explorer.ista.ac.at/record/14422
DOI: 10.15479/at:ista:14422

Roos B. Boundary superconductivity in BCS theory. 2023. doi:10.15479/at:ista:14374
LibreCat: https://research-explorer.ista.ac.at/record/14374
DOI: 10.15479/at:ista:14374

Hainzl C, Roos B, Seiringer R. Boundary superconductivity in the BCS model. Journal of Spectral Theory. 2023;12(4):1507–1540. doi:10.4171/JST/439
LibreCat: https://research-explorer.ista.ac.at/record/13207
DOI: 10.4171/JST/439
WoS: 000997933500008
arXiv: 2201.08090

Aksenov V, Anoprenko M, Fedorov A, Spear M. Brief announcement: BatchBoost: Universal batching for concurrent data structures. In: 37th International Symposium on Distributed Computing. Vol 281. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.DISC.2023.35
LibreCat: https://research-explorer.ista.ac.at/record/14485
DOI: 10.4230/LIPIcs.DISC.2023.35

Klausen FR, Lauritsen AB. Research data for: A stochastic cellular automaton model of culture formation. 2023. doi:10.15479/AT:ISTA:12869
LibreCat: https://research-explorer.ista.ac.at/record/12869
DOI: 10.15479/AT:ISTA:12869

Klausen FR, Lauritsen AB. Stochastic cellular automaton model of culture formation. Physical Review E. 2023;108(5). doi:10.1103/PhysRevE.108.054307
LibreCat: https://research-explorer.ista.ac.at/record/12890
DOI: 10.1103/PhysRevE.108.054307
arXiv: 2305.02153

Kaiyrzhanov R, Rad A, Lin S-J, et al. Bi-allelic ACB variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain. 2023. doi:10.1093/brain/awad380
LibreCat: https://research-explorer.ista.ac.at/record/14543
DOI: 10.1093/brain/awad380

Henheik SJ, Lauritsen AB, Roos B. Universality in low-dimensional BCS theory. Reviews in Mathematical Physics. 2023. doi:10.1142/s0129055x2360005x
LibreCat: https://research-explorer.ista.ac.at/record/14542
DOI: 10.1142/s0129055x2360005x
arXiv: 2301.05621

Yeo MX. Advances in efficiency and privacy in payment channel network analysis. 2023. doi:10.15479/14506
LibreCat: https://research-explorer.ista.ac.at/record/14506
DOI: 10.15479/14506

Riedl M. Synchronization in collectively moving active matter. 2023. doi:10.15479/at:ista:12726
LibreCat: https://research-explorer.ista.ac.at/record/12726
DOI: 10.15479/at:ista:12726

Riedl M. Synchronization in collectively moving active matter. 2023. doi:10.15479/14530
LibreCat: https://research-explorer.ista.ac.at/record/14530
DOI: 10.15479/14530

Phan DT. Resonant microwave spectroscopy of Al-InAs. 2023. doi:10.15479/14547
LibreCat: https://research-explorer.ista.ac.at/record/14547
DOI: 10.15479/14547

Makatura L, Wang B, Chen Y-L, et al. Procedural metamaterials: A unified procedural graph for metamaterial design. ACM Transactions on Graphics. 2023;42(5). doi:10.1145/3605389
LibreCat: https://research-explorer.ista.ac.at/record/14628
DOI: 10.1145/3605389

Kluibenschedl F, Ploner A, Meisenbichler C, Konrat R, Müller T. Advanced motion tracking for interactive mass spectrometry imaging (IMSI). International Journal of Mass Spectrometry. 2023;495. doi:10.1016/j.ijms.2023.117168
LibreCat: https://research-explorer.ista.ac.at/record/14653
DOI: 10.1016/j.ijms.2023.117168

Paranjape CS, Yalniz G, Duguet Y, Budanur NB, Hof B. Direct path from turbulence to time-periodic solutions. Physical Review Letters. 2023;131(3). doi:10.1103/physrevlett.131.034002
LibreCat: https://research-explorer.ista.ac.at/record/13274
DOI: 10.1103/physrevlett.131.034002
WoS: 001052929900004
arXiv: 2306.05098

Puixeu Sala G. The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. 2023. doi:10.15479/at:ista:14058
LibreCat: https://research-explorer.ista.ac.at/record/14058
DOI: 10.15479/at:ista:14058

Puixeu Sala G, Macon A, Vicoso B. Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. : Genes, Genomes, Genetics. 2023;13(8). doi:10.1093/g3journal/jkad121
LibreCat: https://research-explorer.ista.ac.at/record/14077
DOI: 10.1093/g3journal/jkad121
WoS: 001002997200001

Puixeu Sala G. Data from: Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. 2023. doi:10.15479/AT:ISTA:12933
LibreCat: https://research-explorer.ista.ac.at/record/12933
DOI: 10.15479/AT:ISTA:12933