Grønbæk, K., Alstrup, S., Larsen, K. G.
, Caspersen, M. E., Madsen, O. L., Herping Ellegaard, L. & Rasmussen, B. (2019).
Digitalisering og it-uddannelser – ryd op i begreberne! Teknologiens Mediehus.
https://www.version2.dk/blog/digitalisering-it-uddannelser-ryd-begreberne-1089608
Grønbæk, J. E., Pfeuffer, K., Velloso, E., Astrup, M., Pedersen, M. I., Kjær, M.
, Leiva, G. & Gellersen, H. (2023).
Partially Blended Realities: Aligning Dissimilar Spaces for Distributed Mixed Reality Meetings. In A. Schmidt, K. Väänänen, T. Goyal, P. O. Kristensson, A. Peters, S. Mueller, J. R. Williamson & M. L. Wilson (Eds.),
CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Article 456 Association for Computing Machinery.
https://doi.org/10.1145/3544548.3581515
Grønbæk, J. E., Borowski, M., Hoggan, E., Mackay, W., Beaudouin-Lafon, M.
& Klokmose, C. N. (2023).
Mirrorverse: Live Tailoring of Video Conferencing Interfaces. In S. Follmer, J. Han, J. Steimle & N. Henry Riche (Eds.),
UIST '23: Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Article 14 Association for Computing Machinery.
https://doi.org/10.1145/3586183.3606767
Gregersen, S. O., Aguirre, A., Haselwarter, P. G., Tassarotti, J.
& Birkedal, L. (2024).
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic.
Proceedings of the ACM on Programming Languages ,
8(POPL), Article 26.
https://doi.org/10.1145/3632868
Greenbaum, J.
& Kyng, M. (1991).
Situated Design. In J. Greenbaum & M. Kyng (Eds.),
Design at Work: Cooperative Design of Computer Systems (pp. 1-24). Lawrence Erlbaum Associates.
Greenbaum, J.
& Kyng, M. (1991).
Design by Doing. In J. Greenbaum & M. Kyng (Eds.),
Design at Work: Cooperative Design of Computer Systems (pp. 269-280). Lawrence Erlbaum Associates.
Green, M.
, Hall-Andersen, M. N., Hennenfent, E., Kaptchuk, G., Perez, B. & Van Laer, G. (2023).
Efficient Proofs of Software Exploitability for Real-world Processors.
Proceedings on Privacy Enhancing Technologies,
2023(1), 627-640.
https://doi.org/10.56553/popets-2023-0036
Gratzer, D., Cavallo, E.
, Kavvos, G. A., Guatto, A.
& Birkedal, L. (2022).
Modalities and Parametric Adjoints.
ACM Transactions on Computational Logic,
23(3), Article 18.
https://doi.org/10.1145/3514241
Goodwin, M., Susar, D., Nietzio, A., Snaprud, M.
& Jensen, C. S. (2011).
Global Web Accessibility Analysis of National Government Portals and Ministry Web Sites.
Journal of Information Technology & Politics,
8(1), 41-67.
https://doi.org/10.1080/19331681.2010.508011
Gondelman, L., Gregersen, S. O., Nieto, A., Timany, A. & Birkedal, L. (2021).
Distributed causal memory: Modular specification and verification in higher-order distributed separation logic.
Proceedings of the ACM on Programming Languages ,
5(POPL), Article 42.
https://doi.org/10.1145/3434323
Gondelman, L., Hinrichsen, J. K., Pereira, M.
, Timany, A. & Birkedal, L. (2023).
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols.
Proceedings of the ACM on Programming Languages ,
7(ICFP), 847-877. Article 217.
https://doi.org/10.1145/3607859
Goel, A.
, Hall-Andersen, M. N., Kaptchuk, G. & Spooner, N. (2023).
Speed-Stacking: Fast Sublinear Zero-Knowledge Proofs for Disjunctions. In C. Hazay & M. Stam (Eds.),
Advances in Cryptology – EUROCRYPT 2023: 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23–27, 2023, Proceedings, Part II (pp. 347-378). Springer.
https://doi.org/10.1007/978-3-031-30617-4_12