Grønbæk, J. E., Korsgaard, H., Petersen, M. G., Henriksen Birk, M.
& Krogh, P. G. (2017).
Proxemic Transitions: Designing Shape-Changing Furniture for Informal Meetings. I
CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire (s. 7029-7041)
https://doi.org/10.1145/3025453.3025487
Grønbæk, J. E., Knudsen, M., O'Hara, K.
, Krogh, P. G., Vermeulen, J. & Petersen, M. G. (2020).
Proxemics Beyond Proximity: Designing for Flexible Social Interaction Through Cross-Device Interaction. I
CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Artikel 3376379 Association for Computing Machinery.
https://doi.org/10.1145/3313831.3376379
Vermeulen, J., Luyten, K., Coninx, K., Marquardt, N. & Bird, J. (2015).
Proxemic Flow: Dynamic Peripheral Floor Visualizations for Revealing and Mediating Large Surface Interactions. I J. Abascal, S. Barbosa, M. Fetter, T. Gross, P. Palanque & M. Winckler (red.),
Human-Computer Interaction -- INTERACT 2015 (s. 264-281). Springer International Publishing Switzerland.
Strydonck, T. V.
, Georges, A. L., Guéneau, A., Trieu, A., Timany, A., Piessens, F.
, Birkedal, L. & Devriese, D. (2022).
Proving full-system security properties under multiple attacker models on capability machines. I
Proceedings - 2022 IEEE 35th Computer Security Foundations Symposium, CSF 2022 (s. 80-95). IEEE.
https://doi.org/10.1109/CSF54842.2022.9919645
Agarwal, A.
, Dowsley, R., McKinney, N. D., Wu, D., Lin, C.-T., De Cock, M. & Nascimento, A. C. A. (2019).
Protecting Privacy of Users in Brain-Computer Interface Applications.
IEEE Transactions on Neural Systems and Rehabilitation Engineering,
27(8), 1546-1555.
https://doi.org/10.1109/TNSRE.2019.2926965
Karbyshev, A., Bjørner, N., Itzhaky, S., Rinetzky, N. & Shoham, S. (2017).
Property-directed inference of universal invariants or proving their absence.
Journal of the ACM,
64(1), 7:1-7:33. Artikel 7.
https://doi.org/10.1145/3022187
Rasmussen, T. A. & Merritt, T. R. (2017).
Projectables. I S. M.A., R. A., J. P. & L. P. (red.),
CAADRIA 2017 - 22nd International Conference on Computer-Aided Architectural Design Research in Asia: Protocols, Flows and Glitches (s. 757-766). The Association for Computer-Aided Architectural Design Research in Asia (CAADRIA).
Clouston, R., Bizjak, A., Grathwohl, H. B. & Birkedal, L. (2015).
Programming and reasoning with guarded recursion for coinductive types. I A. Pitts (red.),
Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (s. 305-316). Springer VS.
https://doi.org/10.1007/978-3-662-46678-0_26
Bertelsen, O. W. (red.), Fitzpatrick, G. (red.), Höök, K. H., Balaam, M. (red.)
& Grönvall, E. (red.) (2010).
Proceedings of Therapeutic Strategies: A Challenge for User Involvement in Design Workshop in conjunction with NORDICHI 2010 17. October 2010, Reykjavik, Iceland. Department of Computer Science, Aarhus University. DAIMI PB Nr. 593
http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/7183/6129
Assent, I., Domeniconi, C., Gullo, F., Tagarelli, A. & Zimek, A. (red.) (2013).
Proceedings of the 4th MultiClust Workshop on Multiple Clusterings, Multi-view Data, and Multi-source Knowledge-driven Clustering. Association for Computing Machinery.
http://dl.acm.org.ez.statsbiblioteket.dk:2048/citation.cfm?id=2501006&coll=DL&dl=ACM
Verdezoto, N., Nunes, F.
, Grönvall, E., Fitzpatrick, G., Storni, C.
& Kyng, M. (red.) (2014).
Proceedings of Designing Self-care for Everyday Life. Workshop in conjunction with NordiCHI 2014, 27th October 2014, Helsinki, Finland. Department of Computer Science, Aarhus University. DAIMI PB Nr. 597
http://ojs.statsbiblioteket.dk/index.php/daimipb/issue/view/2772
Bhagat, S., Saminathan, K., Agarwal, A.
, Dowsley, R., De Cock, M. & Nascimento, A. (2019).
Privacy-Preserving User Profiling with Facebook Likes. I Y. Song, B. Liu, K. Lee, N. Abe, C. Pu, M. Qiao, N. Ahmed, D. Kossmann, J. Saltz, J. Tang, J. He, H. Liu & X. Hu (red.),
Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018 (s. 5298-5299). Artikel 8622081 IEEE.
https://doi.org/10.1109/BigData.2018.8622081
Fritchman, K., Saminathan, K.
, Dowsley, R., Hughes, T., De Cock, M., Nascimento, A. & Teredesai, A. (2019).
Privacy-Preserving Scoring of Tree Ensembles: A Novel Framework for AI in Healthcare. I Y. Song, B. Liu, K. Lee, N. Abe, C. Pu, M. Qiao, N. Ahmed, D. Kossmann, J. Saltz, J. Tang, J. He, H. Liu & X. Hu (red.),
Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018 (s. 2413-2422). Artikel 8622627 IEEE.
https://doi.org/10.1109/BigData.2018.8622627
Agarwal, A.
, Dowsley, R., McKinney, N. D., Wu, D., Lin, C. T., Cock, M. D. & Nascimento, A. (2019).
Privacy-Preserving Linear Regression for Brain-Computer Interface Applications. I Y. Song, B. Liu, K. Lee, N. Abe, C. Pu, M. Qiao, N. Ahmed, D. Kossmann, J. Saltz, J. Tang, J. He, H. Liu & X. Hu (red.),
Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018 (s. 5277-5278). Artikel 8621861 IEEE.
https://doi.org/10.1109/BigData.2018.8621861
Vanegas, H., Cabarcas, D.
& Aranha, D. F. (2023).
Privacy-Preserving Edit Distance Computation Using Secret-Sharing Two-Party Computation. I A. Aly & M. Tibouchi (red.),
Progress in Cryptology – LATINCRYPT 2023: 8th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2023, Quito, Ecuador, October 3–6, 2023, Proceedings (s. 67-86). Springer.
https://doi.org/10.1007/978-3-031-44469-2_4