Cornalba, F., &; Fischer, J. L. (2023). The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles. Archive for Rational Mechanics and Analysis. Springer Nature.https://doi.org/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, T. A. (2023). Into the unknown: Active monitoring of neural networks (extended version). International Journal on Software Tools for Technology Transfer. Springer Nature.https://doi.org/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, L. M., &; Schanda, P. (2023). Protein dynamics detected by magic-angle spinning relaxation dispersion NMR. Current Opinion in Structural Biology. Elsevier.https://doi.org/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, M. H., Jin, B., Peng, R., &; Williamson, D. P. (2023). A combinatorial cut-toggling algorithm for solving Laplacian linear systems. Algorithmica. Springer Nature.https://doi.org/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

Vernooij, M., &; Wirth, M. (2023). Derivations and KMS-symmetric quantum Markov semigroups. Communications in Mathematical Physics. Springer Nature.https://doi.org/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, H. J., Parrino, L., Plenz, D., Scarpetta, S., Vaudano, A. E.,https://doi.org/10.1016/j.celrep.2023.113162__Shriki, O. (2023). Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state. Cell Reports. Elsevier.https://doi.org/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, S. E., Darrous, L., Patxot, M., Läll, K., Fischer, K., Mägi, R.,https://doi.org/10.1016/j.ajhg.2023.07.006__Robinson, M. R. (2023). Genetic insights into the age-specific biological mechanisms governing human ovarian aging. American Journal of Human Genetics. Elsevier.https://doi.org/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, M. L., &; Wyss, D. (2023). Arithmetic and metric aspects of open de Rham spaces. Proceedings of the London Mathematical Society. Wiley.https://doi.org/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. (2023). Stretching the limits of extracellular signal-related kinase (ERK) signaling — Cell mechanosensing to ERK activation. Current Opinion in Cell Biology. Elsevier.https://doi.org/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. (2023). Successive vertex orderings of fully regular graphs. Journal of Combinatorial Theory. Series A. Elsevier.https://doi.org/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. (2023). Formal radical deoxyfluorination of oxalate-activated alcohols triggered by the selectfluor-DMAP charge-transfer complex. European Journal of Organic Chemistry. Wiley.https://doi.org/10.1002/ejoc.202300769 
LibreCat: https://research-explorer.ista.ac.at/record/14409
DOI: 10.1002/ejoc.202300769
WoS: 001072666500001

Seiringer, R., &; Solovej, J. P. (2023). A simple approach to Lieb-Thirring type inequalities. Journal of Functional Analysis. Elsevier.https://doi.org/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., Sreekanth, T. V. M., Majumder, S., Yoo, K., &; Kim, J. (2023). Polycrystalline phases grown in-situ engendering unique mechanism of charge storage in polyaniline-graphite composite. Synthetic Metals. Elsevier.https://doi.org/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. (2023). Weakly weighted generalised quasi-metric spaces and semilattices. Theoretical Computer Science. Elsevier.https://doi.org/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, M. E., Donahue, R. J., Schlamp, C. L., Marola, O. J., Libby, R. T., &; Nickells, R. W. (2023). BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps. Molecular Neurodegeneration. Springer Nature.https://doi.org/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, Z. Y., Qiu, L., Gröblacher, S., &; Li, J. (2023). Microwave-optics entanglement via cavity optomagnomechanics. Laser and Photonics Reviews. Wiley.https://doi.org/10.1002/lpor.202200866 
LibreCat: https://research-explorer.ista.ac.at/record/14489
DOI: 10.1002/lpor.202200866
arXiv: 2208.10703

Wilson, A. C., &; Sweeney, L. B. (2023). Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. Frontiers.https://doi.org/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, C. J., &; Sherwood, S. (2023). Evaluating memory properties in convection schemes using idealised tests. In EGU General Assembly 2023. Vienna, Austria &; Virtual: European Geosciences Union.https://doi.org/10.5194/egusphere-egu23-4968 
LibreCat: https://research-explorer.ista.ac.at/record/14865
DOI: 10.5194/egusphere-egu23-4968

Abramian, S., Muller, C. J., &; Risi, C. (2023). Extreme precipitation in tropical squall lines. In EGU General Assembly 2023. Vienna, Austria &; Virtual: European Geosciences Union.https://doi.org/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. (2023). Fast symbolic algorithms for mega-regular games under strong transition fairness. TheoretiCS. EPI Sciences.https://doi.org/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. (2023). 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, pp. 2738–2776). Honolulu, HI, United States: ML Research Press.
LibreCat: https://research-explorer.ista.ac.at/record/12859
arXiv: 2302.01629

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

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

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

Knaus, L. (2023). The metabolism of the developing brainf: How large neutral amino acids modulate perinatal neuronal excitability and survival. Institute of Science and Technology Austria.https://doi.org/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., Gerykova Bujalkova, M., Smogavec, M., Schwarz, L. A.,https://doi.org/10.1016/j.cell.2023.02.037__Novarino, G. (2023). Large neutral amino acid levels tune perinatal neuronal excitability and survival. Cell. Elsevier.https://doi.org/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., Gijsel, T. de, Jung, J., Calcaterra, S.,https://doi.org/10.48550/arXiv.2306.07109__Katsaros, G. (n.d.). Radio frequency driven superconducting diode and parity conserving  Cooper pair transport in a two-dimensional germanium hole gas. arXiv.https://doi.org/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., Horn, M., Makansi, O., Locatello, F., &; Russell, C. (2023). Image retrieval outperforms diffusion models on data augmentation. Journal of Machine Learning Research. ML Research Press.
LibreCat: https://research-explorer.ista.ac.at/record/14949

Yao, D., Xu, D., Lachapelle, S., Magliacane, S., Taslakian, P., Martius, G.,https://doi.org/10.48550/arXiv.2311.04056__Locatello, F. (n.d.). Multi-view causal representation learning with partial observability. arXiv.https://doi.org/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. (n.d.). Latent space translation via semantic alignment. arXiv.https://doi.org/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, F. D. S., Toni, F., &; Glocker, B. (n.d.). Grounded object centric learning. arXiv.https://doi.org/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. (n.d.). Sample complexity bounds for score-matching: Causal discovery and generative modeling. arXiv.https://doi.org/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, A. A., Eulig, E., Noceti, N., Rosasco, L., Janzing, D.,https://doi.org/10.48550/arXiv.2310.13387__Locatello, F. (n.d.). Assumption violations in causal discovery and the robustness of score matching. arXiv.https://doi.org/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., Achille, A., Rodolà, E., Soatto, S.,https://doi.org/10.48550/arXiv.2304.07939__Locatello, F. (n.d.). Leveraging sparse and shared feature activations for disentangled representation learning. arXiv.https://doi.org/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. (n.d.). Rotating features for object discovery. arXiv.https://doi.org/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., Ding, Y., He, T., Bai, Z.,https://doi.org/10.48550/arXiv.2309.00233__Xiao, T. (n.d.). Object-centric multiple object tracking. arXiv.https://doi.org/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. (n.d.). Shortcuts for causal discovery of nonlinear models by score matching. arXiv.https://doi.org/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., Zietlow, D., Horn, M., Zhao, Z.,https://doi.org/10.48550/arXiv.2309.09858__He, T. (n.d.). Unsupervised open-vocabulary object localization in videos. arXiv.https://doi.org/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., Taslakian, P., von Kügelgen, J., Locatello, F., &; Magliacane, S. (2023). A sparsity principle for partially observable causal representation learning. In Causal Representation Learning Workshop at NeurIPS 2023. New Orleans, LA, United States: OpenReview.
LibreCat: https://research-explorer.ista.ac.at/record/14958

Fu, T., Liu, Y., Barbier, J., Mondelli, M., Liang, S., &; Hou, T. (n.d.). Mismatched estimation of non-symmetric rank-one matrices corrupted by structured noise. In Proceedings of 2023 IEEE International Symposium on Information Theory. Taipei, Taiwan: IEEE.https://doi.org/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. (2023). Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics. Cambridge University Press.https://doi.org/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, R. B., Mondal, S., Pant, B., &; Freunberger, S. A. (2023). To DISP or not? The farreaching reaction mechanisms underpinning Lithiumair batteries. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.202316476 
LibreCat: https://research-explorer.ista.ac.at/record/14687
DOI: 10.1002/anie.202316476

Liu, Z., Hong, T., Xu, L., Wang, S., Gao, X., Chang, C.,https://doi.org/10.1002/idm2.12056__Zhao, L. (2023). Lattice expansion enables interstitial doping to achieve a high average ZT in ntype PbS. Interdisciplinary Materials. Wiley.https://doi.org/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., Ghosh, E., Oztürk, E., Lewi, K., &; Lawlor, S. (2023). Parakeet: Practical key transparency for end-to-end eEncrypted messaging. In Proceedings of the 2023 Network and Distributed System Security Symposium. San Diego, CA, United States: Internet Society.https://doi.org/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. (2023). Phenotype control of partially specified boolean networks. In 21st International Conference on Computational Methods in Systems Biology (Vol. 14137, pp. 18–35). Luxembourg City, Luxembourg: Springer Nature.https://doi.org/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, E. H., &; Seiringer, R. (2023). Universal Functionals in Density Functional Theory. In E. Cances &; G. Friesecke (Eds.), Density Functional Theory (1st ed., pp. 115–182). Springer.https://doi.org/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, L. M., Berbon, M., Vallet, A., Grelard, A., Morvan, E., Bardiaux, B.,https://doi.org/10.1002/anie.202219314__Schanda, P. (2023). The rigid core and flexible surface of amyloid fibrils probed by MagicAngle Spinning NMR of aromatic residues. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.202219314 
LibreCat: https://research-explorer.ista.ac.at/record/12675
DOI: 10.1002/anie.202219314
WoS: 000956919900001
PMID: 36738230

Becker, L. M., &; Schanda, P. (2023). 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.https://doi.org/10.15479/AT:ISTA:12497 
LibreCat: https://research-explorer.ista.ac.at/record/12497
DOI: 10.15479/AT:ISTA:12497

Danzl, J. G. (2023). Research data for the publication “Imaging brain tissue architecture across millimeter to nanometer scales.”https://doi.org/10.15479/AT:ISTA:13126__Institute of Science and Technology Austria.https://doi.org/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., Lim, K., Brandis, D., Velicky, P.,https://doi.org/10.15479/AT:ISTA:13116__Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Institute of Science and Technology Austria.https://doi.org/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., Lim, K., Brandis, D., Velicky, P.,https://doi.org/10.1038/s41567-023-02218-w__Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Nature Physics. Springer Nature.https://doi.org/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, J. M., Lyudchik, J., Velicky, P., Korinkova, H., Watson, J., Cenameri, A.,https://doi.org/10.1038/s41587-023-01911-8__Danzl, J. G. (2023). Imaging brain tissue architecture across millimeter to nanometer scales. Nature Biotechnology. Springer Nature.https://doi.org/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. (2023). Spatiotemporal signaling during assembly of the bacterial divisome. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14280 
LibreCat: https://research-explorer.ista.ac.at/record/14280
DOI: 10.15479/at:ista:14280

Valentini, M. (2023). Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevicesf: From full-shell nanowires to two-dimensional hole gas in germanium. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:13286 
LibreCat: https://research-explorer.ista.ac.at/record/13286
DOI: 10.15479/at:ista:13286

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

Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., &; Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In 35th International Conference on Computer Aided Verification (Vol. 13966, pp. 3–15). Paris, France: Springer Nature.https://doi.org/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, C. J., &; Sherwood, S. C. (2023). Assessing memory in convection schemes using idealized tests. Journal of Advances in Modeling Earth Systems. Wiley.https://doi.org/10.1029/2023MS003726 
LibreCat: https://research-explorer.ista.ac.at/record/14654
DOI: 10.1029/2023MS003726

Meggendorfer, T. (2023). Correct approximation of stationary distributions. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 489–507). Paris, France: Springer Nature.https://doi.org/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, C. J., &; Sherwood, S. C. (2023). Data-assessing memory in convection schemes using idealized tests. Zenodo.https://doi.org/10.5281/ZENODO.7757041 
LibreCat: https://research-explorer.ista.ac.at/record/14991
DOI: 10.5281/ZENODO.7757041

Meggendorfer, T. (2023). Artefact for: Correct Approximation of Stationary Distributions. Zenodo.https://doi.org/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. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. In 35th International Conference on Computer Aided Verification  (Vol. 13964, pp. 156–169). Paris, France: Springer Nature.https://doi.org/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. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. Zenodo.https://doi.org/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. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. Zenodo.https://doi.org/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, T. A. (2023). Compositional policy learning in stochastic control systems with formal guarantees. In 37th Conference on Neural Information Processing Systems. New Orleans, LO, United States.
LibreCat: https://research-explorer.ista.ac.at/record/15023
arXiv: 2312.01456

Currin, C., Asiedu , M. N., Fourie, C., Rosman, B., Turki, H., Lambebo Tonja, A.,  Machangara, D. (2023). A framework for grassroots research collaboration in machine learning and global health. In 1st Workshop on Machine Learning &; Global Health. Kigali, Rwanda: OpenReview.
LibreCat: https://research-explorer.ista.ac.at/record/14993

Chalupa, M., &; Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. In 23nd International Conference on Runtime Verification (Vol. 14245, pp. 168–190). Thessaloniki, Greek: Springer Nature.https://doi.org/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., Syta, E., Jovanovic, P., Estrada-Galinanes, V., &; Ford, B. (2023). QuePaxa: Escaping the tyranny of timeouts in consensus. In Proceedings of the 29th Symposium on Operating Systems Principles (pp. 281–297). Koblenz, Germany: Association for Computing Machinery.https://doi.org/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. (2023). 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: Association for Computing Machinery.https://doi.org/10.1145/3606037.3606836 
LibreCat: https://research-explorer.ista.ac.at/record/14748
DOI: 10.1145/3606037.3606836

Chalupa, M., &; Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. Zenodo.https://doi.org/10.5281/ZENODO.8191723 
LibreCat: https://research-explorer.ista.ac.at/record/15035
DOI: 10.5281/ZENODO.8191723

Franschitz, A. (2023). Individual and social immunity against viral infections in ants. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:13984 
LibreCat: https://research-explorer.ista.ac.at/record/13984
DOI: 10.15479/at:ista:13984

Prach, B., &; Lampert, C. (n.d.). 1-Lipschitz neural networks are more expressive with N-activations. arXiv.https://doi.org/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. (2023). Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails. Zenodo.https://doi.org/10.5281/ZENODO.8318995 
LibreCat: https://research-explorer.ista.ac.at/record/14812
DOI: 10.5281/ZENODO.8318995

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

Kuzmicz-Kowalska, K. (2023). Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. Institute of Science and Technology Austria.https://doi.org/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., Locatello, F., Spirtes, P., Zhang, K.,  Uhler, C. (2023). Causality in the time of LLMs: Round table discussion results of CLeaR 2023. In 2nd Conference on Causal Learning and Reasoning. Tübingen, Germany.
LibreCat: https://research-explorer.ista.ac.at/record/14974

Shigemoto, R. (2023). Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:13173 
LibreCat: https://research-explorer.ista.ac.at/record/13173
DOI: 10.15479/AT:ISTA:13173

Zheng, D. W., &; Henzinger, M. H. (2023). Multiplicative auction algorithm for approximate maximum weight bipartite matching. In International Conference on Integer Programming and Combinatorial Optimization (Vol. 13904, pp. 453–465). Madison, WI, United States: Springer Nature.https://doi.org/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. (2023). Geometric characterization of the persistence of 1D maps. Journal of Applied and Computational Topology. Springer Nature.https://doi.org/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, R. B., Pant, B., Hauschild, R., &; Freunberger, S. A. (2023). Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes. Faraday Discussions. Royal Society of Chemistry.https://doi.org/10.1039/d3fd00088e 
LibreCat: https://research-explorer.ista.ac.at/record/13044
DOI: 10.1039/d3fd00088e
WoS: 001070423500001

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

Esposito, A. R., &; Mondelli, M. (2023). Concentration without independence via information measures. In Proceedings of 2023 IEEE International Symposium on Information Theory (pp. 400–405). Taipei, Taiwan: IEEE.https://doi.org/10.1109/isit54713.2023.10206899 
LibreCat: https://research-explorer.ista.ac.at/record/14922
DOI: 10.1109/isit54713.2023.10206899
arXiv: 2303.07245

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

Agresti, A., &; Hussein, A. (2023). Maximal Lp-regularity and He-calculus for block operator matrices and applications. Journal of Functional Analysis. Elsevier.https://doi.org/10.1016/j.jfa.2023.110146 
LibreCat: https://research-explorer.ista.ac.at/record/14772
DOI: 10.1016/j.jfa.2023.110146
WoS: 001081809000001
arXiv: 2108.01962

Riabov, V. (n.d.). Mesoscopic eigenvalue statistics for Wigner-type matrices. arXiv.https://doi.org/10.48550/arXiv.2301.01712 
LibreCat: https://research-explorer.ista.ac.at/record/15128
DOI: 10.48550/arXiv.2301.01712
arXiv: 2301.01712

Olusanya, O. O., Khudiakova, K., &; Sachdeva, H. (n.d.). Genetic load, eco-evolutionary feedback and extinction in a metapopulation. bioRxiv.https://doi.org/10.1101/2023.12.02.569702 
LibreCat: https://research-explorer.ista.ac.at/record/14732
DOI: 10.1101/2023.12.02.569702

Fedorov, A., Hashemi, D., Nadiradze, G., &; Alistarh, D.-A. (2023). Provably-efficient and internally-deterministic parallel Union-Find. In Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures (pp. 261–271). Orlando, FL, United States: Association for Computing Machinery.https://doi.org/10.1145/3558481.3591082 
LibreCat: https://research-explorer.ista.ac.at/record/13262
DOI: 10.1145/3558481.3591082
arXiv: 2304.09331

Condor, J., Piovarci, M., Bickel, B., &; Didyk, P. (2023). Gloss-aware color correction for 3D printing. In SIGGRAPH ’23 Conference Proceedings. Los Angeles, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3588432.3591546 
LibreCat: https://research-explorer.ista.ac.at/record/12979
DOI: 10.1145/3588432.3591546
WoS: 001117690500021

Henzinger, T. A., Karimi, M., Kueffner, K., &; Mallik, K. (2023). Runtime monitoring of dynamic fairness properties. In FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency (pp. 604–614). Chicago, IL, United States: Association for Computing Machinery.https://doi.org/10.1145/3593013.3594028 
LibreCat: https://research-explorer.ista.ac.at/record/13228
DOI: 10.1145/3593013.3594028
WoS: 001062819300057
arXiv: 2305.04699

Stankowski, S., Zagrodzka, Z. B., Galindo, J., Montaño-Rendón, M., Faria, R., Mikhailova, N.,https://doi.org/10.1093/evolinnean/kzad002__Butlin, R. K. (2023). Whole-genome phylogeography of the intertidal snail Littorina saxatilis. Evolutionary Journal of the Linnean Society. Oxford University Press.https://doi.org/10.1093/evolinnean/kzad002 
LibreCat: https://research-explorer.ista.ac.at/record/14833
DOI: 10.1093/evolinnean/kzad002

Lasne, C., Elkrewi, M. N., Toups, M. A., Layana Franco, L. A., Macon, A., &; Vicoso, B. (2023). The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome. Molecular Biology and Evolution. Oxford University Press.https://doi.org/10.1093/molbev/msad245 
LibreCat: https://research-explorer.ista.ac.at/record/14613
DOI: 10.1093/molbev/msad245
PMID: 37988296

Lasne, C., &; Elkrewi, M. N. (2023). The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:14614 
LibreCat: https://research-explorer.ista.ac.at/record/14614
DOI: 10.15479/AT:ISTA:14614

Hennessey-Wesen, M. (2023). Adaptive mutation in E. coli modulated by luxS. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14641 
LibreCat: https://research-explorer.ista.ac.at/record/14641
DOI: 10.15479/at:ista:14641

Gnyliukh, N., Johnson, A. J., Nagel, M.-K., Monzer, A., Hlavata, A., Isono, E.,https://doi.org/10.1101/2023.10.09.561523__Friml, J. (n.d.). Role of dynamin-related proteins 2 and S in clathrin-mediated endocytosis in plants. bioRxiv.https://doi.org/10.1101/2023.10.09.561523 
LibreCat: https://research-explorer.ista.ac.at/record/14591
DOI: 10.1101/2023.10.09.561523

Piovarci, M., Chapiro, A., &; Bickel, B. (2023). Skin-Screen: A computational fabrication framework for color tattoos. ACM Transactions on Graphics. Los Angeles, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3592432 
LibreCat: https://research-explorer.ista.ac.at/record/12984
DOI: 10.1145/3592432
WoS: 001044671300033

Chatterjee, K., Kafshdar Goharshady, E., Novotný, P., Zárevúcky, J., &; Zikelic, D. (2023). On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. Association for Computing Machinery.https://doi.org/10.1145/3585391 
LibreCat: https://research-explorer.ista.ac.at/record/14778
DOI: 10.1145/3585391
arXiv: 2108.02188

Calcabrini, M. (2023). Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12885 
LibreCat: https://research-explorer.ista.ac.at/record/12885
DOI: 10.15479/at:ista:12885

Westram, A. M., &; Butlin, R. (2023). Professor Kerstin Johannesson–winner of the 2022 Molecular Ecology Prize. Molecular Ecology. Wiley.https://doi.org/10.1111/mec.16779 
LibreCat: https://research-explorer.ista.ac.at/record/12166
DOI: 10.1111/mec.16779
WoS: 000892168800001

Zens, B. (2023). Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12491 
LibreCat: https://research-explorer.ista.ac.at/record/12491
DOI: 10.15479/at:ista:12491

Boocock, D. R. (2023). Mechanochemical pattern formation across biological scales. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12964 
LibreCat: https://research-explorer.ista.ac.at/record/12964
DOI: 10.15479/at:ista:12964

Schauer, A. (2023). Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12891 
LibreCat: https://research-explorer.ista.ac.at/record/12891
DOI: 10.15479/at:ista:12891