Aarhus University Seal

Publications

Follow the latest publications from the Faculty of Natural Sciences.

Sort by: Date | Author | Title

Kovi, M. R., Abdelhalim, M., Kunapareddy, A., Ergon, Å., Tronsmo, A. M., Brurberg, M. B., Hofgaard, I. S., Asp, T. & Rognli, O. A. (2016). Global transcriptome changes in perennial ryegrass during early infection by pink snow mould. Scientific Reports, 6, Article 28702. https://doi.org/10.1038/srep28702
Bøttger, P., Pedersen, S. G., Gesslein, B., Illarionova, N., Isaksen, T. J., Heuck, A., Clausen, B. H., Füchtbauer, E.-M., Gramsbergen, J. B., Gunnarson, E., Aperia, A., Lauritzen, M., Lambertsen, K. L., Nissen, P. & Lykke-Hartmann, K. (2016). Glutamate-system defects behind psychiatric manifestations in a familial hemiplegic migraine type 2 disease-mutation mouse model. Scientific Reports, 6(22047), Article 22047. https://doi.org/10.1038/srep22047
Berger-Tal, R., Berner-Aharon, N., Aharon, S., Tuni, C. & Lubin, Y. (2016). Good reasons to leave home: proximate dispersal cues in a social spider. Journal of Animal Ecology, 85(4), 1035-1042. https://doi.org/10.1111/1365-2656.12534
Machguth, H., Thomsen, H. H., Weidick, A., Ahlstrøm, A. P., Abermann, J., Andersen, M. L., Andersen, S. B., Bjørk, A. A., Box, J. E., Braithwaite, R. J., Bøggild, C. E., Citterio, M., Clement, P., Colgan, W., Fausto, R. S., Gleie, K., Gubler, S., Hasholt, B., Hynek, B. ... Van De Wal, R. S. W. (2016). Greenland surface mass-balance observations from the ice-sheet ablation area and local glaciers. Journal of Glaciology, 62(235), 861-887. https://doi.org/10.1017/jog.2016.75
Van Goethem, A., Van Kreveld, M., Löffler, M., Speckmann, B. & Staals, F. (2016). Grouping time-varying data for interactive exploration. In S. Fekete & A. Lubiw (Eds.), 32nd International Symposium on Computational Geometry, SoCG 2016 (Vol. 51, pp. 61.1-61.16). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2016.61
van Goethem, A., Van Kreveld, M., Löffler, M., Speckmann, B. & Staals, F. (2016). Grouping Time-varying Data for Interactive Exploration. 61.1-61.16. Paper presented at EuroCG 2016, Lugano, Switzerland. https://doi.org/10.4230/LIPIcs.SoCG.2016.61
Petrosyan, D., Saffman, M. & Mølmer, K. (2016). Grover search algorithm with Rydberg-blockaded atoms: quantum Monte Carlo simulations. Journal of Physics B: Atomic, Molecular and Optical Physics, 49(9), Article 094004. https://doi.org/10.1088/0953-4075/49/9/094004
Christensen, J. B., Jensen, F., Thaulov Andersen, J. E. & Hazell, R. (2016). Grundlæggende kemi. (1 ed.) Gyldendal.
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2016). Guarded cubical type theory. Abstract from 22nd International Conference on Types for Proofs and Programs, Novi Sad, Serbia. http://www.cs.au.dk/~spitters/TYPES16.pdf
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2016). Guarded Cubical Type Theory: Path Equality for Guarded Recursion. In J.-M. Talbot & L. Regnier (Eds.), CSL 2016: 25th EACSL Annual Conference on Computer Science Logic (pp. 1 - 17)
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
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
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
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
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.
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
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
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