Niraula, P., Redfield, S., Dai, F., Barragán, O., Gandolfi, D., Cauley, P. W., Hirano, T., Korth, J., Smith, A. M. S., Prieto-Arranz, J., Grziwa, S., Fridlund, M., Persson, C. M.
, Justesen, A. B., Winn, J. N.
, Albrecht, S., Cochran, W. D., Csizmadia, S., Duvvuri, G. M. ... Van Eylen, V. (2017).
Three Super-Earths Transiting the Nearby Star GJ 9827.
The Astronomical Journal,
154(6), 266. Article 266.
https://doi.org/10.3847/1538-3881/aa957c
Dai, F., Winn, J. N., Gandolfi, D., Wang, S. X., Teske, J. K., Burt, J.
, Albrecht, S., Barragán, O., Cochran, W. D., Endl, M., Fridlund, M., Hatzes, A. P., Hirano, T., Hirsch, L. A., Johnson, M. C.
, Justesen, A. B., Livingston, J., Persson, C. M., Prieto-Arranz, J. ... Wittenmyer, R. A. (2017).
The Discovery and Mass Measurement of a New Ultra-short-period Planet: EPIC 228732031b.
The Astronomical Journal,
154(6), 226.
https://doi.org/10.3847/1538-3881/aa9065
Kirillov, S., Dmitrenko, I.
, Rysgaard, S., Babb, D., Toudal Pedersen, L., Ehn, J.
, Bendtsen, J. & Barber, D. (2017).
Storm-induced water dynamics and thermohaline structure at the tidewater Flade Isblink Glacier outlet to the Wandel Sea (NE Greenland).
Ocean Science,
13(6), 947-959.
https://doi.org/10.5194/os-13-947-2017
Bianchi, F., Garmash, O., He, X., Yan, C., Iyer, S.
, Rosendahl, I., Xu, Z., Rissanen, M. P., Riva, M., Taipale, R., Sarnela, N., Petaja, T., Worsnop, D. R., Kulmala, M.
, Ehn, M. & Junninen, H. (2017).
The role of highly oxygenated molecules (HOMs) in determining the composition of ambient ions in the boreal forest.
Atmospheric Chemistry and Physics,
17(22), 13819-13831.
https://doi.org/10.5194/acp-17-13819-2017
Andersen, P. O., Hansen, L., Vu Quang, H., Kjems, J. & Meyer, R. L. (2017).
A Targeting Agent For Drug Delivery To Staphylococcus Aureus Biofilms. 198. Abstract from Eurobiofilms 2017, Amsterdam, Netherlands.
http://www.eurobiofilms.com/wp-content/uploads/2016/06/Eurobiofilms2017-Abstract-book.pdf
Michel, E., Dupret, M.-A., Reese, D.
, Ouazzani, R.-M., Debosscher, J., Hernández, A. G., Belkacem, K., Samadi, R., Salmon, S., Suarez, J. C. & Forteza, S. B. (2017).
What CoRoT tells us about δ Scuti stars. Existence of a regular pattern and seismic indices to characterize stars.
E P J Web of Conferences,
160, Article 03001.
https://doi.org/10.1051/epjconf/201716003001
Michel, E., Belkacem, K., Samadi, R., Assis Peralta, R. D., Renié, C., Abed, M., Lin, G.
, Christensen-Dalsgaard, J., Houdek, G., Handberg, R., Gizon, L., Burston, R., Nagashima, K., Pallé, P., Poretti, E., Rainer, M., Mistò, A., Panzera, M. R. & Roth, M. (2017).
Promoting access to and use of seismic data in a large scientific community. SpaceInn data handling and archiving.
E P J Web of Conferences,
160, 1011. Article 01011.
https://doi.org/10.1051/epjconf/201716001011
Lund, M. N., Handberg, R., Kjeldsen, H., Chaplin, W. J. & Christensen-Dalsgaard, J. (2017).
Data preparation for asteroseismology with TESS.
E P J Web of Conferences,
160, Article 01005.
https://doi.org/10.1051/epjconf/201716001005
Salmon, S. J. A. J.
, Ouazzani, R.-M., Antoci, V., Bedding, T. R. & Murphy, S. J. (2017).
The γ Dor stars as revealed by Kepler: A key to reveal deep-layer rotation in A and F stars.
E P J Web of Conferences,
152, 5002.
https://doi.org/10.1051/epjconf/201715205002
Krebbers, R., Jung, R.
, Bizjak, A., Jourdan, J.-H., Dreyer, D.
& Birkedal, L. (2017).
The Essence of Higher-Order Concurrent Separation Logic. In H. Yang (Ed.),
Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings (pp. 696-723). Springer VS.
https://doi.org/10.1007/978-3-662-54434-1_26
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2019).
Guarded Cubical Type Theory.
Journal of Automated Reasoning,
63(2), 211-253.
https://doi.org/10.1007/s10817-018-9471-7,
https://doi.org/10.1007/s10817-018-9471-7
Bauer, A., Gross, J., Lumsdaine, P. L., Shulman, M., Sozeau, M.
& Spitters, B. (2017).
The HoTT Library: A Formalization of Homotopy Type Theory in Coq. In Y. Bertot & V. Vafeiadis (Eds.),
CPP 2017 - Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, co-located with POPL 2017: CPP 2017 (pp. 164-172). Association for Computing Machinery.
https://doi.org/10.1145/3018610.3018615
Füchtbauer, W., Yunusov, T.
, Bozsóki, Z., Gavrin, A., James, E. K.
, Stougaard, J., Schornack, S.
& Radutoiu, S. (2018).
LYS12 LysM receptor decelerates Phytophthora palmivora disease progression in Lotus japonicus.
Plant Journal,
93(2), 297-310.
https://doi.org/10.1111/tpj.13785
Kelly, S., Sullivan, J. T.
, Kawaharada, Y., Radutoiu, S., Ronson, C. W.
& Stougaard, J. (2018).
Regulation of Nod factor biosynthesis by alternative NodD proteins at distinct stages of symbiosis provides additional compatibility scrutiny.
Environmental Microbiology,
20(1), 97-110.
https://doi.org/10.1111/1462-2920.14006
Thorsen, K., Dam, V. S., Kjaer-Sorensen, K., Pedersen, L. N., Skeberdis, V. A., Jurevičius, J., Treinys, R., Petersen, I. M. B. S., Nielsen, M. S.
, Oxvig, C., Morth, J. P., Matchkov, V. V., Aalkjær, C., Bundgaard, H.
& Jensen, H. K. (2017).
Loss-of-activity-mutation in the cardiac chloride-bicarbonate exchanger AE3 causes short QT syndrome.
Nature Communications,
8(1), Article 1696.
https://doi.org/10.1038/s41467-017-01630-0
Mutti, E., Hunger, M.
, Fedosov, S., Nexo, E. & Kräutler, B. (2017).
Organometallic DNA–B12 Conjugates as Potential Oligonucleotide Vectors: Synthesis and Structural and Binding Studies with Human Cobalamin-Transport Proteins.
ChemBioChem,
18(22), 2280-2291.
https://doi.org/10.1002/cbic.201700472
Taulet, N., Vitre, B., Anguille, C., Douanier, A., Rocancourt, M.
, Taschner, M., Lorentzen, E., Echard, A. & Delaval, B. (2017).
IFT proteins spatially control the geometry of cleavage furrow ingression and lumen positioning.
Nature Communications,
8(1), Article 1928.
https://doi.org/10.1038/s41467-017-01479-3
Thyrring, J., Blicher, M. E.
, Sørensen, J. G., Wegeberg, S. & Sejr, M. K. (2017).
Rising air temperatures will increase intertidal mussel abundance in the Arctic.
Marine Ecology - Progress Series,
584, 91-104.
https://doi.org/10.3354/meps12369
Charrieau, L. M., Filipsson, H. L., Ljung, K., Chierici, M.
, Knudsen, K. L. & Kritzberg, E. (2018).
The effects of multiple stressors on the distribution of coastal benthic foraminifera: A case study from the Skagerrak-Baltic Sea region.
Marine Micropaleontology,
139, 42-56.
https://doi.org/10.1016/j.marmicro.2017.11.004
Ørsted, M.
, Rohde, P. D., Hoffmann, A. A.
, Sørensen, P. & Kristensen, T. N. (2018).
Environmental variation partitioned into separate heritable components.
Evolution,
72(1), 136-152.
https://doi.org/10.1111/evo.13391
Graae, B. J., Vandvik, V., Armbruster, W. S.
, Eiserhardt, W. L., Svenning, J. C., Hylander, K., Ehrlén, J., Speed, J. D. M., Klanderud, K., Bråthen, K. A., Milbau, A., Opedal, Ø. H., Alsos, I. G.
, Ejrnæs, R., Bruun, H. H., Birks, H. J. B., Westergaard, K. B., Birks, H. H.
& Lenoir, J. (2018).
Stay or go - how topographic complexity influences alpine plant population and community responses to climate change.
Perspectives in Plant Ecology, Evolution and Systematics,
30(February), 41-50.
https://doi.org/10.1016/j.ppees.2017.09.008
Liang, C., Feng, G., Si, X., Mao, L., Yang, G.
, Svenning, J. C. & Yang, J. (2018).
Bird species richness is associated with phylogenetic relatedness, plant species richness, and altitudinal range in Inner Mongolia.
Ecology and Evolution,
8(1), 53-58.
https://doi.org/10.1002/ece3.3606
Pellissier, V., Mimet, A., Fontaine, C.
, Svenning, J. C. & Couvet, D. (2017).
Relative importance of the land-use composition and intensity for the bird community composition in anthropogenic landscapes.
Ecology and Evolution,
7(24), 10513-10535.
https://doi.org/10.1002/ece3.3534
Szalanski, M., Kristensen, T., Difford, G., Løvendahl, P. & Lassen, J. (2017).
Methane emission in Jersey cows during spring transition from in-door feeding to grazing. In
Book of Abstracts of the 68th Annual Meeting of the European Federation of Animal Science (2017 ed., Vol. 23, pp. 148-148). Wageningen Academic Publishers.
https://doi.org/10.3920/978-90-8686-859-9
de Haas, Y., Pryce, J. E., Wall, E., McParland, S., Manzanilla-Pech, C.
, Difford, G. & Lassen, J. (2016).
Genomic selection for methane emission.
Journal of Animal Science,
94(supplement 5), 197-198. Article 0407.
https://doi.org/10.2527/jam2016-0407
Difford, G., de Haas, Y., Visker, M. H. P. W.
, Lassen, J., Bovenhuis, H., Veerkamp, R. F.
& Løvendahl, P. (2017).
Do breath gas measurements hold the key to unlocking the genetics of feed efficiency in dairy cows?. 184. Abstract from 68th Annual Meeting of the European Federation of Animal Science , Tallinn, Estonia.
Lund, M. N., Aguirre, V. S., Davies, G. R., Chaplin, W. J., Christensen-Dalsgaard, J., Houdek, G., White, T. R., Bedding, T. R., Ball, W. H.
, Huber, D., Antia, H. M., Lebreton, Y., Latham, D. W.
, Handberg, R., Verma, K., Basu, S., Casagrande, L.
, Justesen, A. B., Kjeldsen, H. & Mosumgaard, J. R. (2017).
Erratum: Standing on the Shoulders of Dwarfs: The Kepler Asteroseismic LEGACY Sample. I. Oscillation Mode Parameters (2017. Apj, 835, 172).
Astronomical Journal,
850(1), Article 110.
https://doi.org/10.3847/1538-4357/aa9658
Gutierrez, C. P., Anderson, J. P., Hamuy, M., Gonzalez-Gaitan, S., Galbany, L., Dessart, L.
, Stritzinger, M. D., Phillips, M. M., Morrell, N. & Folatelli, G. (2017).
Type II Supernova Spectral Diversity. II. Spectroscopic and Photometric Correlations.
Astrophysical Journal,
850(1), Article 90.
https://doi.org/10.3847/1538-4357/aa8f42
Applebaum, B.
, Damgård, I., Ishai, Y.
, Nielsen, M. & Zichron, L. (2017).
Secure Arithmetic Computation with Constant Computational Overhead. In H. Shacham & J. Katz (Eds.),
Advances in Cryptology – CRYPTO 2017 - 37th Annual International Cryptology Conference, Proceedings (Vol. 10401, pp. 223-254). Springer VS.
https://doi.org/10.1007/978-3-319-63688-7_8
Cramer, R.
, Damgård, I., Döttling, N., Giacomelli, I. & Xing, C. (2017).
Linear-Time Non-Malleable Codes in the Bit-Wise Independent Tampering Model. In J. Shikata (Ed.),
Information Theoretic Security - 10th International Conference, ICITS 2017, Proceedings (Vol. 10681, pp. 1-25). Springer VS.
https://doi.org/10.1007/978-3-319-72089-0_1
Cascudo, I., Damgård, I., Farràs, O.
& Ranellucci, S. (2017).
Resource-Efficient OT Combiners with Active Security. In Y. Kalai & L. Reyzin (Eds.),
Theory of Cryptography - 15th International Conference, TCC 2017, Proceedings (Vol. 10678, pp. 461-486). Springer VS.
https://doi.org/10.1007/978-3-319-70503-3_15
Krebbers, R., Timany, A. & Birkedal, L. (2017).
Interactive proofs in higher-order concurrent separation logic. In A. D. Gordon & G. Castagna (Eds.),
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017 (pp. 205-217). Association for Computing Machinery.
https://doi.org/10.1145/3009837.3009855