Vidal, J. M.
, Fonseca, A., Ruiz, P., Sepúlveda, D., Carrasco, C., Scilipoti, S., Barros, J., Valenzuela, A., Saavedra, R., Ruiz-Tagle, N. & Urrutia, H. (2023).
Genomic features of Pseudomonas sp. RGM2144 correlates with increased survival of rainbow trout infected by Flavobacterium psychrophilum.
Journal of Fish Diseases,
46(1), 1-15.
https://doi.org/10.1111/jfd.13713Gauthier, G., Ehrich, D., Belke-Brea, M., Domine, F., Alisauskas, R., Clark, K., Ecke, F., Eide, N. E., Framstad, E., Frandsen, J., Gilg, O., Henttonen, H., Hörnfeldt, B., Kataev, G. D., Menyushina, I. E., Oksanen, L., Oksanen, T., Olofsson, J., Samelius, G.
... Schmidt, N. M. (2024).
Taking the beat of the Arctic: are lemming population cycles changing due to winter climate? Proceedings of the Royal Society B: Biological Sciences,
291(2016), Article 20232361.
https://doi.org/10.1098/rspb.2023.2361Borbye-Lorenzen, N.
, Zhu, Z., Agerbo, E., Albiñana, C., Benros, M. E., Bian, B.
, Børglum, A. D., Bulik, C. M.
, Debost, J.-C. P. G., Grove, J., Hougaard, D. M., McRae, A. F.
, Mors, O., Mortensen, P. B., Musliner, K. L., Nordentoft, M.
, Petersen, L. V., Privé, F., Sidorenko, J.
... McGrath, J. J. (2023).
The correlates of neonatal complement component 3 and 4 protein concentrations with a focus on psychiatric and autoimmune disorders.
Cell Genomics,
3(12), 100457. Article 100457.
https://doi.org/10.1016/j.xgen.2023.100457Nieto, A., Daby-Seesaram, A.
, Gondelman, L., Timany, A. & Birkedal, L. (2023).
Modular Verification of State-Based CRDTs in Separation Logic. In K. Ali & G. Salvaneschi (Eds.),
37th European Conference on Object-Oriented Programming, ECOOP 2023 Article 22 Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.ECOOP.2023.22
Timany, A., Gregersen, S. O., Stefanesco, L.
, Hinrichsen, J. K., Gondelman, L., Nieto, A.
& Birkedal, L. (2024).
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement.
Proceedings of the ACM on Programming Languages ,
8, Article 9.
https://doi.org/10.1145/3632851
Pientka, B., Blazy, S., Traytel, D.
& Timany, A. (2024).
Welcome from the Chairs. In
CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024 (pp. iii-iv)
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. 157-173. Paper presented at 32emes Journees Francophones des Langages Applicatifs, JFLA 2021 - 32nd French-Speaking Conference on Applicative Languages, JFLA 2021, Virtual, Online.
Hsu, Y. H. H., Pintacuda, G., Liu, R., Nacu, E., Kim, A., Tsafou, K., Petrossian, N., Crotty, W., Suh, J. M., Riseman, J., Martin, J. M., Biagini, J. C., Mena, D., Ching, J. K. T., Malolepsza, E., Li, T., Singh, T., Ge, T., Egri, S. B. ... Wellcome Trust Case Control Consortium (2023).
Using brain cell-type-specific protein interactomes to interpret neurodevelopmental genetic signals in schizophrenia.
iScience,
26(5), Article 106701.
https://doi.org/10.1016/j.isci.2023.106701Riekenberg, P. M., Ijsseldiek, L. L., Leopold, M. F.
, Christensen, J. T., Gröne, A. & van der Meer, M. T. J. (2024).
A 75-year record of North Sea food web dynamics based on the stable nitrogen isotopic composition of amino acids from harbor porpoise (Phocoena phocoena).. Abstract from 2024 Ocean Sciences Meeting, New Orleans, Louisiana, United States.
https://agu.confex.com/agu/OSM24/meetingapp.cgi/Paper/1475152Enemark, T., Madsen, R. B., Sonnenborg, T. O., Andersen, L. T., Sandersen, P. BE., Kidmose, J., Møller, I.
, Hansen, T. M., Jensen, K. H. & Høyer, A.-S. (2024).
Incorporating interpretation uncertainties from deterministic 3D hydrostratigraphic models in groundwater models.
Hydrology and Earth System Sciences,
28(3), 505-523.
https://doi.org/10.5194/hess-28-505-2024Haenel, M., Jespersen, E. A., Upadhyay, A.
, Acosta, A., Khalil, N.
, Brix, H. & Arias, C. A. (2024).
Design, implementation, and evaluation of a short rotation coppice system for wastewater treatment and resource recovery in India.
Ecological Engineering,
201, Article 107218.
https://doi.org/10.1016/j.ecoleng.2024.107218
Zhao, J.
, Zhang, L., Li, P., Liu, S., Yu, S., Chen, Z., Zhu, M., Xie, S., Ling, D. & Li, F. (2024).
An Immunomodulatory Zinc-Alum/Ovalbumin Nanovaccine Boosts Cancer Metalloimmunotherapy Through Erythrocyte-Assisted Cascade Immune Activation.
Advanced Science,
11(6), Article 2307389.
https://doi.org/10.1002/advs.202307389Ruiz-Castillo, E., Verdugo, J., Kirillov, S., Dmitrenko, I.
, Boone, W. & Rysgaard, S. (2024).
The role of local-ice meltwater in the triggering of an under-ice phytoplankton bloom in an Arctic fjord.
Frontiers in Marine Science,
11, Article 1291187.
https://doi.org/10.3389/fmars.2024.1291187
Mashhadi, S. R., Grombacher, D., Pedersen, J. B., Kass, M. A., Christiansen, A. V., Zak, D. H., Hoffmann, C. C., Andersen, H. E., Lærke, P. E. & Petersen, R. J. (2023).
Borehole Nuclear Magnetic Resonance Studies at Four Danish Peatlands. In
NSG2023 29th European Meeting of Environmental and Engineering Geophysics European Association of Geoscientists and Engineers.
https://doi.org/10.3997/2214-4609.202320056
Lévy, L., Bording, T. S., Fiandaca, G., Christiansen, A. V., Madsen, L. M., Bennedsen, L. F., Jørgensen, T. H., MacKinnon, L. & Christensen, J. F. (2024).
Managing the remediation strategy of contaminated megasites using field-scale calibration of geo-electrical imaging with chemical monitoring.
Science of the Total Environment,
920, Article 171013.
https://doi.org/10.1016/j.scitotenv.2024.171013
Daviray, M., Geslin, E.
, Risgaard-Petersen, N., Scholz, V. V., Fouet, M. & Metzger, E. (2024).
Potential impacts of cable bacteria activity on hard-shelled benthic foraminifera: implications for their interpretation as bioindicators or paleoproxies.
Biogeosciences,
21(4), 911-928.
https://doi.org/10.5194/bg-21-911-2024Wang, P., Zhang, K., Li, H.
, Hu, J. & Zheng, M. (2024).
Enhanced Ion Transport Through Mesopores Engineered with Additional Adsorption of Layered Double Hydroxides Array in Alkaline Flow Batteries.
Small,
20(23), Article 2308791.
https://doi.org/10.1002/smll.202308791Maltin, E., Jonsson, L.
, Fuller, B. T., Olsen, J. & Mannino, M. (2024).
Isotopic and historical evidence of regional stockfish trade in the Skagerrak during the 16th century.
Journal of Archaeological Science: Reports,
54, Article 104439.
https://doi.org/10.1016/j.jasrep.2024.104439Távora, V. G., Tengblad, O., García Borge, M. J., Briz, J. A., Fernandez Ruiz, D.
, Jensen, E. A. M., Nerio, A. N. & Perea, Á. (2023).
Populating α-unbound states in 16O via 19F(p,αγ)16O reactions.
E P J Web of Conferences,
290, Article 03003.
https://doi.org/10.1051/epjconf/202329003003Porras, M. F., Navas, C. A.
, Agudelo-Cantero, G. A., Santiago-Martínez, M. G.
, Loeschcke, V., Sørensen, J. G., Crandall, S. G., Biddinger, D. & Rajotte, E. G. (2023).
Extreme heat alters the performance of hosts and pathogen.
Frontiers in Ecology and Evolution,
11, Article 1186452.
https://doi.org/10.3389/fevo.2023.1186452Lorentzen, T. H., Kass, M. A., Scheer, J., Tomaškovičová, S.
, Christiansen, A. V., Maury, P. K. & Ingeman-Nielsen, T. (2024).
Exploring the challenges of interpreting near-surface towed TEM data on saline permafrost.
Geophysics,
89(3).
https://doi.org/10.1190/geo2023-0221.1
