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.106701
Riekenberg, 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/1475152
Enemark, 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-2024
Haenel, 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.202307389
Ruiz-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-2024
Wang, 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.202308791
Maltin, 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.104439
Tá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/202329003003
Porras, 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.1186452
Lorentzen, 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), Article 49.
https://doi.org/10.1145/3648617
Tehlar, 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), Article 014304.
https://doi.org/10.1063/4.0000227
Vrchovecká, S., Amirbekov, A., Sázavská, T.
, Arias, C. A., Jespersen, E. A., Černík, M. & Hrabák, P. (2024).
Chemical analysis of wetland plants to evaluate the bioaccumulation and metabolism of hexachlorocyclohexane (HCH).
Science of the Total Environment,
921, Article 171141.
https://doi.org/10.1016/j.scitotenv.2024.171141
Su, Y., Zhang, Y., Chen, Y.
, Majidi, S. S., Dong, M. & Chen, M. (2024).
Surface recrystallization on melt electrowritten scaffolds for acceleration of osteogenic differentiation.
Materials Today Physics,
41, Article 101344.
https://doi.org/10.1016/j.mtphys.2024.101344