Aarhus University Seal

Publications

The most recently published scientific articles from the Department of Biology. The overview shows the Department's publications with the latest at the top:

Sort by: Date | Author | Title

Seisenberger, M., ter Beek, M. H., Fan, X., Ferrari, A., Haxthausen, A. E., James, P., Lawrence, A., Luttik, B., van de Pol, J. & Wimmer, S. (2022). Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings (pp. 246-268). Springer. https://doi.org/10.1007/978-3-031-19762-8_20
van de Pol, J. (2022). Exploring a Parallel SCC Algorithm: Using TLA + and the TLC Model Checker. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (pp. 535-555). Springer. https://doi.org/10.1007/978-3-031-19849-6_30
André, É., Marinho, D., Petrucci, L. & van de Pol, J. (2022). Efficient Convex Zone Merging in Parametric Timed Automata. In S. Bogomolov & D. Parker (Eds.), Formal Modeling and Analysis of Timed Systems. FORMATS 2022 (pp. 200-218). Springer. https://doi.org/10.1007/978-3-031-15839-1_12
van de Pol, J. & Petrucci, L. (2021). On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). In M. Roggenbach (Ed.), Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Revised Selected Papers (pp. 3-10). Springer Science+Business Media. https://doi.org/10.1007/978-3-030-73785-6_1
Pauli, A. B., Derczynski, L. & Assent, I. (2022). Modelling Persuasion through Misuse of Rhetorical Appeals. In NLP4PI 2022 - 2nd Workshop on NLP for Positive Impact, Proceedings of the Workshop (pp. 89-100). Association for Computational Linguistics. https://doi.org/10.18653/v1/2022.nlp4pi-1.11
Zhang, Y., Mu, W., Zhang, Y., He, X., Wang, Y., Ma, H., Zhu, T., Li, A., Hou, Q., Yang, W., Ding, Y., Ramakrishna, S. & Li, H. (2022). Recent Advances in Cardiac Patches: Materials, Preparations, and Properties. ACS Biomaterials Science and Engineering, 8(9), 3659-3675. https://doi.org/10.1021/acsbiomaterials.2c00348
Schwiegelshohn, C. & Sheikh-Omar, O. A. (2022). An Empirical Evaluation of k-Means Coresets. In S. Chechik, G. Navarro, E. Rotenberg & G. Herman (Eds.), 30th Annual European Symposium on Algorithms, ESA 2022 (pp. 84:1-84:17). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2022.84
Theocharidis, K., Terrovitis, M., Skiadopoulos, S. & Karras, P. (2022). A Content Recommendation Policy for Gaining Subscribers. In SIGIR 2022 - Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information Retrieval (pp. 2501-2506). Association for Computing Machinery. https://doi.org/10.1145/3477495.3531885
Ganesh, C., Khoshakhlagh, H., Kohlweiss, M., Nitulescu, A. & Zając, M. (2022). What Makes Fiat–Shamir zkSNARKs (Updatable SRS) Simulation Extractable? In C. Galdi & S. Jarecki (Eds.), Security and Cryptography for Networks (pp. 735-760). Springer. https://doi.org/10.1007/978-3-031-14791-3_32
Ganesh, C., Khoshakhlagh, H. & Parisella, R. (2022). NIWI and New Notions of Extraction for Algebraic Languages. In C. Galdi & S. Jarecki (Eds.), Security and Cryptography for Networks. SCN 2022 (pp. 687-710). Springer. https://doi.org/10.1007/978-3-031-14791-3_30
Rasmussen, T. (2023). authAR - Automatic Authoring of Picking and Layout Optimization. In Proceedings of the 34th Australian Conference on Human-Computer Interaction (pp. 199 - 205). Association for Computing Machinery. https://doi.org/10.1145/3572921.357294
Gariazzo, S., Gerbino, M., Brinckmann, T., Lattanzi, M., Mena, O., Schwetz, T., Choudhury, S. R., Freese, K., Hannestad, S., Ternes, C. A. & Tórtola, M. (2022). Neutrino mass and mass ordering: no conclusive evidence for normal ordering. Journal of Cosmology and Astroparticle Physics, 2022(10), Article 010. https://doi.org/10.1088/1475-7516/2022/10/010
Alonso, I., Alpigiani, C., Altschul, B., Araújo, H., Arduini, G., Arlt, J., Badurina, L., Balaž, A., Bandarupally, S., Barish, B. C., Barone, M., Barsanti, M., Bass, S., Bassi, A., Battelier, B., Baynham, C. F. A., Beaufils, Q., Belić, A., Bergé, J. ... Zupanič, E. (2022). Cold atoms in space: community workshop summary and proposed road-map. EPJ Quantum Technology, 9, Article 30. https://doi.org/10.1140/epjqt/s40507-022-00147-w
Rocchini, D., Santos, M. J., Ustin, S. L., Féret, J. B., Asner, G. P., Beierkuhnlein, C., Dalponte, M., Feilhauer, H., Foody, G. M., Geller, G. N., Gillespie, T. W., He, K. S., Kleijn, D., Leitão, P. J., Malavasi, M., Moudrý, V., Müllerová, J., Nagendra, H., Normand, S. ... Lenoir, J. (2022). The Spectral Species Concept in Living Color. Journal of Geophysical Research: Biogeosciences, 127(9), Article e2022JG007026. https://doi.org/10.1029/2022JG007026
Calderó-Pascual, M., Yıldız, D., Yalçın, G., Metin, M., Yetim, S., Fiorentin, C., Andersen, M. R., Jennings, E., Jeppesen, E., Ger, K. A., Beklioğlu, M. & McCarthy, V. (2022). The importance of allochthonous organic matter quality when investigating pulse disturbance events in freshwater lakes: a mesocosm experiment. Hydrobiologia, 849(17-18), 3905-3929. https://doi.org/10.1007/s10750-021-04757-w
Guillemet, M., Chabas, H., Nicot, A., Gatchich, F., Ortega-Abboud, E., Buus, C., Hindhede, L., Rousseau, G. M., Bataillon, T., Moineau, S. & Gandon, S. (2022). Competition and coevolution drive the evolution and the diversification of CRISPR immunity. Nature Ecology & Evolution, 6(10), 1480-1488. https://doi.org/10.1038/s41559-022-01841-9
Blaabjerg, J. F. & Askarov, A. (2023). OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads. Paper presented at 36th IEEE Computer Security Foundations Symposium, Dubrovnik, Croatia.
Heidari, A., Hansen, T. M., Amini, N., Amini, H., Madsen, R. B. & Niri, M. E. (2021). EXAMINING DIFFERENT NOISE SCENARIOS FOR THE PROBABILISTIC INVERSION OF SEISMIC DATA. In 82nd EAGE Conference and Exhibition 2021 (pp. 4328-4332). European Association of Geoscientists and Engineers, EAGE.
Heidari, A., Amini, N., Hansen, T. M., Amini, H. & Niri, M. E. (2021). DIRECT BAYESIAN SEISMIC INVERSION FOR POROSITY ESTIMATION IN A HARD ROCK CARBONATE RESERVOIR. In 82nd EAGE Conference and Exhibition 2021 (pp. 4398-4402). European Association of Geoscientists and Engineers, EAGE.
Hansen, T. M., Mosegaard, K., Holm, S., Andersen, F., Fischer, B. M. B. & Hansen, A. E. (2022). Probabilistic deconvolution of PET images using informed priors. Frontiers in Nuclear Medicine, 2, Article 1028928. https://doi.org/10.3389/fnume.2022.1028928
Dalagnol, L. V. S., Bettega, M. H. F., Jones, N. C., Hoffmann, S. V., Souza Barbosa, A. & Limao-Vieira, P. (2023). Electronic state spectroscopy of nitromethane and nitroethane. The Journal of Physical Chemistry A, 127(6), 1445-1457. https://doi.org/10.1021/acs.jpca.2c08023
Guerra, J. P. L., Blanchet, C. E., Vieira, B. J. C., Waerenborgh, J. C., Jones, N. C., Hoffmann, S. V., Pereira, A. S. & Tavares, P. (2023). Controlled modulation of the dynamics of the Deinococcus grandis Dps N‐terminal tails by divalent metals. Protein Science, 32(2), Article e4567. https://doi.org/10.1002/pro.4567
Baum, C., David, B. & Dowsley, R. (2022). (Public) Verifiability for Composable Protocols Without Adaptivity or Zero-Knowledge. In C. Ge & F. Guo (Eds.), Provable and Practical Security - 16th International Conference, ProvSec 2022, Proceedings (pp. 249-272). Springer. https://doi.org/10.1007/978-3-031-20917-8_17
Klassen, L., Rasmussen, U. L., Kveiborg, J., Richards, M. P., Orlando, L., Svenning, J.-C., Ritchie, K., Andreasen, M. H., Philippsen, B., Iversen, R. & Johannsen, N. N. (2023). Ginnerup revisited: New excavations at a key Neolithic site on Djursland, Denmark. Journal of Neolithic Archaeology, 25, 35–65. https://doi.org/10.12766/jna.2023.2
Roos, A. H., Hoque, Z., Klimešová, E., Ben Ltaief, L., Medina, C., Jurkovič, M., Albrecht, M., Finke, O., Hort, O., Nejdl, J., Mudrich, M., Andreasson, J. & Krikunova, M. (2023). Electron correlation dynamics in atomic Kr excited by XUV pulses and controlled by NIR laser pulses of variable intensity. New Journal of Physics, 25(1), Article 013038. https://doi.org/10.1088/1367-2630/acb567
Yesiltas, B., Soria Caindec, A. M., García Moreno, P. J., Echers, S. G., Olsen, T. H., Jones, N. C., Hoffmann, S. V., Marcatili, P., Overgaard, M. T., Hansen, E. B. & Jacobsen, C. (2023). Physical and oxidative stability of fish oil-in-water emulsions stabilized with emulsifier peptides derived from seaweed, methanotrophic bacteria and potato proteins. Colloids and Surfaces A: Physicochemical and Engineering Aspects, 663, Article 131069. https://doi.org/10.1016/j.colsurfa.2023.131069
Demontis, D., Walters, G. B., Athanasiadis, G., Walters, R., Therrien, K., Nielsen, T. T., Farajzadeh, L., Voloudakis, G., Bendl, J., Zeng, B., Zhang, W., Grove, J., Als, T. D., Duan, J., Satterstrom, F. K., Bybjerg-Grauholm, J., Bækved-Hansen, M., Gudmundsson, O. O., Magnusson, S. H. ... ADHD Working Group of the Psychiatric Genomics Consortium (2023). Genome-wide analyses of ADHD identify 27 risk loci, refine the genetic architecture and implicate several cognitive domains. Nature Genetics, 55(2), 198-208. https://doi.org/10.1038/s41588-022-01285-8
von Arx, G., Carrer, M., Crivellaro, A., De Micco, V., Fonti, P., Lens, F., Prendin, A. L., Rosner, S. & Sass-Klaassen, U. (2021). Q-NET – a new scholarly network on quantitative wood anatomy. Dendrochronologia, 70, Article 125890. https://doi.org/10.1016/j.dendro.2021.125890
Zhang, J., Ishikawa, D., Koza, M. M., Nishibori, E., Song, L., Baron, A. Q. R. & Iversen, B. B. (2023). Dynamic Lone Pair Expression as Chemical Bonding Origin of Giant Phonon Anharmonicity in Thermoelectric InTe. Angewandte Chemie International Edition, 62(13), Article e202218458. https://doi.org/10.1002/anie.202218458
Nielsen, K. H. (2023). Skygger for solen. Weekendavisen, Sektion 4 (Ideer)(3), 5-5. Article e95ab411.

Sort by: Date | Author | Title