Borbye-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. Artikel 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. I K. Ali & G. Salvaneschi (red.),
37th European Conference on Object-Oriented Programming, ECOOP 2023 Artikel 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, Artikel 9.
https://doi.org/10.1145/3632851
Pientka, B., Blazy, S., Traytel, D.
& Timany, A. (2024).
Welcome from the Chairs. I
CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024 (s. 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. Afhandling præsenteret på 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), Artikel 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 fra 2024 Ocean Sciences Meeting, New Orleans, Louisiana, USA.
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, Artikel 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), Artikel 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, Artikel 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. I
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, Artikel 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), Artikel 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, Artikel 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, Artikel 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, Artikel 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
Bjørn, P., Busboom, J., Duckert, M.
, Bødker, S., Shklovski, I.
, Hoggan, E., Dunn, K.
, Mu, Q., Barkhuus, L. & Boulus-Rodje, N. (2024).
Achieving Symmetry in Synchronous Interaction in Hybrid Work is Impossible.
ACM Transactions on Computer-Human Interaction,
31(4), Artikel 49.
https://doi.org/10.1145/3648617Tehlar, A., Casanova, J. T., Dnestryan, A. I.
, Jensen, F., Madsen, L. B., Tolstikhin, O. I. & Wörner, H. J. (2024).
High-harmonic spectroscopy of impulsively aligned 1,3-cyclohexadiene: Signatures of attosecond charge migration.
Structural Dynamics,
11(1), Artikel 014304.
https://doi.org/10.1063/4.0000227
