Aarhus University Seal

Publications

Follow the latest publications from the Faculty of Natural Sciences.

Sort by: Date | Author | Title

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
Borowski, M. (2022). Exploring Computational Media as a Possible Future of Software. [PhD dissertation, Aarhus University]. Aarhus Universitet.
Türkmen, R., Pfeuffer, K., Barrera MacHuca, M. D., Batmaz, A. U. & Gellersen, H. (2022). Exploring Discrete Drawing Guides to Assist Users in Accurate Mid-air Sketching in VR. In CHI 2022 - Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems Article 276 Association for Computing Machinery. https://doi.org/10.1145/3491101.3519737
Méndez-Quintas, E., Santonja, M., Pérez-González, A., Díaz-Rodríguez, M. & Domínguez, A. S. (2022). Exploring the formation processes on open-air palaeolithic sites: A late Middle Pleistocene Acheulean assemblage at Arbo site (Miño River basin, Spain). Journal of Archaeological Science: Reports, 43, Article 103453. https://doi.org/10.1016/j.jasrep.2022.103453
Findlay, C. R., Hastie, G. D., Farcas, A., Merchant, N. D., Risch, D. & Wilson, B. (2022). Exposure of individual harbour seals (Phoca vitulina) and waters surrounding protected habitats to acoustic deterrent noise from aquaculture. Aquatic Conservation: Marine and Freshwater Ecosystems, 32(5), 766-780. https://doi.org/10.1002/aqc.3800
Gomes-Duarte, A., Venø, M. T., de Wit, M., Senthilkumar, K., Broekhoven, M. H., van den Herik, J., Heeres, F. R., van Rossum, D., Rybiczka-Tesulov, M., Legnini, I., van Rijen, P. C., van Eijsden, P., Gosselaar, P. H., Rajewsky, N., Kjems, J., Vangoor, V. R. & Pasterkamp, R. J. (2022). Expression of Circ_Satb1 Is Decreased in Mesial Temporal Lobe Epilepsy and Regulates Dendritic Spine Morphology. Frontiers in Molecular Neuroscience, 15, Article 832133. https://doi.org/10.3389/fnmol.2022.832133
Rafiq, M., Ernst, H. A., Aduri, N. G., Prabhala, B. K., Tufail, S., Rahman, M., Bloch, M. B., Mirza, N., Taylor, N. M. I., Boesen, T., Gajhede, M. & Mirza, O. (2022). Expression, purification and characterization of human proton-coupled oligopeptide transporter 1 hPEPT1. Protein Expression and Purification, 190, Article 105990. https://doi.org/10.1016/j.pep.2021.105990
Østergaard, R. H., Yan, Y., Venø, M. T., Dinesen, A., Kjaer-Sorensen, K., Oxvig, C., Rasmussen, J. T., Howard, K., Kjems, J., van Niel, G., Verweij, F. & Hayashi, Y. (2022). Extracellular Vesicle Biology Meets Zebrafish: Real-Time Visualization and RNA Profiling of Physiological Exosomes in the Bloodstream. Poster session presented at The Danish Society for Extracellular Vesicles (DSEV) 3rd Annual Symposium 2022, Roskilde, Denmark.
Anker, A. S., Kjær, E. T. S., Juelsholt, M., Christiansen, T. L., Skjærvø, S. L., Jørgensen, M. R. V., Kantor, I., Sørensen, D. R., Billinge, S. J. L., Selvan, R. & Jensen, K. M. Ø. (2022). Extracting structural motifs from pair distribution function data of nanostructures using explainable machine learning. npj Computational Materials, 8(1), Article 213. https://doi.org/10.1038/s41524-022-00896-3
Uhl, D., Wituschek, A., Michiels, R., Trinter, F., Jahnke, T., Allaria, E., Callegari, C., Danailov, M., Di Fraia, M., Plekan, O., Bangert, U., Dulitz, K., Landmesser, F., Michelbach, M., Simoncig, A., Manfredda, M., Spampinati, S., Penco, G., Squibb, R. J. ... Bruder, L. (2022). Extreme Ultraviolet Wave Packet Interferometry of the Autoionizing HeNe Dimer. The Journal of Physical Chemistry Letters, 13(36), 8470-8476. https://doi.org/10.1021/acs.jpclett.2c01619
Song, P., Staulund, J., Qi, H., Thrane, L., Pedersen, M., Eijken, M., Jespersen, B. & Kjems, J. (2022). Ex-vivo mRNA therapy to predict kidney vitality during transplantation. Poster session presented at Danish RNA Society's 7th Annual Meeting, Aarhus, Denmark.
Jelby, M. E., Ineson, J. R., Thibault, N., Bodin, S., Blok, C., Edvardsen, N., Clemmensen, T. S., Buls, T. & Anderskouv, K. (2022). Facies and depositional processes of Lower Cretaceous carbonates, Danish Central Graben. Bulletin of the Geological Society of Denmark, 71, 51–74. https://doi.org/10.37570/bgsd-2022-71-04
Wang, D., Wang, Z., Yang, Z., Wang, S., Tan, C., Yang, L., Hao, X., Ke, Z. & Dong, M. (2022). Facile damage-free double exposure for high-performance 2D semiconductor based transistors. Materials Today Physics, 24, Article 100678. https://doi.org/10.1016/j.mtphys.2022.100678
Aziz, H., Caragiannis, I., Igarashi, A. & Walsh, T. (2022). Fair allocation of indivisible goods and chores. Autonomous Agents and Multi-Agent Systems, 36(1), Article 3. https://doi.org/10.1007/s10458-021-09532-8
Svenningsen, E. B. (2022). Fantastic phenotypes and how to find them. [PhD dissertation, Aarhus University]. Aarhus Universitet.
Dalgaard, M. & Motzoi, F. (2022). Fast, high precision dynamics in quantum optimal control theory. Journal of Physics B: Atomic, Molecular and Optical Physics, 55(8), Article 085501. https://doi.org/10.1088/1361-6455/ac6366
Davi Resende, A. C., Railsback, D., Dowsley, R., Nascimento, A. C. A. & Aranha, D. F. (2022). Fast Privacy-Preserving Text Classification based on Secure Multiparty Computation. IEEE Transactions on Information Forensics and Security, 17, 428-442. https://doi.org/10.1109/TIFS.2022.3144007
Grinderslev, J., Skov, L. N., Andreasen, J. G., Skibsted, J., Ghorwal, S. & Jensen, T. R. (2022). Fast solid-state LI-ION conductivity in LIBH4, facilitated by a neutral molecule. Poster session presented at Gordon research conference and seminar: Batteries, California, United States.
Damgård, I., Jakobsen, T. P., Nielsen, J. B., Pagter, J. I. & Østergaard, M. B. (2022). Fast threshold ECDSA with honest majority. Journal of Computer Security, 30(1), 167-196. https://doi.org/10.3233/JCS-200112
Lashkari, S., Weisbjerg, M. R., Foldager, L. & Børsting, C. F. (2022). Fat supplement for dairy cow diets during early lactation – meta analysis. In Book of Abstracts of the 73rd Annual Meeting of the European Federation of Animal Science (pp. 668-668). Wageningen Academic Publishers. https://doi.org/10.3920/978-90-8686-937-4
Izadi, S., Aguilar de Soto, N., Constantine, R. & Johnson, M. (2022). Feeding tactics of resident Bryde's whales in New Zealand. Marine Mammal Science, 38(3), 1104-1117. https://doi.org/10.1111/mms.12918
Kerwin, P. (2022). Female Drosophila Copulation Song. [PhD dissertation, Aarhus University]. Aarhus Universitet.
Nielsen, K. H. (2022). Feministisk forskning. Weekendavisen, Sektion 4 (Ideer), 13.
Qiang, J., Zhou, L., Lu, P., Lin, K., Ma, Y., Pan, S., Lu, C., Jiang, W., Sun, F., Zhang, W., Li, H., Gong, X., Averbukh, I. S., Prior, Y., Schouder, C. A., Stapelfeldt, H., Cherepanov, I. N., Lemeshko, M., Jäger, W. & Wu, J. (2022). Femtosecond Rotational Dynamics of D2 Molecules in Superfluid Helium Nanodroplets. Physical Review Letters, 128(24), Article 243201. https://doi.org/10.1103/PhysRevLett.128.243201
Bhattacharya, U., Chaudhary, S., Grass, T., Johnson, A. S., Wall, S. & Lewenstein, M. (2022). Fermionic Chern insulator from twisted light with linear polarization. Physical Review B, 105(8), Article L081406 . https://doi.org/10.1103/PhysRevB.105.L081406
Linnartz, J. F., Müller, C. S. A., Hsu, Y. T., Nielsen, C. B., Bremholm, M., Hussey, N. E., Carrington, A. & Wiedmann, S. (2022). Fermi surface and nested magnetic breakdown in WTe2. Physical Review Research , 4(1), Article L012005 . https://doi.org/10.1103/PhysRevResearch.4.L012005
Borisenko, S., Fedorov, A., Kuibarov, A., Bianchi, M., Bezguba, V., Majchrzak, P., Hofmann, P., Baumgärtel, P., Voroshnin, V., Kushnirenko, Y., Sánchez-Barriga, J., Varykhalov, A., Ovsyannikov, R., Morozov, I., Aswartham, S., Feia, O., Harnagea, L., Wurmehl, S., Kordyuk, A. ... Büchner, B. (2022). Fermi surface tomography. Nature Communications, 13(1), Article 4132. https://doi.org/10.1038/s41467-022-31841-z
Baum, C., Jadoul, R., Orsini, E., Scholl, P. & Smart, N. P. (2022). Feta: Efficient Threshold Designated-Verifier Zero-Knowledge Proofs. In CCS'22 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (pp. 293-306). Association for Computing Machinery. https://doi.org/10.1145/3548606.3559354
Christiansen, F., Uhart, M. M., Bejder, L., Clapham, P., Ivashchenko, Y., Tormosov, D., Lewin, N. & Sironi, M. (2022). Fetal growth, birth size and energetic cost of gestation in southern right whales. Journal of Physiology, 600(9), 2245-2266. https://doi.org/10.1113/JP282351