Filos-Ratsikas, A., Stiil Frederiksen, S. K., Goldberg, P. W. & Zhang, J. (2018).
Hardness results for consensus-halving. I I. Potapov, J. Worrell & P. Spirakis (red.),
43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018 (Bind 117). Artikel 24 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.MFCS.2018.24
Meskens, J.
, Vermeulen, J., Luyten, K. & Coninx, K. (2008).
Gummy for Multi-platform User Interface Designs: Shape Me, Multiply Me, Fix Me, Use Me.
Unspecified journal, 233-240.
https://doi.org/10.1145/1385569.1385607
Bizjak, A., Grathwohl, H. B., Clouston, R., Møgelberg, R. E.
& Birkedal, L. (2016).
Guarded dependent type theory with coinductive types. I B. Jacobs & C. Löding (red.),
Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016 (Bind 9634, s. 20-35). Springer VS.
https://doi.org/10.1007/978-3-662-49630-5_2
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2016).
Guarded Cubical Type Theory: Path Equality for Guarded Recursion. I J.-M. Talbot & L. Regnier (red.),
CSL 2016: 25th EACSL Annual Conference on Computer Science Logic (s. 1 - 17)
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2016).
Guarded Cubical Type Theory.
https://arxiv.org/pdf/1611.09263v1.pdf
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
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2016).
Guarded cubical type theory. Abstract fra 22nd International Conference on Types for Proofs and Programs, Novi Sad, Serbien.
http://www.cs.au.dk/~spitters/TYPES16.pdf
Thiel, S.-K., Falk Olesen, J., Halskov, K. & Larsen-Ledet, I. (2019).
Group Dynamics in Gameful Collaborative Innovation Processes. I H. Nakanishi, H. Egi, I.-A. Chounta, H. Takada, S. Ichimura & U. Hoppe (red.),
Collaboration Technologies and Social Computing (s. 222-231). Springer.
https://doi.org/10.1007/978-3-030-28011-6_16
Hermanns, J., Tsitsulin, A., Munkhoeva, M., Bronstein, A.
, Mottin, D. & Karras, P. (2021).
GRASP: Graph Alignment through Spectral Signatures. I L. Hou U, M. Spaniol, Y. Sakurai & J. Chen (red.),
Web and Big Data - 5th International Joint Conference, APWeb-WAIM 2021, Proceedings (s. 44-52). Springer.
https://doi.org/10.1007/978-3-030-85896-4_4
Hermanns, J., Skitsas, K., Tsitsulin, A., Munkhoeva, M., Kyster, A., Nielsen, S., Bronstein, A. M.
, Mottin, D. & Karras, P. (2023).
GRASP: Scalable Graph Alignment by Spectral Corresponding Functions.
ACM Transactions on Knowledge Discovery from Data,
17(4), 1-26. Artikel 50.
https://doi.org/10.1145/3561058
Engeström, Y., Sannino, A., Fischer, G., Mørch, A. I.
& Bertelsen, O. W. (2010).
Grand challenges for future HCI research: Cultures of participation, interfaces supporting learning, and expansive learning. I
NordiCHI 2010: Extending Boundaries - Proceedings of the 6th Nordic Conference on Human-Computer Interaction (s. 863-866)
https://doi.org/10.1145/1868914.1869049
Schäfer, Z., Mathisen, A., Thomsen, T. R., Rossing, P. & Kirketerp-Møller, K. (2023).
Glucagon-like peptide-1 treatment reduces the risk of diabetes-type 2 related amputations: A cohort study in Denmark.
Diabetes Research and Clinical Practice,
202, Artikel 110799.
https://doi.org/10.1016/j.diabres.2023.110799
Bjørn, P., Bardram, J., Avram, G.
, Bannon, L., Boden, A., Redmiles, D., De Souza, C. R. B. & Wulf, V. (2014).
Global software development in a CSCW perspective. I
Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW (s. 301-304). Association for Computing Machinery.
https://doi.org/10.1145/2556420.2558863
Draganov, A., Berry, T.
, Jørgensen, J. R., Nellemann, K. S., Assent, I. & Mottin, D. (2022).
GiDR-DUN; Gradient Dimensionality Reduction -- Differences and Unification.
Jensen, H., Jensen, M. Ø. J., Ringgaard, S., Smerup, M. H., Sørensen, T. S., Kim, W. Y., Sloth, E., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2007).
Geometric Determinants of Chronic Functional Ischemic Mitral Regurgitation - Insights from 3D Cardiac Magnetic Resonance Imaging. Abstract fra 4th Biennial Meeting of The Society for Heart Valve Disease, New York, USA.
Zhang, K., Zhou, J., Tao, D.
, Karras, P., Li, Q.
& Xiong, H. (2020).
Geodemographic Influence Maximization. I
KDD '20: Proceedings of the 26th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining (s. 2764-2774). Association for Computing Machinery.
https://doi.org/10.1145/3394486.3403327