Anastos M. Constructing Hamilton cycles and perfect matchings efficiently. In: Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications. Masaryk University Press; 2023:36-41. doi:10.5817/cz.muni.eurocomb23-005
LibreCat: https://research-explorer.ista.ac.at/record/14867
DOI: 10.5817/cz.muni.eurocomb23-005
arXiv: 2209.09860

Stöllner A, Lenton IC, Muller CJ, Waitukaitis SR. Measuring spontaneous charging of single aerosol particles. In: EGU General Assembly 2023. European Geosciences Union; 2023. doi:10.5194/egusphere-egu23-6166
LibreCat: https://research-explorer.ista.ac.at/record/14864
DOI: 10.5194/egusphere-egu23-6166

Rella S, Kulikova Y, Minnegalieva A, Kondrashov F. Complex vaccination strategies prevent the emergence of vaccine resistance. In: European Journal of Public Health. Vol 33. Oxford University Press; 2023. doi:10.1093/eurpub/ckad160.597
LibreCat: https://research-explorer.ista.ac.at/record/14862
DOI: 10.1093/eurpub/ckad160.597

Polesello A, Muller CJ, Pasquero C, Meroni AN. Intensification mechanisms of tropical cyclones. In: EGU General Assembly 2023. European Geosciences Union; 2023. doi:10.5194/egusphere-egu23-6157
LibreCat: https://research-explorer.ista.ac.at/record/14863
DOI: 10.5194/egusphere-egu23-6157

Freire M, Bhargava M, Schreck C, Hugron P-A, Bickel B, Lefebvre S. PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. 2023;42(4). doi:10.1145/3592411
LibreCat: https://research-explorer.ista.ac.at/record/13049
DOI: 10.1145/3592411
WoS: 001044671300108

Chen H, Li L, Zou M, Qi L, Friml J. Distinct functions of TI and AF receptors in auxin signalling. Molecular Plant. 2023;16(7):1117-1119. doi:10.1016/j.molp.2023.06.007
LibreCat: https://research-explorer.ista.ac.at/record/13212
DOI: 10.1016/j.molp.2023.06.007
WoS: 001044410900001
PMID: 37393433

Feitosa Tomé D. douglastome/dynamic-engrams: Dynamic and selective engrams emerge with memory consolidation. 2023. doi:10.5281/ZENODO.10251087
LibreCat: https://research-explorer.ista.ac.at/record/14892
DOI: 10.5281/ZENODO.10251087

Mukhopadhyay S, Senior JL, Saez Mollejo J, et al. Superconductivity from a melted insulator in Josephson junction arrays. Nature Physics. 2023;19:1630-1635. doi:10.1038/s41567-023-02161-w
LibreCat: https://research-explorer.ista.ac.at/record/14032
DOI: 10.1038/s41567-023-02161-w
WoS: 001054563800006

Qi L, Friml J. Tale of cAMP as a second messenger in auxin signaling and beyond. New Phytologist. 2023;240(2):489-495. doi:10.1111/nph.19123
LibreCat: https://research-explorer.ista.ac.at/record/13266
DOI: 10.1111/nph.19123
WoS: 001026321500001
PMID: 37434303

Minchington T, Rus S, Kicheva A. Control of tissue dimensions in the developing neural tube and somites. Current Opinion in Systems Biology. 2023;35. doi:10.1016/j.coisb.2023.100459
LibreCat: https://research-explorer.ista.ac.at/record/13136
DOI: 10.1016/j.coisb.2023.100459

Agresti A, Veraar M. Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity. Journal of Differential Equations. 2023;368(9):247-300. doi:10.1016/j.jde.2023.05.038
LibreCat: https://research-explorer.ista.ac.at/record/13135
DOI: 10.1016/j.jde.2023.05.038
WoS: 001019018700001

Brunck FR. Iterated medial triangle subdivision in surfaces of constant curvature. Discrete and Computational Geometry. 2023;70(3):1059-1089. doi:10.1007/s00454-023-00500-5
LibreCat: https://research-explorer.ista.ac.at/record/13270
DOI: 10.1007/s00454-023-00500-5
WoS: 001023742800003
arXiv: 2107.04112

Polyanskii N, Zhang Y. Codes for the Z-channel. IEEE Transactions on Information Theory. 2023;69(10):6340-6357. doi:10.1109/TIT.2023.3292219
LibreCat: https://research-explorer.ista.ac.at/record/13269
DOI: 10.1109/TIT.2023.3292219
WoS: 001069680100011
arXiv: 2105.01427

Mohammadi A, Pham T, Wang Y. An energy decomposition theorem for matrices and related questions. Canadian Mathematical Bulletin. 2023;66(4):1280-1295. doi:10.4153/S000843952300036X
LibreCat: https://research-explorer.ista.ac.at/record/13128
DOI: 10.4153/S000843952300036X
WoS: 001011963000001
arXiv: 2106.07328

Xia J, Kong M, Yang Z, et al. Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen. Plant Communications. 2023;4(6). doi:10.1016/j.xplc.2023.100632
LibreCat: https://research-explorer.ista.ac.at/record/13209
DOI: 10.1016/j.xplc.2023.100632
WoS: 001113003000001
PMID: 37254481

Grober D, Palaia I, Ucar MC, Hannezo EB, Sari A, Palacci JA. Unconventional colloidal aggregation in chiral bacterial baths. Nature Physics. 2023;19:1680-1688. doi:10.1038/s41567-023-02136-x
LibreCat: https://research-explorer.ista.ac.at/record/13971
DOI: 10.1038/s41567-023-02136-x
WoS: 001037346400005

Cornalba F, Fischer JL. The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles. Archive for Rational Mechanics and Analysis. 2023;247(5). doi:10.1007/s00205-023-01903-7
LibreCat: https://research-explorer.ista.ac.at/record/10551
DOI: 10.1007/s00205-023-01903-7
WoS: 001043086800001
arXiv: 2109.06500

Kueffner K, Lukina A, Schilling C, Henzinger TA. Into the unknown: Active monitoring of neural networks (extended version). International Journal on Software Tools for Technology Transfer. 2023;25:575-592. doi:10.1007/s10009-023-00711-4
LibreCat: https://research-explorer.ista.ac.at/record/13234
DOI: 10.1007/s10009-023-00711-4
WoS: 001020160000001
arXiv: 2009.06429

Napoli F, Becker LM, Schanda P. Protein dynamics detected by magic-angle spinning relaxation dispersion NMR. Current Opinion in Structural Biology. 2023;82(10). doi:10.1016/j.sbi.2023.102660
LibreCat: https://research-explorer.ista.ac.at/record/14036
DOI: 10.1016/j.sbi.2023.102660
WoS: 001053616200001
PMID: 37536064

Henzinger MH, Jin B, Peng R, Williamson DP. A combinatorial cut-toggling algorithm for solving Laplacian linear systems. Algorithmica. 2023;85:2680-3716. doi:10.1007/s00453-023-01154-8
LibreCat: https://research-explorer.ista.ac.at/record/14043
DOI: 10.1007/s00453-023-01154-8
WoS: 001041254900002
arXiv: 2010.16316

Rønning J, Renaud JB, Doostmohammadi A, Angheluta L. Spontaneous flows and dynamics of full-integer topological defects in polar active matter. Soft Matter. 2023;39:7513-7527. doi:10.1039/d3sm00316g
LibreCat: https://research-explorer.ista.ac.at/record/14087
DOI: 10.1039/d3sm00316g
WoS: 001035766100001
arXiv: 2303.07063

Vernooij M, Wirth M. Derivations and KMS-symmetric quantum Markov semigroups. Communications in Mathematical Physics. 2023;403:381-416. doi:10.1007/s00220-023-04795-6
LibreCat: https://research-explorer.ista.ac.at/record/13319
DOI: 10.1007/s00220-023-04795-6
WoS: 001033655400002
arXiv: 2303.15949

Lombardi F, Herrmann HJ, Parrino L, et al. Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state. Cell Reports. 2023;42(10). doi:10.1016/j.celrep.2023.113162
LibreCat: https://research-explorer.ista.ac.at/record/14402
DOI: 10.1016/j.celrep.2023.113162
WoS: 001086695500001
PMID: 37777965

Ojavee SE, Darrous L, Patxot M, et al. Genetic insights into the age-specific biological mechanisms governing human ovarian aging. American Journal of Human Genetics. 2023;110(9):1549-1563. doi:10.1016/j.ajhg.2023.07.006
LibreCat: https://research-explorer.ista.ac.at/record/14258
DOI: 10.1016/j.ajhg.2023.07.006
PMID: 37543033

Hausel T, Wong ML, Wyss D. Arithmetic and metric aspects of open de Rham spaces. Proceedings of the London Mathematical Society. 2023;127(4):958-1027. doi:10.1112/plms.12555
LibreCat: https://research-explorer.ista.ac.at/record/14244
DOI: 10.1112/plms.12555
WoS: 001049312700001
arXiv: 1807.04057

Hirashima T, Hino N, Aoki K, Matsuda M. Stretching the limits of extracellular signal-related kinase (ERK) signaling — Cell mechanosensing to ERK activation. Current Opinion in Cell Biology. 2023;84(10). doi:10.1016/j.ceb.2023.102217
LibreCat: https://research-explorer.ista.ac.at/record/14080
DOI: 10.1016/j.ceb.2023.102217
WoS: 001054692200001
PMID: 37574635

Fang L, Huang H, Pach J, Tardos G, Zuo J. Successive vertex orderings of fully regular graphs. Journal of Combinatorial Theory Series A. 2023;199(10). doi:10.1016/j.jcta.2023.105776
LibreCat: https://research-explorer.ista.ac.at/record/13165
DOI: 10.1016/j.jcta.2023.105776
arXiv: 2206.13592

Baunis H, Pieber B. Formal radical deoxyfluorination of oxalate-activated alcohols triggered by the selectfluor-DMAP charge-transfer complex. European Journal of Organic Chemistry. 2023;26(42). doi:10.1002/ejoc.202300769
LibreCat: https://research-explorer.ista.ac.at/record/14409
DOI: 10.1002/ejoc.202300769
WoS: 001072666500001

Seiringer R, Solovej JP. A simple approach to Lieb-Thirring type inequalities. Journal of Functional Analysis. 2023;285(10). doi:10.1016/j.jfa.2023.110129
LibreCat: https://research-explorer.ista.ac.at/record/14254
DOI: 10.1016/j.jfa.2023.110129
WoS: 001071552300001
arXiv: 2303.04504

Mahato N, Singh S, Faisal M, et al. Polycrystalline phases grown in-situ engendering unique mechanism of charge storage in polyaniline-graphite composite. Synthetic Metals. 2023;299. doi:10.1016/j.synthmet.2023.117463
LibreCat: https://research-explorer.ista.ac.at/record/14379
DOI: 10.1016/j.synthmet.2023.117463
WoS: 001083568900001

Castellano I, Giordano Bruno A, Zava N. Weakly weighted generalised quasi-metric spaces and semilattices. Theoretical Computer Science. 2023;977. doi:10.1016/j.tcs.2023.114129
LibreCat: https://research-explorer.ista.ac.at/record/14362
DOI: 10.1016/j.tcs.2023.114129
WoS: 001076934000001
arXiv: 2212.08424

Maes ME, Donahue RJ, Schlamp CL, Marola OJ, Libby RT, Nickells RW. BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps. Molecular Neurodegeneration. 2023;18. doi:10.1186/s13024-023-00659-8
LibreCat: https://research-explorer.ista.ac.at/record/14401
DOI: 10.1186/s13024-023-00659-8
WoS: 001071403800001
PMID: 37292963

Fan ZY, Qiu L, Gröblacher S, Li J. Microwave-optics entanglement via cavity optomagnomechanics. Laser and Photonics Reviews. 2023;17(12). doi:10.1002/lpor.202200866
LibreCat: https://research-explorer.ista.ac.at/record/14489
DOI: 10.1002/lpor.202200866
arXiv: 2208.10703

Wilson AC, Sweeney LB. Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. 2023;17. doi:10.3389/fncir.2023.1146449
LibreCat: https://research-explorer.ista.ac.at/record/13097
DOI: 10.3389/fncir.2023.1146449
WoS: 000984606200001
PMID: 37180760

Hwong Y-L, Colin M, Aglas P, Muller CJ, Sherwood S. Evaluating memory properties in convection schemes using idealised tests. In: EGU General Assembly 2023. European Geosciences Union; 2023. doi:10.5194/egusphere-egu23-4968
LibreCat: https://research-explorer.ista.ac.at/record/14865
DOI: 10.5194/egusphere-egu23-4968

Abramian S, Muller CJ, Risi C. Extreme precipitation in tropical squall lines. In: EGU General Assembly 2023. European Geosciences Union; 2023. doi:10.5194/egusphere-egu23-15870
LibreCat: https://research-explorer.ista.ac.at/record/14866
DOI: 10.5194/egusphere-egu23-15870

Banerjee T, Majumdar R, Mallik K, Schmuck A-K, Soudjani S. Fast symbolic algorithms for mega-regular games under strong transition fairness. TheoretiCS. 2023;2. doi:10.46298/theoretics.23.4
LibreCat: https://research-explorer.ista.ac.at/record/14920
DOI: 10.46298/theoretics.23.4
arXiv: 2202.07480

Bombari S, Kiyani S, Mondelli M. Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels. In: Proceedings of the 40th International Conference on Machine Learning. Vol 202. ML Research Press; 2023:2738-2776.
LibreCat: https://research-explorer.ista.ac.at/record/12859
arXiv: 2302.01629

Súkeník P, Mondelli M, Lampert C. Deep neural collapse is provably optimal for the deep unconstrained features model. In: 37th Annual Conference on Neural Information Processing Systems.
LibreCat: https://research-explorer.ista.ac.at/record/14921
arXiv: 2305.13165

Wu D, Kungurtsev V, Mondelli M. Mean-field analysis for heavy ball methods: Dropout-stability, connectivity, and global convergence. In: Transactions on Machine Learning Research. ML Research Press; 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14924
arXiv: 2210.06819

Shaw T, Buri P, McCarthy M, Miles E, Pellicciotti F. Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer. 2023. doi:10.5281/ZENODO.8277285
LibreCat: https://research-explorer.ista.ac.at/record/14919
DOI: 10.5281/ZENODO.8277285

Knaus L. The metabolism of the developing brainf: How large neutral amino acids modulate perinatal neuronal excitability and survival. 2023. doi:10.15479/at:ista:13107
LibreCat: https://research-explorer.ista.ac.at/record/13107
DOI: 10.15479/at:ista:13107

Knaus L, Basilico B, Malzl D, et al. Large neutral amino acid levels tune perinatal neuronal excitability and survival. Cell. 2023;186(9):1950-1967.e25. doi:10.1016/j.cell.2023.02.037
LibreCat: https://research-explorer.ista.ac.at/record/12802
DOI: 10.1016/j.cell.2023.02.037
WoS: 000991468700001

Valentini M, Sagi O, Baghumyan L, et al. Radio frequency driven superconducting diode and parity conserving  Cooper pair transport in a two-dimensional germanium hole gas. arXiv. doi:10.48550/arXiv.2306.07109
LibreCat: https://research-explorer.ista.ac.at/record/13312
DOI: 10.48550/arXiv.2306.07109
arXiv: 2306.07109

Burg M, Wenzel F, Zietlow D, et al. Image retrieval outperforms diffusion models on data augmentation. Journal of Machine Learning Research. 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14949

Yao D, Xu D, Lachapelle S, et al. Multi-view causal representation learning with partial observability. arXiv. doi:10.48550/arXiv.2311.04056
LibreCat: https://research-explorer.ista.ac.at/record/14946
DOI: 10.48550/arXiv.2311.04056
arXiv: 2311.04056

Maiorca V, Moschella L, Norelli A, Fumero M, Locatello F, Rodolà E. Latent space translation via semantic alignment. arXiv. doi:10.48550/arXiv.2311.00664
LibreCat: https://research-explorer.ista.ac.at/record/14952
DOI: 10.48550/arXiv.2311.00664
arXiv: 2311.00664

Kori A, Locatello F, Ribeiro FDS, Toni F, Glocker B. Grounded object centric learning. arXiv. doi:10.48550/arXiv.2307.09437
LibreCat: https://research-explorer.ista.ac.at/record/14948
DOI: 10.48550/arXiv.2307.09437
arXiv: 2307.09437

Zhu Z, Locatello F, Cevher V. Sample complexity bounds for score-matching: Causal discovery and generative modeling. arXiv. doi:10.48550/arXiv.2310.18123
LibreCat: https://research-explorer.ista.ac.at/record/14953
DOI: 10.48550/arXiv.2310.18123
arXiv: 2310.18123

Montagna F, Mastakouri AA, Eulig E, et al. Assumption violations in causal discovery and the robustness of score matching. arXiv. doi:10.48550/arXiv.2310.13387
LibreCat: https://research-explorer.ista.ac.at/record/14954
DOI: 10.48550/arXiv.2310.13387
arXiv: 2310.13387

Fumero M, Wenzel F, Zancato L, et al. Leveraging sparse and shared feature activations for disentangled representation learning. arXiv. doi:10.48550/arXiv.2304.07939
LibreCat: https://research-explorer.ista.ac.at/record/14210
DOI: 10.48550/arXiv.2304.07939
arXiv: 2304.07939

Löwe S, Lippe P, Locatello F, Welling M. Rotating features for object discovery. arXiv. doi:10.48550/arXiv.2306.00600
LibreCat: https://research-explorer.ista.ac.at/record/14207
DOI: 10.48550/arXiv.2306.00600
arXiv: 2306.00600

Zhao Z, Wang J, Horn M, et al. Object-centric multiple object tracking. arXiv. doi:10.48550/arXiv.2309.00233
LibreCat: https://research-explorer.ista.ac.at/record/14963
DOI: 10.48550/arXiv.2309.00233
arXiv: 2309.00233

Montagna F, Noceti N, Rosasco L, Locatello F. Shortcuts for causal discovery of nonlinear models by score matching. arXiv. doi:10.48550/arXiv.2310.14246
LibreCat: https://research-explorer.ista.ac.at/record/14961
DOI: 10.48550/arXiv.2310.14246
arXiv: 2310.14246

Fan K, Bai Z, Xiao T, et al. Unsupervised open-vocabulary object localization in videos. arXiv. doi:10.48550/arXiv.2309.09858
LibreCat: https://research-explorer.ista.ac.at/record/14962
DOI: 10.48550/arXiv.2309.09858
arXiv: 2309.09858

Xu D, Yao D, Lachapelle S, et al. A sparsity principle for partially observable causal representation learning. In: Causal Representation Learning Workshop at NeurIPS 2023. OpenReview; 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14958

Fu T, Liu Y, Barbier J, Mondelli M, Liang S, Hou T. Mismatched estimation of non-symmetric rank-one matrices corrupted by structured noise. In: Proceedings of 2023 IEEE International Symposium on Information Theory. IEEE. doi:10.1109/isit54713.2023.10206671
LibreCat: https://research-explorer.ista.ac.at/record/14923
DOI: 10.1109/isit54713.2023.10206671
arXiv: 2302.03306

Marensi E, Yalniz G, Hof B. Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics. 2023;974. doi:10.1017/jfm.2023.780
LibreCat: https://research-explorer.ista.ac.at/record/14466
DOI: 10.1017/jfm.2023.780
WoS: 001088363700001
arXiv: 2212.12406

Jethwa RB, Mondal S, Pant B, Freunberger SA. To DISP or not? The farreaching reaction mechanisms underpinning Lithiumair batteries. Angewandte Chemie International Edition. 2023. doi:10.1002/anie.202316476
LibreCat: https://research-explorer.ista.ac.at/record/14687
DOI: 10.1002/anie.202316476

Liu Z, Hong T, Xu L, et al. Lattice expansion enables interstitial doping to achieve a high average ZT in ntype PbS. Interdisciplinary Materials. 2023;2(1):161-170. doi:10.1002/idm2.12056
LibreCat: https://research-explorer.ista.ac.at/record/14985
DOI: 10.1002/idm2.12056

Malvai H, Kokoris Kogias E, Sonnino A, et al. Parakeet: Practical key transparency for end-to-end eEncrypted messaging. In: Proceedings of the 2023 Network and Distributed System Security Symposium. Internet Society; 2023. doi:10.14722/ndss.2023.24545
LibreCat: https://research-explorer.ista.ac.at/record/14989
DOI: 10.14722/ndss.2023.24545

Benes N, Brim L, Pastva S, Safránek D, Smijáková E. Phenotype control of partially specified boolean networks. In: 21st International Conference on Computational Methods in Systems Biology. Vol 14137. Springer Nature; 2023:18-35. doi:10.1007/978-3-031-42697-1_2
LibreCat: https://research-explorer.ista.ac.at/record/14411
DOI: 10.1007/978-3-031-42697-1_2

Lewin M, Lieb EH, Seiringer R. Universal Functionals in Density Functional Theory. In: Cances E, Friesecke G, eds. Density Functional Theory. 1st ed. MAMOMO. Springer; 2023:115-182. doi:10.1007/978-3-031-22340-2_3
LibreCat: https://research-explorer.ista.ac.at/record/14992
DOI: 10.1007/978-3-031-22340-2_3
arXiv: 1912.10424

Becker LM, Berbon M, Vallet A, et al. The rigid core and flexible surface of amyloid fibrils probed by MagicAngle Spinning NMR of aromatic residues. Angewandte Chemie International Edition. 2023;62(19). doi:10.1002/anie.202219314
LibreCat: https://research-explorer.ista.ac.at/record/12675
DOI: 10.1002/anie.202219314
WoS: 000956919900001
PMID: 36738230

Becker LM, Schanda P. Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues. 2023. doi:10.15479/AT:ISTA:12497
LibreCat: https://research-explorer.ista.ac.at/record/12497
DOI: 10.15479/AT:ISTA:12497

Danzl JG. Research data for the publication “Imaging brain tissue architecture across millimeter to nanometer scales.”10.15479/AT:ISTA:13126__2023. doi:10.15479/AT:ISTA:13126
LibreCat: https://research-explorer.ista.ac.at/record/13126
DOI: 10.15479/AT:ISTA:13126

Dunajova Z, Prats Mateu B, Radler P, et al. Chiral and nematic phases of flexible active filaments. 2023. doi:10.15479/AT:ISTA:13116
LibreCat: https://research-explorer.ista.ac.at/record/13116
DOI: 10.15479/AT:ISTA:13116

Dunajova Z, Prats Mateu B, Radler P, et al. Chiral and nematic phases of flexible active filaments. Nature Physics. 2023;19:1916-1926. doi:10.1038/s41567-023-02218-w
LibreCat: https://research-explorer.ista.ac.at/record/13314
DOI: 10.1038/s41567-023-02218-w
PMID: 38075437

Michalska JM, Lyudchik J, Velicky P, et al. Imaging brain tissue architecture across millimeter to nanometer scales. Nature Biotechnology. 2023. doi:10.1038/s41587-023-01911-8
LibreCat: https://research-explorer.ista.ac.at/record/14257
DOI: 10.1038/s41587-023-01911-8
WoS: 001065254200001

Radler P. Spatiotemporal signaling during assembly of the bacterial divisome. 2023. doi:10.15479/at:ista:14280
LibreCat: https://research-explorer.ista.ac.at/record/14280
DOI: 10.15479/at:ista:14280

Valentini M. Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevicesf: From full-shell nanowires to two-dimensional hole gas in germanium. 2023. doi:10.15479/at:ista:13286
LibreCat: https://research-explorer.ista.ac.at/record/13286
DOI: 10.15479/at:ista:13286

Curk S. aggregation_data. 2023.
LibreCat: https://research-explorer.ista.ac.at/record/15027

Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In: 35th International Conference on Computer Aided Verification. Vol 13966. Springer Nature; 2023:3-15. doi:10.1007/978-3-031-37709-9_1
LibreCat: https://research-explorer.ista.ac.at/record/14758
DOI: 10.1007/978-3-031-37709-9_1

Hwong Y-L, Colin M, Aglas P, Muller CJ, Sherwood SC. Assessing memory in convection schemes using idealized tests. Journal of Advances in Modeling Earth Systems. 2023;15(12). doi:10.1029/2023MS003726
LibreCat: https://research-explorer.ista.ac.at/record/14654
DOI: 10.1029/2023MS003726

Meggendorfer T. Correct approximation of stationary distributions. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13993. Springer Nature; 2023:489-507. doi:10.1007/978-3-031-30823-9_25
LibreCat: https://research-explorer.ista.ac.at/record/13139
DOI: 10.1007/978-3-031-30823-9_25
arXiv: 2301.08137

Hwong Y-L, Colin M, Aglas P, Muller CJ, Sherwood SC. Data-assessing memory in convection schemes using idealized tests. 2023. doi:10.5281/ZENODO.7757041
LibreCat: https://research-explorer.ista.ac.at/record/14991
DOI: 10.5281/ZENODO.7757041

Meggendorfer T. Artefact for: Correct Approximation of Stationary Distributions. 2023. doi:10.5281/ZENODO.7548214
LibreCat: https://research-explorer.ista.ac.at/record/14990
DOI: 10.5281/ZENODO.7548214

Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. In: 35th International Conference on Computer Aided Verification . Vol 13964. Springer Nature; 2023:156-169. doi:10.1007/978-3-031-37706-8_8
LibreCat: https://research-explorer.ista.ac.at/record/14260
DOI: 10.1007/978-3-031-37706-8_8

Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. 2023. doi:10.5281/ZENODO.7877757
LibreCat: https://research-explorer.ista.ac.at/record/14995
DOI: 10.5281/ZENODO.7877757

Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. 2023. doi:10.5281/ZENODO.7877790
LibreCat: https://research-explorer.ista.ac.at/record/14994
DOI: 10.5281/ZENODO.7877790

Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. Compositional policy learning in stochastic control systems with formal guarantees. In: 37th Conference on Neural Information Processing Systems. ; 2023.
LibreCat: https://research-explorer.ista.ac.at/record/15023
arXiv: 2312.01456

Currin C, Asiedu  MN, Fourie C, et al. A framework for grassroots research collaboration in machine learning and global health. In: 1st Workshop on Machine Learning &; Global Health. OpenReview; 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14993

Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. In: 23nd International Conference on Runtime Verification. Vol 14245. Springer Nature; 2023:168-190. doi:10.1007/978-3-031-44267-4_9
LibreCat: https://research-explorer.ista.ac.at/record/14076
DOI: 10.1007/978-3-031-44267-4_9

Tennage P, Basescu C, Kokoris Kogias E, et al. QuePaxa: Escaping the tyranny of timeouts in consensus. In: Proceedings of the 29th Symposium on Operating Systems Principles. Association for Computing Machinery; 2023:281-297. doi:10.1145/3600006.3613150
LibreCat: https://research-explorer.ista.ac.at/record/14743
DOI: 10.1145/3600006.3613150

Chen Y-L, Ly M, Wojtan C. Unified treatment of contact, friction and shock-propagation in rigid body animation. In: Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Association for Computing Machinery; 2023. doi:10.1145/3606037.3606836
LibreCat: https://research-explorer.ista.ac.at/record/14748
DOI: 10.1145/3606037.3606836

Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. 2023. doi:10.5281/ZENODO.8191723
LibreCat: https://research-explorer.ista.ac.at/record/15035
DOI: 10.5281/ZENODO.8191723

Franschitz A. Individual and social immunity against viral infections in ants. 2023. doi:10.15479/at:ista:13984
LibreCat: https://research-explorer.ista.ac.at/record/13984
DOI: 10.15479/at:ista:13984

Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv. doi:10.48550/ARXIV.2311.06103
LibreCat: https://research-explorer.ista.ac.at/record/15039
DOI: 10.48550/ARXIV.2311.06103
arXiv: 2311.06103

Stankowski S. Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails. 2023. doi:10.5281/ZENODO.8318995
LibreCat: https://research-explorer.ista.ac.at/record/14812
DOI: 10.5281/ZENODO.8318995

Abualia R, Riegler S, Benková E. Nitrate, auxin and cytokinin - a trio to tango. Cells. 2023;12(12). doi:10.3390/cells12121613
LibreCat: https://research-explorer.ista.ac.at/record/13214
DOI: 10.3390/cells12121613
WoS: 001017033600001
PMID: 37371083

Kuzmicz-Kowalska K. Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. 2023. doi:10.15479/at:ista:14323
LibreCat: https://research-explorer.ista.ac.at/record/14323
DOI: 10.15479/at:ista:14323

Zhang C, Janzing D, van der Schaar M, et al. Causality in the time of LLMs: Round table discussion results of CLeaR 2023. In: 2nd Conference on Causal Learning and Reasoning. ; 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14974

Shigemoto R. Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals. 2023. doi:10.15479/AT:ISTA:13173
LibreCat: https://research-explorer.ista.ac.at/record/13173
DOI: 10.15479/AT:ISTA:13173

Drout MR, Götberg YLL, Ludwig BA, et al. An observed population of intermediate-mass helium stars that have been stripped in binaries. Science. 2023;382(6676):1287-1291. doi:10.1126/science.ade4970
LibreCat: https://research-explorer.ista.ac.at/record/15085
DOI: 10.1126/science.ade4970
PMID: 38096420
arXiv: 2307.00061

Zheng DW, Henzinger MH. Multiplicative auction algorithm for approximate maximum weight bipartite matching. In: International Conference on Integer Programming and Combinatorial Optimization. Vol 13904. Springer Nature; 2023:453-465. doi:10.1007/978-3-031-32726-1_32
LibreCat: https://research-explorer.ista.ac.at/record/13236
DOI: 10.1007/978-3-031-32726-1_32
arXiv: 2301.09217

Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Geometric characterization of the persistence of 1D maps. Journal of Applied and Computational Topology. 2023. doi:10.1007/s41468-023-00126-9
LibreCat: https://research-explorer.ista.ac.at/record/13182
DOI: 10.1007/s41468-023-00126-9

Mondal S, Jethwa RB, Pant B, Hauschild R, Freunberger SA. Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes. Faraday Discussions. 2023. doi:10.1039/d3fd00088e
LibreCat: https://research-explorer.ista.ac.at/record/13044
DOI: 10.1039/d3fd00088e
WoS: 001070423500001

Marveggio A. Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. 2023. doi:10.15479/at:ista:14587
LibreCat: https://research-explorer.ista.ac.at/record/14587
DOI: 10.15479/at:ista:14587

Esposito AR, Mondelli M. Concentration without independence via information measures. In: Proceedings of 2023 IEEE International Symposium on Information Theory. IEEE; 2023:400-405. doi:10.1109/isit54713.2023.10206899
LibreCat: https://research-explorer.ista.ac.at/record/14922
DOI: 10.1109/isit54713.2023.10206899
arXiv: 2303.07245

Kwan MA, Sah A, Sawhney M. Enumerating matroids and linear spaces. Comptes Rendus Mathematique. 2023;361():565-575. doi:10.5802/crmath.423
LibreCat: https://research-explorer.ista.ac.at/record/15173
DOI: 10.5802/crmath.423
arXiv: 2112.03788