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

Frumin, D., Krebbers, R. & Birkedal, L. (2021). ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity. Logical Methods in Computer Science, 17(3), Article 9. https://doi.org/10.46298/lmcs-17(3:9)2021

Georges, A. L., Guéneau, A., Van Strydonck, T., Timany, A., Trieu, A., Devriese, D. & Birkedal, L. (2021). Cap’ ou pas cap’ ?: Preuve de programmes pour une machine à capacités en présence de code inconnu. In Journées Francophones des Langages Applicatifs 2021 Institut de Recherche en Informatique Fondamentale. https://researchportal.vub.be/en/publications/cap-ou-pas-cap-preuve-de-programmes-pour-une-machine-%C3%A0-capacit%C3%A9s-

Stetkær, H. (2021). k-Valued Wilson functions. Aequationes Mathematicae, 95(6), 1131-1147. https://doi.org/10.1007/s00010-021-00784-z

Eyni, H., Ghorbani, S., Nazari, H., Hajialyani, M., Razavi Bazaz, S., Mohaqiq, M., Ebrahimi Warkiani, M. & Sutherland, D. S. (2021). Advanced bioengineering of male germ stem cells to preserve fertility. Journal of Tissue Engineering, 12. https://doi.org/10.1177/20417314211060590

Yang, T. Z., Zuo, Z. Y., Li, G., Bedding, T. R., Murphy, S. J. & Joyce, M. (2021). TIC 308396022: δ Scuti-γ Doradus hybrid with large-Amplitude radial fundamental mode and regular g-mode period spacing. Astronomy and Astrophysics, 655, Article A63. https://doi.org/10.1051/0004-6361/202142198

Zuo, B., Hu, X., Wang, L., Cai, Y., Kass, M. A. & Leão-Santos, M. (2021). 3-D Magnetic Unstructured Inversion. Journal of Geophysical Research: Solid Earth, 126(11), Article e2021JB022668. https://doi.org/10.1029/2021JB022668

Møller, I. M., Rasmusson, A. G. & Van Aken, O. (2021). Plant mitochondria – past, present and future. Plant Journal, 108(4), 912-959. https://doi.org/10.1111/tpj.15495

Quesada, C. M. D., Atwood, T. B., Kairo, J. G., Krause-Jensen, D., Lovelock, C. E., Serrano, O. & Eller, F. (2021). UNESCO Marine World Heritage: Custodians of the globe's blue carbon assets. Unesco. https://ioc.unesco.org/news/unesco-marine-world-heritage-custodians-globes-blue-carbon-assets

Abate, C., Haselwarter, P. G., Rivas, E., Muylder, A. V., Winterhalter, T., Hriţcu, C., Maillard, K. & Spitters, B. (2021). SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. In Proceedings - 2021 IEEE 34th Computer Security Foundations Symposium, CSF 2021 IEEE. https://doi.org/10.1109/CSF51468.2021.00048

Sidorenco, N., Oechsner, S. & Spitters, B. (2021). Formal security analysis of MPC-in-the-head zero-knowledge protocols. In Proceedings - 2021 IEEE 34th Computer Security Foundations Symposium, CSF 2021 (pp. 607-620). IEEE. https://doi.org/10.1109/CSF51468.2021.00050

Thomsen, S. E. & Spitters, B. (2021). Formalizing Nakamoto-Style Proof of Stake. In Proceedings - 2021 IEEE 34th Computer Security Foundations Symposium, CSF 2021 IEEE. https://doi.org/10.1109/CSF51468.2021.00042

Abate, C., Haselwarter, P. G., Rivas, E., Muylder, A. V., Winterhalter, T., Hritcu, C., Maillard, K. & Spitters, B. (2021). SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. (pp. 397). Cryptology ePrint Archive. https://eprint.iacr.org/2021/397

Hvass, B. S., Aranha, D. F. & Spitters, B. (2023). High-assurance field inversion for curve-based cryptography. In 2023 IEEE 36th Computer Security Foundations Symposium (CSF) (pp. 552-567). IEEE. https://doi.org/10.1109/CSF57540.2023.00008

Chatterjee, K., Ibsen-Jensen, R. & Pavlogiannis, A. (2021). Quantitative Verification on Product Graphs of Small Treewidth. In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021) (Vol. ´, pp. 42:1-42:23). Article 42 https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42

Mirbagheri, N., Campos, R. & Ferapontova, E. E. (2021). Electrocatalytic Oxidation of Water by OH⁻- and H₂O-Capped IrO_x Nanoparticles Electrophoretically Deposited on Graphite and Basal Plane HOPG: Effect of the Substrate Electrode**. ChemElectroChem, 8(9), 1632-1641. https://doi.org/10.1002/celc.202100317

Kamp, S. H., Magri, B., Matt, C., Nielsen, J. B., Thomsen, S. E. & Tschudi, D. (2021). Weight-Based Nakamoto-Style Blockchains. In P. Longa & C. Ràfols (Eds.), Progress in Cryptology – LATINCRYPT 2021: 7th International Conference on Cryptology and Information Security in Latin America Bogotá, Colombia, October 6–8, 2021, Proceedings (pp. 299-319). Springer International Publishing. https://doi.org/10.1007/978-3-030-88238-9_15

Mørup, N., Stakaitis, R., Golubickaite, I., Riera, M., Dalgaard, M. D., Schierup, M. H., Jørgensen, N., Daugaard, G., Juul, A. & Almstrup, K. (2021). Small RNAs in Seminal Plasma as Novel Biomarkers for Germ Cell Tumors. Cancers, 13(10), Article 2346. https://doi.org/10.3390/cancers13102346

Jensen, K. T. & Melbye, K. (2021). Østers: En natur- og kulturhistorie. Aarhus Universitetsforlag.

Fogedby, H. C. (2021). Aspects of the disordered harmonic chain. Journal of Physics A: Mathematical and Theoretical, 54(14), Article 145001. https://doi.org/10.1088/1751-8121/abe5cd

Hedegaard Morsing, L., Sheikh-Omar, O. A. & Iosifidis, A. (2021). Supervised Domain Adaptation: A Graph Embedding Perspective and a Rectified Experimental Protocol. IEEE Transactions on Image Processing, 30, 8619-8631. https://doi.org/10.1109/TIP.2021.3118978

Darki, A. A., Madsen, S. P. & Dantan, A. R. (2022). Polarization-independent optical spatial differentiation with a doubly-resonant one-dimensional guided-mode grating. Optics Express, 30(3), 3962-3972. https://doi.org/10.1364/OE.450981

Moeslund, J. E., Nygaard, B., Normand, S. & Madsen, B. (2021). Udredning af alternative datakilder i NOVANA-programmets naturtypeovervågning. Aarhus University, DCE - Danish Centre for Environment and Energy. Videnskabelig rapport fra DCE - Nationalt Center for Miljø og Energi No. 458 https://dce2.au.dk/pub/SR458.pdf

Ahmadpanah, M. M., Askarov, A. & Sabelfeld, A. (2021). Nontransitive policies transpiled. In 2021 IEEE European Symposium on Security and Privacy (EuroS&P) (pp. 543-561). IEEE. https://doi.org/10.1109/EuroSP51992.2021.00043

Bocková, J., Jones, N. C., Leyva, V., Gaysinski, M., Hoffmann, S. V. & Meinert, C. (2022). Concentration and pH effect on the electronic circular dichroism and anisotropy spectra of aqueous solutions of glyceric acid calcium salt. Chirality, 34(2), 245-252. https://doi.org/10.1002/chir.23407

Daugbjerg, T. S., Lichtenberger, A., Lindroos, A., Raja, R. & Olsen, J. (2022). Revisiting radiocarbon dating of lime mortar and lime plaster from Jerash in Jordan: Sample preparation by stepwise injection of diluted phosphoric acid. Journal of Archaeological Science: Reports, 41, Article 103244. https://doi.org/10.1016/j.jasrep.2021.103244

Jørgensen, J. R., Nellemann, K. S. & Assent, I. (2021). GPU-INSCY: A GPU-Parallel Algorithm and Tree Structure for Efficient Density-based Subspace Clustering. 25-36. Paper presented at 24th International Conference on Extending Database Technology. https://doi.org/10.5441/002/edbt.2021.04

Baum, C., David, B. & Frederiksen, T. K. (2021). P2DEX: Privacy-Preserving Decentralized Cryptocurrency Exchange. In K. Sako & N. O. Tippenhauer (Eds.), Applied Cryptography and Network Security - 19th International Conference, ACNS 2021, Proceedings (pp. 163-194). Springer. https://doi.org/10.1007/978-3-030-78372-3_7

Baum, C., Malozemoff, A. J., Scholl, P. & Rosen, M. (2021). Mac’n’Cheese: Zero-Knowledge Proofs for Boolean and Arithmetic Circuits with Nested Disjunctions. In Advances in Cryptology – CRYPTO 2021 - 41st Annual International Cryptology Conference, CRYPTO 2021, Proceedings: Proceedings (pp. 92-122). Springer. https://doi.org/10.1007/978-3-030-84259-8_4

Baum, C., David, B., Dowsley, R., Nielsen, J. B. & Oechsner, S. (2021). TARDIS: A Foundation of Time-Lock Puzzles in UC. In Advances in Cryptology – EUROCRYPT 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (pp. 429-459). Springer. https://doi.org/10.1007/978-3-030-77883-5_15

Segal, S., Adi, Y., Pinkas, B., Baum, C., Ganesh, C. & Keshet, J. (2021). Fairness in the Eyes of the Data: Certifying Machine-Learning Models. In AIES 2021 - Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society (pp. 926-935). Association for Computing Machinery. https://doi.org/10.1145/3461702.3462554

Wittig, N. K., Østergaard, M., Palle, J., Christensen, T. E. K., Langdahl, B. L., Rejnmark, L., Hauge, E. M., Brüel, A., Thomsen, J. S. & Birkedal, H. (2022). Opportunities for biomineralization research using multiscale computed X-ray tomography as exemplified by bone imaging. Journal of Structural Biology, 214(1), Article 107822. https://doi.org/10.1016/j.jsb.2021.107822

Tchernavskij, P. (2021). Case Study: Biodiversity Galiano.

Buhl, H. (2021). Fagligt forord. In S. Barrett (Ed.), Sigurd fortæller om naturvidenskab (pp. 11-12). Politikens Forlag.

Lund, H. E., Volckaert, K., Majchrzak, P., Jones, A. J. H., Bianchi, M., Bremholm, M. & Hofmann, P. (2021). Bulk band structure of Sb₂Te₃ determined by angle-resolved photoemission spectroscopy. Physical Chemistry Chemical Physics, 23(46), 26401-26406. https://doi.org/10.1039/d1cp04031f

Collet, F., Leisen, F. & Thorbjørnsen, S. (2021). Completely random measures and Lévy bases in free probability. Electronic Journal of Probability, 26, 1-41. Article 49. https://doi.org/10.1214/21-EJP620

Juelsholt, M., Anker, A. S., Christiansen, T. L., Jørgensen, M. R. V., Kantor, I., Sørensen, D. R. & Jensen, K. M. Ø. (2021). Size-induced amorphous structure in tungsten oxide nanoparticles. Nanoscale, 13(47), 20144-20156. https://doi.org/10.1039/D1NR05991B

Heydenreich, M. & Hirsch, C. (2022). Extremal linkage networks. Extremes, 25(2), 229-255. https://doi.org/10.1007/s10687-021-00433-3

Chenavier, N. & Hirsch, C. (2022). Extremal lifetimes of persistent cycles. Extremes, 25(2), 299-330. https://doi.org/10.1007/s10687-021-00430-6

Krebs, J. & Hirsch, C. (2022). Functional central limit theorems for persistent Betti numbers on cylindrical networks. Scandinavian Journal of Statistics, 49(1), 427-454. https://doi.org/10.1111/sjos.12524

Bethuelsen, S. A., Hirsch, C. & Mönch, C. (2021). Quenched invariance principle for random walks on dynamically averaging random conductances. Electronic Communications in Probability, 26, 1-13. Article 69. https://doi.org/10.1214/21-ECP440

Grinderslev, J., Amdisen, M. B., Skov, L. N., Møller, K. T., Kristensen, L. G., Polanski, M., Heere, M. & Jensen, T. R. (2022). New Perspectives of Functional Metal Borohydrides. Journal of Alloys and Compounds, 896, Article 163014. https://doi.org/10.1016/j.jallcom.2021.163014

Frank, S., Svensson Grape, E., Bøjesen, E. D., Larsen, R., Lamagni, P., Catalano, J., Inge, A. K. & Lock, N. (2021). Exploring the influence of atomic level structure, porosity, and stability of bismuth(III) coordination polymers on electrocatalytic CO₂reduction. Journal of Materials Chemistry A, 9(46), 26298-26310. https://doi.org/10.1039/d1ta06564e

Pennemann, F. L., Mussabekova, A., Urban, C., Stukalov, A., Andersen, L. L., Grass, V., Lavacca, T. M., Holze, C., Oubraham, L., Benamrouche, Y., Girardi, E., Boulos, R. E., Hartmann, R., Superti-Furga, G., Habjan, M., Imler, J. L., Meignin, C. & Pichlmair, A. (2021). Cross-species analysis of viral nucleic acid interacting proteins identifies TAOKs as innate immune regulators. Nature Communications, 12(1), Article 7009. https://doi.org/10.1038/s41467-021-27192-w

Hartfield, M., Poulsen, N. A., Guldbrandtsen, B. & Bataillon, T. (2021). Using singleton densities to detect recent selection in Bos taurus. Evolution Letters, 5(6), 595-606. https://doi.org/10.1002/evl3.263

Kass, M. A., Auken, E., Larsen, J. J. & Christiansen, A. V. (2021). A towed magnetic gradiometer array for rapid, detailed imaging of utility, geological, and archaeological targets. Geoscientific Instrumentation, Methods and Data Systems, 10(2), 313-323. https://doi.org/10.5194/gi-10-313-2021

Vera, I. L., Rojas, L., Contreras, C., Zuniga, F., Lopez, J., Sangüesa, C., Correa, C., Arias, C. A. & Valenzuela, M. (2021). Evaluación de humedales construidos con plantas ornamentales para el tratamiento de aguas residuales rurales en la Región del Maule: análisis del potencial de reutilización de sus efluentes en riego . AQUA-LAC, 13(2), 26-41. https://doi.org/10.29104/phi-aqualac/2021-v13-2-03

Wegeberg, S., Fritt-Rasmussen, J., Gustavson, K., Wenning, R. & Bock, M. (2021). Oil Spill Response Planning in Cold and Warm Water Environments. International Oil Spill Conference Proceedings, 2021(1). https://doi.org/10.7901/2169-3358-2021.1.688879

Xiao, L., Fiandaca, G., Maurya, P. K., Christiansen, A. V. & Lévy, L. (2021). Three-dimensional time lapse inversion of transient electromagnetic data, with application at an Icelandic geothermal site.

Evangelinos, D., Escutia, C., van de Flierdt, T., Valero, L., Flores, J. A., Harwood, D. M., Hoem, F. S., Bijl, P., Etourneau, J., Kreissig, K., Nilsson-Kerr, K., Holder, L., López-Quirós, A. & Salabarnada, A. (2022). Absence of a strong, deep-reaching Antarctic Circumpolar Current zonal flow across the Tasmanian gateway during the Oligocene to early Miocene. Global and Planetary Change, 208, Article 103718. https://doi.org/10.1016/j.gloplacha.2021.103718

Johnson, A. S., Salinas, D. P., Siddiqui, K. M., Volckaert, K., Majchrzak, P. E., Kim, S., Choi, S., Günther, C. M., Hallman, K. A., Haglund, R. F., Valvidares, M., Ulstrup, S., Park, S. H., Kim, H. & Wall, S. (2021). Time-resolved X-ray holographic imaging of the light-induced phase transition in vanadium dioxide. Paper presented at 2021 European Conference on Lasers and Electro-Optics, CLEO/Europe 2021, Virtual, Online, Germany.

Displaying results 46001 to 46050 out of 56281

921

Sort by: Date | Author | Title