Aarhus University Seal

Publications

Follow the latest publications from the Faculty of Natural Sciences.

Sort by: Date | Author | Title

Dahlsen-Jensen, M. B. & van de Pol, J. (2027). Random Generation of Small Quantitative Automata for Algorithm Debugging. In G. De Giacomo, J. Li & L. Xiao (Eds.), Theoretical Aspects of Software Engineering: 20th International Symposium, TASE 2026, Shanghai, China, July 4–6, 2026, Proceedings (pp. 188-205). Springer. https://doi.org/10.1007/978-3-032-30693-7_13
Quercia, A., Cao, Z., Bangun, A., Paul, R. D., Morrison, A., Assent, I. & Scharr, H. (2026). 1LoRa: Summation Compression for Very Low-Rank Adaptation. In Proceedings - 2026 IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2026 (pp. 2253-2262). IEEE. https://doi.org/10.1109/WACV61042.2026.00223
Jensen, M. J., Mrackova, M., Nonboe, A. W., Lembke, E. T., Schar, C., Jensen, J. K., Silahtaroglu, A., Villadsen, R. & Vogel, L. K. (2026). A biochemical difference between HAI-2 variants causing syndromic and non-syndromic Congenital Sodium Diarrhea. PLoS One, 21(9), Article e0358119. https://doi.org/10.1371/journal.pone.0358119
Ajunwa, O. M. & Audu, J. O. (2026). A Biological Perspective on Environmental Impacts of Inorganic Electrochemistry. In Electrochemical Insights into Bioinorganic Systems (pp. 138-156). RSC. https://doi.org/10.1039/9781837678945-00138
Sørensen, A. L., Anoikin, A. A., Kolobova, K. A., Khudjageldiev, T. U., Sosin, P. M., Taratunina, N., Kulakova, E. P., Tokareva, O., Meshcheryakova, O., Chirakkal, A., Challier, A., Schneider, R., Karayev, A., Ashurmadov, I., Sharipov, A., Pavlov, V., Rybalko, A., Khormali, F., Murray, A. S. ... Knudsen, M. F. (2026). Absolute chronology of the Early Palaeolithic Karatau Culture in Central Asia. Nature Communications, 17, Article 8217. https://doi.org/10.1038/s41467-026-74938-5
Grabowski, J. E. & Gratz, S. (2026). Abstract Cluster Structures. Applied Categorical Structures, 34(4), Article 38. https://doi.org/10.1007/s10485-026-09876-w
Moracho, E., Arroyo, J. M., Arroyo-Correa, B., Calvo, G., Homet, P., Isla, J., Jácome-Flores, M., Mendoza, I., Quintero, E., Rodríguez-Sánchez, F., Villalva, P. & Jordano, P. (2026). A comprehensive, multi-method dataset of plant-frugivore interactions in a Mediterranean hotspot. Scientific Data, 13(1), Article 459. https://doi.org/10.1038/s41597-026-06835-x
Lauridsen, B. W., Hansen, K. E., Prins, L. T., Røy, H., Mukherjee, R. & Knutz, P. C. (2026). A comprehensive seabed baseline for platform abandonment. Global and Planetary Change, 262, Article 105464. https://doi.org/10.1016/j.gloplacha.2026.105464
Wagner, K., Ylä-Mella, L., Margold, M., Knudsen, M. F., Sørensen, A. L., Larsen, N. K., Anderson, R. S., Eriksen, B. L., Olsen, J., Andersen, J. L., Sláma, J. & Jansen, J. D. (2026). A continental-scale Eurasian ice sheet 2.4 million years ago. Nature Communications, 17(1), Article 7747. https://doi.org/10.1038/s41467-026-74454-6
Corradini, E., Detjens, S., Zolchow, M., Thorwart, M., Kallinich, N. & Rabbel, W. (2026). Active and passive seismic measurements for mapping and investigating kettle holes: An example from Tyrsted (Jutland, Denmark). In Between Thy and Tübingen: Late Plaeolithic and Mesolithic hunter-gatherer worlds in transition. Studies in honour of Berit V. Eriksen (pp. 129-137). Sidestone Press Academics.
Gori, J., Nioche, A., Johns, C. A. & Oulasvirta, A. (2026). A decision-theoretic representation of assistive interfaces. In N. Oliver, D. A. Shamma, H. Candello, P. Cesar, P. Lopes, A. Bozzon, T. Kosch, V. Liao, X. Ma, V. Artizzu, F. Draxler, G. Lopez, A. V. Reinschluessel, X. Tong & P. O. Toups Dugas (Eds.), CHI 2026 - Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems Article 1138 Association for Computing Machinery. https://doi.org/10.1145/3772318.3791819
Im, U., Samset, B. H., Nenes, A., Thomas, J. L., Kokkola, H., Dubovik, O., Amiridis, V., Arola, A., Bellouin, N., Benedetti, A., Bilde, M., Blichner, S., Decesari, S., Ekman, A. M. L., García-Pando, C. P., Gross, S., Gryspeerdt, E., Hasekamp, O., Kahn, R. A. ... Zieger, P. (2026). Aerosol-Cloud Interactions: Overcoming a Barrier to Projecting Near-Term Climate Evolution and Risk. AGU Advances, 7(1), Article e2025AV001872. https://doi.org/10.1029/2025AV001872
Sosso, A., Arora, A. & Spitters, B. (2026). Agentic Proving for Program Verification. Abstract from ICLR 2026 Workshop on Logical Reasoning of Large Language Models, Rio de Janeiro, Brazil. https://openreview.net/forum?id=wpQ6rTpGY6
Sosso, A. & Spitters, B. (2026). Agentic Proving for Type Theory. Abstract from 32nd International Conference on Types for Proofs and Programs, Gothenburg, Sweden. https://types2026.cse.chalmers.se/abstracts/64.pdf
Pedersen, L. L., Svennevig, K., Morino, C., Søndergaard, A. S., Pearce, C., Pérez, L. F., Damsgaard, A., Olsen, J., Knudsen, M. F., Noblet, A. & Larsen, N. K. (2026). A giant Early Holocene tsunamigenic rock-ice avalanche in South Greenland preconditioned by glacial debuttressing. Geomorphology, 492, Article 110057. https://doi.org/10.1016/j.geomorph.2025.110057
Meireles, J. P., Hahn-Klimroth, M., Lackey, L. B., van Eeuwijk, N., Bertelsen, M. F., Dressen, S., Dierkes, P. W., Abraham, A. J. & Clauss, M. (2026). Aging populations threaten conservation goals of zoos. Proceedings of the National Academy of Sciences of the United States of America, 123(5), Article e2522274123. https://doi.org/10.1073/pnas.2522274123
Mansoldo, M. D. C., Serra, E., Igondová, E., Moustakas, A., Hüseyin Dönmez, A., Tsatsou, A., Kumuk, B., Zoumides, C., Tzirkalli, E., Keleş Özgenç, E., Wolff, E., Sica, F., Paul, F., Zittis, G., Fenu, G., Liu, H. Y., Kokkoris, I. P., Vogiatzakis, I. N., Christoforidi, I. ... Balzan, M. V. (2026). A Global Compendium of Nature-based Solutions in Small-Medium Islands. Scientific Data, 13(1), Article 159. https://doi.org/10.1038/s41597-025-06476-6
El-Hokayem, L., Damasceno, G., Sabatini, F. M., Bruelheide, H., Bonari, G., Dwyer, C., Gonçalves, F., Jiménez-Alfaro, B., Millett, J., Peñuelas, J., Svenning, J. C., Altman, J., Chen, H. Y. H., Dziuba, T., El-Sheikh, M. A., Güler, B., Hending, D., Hérault, B., Hatim, M. Z. ... Conrad, C. (2026). A global map of groundwater-dependent vegetation in the Mediterranean biome. Ecological Indicators, 183, Article 114669. https://doi.org/10.1016/j.ecolind.2026.114669
Fu, J., Song, Z., Meng, J., Guo, J., Yang, K., Liu, W. & Huan, L. (2026). AI-augmented electrochemical model for lithium-ion battery: Recent advances and perspectives. Journal of Energy Chemistry, 113, 1056-1080. https://doi.org/10.1016/j.jechem.2025.10.008
Amin, H., Šantl-Temkiv, T., Finster, K., Schlünssen, V., Sigsgaard, T., Wouters, I. M., Sørensen, M. T., Malinovschi, A., Thorarinsdottir, H. & Bertelsen, R. J. (2026). Airborne Movement of Antibiotic Resistance Genes Between Livestock Stables and Farmers’ Homes. Microorganisms, 14(4), Article 855. https://doi.org/10.3390/microorganisms14040855
Dai, D., Zhang, Y., Ma, Y. & Kragic, D. (2026). AI That Moves with You: A Review of Interactive Technologies Powered by Large Foundation Models for Mobility Impairment. In N. Oliver, D. A. Shamma, H. Candello, P. Cesar, P. Lopes, A. Bozzon, T. Kosch, V. Liao, X. Ma, V. Artizzu, F. Draxler, G. Lopez, A. V. Reinschluessel, X. Tong & P. O. Toups Dugas (Eds.), CHI 2026 - Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems Article 1195 Association for Computing Machinery. https://doi.org/10.1145/3772318.3791239