Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J. (2021).
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. I A. L. Lafuente & A. Mavridou (red.),
Formal Methods for Industrial Critical Systems (s. 3-20). Springer.
https://doi.org/10.1007/978-3-030-85248-1_1
Hansen, S. T., Thule, C., Gomes, C., van de Pol, J., Palmieri, M., Inci, E. O.
, Madsen, F., Alfonso, J., Castellanos, J. Á. & Rodriguez, J. M. (2022).
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps.
International Journal on Software Tools for Technology Transfer,
24(6), 999-1024.
https://doi.org/10.1007/s10009-022-00686-8
Hansen, K. A., Liu, T. X. & Malekian, A. (red.) (2022).
Web and Internet Economics: 18th International Conference, WINE 2022, Troy, NY, USA, December 12-15, 2022, Proceedings. Springer. Lecture Notes in Computer Science Bind 13778
https://doi.org/10.1007/978-3-031-22832-2
Hansen, R. T., Borghegn, N. W.
, Gundtoft, P. H., Nielsen, K. A., Balslev-Clausen, A. & Viberg, B. (2023).
Change in treatment preferences in pediatric diaphyseal forearm fractures: a Danish nationwide register study of 36,244 fractures between 1997 and 2016.
Acta Orthopaedica. Supplementum (Print Edition),
94, 32-37.
https://doi.org/10.2340/17453674.2023.7132
Han, K., Wu, B., Tang, J., Cui, S.
, Aslay, C. & Lakshmanan, L. VS. (2021).
Efficient and Effective Algorithms for Revenue Maximization in Social Advertising. I
Proceedings of the 2021 ACM SIGMOD International Conference on Management of Data (s. 671-684). Association for Computing Machinery.
https://doi.org/10.1145/3448016.3459243
Hammond, A.
, Liu, Z., Pérami, T., Sewell, P.
, Birkedal, L. & Pichon-Pharabod, J. (2024).
An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic.
Proceedings of the ACM on Programming Languages ,
8, 604-637. Artikel 21.
https://doi.org/10.1145/3632863
Hall-Andersen, M. N. & Schwartzbach, N. I. (2021).
Game Theory on the Blockchain: A Model for Games with Smart Contracts. I I. Caragiannis & K. A. Hansen (red.),
Algorithmic Game Theory - 14th International Symposium, SAGT 2021, Proceedings: 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21–24, 2021Proceedings (s. 156-170). Springer.
https://doi.org/10.1007/978-3-030-85947-3_11
Hachisuka, T., Jarosz, W., Bouchard , G., Christensen, P., Frisvad, J. R., Wenzel, J., Henrik Wann, J., Kaschalk, M., Knaus, C., Selle, A. & Spencer, B. (2012).
State of the Art in Photon-Density Estimation: Course notes. I
SIGGRAPH '12 ACM SIGGRAPH 2012 Courses Association for Computing Machinery.
https://doi.org/10.1145/2343483.2343489
Hachisuka, T., Jarosz, W., Georgiev, I., Kaplanyan, A., Nowrouzezahrai, D. & Spencer, B. (2013).
State of the Art in Photon-Density Estimation: Course notes. I
Proceeding, SA '13 SIGGRAPH Asia 2013 Courses Association for Computing Machinery.
https://doi.org/10.1145/2542266.2542281
Haagh, H., Ji, Y., Li, C.
, Orlandi, C. & Song, Y. (2017).
Revealing Encryption for Partial Ordering. I M. O’Neill (red.),
Cryptography and Coding - 16th IMA International Conference, IMACC 2017, Proceedings (s. 3-22). Springer VS.
https://doi.org/10.1007/978-3-319-71045-7_1
Haagh, H., Karbyshev, A., Oechsner, S., Spitters, B. & Strub, P. (2018).
Computer-Aided Proofs for Multiparty Computation with Active Security. I
Proceedings - IEEE 31st Computer Security Foundations Symposium, CSF 2018 (Bind 2018, s. 119-131). Artikel 8429300 IEEE.
https://doi.org/10.1109/CSF.2018.00016
Gupta, V., Markmann, K., Pedersen, C. N. S., Stougaard, J. & Andersen, S. U. (2012).
shortran: A pipeline for small RNA-seq data analysis.
Bioinformatics,
28(20), 2698-2700.
https://doi.org/10.1093/bioinformatics/bts496
Guéneau, A., Hostert, J., Spies, S., Sammler, M.
, Birkedal, L. & Dreyer, D. (2023).
Melocoton: A Program Logic for Verified Interoperability Between OCaml and C.
Proceedings of the ACM on Programming Languages ,
7(OOPSLA2), 716-744. Artikel 247.
https://doi.org/10.1145/3622823
Grunnet, N., Bödvarsson, M.
, Jakobsen, A., Kyllönen, L., Olausson, M., Pfeffer, P. & Sørensen, S. S. (2009).
Aspects of present and future data presentation in Scandiatransplant.
Transplantation Proceedings,
41(2), 732-5.
https://doi.org/10.1016/j.transproceed.2009.01.032
Gröschel, C.
, Dalsgaard, P., Klokmose, C. N., Korsgaard, H., Eriksson, E., Bats, R., Tabard, A., Ducros, A. & Serholt, S. (2018).
PARTICIPATE: Capturing Knowledge in Public Library Activities. I
CHI EA '18 : Proceedings of the 2018 CHI Conference Extended Abstracts on Human Factors in Computing Systems Artikel LBW060
https://doi.org/10.1145/3170427.3188605