Zakerinia, H., Talaei, S., Nadiradze, G., &; Alistarh, D.-A. (2024). Communication-efficient federated learning with data and client heterogeneity. In Proceedings of the 27th International Conference on Artificial Intelligence and Statistics (Vol. 238, pp. 3448–3456). Valencia, Spain: ML Research Press.
LibreCat: https://research-explorer.ista.ac.at/record/17093
arXiv: 2206.10032

Hibshman, G. N., Bravo, J. P. K., Hooper, M. M., Dangerfield, T. L., Zhang, H., Finkelstein, I. J.,https://doi.org/10.1038/s41467-024-47830-3__Taylor, D. W. (2024). Unraveling the mechanisms of PAMless DNA interrogation by SpRY-Ca. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-024-47830-3 
LibreCat: https://research-explorer.ista.ac.at/record/17113
DOI: 10.1038/s41467-024-47830-3
PMID: 38688943

Tairi, E., &; Ünal, A. (2024). Lower bounds for lattice-based compact functional encryption. In Advances in Cryptology – EUROCRYPT 2024 (Vol. 14652, pp. 249–279). Zurich, Switzerland: Springer Nature.https://doi.org/10.1007/978-3-031-58723-8_9 
LibreCat: https://research-explorer.ista.ac.at/record/17126
DOI: 10.1007/978-3-031-58723-8_9

Zeller, P., Yeung, J., Viñas Gaza, H., de Barbanson, B. A., Bhardwaj, V., Florescu, M.,https://doi.org/10.1038/s41588-022-01260-3__van Oudenaarden, A. (2023). Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. Springer Nature.https://doi.org/10.1038/s41588-022-01260-3 
LibreCat: https://research-explorer.ista.ac.at/record/12158
DOI: 10.1038/s41588-022-01260-3

Arroyo-Urea, S., Watson, J., &; García-Nafría, J. (2023). Molecular Cloning Using In Vivo DNA Assembly. In G. Scarlett (Ed.), DNA Manipulation and Analysis (Vol. 2633, pp. 33–44). New York, NY, United States: Springer Nature.https://doi.org/10.1007/978-1-0716-3004-4_3 
LibreCat: https://research-explorer.ista.ac.at/record/12720
DOI: 10.1007/978-1-0716-3004-4_3
PMID: 36853454

Aksenov, V., Brown, T. A., Fedorov, A., &; Kokorin, I. (2023). Unexpected scaling in path copying trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 438–440). Montreal, QB, Canada: Association for Computing Machinery.https://doi.org/10.1145/3572848.3577512 
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 10.1145/3572848.3577512

Chalupa, M., &; Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30820-8_32 
LibreCat: https://research-explorer.ista.ac.at/record/12854
DOI: 10.1007/978-3-031-30820-8_32

Chalupa, M., Mühlböck, F., Muroya Lei, S., &; Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30826-0_15 
LibreCat: https://research-explorer.ista.ac.at/record/12856
DOI: 10.1007/978-3-031-30826-0_15

Hoffmann, C., Hubádek, P., Kamath, C., &; Pietrzak, K. Z. (2023). Certifying giant nonprimes. In Public-Key Cryptography - PKC 2023 (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature.https://doi.org/10.1007/978-3-031-31368-4_19 
LibreCat: https://research-explorer.ista.ac.at/record/13143
DOI: 10.1007/978-3-031-31368-4_19

Chatterjee, K., Henzinger, T. A., Lechner, M., &; Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In Tools and Algorithms for the Construction and Analysis of Systems  (Vol. 13993, pp. 3–25). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30823-9_1 
LibreCat: https://research-explorer.ista.ac.at/record/13142
DOI: 10.1007/978-3-031-30823-9_1

Anand, A., Mallik, K., Nayak, S. P., &; Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30820-8_15 
LibreCat: https://research-explorer.ista.ac.at/record/13141
DOI: 10.1007/978-3-031-30820-8_15

Henzinger, T. A., Mazzocchi, N. A., &; Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30829-1_17 
LibreCat: https://research-explorer.ista.ac.at/record/12467
DOI: 10.1007/978-3-031-30829-1_17
arXiv: 2301.11175

García-Romero, Á., Waters, J. E., Jethwa, R. B., Bond, A. D., Colebatch, A. L., García-Rodríguez, R., &; Wright, D. S. (2023). Highly adaptive nature of group 15 tris(quinolyl) ligandsstudies with coinage metals. Inorganic Chemistry. American Chemical Society.https://doi.org/10.1021/acs.inorgchem.3c00057 
LibreCat: https://research-explorer.ista.ac.at/record/12737
DOI: 10.1021/acs.inorgchem.3c00057
WoS: 000956110300001
PMID: 36883367

Karle, V., Ghazaryan, A., &; Lemeshko, M. (2023). Topological charges of periodically kicked molecules. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.130.103202 
LibreCat: https://research-explorer.ista.ac.at/record/12788
DOI: 10.1103/PhysRevLett.130.103202
WoS: 000957635500003
arXiv: 2206.07067

Ljubotina, M., Desaules, J. Y., Serbyn, M., &; Papi, Z. (2023). Superdiffusive energy transport in kinetically constrained models. Physical Review X. American Physical Society.https://doi.org/10.1103/PhysRevX.13.011033 
LibreCat: https://research-explorer.ista.ac.at/record/12839
DOI: 10.1103/PhysRevX.13.011033
WoS: 000957625700001

Clozeau, N., Josien, M., Otto, F., &; Xu, Q. (2023). Bias in the representative volume element method: Periodize the ensemble instead of its realizations. Foundations of Computational Mathematics. Springer Nature.https://doi.org/10.1007/s10208-023-09613-y 
LibreCat: https://research-explorer.ista.ac.at/record/13129
DOI: 10.1007/s10208-023-09613-y
WoS: 000999623100001

Madani, A., Sletten, E. T., Cavedon, C., Seeberger, P. H., &; Pieber, B. (2023). Visible-light-mediated oxidative debenzylation of 3-O-Benzyl-1,2:5,6-di-O-isopropylidene-;1-D-glucofuranose. Organic Syntheses. Organic Syntheses.https://doi.org/10.15227/orgsyn.100.0271 
LibreCat: https://research-explorer.ista.ac.at/record/13970
DOI: 10.15227/orgsyn.100.0271

Wang, S., Chang, C., Bai, S., Qin, B., Zhu, Y., Zhan, S.,https://doi.org/10.1021/acs.chemmater.2c03542__Zhao, L. D. (2023). Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe. Chemistry of Materials. American Chemical Society.https://doi.org/10.1021/acs.chemmater.2c03542 
LibreCat: https://research-explorer.ista.ac.at/record/12331
DOI: 10.1021/acs.chemmater.2c03542
WoS: 000914749700001

Yeung, J., Florescu, M., Zeller, P., De Barbanson, B. A., Wellenstein, M. D., &; Van Oudenaarden, A. (2023). scChIX-seq infers dynamic relationships between histone modifications in single cells. Nature Biotechnology. Springer Nature.https://doi.org/10.1038/s41587-022-01560-3 
LibreCat: https://research-explorer.ista.ac.at/record/12106
DOI: 10.1038/s41587-022-01560-3
WoS: 000909067600003

Boccato, C., &; Seiringer, R. (2023). The Bose Gas in a box with Neumann boundary conditions. Annales Henri Poincare. Springer Nature.https://doi.org/10.1007/s00023-022-01252-3 
LibreCat: https://research-explorer.ista.ac.at/record/12183
DOI: 10.1007/s00023-022-01252-3
WoS: 000910751800002
arXiv: 2205.15284