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
Brynskov, M. & Andersen, P. B. (2004).
Habitats, Activities, and Signs. I J. Filipe & K. Liu (red.),
Proceedings of The 7th International Workshop on Organisational Semiotics. (s. 128-151). Institute for Systems and Technologies of Information, Control and Communication.
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
van Goethem, A., Van Kreveld, M., Löffler, M., Speckmann, B.
& Staals, F. (2016).
Grouping Time-varying Data for Interactive Exploration. 61.1-61.16. Afhandling præsenteret på EuroCG 2016, Lugano, Schweiz.
http://www.eurocg2016.usi.ch/sites/default/files/paper_48.pdf
Van Goethem, A., Van Kreveld, M., Löffler, M., Speckmann, B.
& Staals, F. (2016).
Grouping time-varying data for interactive exploration. I S. Fekete & A. Lubiw (red.),
32nd International Symposium on Computational Geometry, SoCG 2016 (Bind 51, s. 61.1-61.16). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.SoCG.2016.61
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
Noe, K. Ø., Tanderup, K., Lindegaard, J. C., Grau, C. & Sørensen, T. S. (2008).
GPU accelerated viscous-fluid deformable registration for radiotherapy.
Studies in Health Technology and Informatics,
132, 327-32.
Sørensen, T. S., Prieto, C., Atkinson, D., Hansen, M. S. & Schaeffter, T. (2010).
GPU accelerated iterative SENSE reconstruction of radial phase encoded whole-heart MRI. I
Proceedings of the 18th ISMRM Scientific Meeting and Exhibition: International Society for Magnetic Resonance in Medicine ISMRM/SMRT Central Office, Berkeley, CA.