Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Sort by: Date | Author | Title

Rasmussen, M. K., Grönvall, E., Kinch, S. & Petersen, M. G. (2013). It’s alive, it’s magic, it’s in love with you: Opportunities, Challenges and Open Questions for Actuated Interfaces. In H. Shen, R. Smith, J. Paay, P. Calder & T. Wyeld (Eds.), Proceedings of the 25th Australian Computer-Human Interaction Conference: Augmentation, Application, Innovation, Collaboration. OzCHI '13 (pp. 63-72). Association for Computing Machinery. https://doi.org/10.1145/2541016.2541033

Rasmussen, M. K., Pedersen, E. W., Petersen, M. G. & Hornbæk, K. (2012). Shape-changing interfaces: a review of the design space and open research questions. https://doi.org/10.1145/2207676.2207781

Rasmussen, M. K., Troiano, G. M., Petersen, M. G., Simonsen, J. G. & Hornbæk, K. (2016). Sketching Shape-changing Interfaces: Exploring Vocabulary, Metaphor Use, and Affordances. In CHI 2016 - Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems: CHI'16 (Vol. 2016, pp. 2740-2751). Association for Computing Machinery. https://doi.org/10.1145/2858036.2858183

Rasmussen, M. K., Merritt, T. R., Alonso, M. B. & Petersen, M. G. (2016). Balancing User and System Control in Shape-Changing Interfaces: a Designerly Exploration. In TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction (Vol. 2016, pp. 202-210). Association for Computing Machinery. https://doi.org/10.1145/2839462.2839499

Rasmussen, M. K., Rasmussen, M. K., Verdezoto, N., Brewer, R. S., Nielsen, L. L. & Bouvin, N. O. (2017). Exploring the Flexibility of Everyday Practices for Shifting Energy Consumption through ClockCast. In Proceedings of the 29th Australian Computer-Human Interaction Conference: Human-Nature, OzCHI 2017 (pp. 396-306). Association for Computing Machinery. https://doi.org/10.1145/3152771.3152803

Rasmussen, T. A. & Merritt, T. R. (2017). Projectables. In S. M.A., R. A., J. P. & L. P. (Eds.), CAADRIA 2017 - 22nd International Conference on Computer-Aided Architectural Design Research in Asia: Protocols, Flows and Glitches (pp. 757-766). The Association for Computer-Aided Architectural Design Research in Asia (CAADRIA).

Rasmussen, T. A. & Merritt, T. (2018). ProjecTables: Augmented CNC tools for sustainable creative practices. International Journal of Architectural Computing, 16(3), 227-242. https://doi.org/10.1177/1478077118792356

Rasmussen, T. A. & Huang, W. (2019). SceneCam: Using AR to improve multi-camera remote collaboration. In SIGGRAPH Asia 2019 XR, SA 2019 (pp. 36-37). Association for Computing Machinery. https://doi.org/10.1145/3355355.3361892

Rasmussen, T. A. & Grønbæk, K. (2019). Tailorable remote assistance with RemoteAssistKit: A study of and design response to remote assistance in the manufacturing industry. In H. Nakanishi, H. Egi, I.-A. Chounta, H. Takada, S. Ichimura & U. Hoppe (Eds.), Collaboration Technologies and Social Computing - 25th International Conference, CRIWG+CollabTech 2019, Proceedings: 25th International Conference, CRIWG+CollabTech 2019 Kyoto, Japan, September 4–6, 2019 Proceedings (pp. 80-95). Springer. https://doi.org/10.1007/978-3-030-28011-6_6

Rasmussen, T. A., Stensgaard, A., Winding, T. & Merritt, T. R. (2021). scrAPP: Enabling Reuse of Scrap Materials with a Smartphone. In Extended Abstracts of MobileHCI 2021 - ACM International Conference on Mobile Human-Computer Interaction: Mobile Apart, Mobile Together (pp. 1-6). Article 10 Association for Computing Machinery. https://doi.org/10.1145/3447527.3474856

Rasmussen, T. A., Grønbæk, K. & Huang, W. (2024). Supporting tailorability in augmented reality based remote assistance in the manufacturing industry: A user study. Computers & Graphics, 125(Special Section on Advances on SUI), Article 104095. https://doi.org/10.1016/j.cag.2024.104095

Rasmussen, T. (2023). authAR - Automatic Authoring of Picking and Layout Optimization. In Proceedings of the 34th Australian Conference on Human-Computer Interaction (pp. 199 - 205). Association for Computing Machinery. https://doi.org/10.1145/3572921.357294

Rasmussen, M. K. (2015). Changing the Shape of Interaction: Shape-changing Interfaces. Department of Computer Science, Aarhus University.

Rasmussen, T. A. (2021). Supporting Tailorability and Awareness for Remote Assistance in Large Industrial Task Spaces. [PhD thesis, Aarhus University]. Aarhus Universitet.

Raskin, M. & Mamardashvili, N. A. (2016). Accessing Local Variables During Debugging. In ELS2016 Proceedings of the 9th European Lisp Symposium on European Lisp Symposium (pp. 93 - 94). Article 11 European Lisp Scientific Activities Association. http://delivery.acm.org/10.1145/3010000/3005740/d4.pdf?ip=185.45.22.55&id=3005740&acc=ACTIVE%20SERVICE&key=36332CD97FA87885%2E318148A04E30A4A4%2E4D4702B0C3E38B35%2E4D4702B0C3E38B35&CFID=719857644&CFTOKEN=37932629&__acm__=1485177648_adba167cd6af203cbafc7ca2c5484dbf

Raskin, M. (2017). A linear lower bound for incrementing a space-optimal integer representation in the bit-probe model. In I. Chatzigiannakis, P. Indyk, F. Kuhn & A. Muscholl (Eds.), 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017 (Vol. 80, pp. 88:1--88:12). Article 88 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ICALP.2017.88

Raskin, M. & Simkin, M. (2019). Perfectly Secure Oblivious RAM with Sublinear Bandwidth Overhead. In S. D. Galbraith & S. Moriai (Eds.), Advances in Cryptology – ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings: 25th International Conference on the Theory and Application of Cryptology and Information Security Kobe, Japan, December 8–12, 2019 Proceedings (Vol. II, pp. 537-563). Springer. https://doi.org/10.1007/978-3-030-34621-8_19

Rasch, S. M., Ledderer, L. K., Christensen, M. & Kyng, M. (2017). Digital Decision Aids – A participatory design approach. Abstract from Metric Culture, Aarhus, Denmark.

Rao, X., Georges, A. L., Legoupil, M., Watt, C., Pichon-Pharabod, J., Gardner, P. & Birkedal, L. (2023). Iris-Wasm: Robust and Modular Verification of WebAssembly Programs. Proceedings of the ACM on Programming Languages , 7, Article 151. https://doi.org/10.1145/3591265

Ranellucci, S. & Zakarias, R. W. (2014). Efficient Generic Zero-knowledge Proofs from Commitments. https://eprint.iacr.org/2014/934.pdf

Ranellucci, S., Tapp, A. & Zakarias, R. (2016). Efficient generic zero-knowledge proofs from commitments. In A. C. A. Nascimento & P. Barreto (Eds.), Information Theoretic Security - 9th International Conference, ICITS 2016, Revised Selected Papers (Vol. 10015, pp. 190-212). Springer VS. https://doi.org/10.1007/978-3-319-49175-2_10

Ramirez Gomez, A. & Gellersen, H. (2020). More than Looking: Using Eye Movements Behind the Eyelids as a New Game Mechanic. In CHI PLAY '20: Proceedings of the Annual Symposium on Computer-Human Interaction in Play (pp. 362-373). Association for Computing Machinery. https://doi.org/10.1145/3410404.3414240

Ramirez Gomez, A., Clarke, C., Sidenmark, L. & Gellersen, H. (2021). Gaze+Hold: Eyes-Only Direct Manipulation with Continuous Gaze Modulated by Closure of One Eye. In Proceedings - ETRA 2021: ACM Symposium on Eye Tracking Research and Applications, Full Papers Proceedings (pp. 1-12). Article 10 Association for Computing Machinery. https://doi.org/10.1145/3448017.3457381

Rakotonirina, I., Ambrona, M., Aguirre, A. & Barthe, G. (2022). Symbolic Synthesis of Indifferentiability Attacks. In ASIA CCS 2022 - Proceedings of the 2022 ACM Asia Conference on Computer and Communications Security (pp. 667-681). Association for Computing Machinery. https://doi.org/10.1145/3488932.3497759

Rafner, J., Hjorth, A., Weidner, C., Ahmed, S. Z., Poulsen, C., Klokmose, C. & Sherson, J. (2021). ArguNotes: Collaborative Problem Solving and Argumentation Tool. In C. E. Hmelo-Silver, B. De Wever & J. Oshima (Eds.), 14th International Conference on Computer-Supported Collaborative Learning: Reflecting the Past and Embracing the Future, CSCL 2021 - Proceedings, part of the 1st Annual Meeting of the International Society of the Learning Sciences, ISLS 2021 (pp. 257-258). International Society of the Learning Sciences (ISLS).

Radel, D., Sand, A. & Steel, M. (2013). Hide and seek: placing and finding an optimal tree for thousands of homoplasy-rich sequences. Molecular Phylogenetics and Evolution, 69(3), 1186–1189. https://doi.org/10.1016/j.ympev.2013.08.001

Radaelli, L. & Jensen, C. S. (2013). Towards Fully Organic Indoor Positioning. In Proceedings of the Fifth ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness (pp. 16-20). Association for Computing Machinery.

Radaelli, L., Sabonis, D., Lu, H. & Jensen, C. S. (2013). Identifying Typical Movements Among Indoor Objects: Concepts and Empirical Study. In IEEE 14th International Conference on Mobile Data Management (MDM), 2013 (Volume:1 ) (pp. 197 - 206 ). IEEE. https://doi.org/10.1109/MDM.2013.29

Radaelli, L., Moses, Y. & Jensen, C. S. (2014). Using cameras to improve Wi-Fi based indoor positioning. In D. Pfoser & K.-J. Li (Eds.), Web and Wireless Geographical Information Systems: 13th International Symposium, W2GIS 2014, Seoul, South Korea, May 29-30, 2014. Proceedings (pp. 166-183). Springer VS. https://doi.org/10.1007/978-3-642-55334-9-11

Radaelli, L. & Jensen, C. S. (2015). Towards Characterizing the Temporal Aspect of Frequent Patterns in Indoor Trajectory Data.

Radaelli, L. (2014). Enabling Indoor Location-Based Services. Department of Computer Science, Aarhus University.

Rachuri, S. R., Suresh, A. & Chaudhari, H. (2020). Trident: Efficient 4PC Framework for Privacy Preserving Machine Learning. In Proceedings 2020 Network and Distributed System Security Symposium (pp. 1-18). Internet Society. https://doi.org/10.14722/ndss.2020.23005

Rachuri, R. & Scholl, P. (2022). Le Mans: Dynamic and Fluid MPC for Dishonest Majority. In Y. Dodis & T. Shrimpton (Eds.), Advances in Cryptology – CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Proceedings (pp. 719-749). Springer. https://doi.org/10.1007/978-3-031-15802-5_25

Rachuri, S. R. (2023). Practical Multiparty Computation: Approaches to Private Machine Learning. [PhD thesis, Aarhus University].

Quercia, A., Morrison, A., Scharr, H. & Assent, I. (2023). SGD Biased towards Early Important Samples for Efficient Training. In G. Chen, L. Khan, X. Gao, M. Qiu, W. Pedrycz & X. Wu (Eds.), IEEE International Conference on Data Mining, ICDM 2023, Shanghai, China, December 1-4, 2023 (pp. 1289-1294). IEEE. https://doi.org/10.1109/ICDM58522.2023.00163

Quercia, A., Yildiz, E., Cao, Z., Krajsek, K., Morrison, A., Assent, I. & Scharr, H. (2025). Enhancing Monocular Depth Estimation with Multi-Source Auxiliary Tasks. In Proceedings - 2025 IEEE Winter Conference on Applications of Computer Vision, WACV 2025 (pp. 6435-6445). IEEE. https://doi.org/10.1109/WACV61041.2025.00627

Quercia, A., Nader, F., Morrison, A., Scharr, H. & Assent, I. (2025). Focal Sampling: SGD biased towards early important samples for efficient image classification with augmentation selection. Knowledge and Information Systems, 67(11), 11161-11191. https://doi.org/10.1007/s10115-025-02563-7

Qu, Q., Liu, S., Yang, B. & Jensen, C. S. (2014). Integrating Non-Spatial Preferences into Spatial Location Queries. In C. S. Jensen, H. Lu, T. B. Pedersen , C. Thomsen & K. T. Torp (Eds.), SSDBM '14 Proceedings of the 26th International Conference on Scientific and Statistical Database Management Article 8 Association for Computing Machinery. https://doi.org/10.1145/2618243.2618247

Qu, Q., Liu, S., Jensen, C. S., Zhu, F. & Faloutsos, C. (2014). Interestingness-Driven Diffusion Process Summarization in Dynamic Networks. In T. Calders, F. Esposito, E. Hüllermeier & R. Meo (Eds.), Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part II (pp. 597-613). Springer VS. https://doi.org/10.1007/978-3-662-44851-9_38

Qu, Q., Liu, S., Yang, B. & Jensen, C. S. (2014). Efficient Top-k Locality Search for Co-located Spatial Web Objects. In M. Gaber & R. Zhang (Eds.), 15th IEEE International Conference on Mobile Data Management (MDM): Proceedings (pp. 269-278 (vol.1)). IEEE Computer Society Press. https://doi.org/10.1109/MDM.2014.39

Qu, Q. (2014). Efficient Extraction of Content from Enriched Geospatial and Networked Data. Department of Computer Science, University of Aarhus.

Qian, Z., Kavvos, G. A. & Birkedal, L. (2020). Client-Server Sessions in Linear Logic. arxiv.org. https://arxiv.org/abs/2010.13926

Qian, Z., Kavvos, G. A. & Birkedal, L. (2021). Client-server sessions in linear logic. Proceedings of the ACM on Programming Languages , 5(ICFP), Article 62. https://doi.org/10.1145/3473567

Qian, Z. (2023). Concurrency And Races In Classical Linear Logic. [PhD thesis, Aarhus University]. Aarhus Universitet.

Qi, S., Sacharidis, D., Bouros, P. & Mamoulis, N. (2017). Snapshot and Continuous Points-based Trajectory Search. Geoinformatica, 21(4), 669-701. https://doi.org/10.1007/s10707-016-0267-9

Puech, M. (2013). Proofs, Upside Down. In Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings (pp. 365-380 ). Springer VS. https://doi.org/10.1007/978-3-319-03542-0_26

Prummer, F., Shereef Abdelwahab, M., Weidner, F., Abdrabou, Y. & Gellersen, H. (2025). It’s Not Always the Same Eye That Dominates: Effects of Viewing Angle, Handedness and Eye Movement in 3D. In CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Article 748 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713992

Prummer, F., Weidner, F. & Gellersen, H. (2025). All But Static: Exploring Dynamic Eye Dominance for Foveated Rendering. In Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025 (pp. 376-380) https://doi.org/10.1109/VRW66409.2025.00087

Prummer, F., Weidner, F. & Gellersen, H. (2025). Advancing Eye Dominance Testing: Comparing Traditional Methods with an In-HMD Approach for AR/VR Applications. In Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025 (pp. 112-116) https://doi.org/10.1109/VRW66409.2025.00030

Protzenko, J. & Spitters, B. (2024). Modernizing FIPS for safe languages and verified libraries. Paper presented at NIST Workshop on Formal Methods within Certification Programs (FMCP 2024), Rockville, Maryland, United States. https://www.nist.gov/system/files/documents/2024/06/11/08-ProtzenkoSpitters.pdf

Displaying results 901 to 950 out of 5896

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University