Publications

Follow the latest publications from the Faculty of Natural Sciences.

Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2016, Aug 1). Guarded Cubical Type Theory. https://doi.org/10.4230/LIPIcs.CSL.2016.23

Bizjak, A., Grathwohl, H. B., Clouston, R., Møgelberg, R. E. & Birkedal, L. (2016). Guarded dependent type theory with coinductive types. In B. Jacobs & C. Löding (Eds.), Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016 (Vol. 9634, pp. 20-35). Springer VS. https://doi.org/10.1007/978-3-662-49630-5_2

Grathwohl, H. B. (2016). Guarded Recursive Type Theory. Department of Computer Science, Aarhus University.

Arge, L. & Pach, J. (2016). Guest Editors’ Foreword. Discrete & Computational Geometry, 56(4), 833–835. https://doi.org/10.1007/s00454-016-9826-y

Bondesgaard, M., Becker, J., Jusseau, X., Hellstern, H. C., Mamakhel, M. A. H. & Iversen, B. B. (2016). Guide to by-products formed in organic solvents under solvothermal conditions. The Journal of Supercritical Fluids, 113, 166-197. https://doi.org/10.1016/j.supflu.2016.02.012

Kodal, A. L. B. (2016). Guiding Macromolecular Assembly by DNA.

Basse, K., Shankar, R., Bjerring, M., Vosegaard, T., Nielsen, N. C. & Nielsen, A. B. (2016). Handling the influence of chemical shift in amplitude-modulated heteronuclear dipolar recoupling solid-state NMR. Journal of Chemical Physics, 145(9), Article 094202. https://doi.org/10.1063/1.4961736

Mitchell, R., Fender, A. & Mueller, F. F. (2016). HandyFeet: Social Bodily Play Via Split Control of a Human Puppet's Limbs. In TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction (pp. 506-511). Association for Computing Machinery. https://doi.org/10.1145/2839462.2856531

Bødker, S., Korsgaard, H., Lyle, P. & Saad-Sulonen, J. (2016). Happenstance, Strategies and Tactics: Intrinsic Design in a Volunteer-based Community. In W. Barendregt & M. Obaid (Eds.), Proceedings of the 9th Nordic Conference on Human-Computer Interaction: Game-Changing Design, NordiCHI 2016 (pp. 10:1-10:10). Article a10 Association for Computing Machinery. https://doi.org/10.1145/2971485.2971564

Nue, V. (2016). Harnessing Catechol Chemistry for Material Design. Aarhus University.

Swann, A. F. (2016). Hashimoto, Hideya, Ohashi, Misa. On fibre bundle structures of Stiefel manifolds related to the octonions. Topology Appl. 196 (2015), part B, 483--491. MathSciNet, Article MR3430991.

Jorissen, A., Hansen, T., Van Eck, S., Andersen, J., Nordström, I. B., Siess, L., Torres, G., Masseron, T. & Van Winckel, H. (2016). HE 0017+0055: A probable pulsating CEMP-rs star and long-period binary. Astronomy & Astrophysics (A&A), 586, Article A159. https://doi.org/10.1051/0004-6361/201526993

Borg, E. & Jensen, T. R. (2016). Heat management in high-pressure hydrogen tanks. Poster session presented at Hydrides as Energy Materials.

Larsen, K. G., Nelson, J., Nguyen, H. L. & Thorup, M. (2016). Heavy hitters via cluster-preserving clustering. In Proceedings - 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016 (pp. 61-70). Article 7782918 IEEE. https://doi.org/10.1109/FOCS.2016.16

Holm, S. L., Lefmann, K., Henry, P. F., Bertelsen, M., Schefer, J. & Christensen, M. (2016). HEIMDAL: A thermal neutron powder diffractometer with high and flexible resolution combined with SANS and neutron imaging – Designed for materials science studies at the European Spallation Source. Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, 828, 229-241. https://doi.org/10.1016/j.nima.2016.05.046

Foley, N., Tulaczyk, S., Auken, E., Schamper, C., Dugan, H., Mikucki, J., Virginia, R. & Doran, P. (2016). Helicopter-borne transient electromagnetics in high-latitude environments: An application in the McMurdo Dry Valleys, Antarctica. Geophysics, 81(1), WA87-WA99. https://doi.org/10.1190/GEO2015-0186.1

Hinrichsen, L. K., Labouriau, R., Engberg, R. M., Knierim, U. & Sørensen, J. T. (2016). Helminth infection is associated with hen mortality in Danish organic egg production. Veterinary Record, 179(8), 196. https://doi.org/10.1136/vr.103614

Fukudome, M., Calvo-Begueria, L., Kado, T., Osuki, K., Rubio, M. C., Murakami, E., Nagata, M., Kucho, K., Sandal, N. N., Stougaard, J., Becana, M. & Uchiumi, T. (2016). Hemoglobin LjGlb1-1 is involved in nodulation and regulates the level of nitric oxide in the Lotus japonicus-Mesorhizobium loti symbiosis. Journal of Experimental Botany, 67(17), 5275-5283. https://doi.org/10.1093/jxb/erw290

Olsson, T., MacMillan, H. A., Nyberg, N., Staerk, D., Malmendal, A. & Overgaard, J. (2016). Hemolymph metabolites and osmolality are tightly linked to cold tolerance of Drosophila species: a comparative study. Journal of Experimental Biology, 219(16), 2504-2513. https://doi.org/10.1242/jeb.140152

Danielsen, K. & Sørensen, H. K. (2016). Herons formel: Hvordan en aleksandriner fik sat mål på alle slags trekanter. Matematiklærerforeningen.

Jimenez Mena, B., Hospital, F. & Bataillon, T. (2016). Heterogeneity of effective population size and its implications in conservation genetics and animal breeding. Conservation Genetics Resources, 8(1), 35-41. https://doi.org/10.1007/s12686-015-0508-5

Ling, M., Wex, H., Grawe, S., Santl-Temkiv, T., Jakobsson, J., Finster, K., Hartmann, S. & Boesen, T. (2016). Heterogeneous ice nucleation of bacterial ice nucleation protein. Abstract from The Nordic Society for Aerosol Research (NOSA) Aerosol Symposium, Aarhus, Denmark.

Equbal, A., Bjerring, M., Sharma, K., Madhu, P. K. & Nielsen, N. C. (2016). Heteronuclear decoupling in MAS NMR in the intermediate to fast sample spinning regime. Chemical Physics Letters, 644, 243-249. https://doi.org/10.1016/j.cplett.2015.12.014

Equbal, A. (2016). Heteronuclear Dipolar Decoupling in Solid-State Magic-Angle-Spinning NMR: Development of spins decoupling schemes using numerical simulations and Floquet theory. Aarhus University. https://pure.au.dk/admin/files/102329357/Thesis_Printed_Copy.pdf

Lambertini, C. (2016). Heteroplasmy due to chloroplast paternal leakage: another insight into Phragmites haplotypic diversity in North America. Biological Invasions, 18(9), 2443-2455. https://doi.org/10.1007/s10530-016-1193-3

Hahn, U. & Jensen, E. B. V. (2016). Hidden Second-order Stationary Spatial Point Processes. Scandinavian Journal of Statistics, 43(2), 455-475. https://doi.org/10.1111/sjos.12185

Vanthournout, B. & Hendrickx, F. (2016). Hidden suppression of sex ratio distortion suggests Red queen dynamics between Wolbachia and its dwarf spider host. Journal of Evolutionary Biology, 29(8), 1488-1494. https://doi.org/10.1111/jeb.12861

Borge, M. J. G. & Riisager, K. (2016). HIE-ISOLDE, the project and the physics opportunities. The European Physical Journal A: Hadrons and Nuclei, 52(11), Article 334. https://doi.org/10.1140/epja/i2016-16334-4

Bak, B. A. & Jensen, J. L. (2016). High dimensional classifiers in the imbalanced case. Computational Statistics & Data Analysis, 98, 46-59. https://doi.org/10.1016/j.csda.2015.12.009

Fiala, R., Figueroba, A., Bruix, A., Vaclavu, M., Rednyk, A., Khalakhan, I., Vorokhta, M., Lavkova, J., Illas, F., Potin, V., Matolinova, I., Neyman, K. M. & Matolin, V. (2016). High efficiency of Pt2+ - CeO2 novel thin film catalyst as anode for proton exchange membrane fuel cells. Applied Catalysis B: Environment and Energy, 197, 262-270. https://doi.org/10.1016/j.apcatb.2016.02.036

Lu, Y.-W., Huang, C., Cheng, J.-G. & Larsen, A. N. (2016). High Er3+ luminescent efficiency in Er-doped SiOx films containing amorphous Si nanodots. Journal of Alloys and Compounds, 676, 428-431. https://doi.org/10.1016/j.jallcom.2016.03.184

Jung, R., Krebbers, R., Birkedal, L. & Dreyer, D. (2016). Higher-order ghost state. In E. Sumii (Ed.), ICFP 2016 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (pp. 256-269). Association for Computing Machinery. https://doi.org/10.1145/2951913.2951943

Sanna, S., Esposito, V., Christensen, M. & Pryds, N. (2016). High ionic conductivity in confined bismuth oxide-based heterostructures. APL Materials, 4(12), 1-5. Article 121101. https://doi.org/10.1063/1.4971801

Álvarez-Martos, I. & Ferapontova, E. (2016). Highly Biospecific Self-assembled Aptasensors for Dopamine Analysis. Abstract from 3rd International Conference on Self Assembly and Molecular Electronics, Denmark.

Equbal, A., Basse, K. & Nielsen, N. C. (2016). Highly efficient F-19 heteronuclear decoupling in solid-state NMR spectroscopy using supercycled refocused-CW irradiation. Physical Chemistry Chemical Physics, 18(45), 30990-30997. https://doi.org/10.1039/c6cp06574k

Li, Z., Hu, Y., Chang, M., Howard, K., Fan, X., Sun, Y., Besenbacher, F. & Yu, M. (2016). Highly porous PEGylated Bi2S3 nano-urchins as a versatile platform for in vivo triple-modal imaging, photothermal therapy and drug delivery. Nanoscale, 8(35), 16005-16016. https://doi.org/10.1039/C6NR03398A

Samatov, I. (2016). High-mobility tungsten-doped indium oxide as transparent-electrode material for solar cells.

Kristensen, K., Watne, Å., Hammes, J., Lutz, A., Petäjä, T., Hallquist, M., Bilde, M. & Glasius, M. (2016). High-Molecular Weight Dimer Esters Are Major Products in Aerosols from α-Pinene Ozonolysis and the Boreal Forest. Environmental Science & Technology Letters, 3(8), 280-285. https://doi.org/10.1021/acs.estlett.6b00152

Feng, G., Mao, L., Sandel, B. S., Swenson, N. G. & Svenning, J.-C. (2016). High plant endemism in China is partially linked to reduced glacial-interglacial climate change. Journal of Biogeography, 43(1), 145-154. https://doi.org/10.1111/jbi.12613

Nissen, P. E. (2016). High-precision abundances of Sc, Mn, Cu, and Ba in solar twins Trends of element ratios with stellar age. Astronomy & Astrophysics (A&A), 593, Article A65. https://doi.org/10.1051/0004-6361/201628888

Southworth, J., Tregloan-Reed, J., Andersen, M. I., Calchi Novati, S., Ciceri, S., Colque, J. P., D'Ago, G., Dominik, M., Evans, D. F., Gu, S.-H., Herrera-Cordova, A., Hinse, T. C., Jørgensen, U. G., Juncher, D., Kuffmeier, M., Mancini, L., Peixinho, N., Popovas, A., Rabus, M. ... Wang, Y. (2016). High-precision photometry by telescope defocussing - VIII. WASP-22, WASP-41, WASP-42 and WASP-55. Royal Astronomical Society. Monthly Notices, 457(4), 4205-4217. https://doi.org/10.1093/mnras/stw279

Nielsen, M. B. (2016). High Pressure - A different approach to materials science.

Fassmer, K., Obermüller, G., Nagel, T., Kirst, F., Froitzheim, N., Sandmann, S., Miladinova, I., Fonseca, R. OC. & Münker, C. (2016). High-pressure metamorphic age and significance of eclogite-facies continental fragments associated with oceanic lithosphere in the Western Alps (etirol-levaz slice, valtournenche, Italy). Lithos, 252-253, 145–159. https://doi.org/10.1016/j.lithos.2016.02.019

Borup, M. A., Blichfeld, A. B., Madsen, S. R. & Iversen, B. B. (2016). High-pressure single crystal X-ray diffraction study of thermoelectric ZnSb and β-Zn₄Sb₃. Dalton Transactions, 45(38), 15097-15103. https://doi.org/10.1039/C6DT02323A

Kronbo, C. H., Nielsen, M. B., Munkholm Kevy, S., Parisiades, P. & Bremholm, M. (2016). High pressure structural studies of two SrIrO3 perovskite polymorphs. Poster session presented at DanScatt meeting, København, Denmark.

Kronbo, C. H., Nielsen, M. B., Kevy, S. M., Parisiades, P. & Bremholm, M. (2016). High pressure structure studies of 6H-SrIrO₃ and the octahedral tilting in 3C-SrIrO₃ towards a post-perovskite. Journal of Solid State Chemistry, 238, 74-82. https://doi.org/10.1016/j.jssc.2016.03.012

Tumanov, N. A., Roedern, E., Łodziana, Z., Nielsen, D. B., Jensen, T. R., Talyzin, A. V., Cerny, R., Chernyshov, D., Dmitriev, V., Palasyuk, T. & Filinchuk, Y. (2016). High-Pressure Study of Mn(BH₄)₂ Reveals a Stable Polymorph with High Hydrogen Density. Chemistry of Materials, 28(1), 274-283. https://doi.org/10.1021/acs.chemmater.5b04102

Jørgensen, J.-E., Filinchuk, Y. & Dmitriev, V. (2016). High-pressure X-ray diffraction study of GaF₃. Poster session presented at European Powder Diffraction Conference, Bari, Italy.

Sonne, J., Martín González, A. M., Maruyama, P. K., Sandel, B. S., Vizentin-Bugoni, J., Schleuning, M., Abrahamczyk, S., Alarcón, R., Araujo, A. C., Araújo, F. P., de Azevedo, S. M., Baquero, A. C., Cotton, P. A., Ingversen, T. T., Kohler, G., Lara, C., Las-Casas, F. M. G., Machado, A. O., Machado, C. G. ... Dalsgaard, B. (2016). High proportion of smaller ranged hummingbird species coincides with ecological specialization across the Americas. Proceedings of the Royal Society B: Biological Sciences, 283(1824), Article 20152512. https://doi.org/10.1098/rspb.2015.2512

Displaying results 19051 to 19100 out of 53853

382

Revised 05.03.2026

NAT web support