Filos-Ratsikas, A., Stiil Frederiksen, S. K., Goldberg, P. W. & Zhang, J. (2018).
Hardness results for consensus-halving. In I. Potapov, J. Worrell & P. Spirakis (Eds.),
43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018 (Vol. 117). Article 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. In J. Filipe & K. Liu (Eds.),
Proceedings of The 7th International Workshop on Organisational Semiotics. (pp. 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. In B. Jacobs & C. Löding (Eds.),
Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016 (Vol. 9634, pp. 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. In J.-M. Talbot & L. Regnier (Eds.),
CSL 2016: 25th EACSL Annual Conference on Computer Science Logic (pp. 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 from 22nd International Conference on Types for Proofs and Programs, Novi Sad, Serbia.
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. Paper presented at EuroCG 2016, Lugano, Switzerland.
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. In S. Fekete & A. Lubiw (Eds.),
32nd International Symposium on Computational Geometry, SoCG 2016 (Vol. 51, pp. 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. In H. Nakanishi, H. Egi, I.-A. Chounta, H. Takada, S. Ichimura & U. Hoppe (Eds.),
Collaboration Technologies and Social Computing (pp. 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. In L. Hou U, M. Spaniol, Y. Sakurai & J. Chen (Eds.),
Web and Big Data - 5th International Joint Conference, APWeb-WAIM 2021, Proceedings (pp. 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. Article 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. In
Proceedings of the 18th ISMRM Scientific Meeting and Exhibition: International Society for Magnetic Resonance in Medicine ISMRM/SMRT Central Office, Berkeley, CA.