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. (2013). Magical Realities in Interaction Design. In Proceedings of the 7th International Conference on Tangible, Embedded and Embodied Interaction, TEL '13 (pp. 125-128 ). Association for Computing Machinery. https://doi.org/10.1145/2460625.2460644

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. (2015). Changing the Shape of Interaction: Shape-changing Interfaces. Department of Computer Science, Aarhus University.

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, 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. (2021). Supporting Tailorability and Awareness for Remote Assistance in Large Industrial Task Spaces. Aarhus Universitet.

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

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 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 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

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. (2014). Enabling Indoor Location-Based Services. Department of Computer Science, Aarhus University.

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

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

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. (2014). Efficient Extraction of Content from Enriched Geospatial and Networked Data. Department of Computer Science, University of Aarhus.

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

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. 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

Procopiuc, O., Agarwal, P. K., Arge, L. A. & Vitter, J. S. (2003). Bkd-Tree: A Dynamic Scalable kd-Tree. In Advances in Spatial and Temporal Databases: 8th International Symposium, SSTD 2003 Santorini Island, Greece, July 24-27, 2003. Proceedings (pp. 46-65). Springer. https://doi.org/10.1007/978-3-540-45072-6_4

Preti, G., Lissandrini, M., Mottin, D. & Velegrakis, Y. (2019). Mining Patterns in Graphs with Multiple Weights. Distributed and Parallel Databases, 39(2), 281-319. https://doi.org/10.1007/s10619-019-07259-w

Prentow, T. S., Blunck, H., Grønbæk, K. & Kjærgaard, M. B. (2014). Estimating Common Pedestrian Routes through Indoor Path Networks using Position Traces. In M. Gaber & R. Zhang (Eds.), 15th IEEE International Conference on Mobile Data Management: Proceedings (pp. 43-48 (vol.1)). IEEE Press. https://doi.org/10.1109/MDM.2014.11

Prentow, T. S., Blunck, H., Stisen, A., Kjærgaard, M. B. & Grønbæk, K. (2014). Accurate estimation of indoor travel times: learned unsupervised from position traces. In M. Youssef , C. Mascolo & F. Kawsar (Eds.), MOBIQUITOUS '14. Proceedings of the 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (pp. 90-99). Association for Computing Machinery. https://doi.org/10.4108/icst.mobiquitous.2014.258020

Prentow, T. S., Ruiz-Ruiz, A., Blunck, H., Stisen, A. & Kjærgaard, M. B. (2015). Spatio-temporal Facility Utilization Analysis from Exhaustive WiFi Monitoring. Pervasive and Mobile Computing, 16(B), 305–316. https://doi.org/10.1016/j.pmcj.2014.12.006

Prentow, T. S., Thom, A., Blunck, H. & Vahrenhold, J. (2015). Making Sense of Trajectory Data in Indoor Spaces. In Proceedings of the 16th IEEE International Conference on Mobile Data Management, vol.1 (pp. 116-121). IEEE. https://doi.org/10.1109/MDM.2015.44

Prentow, T. S., Blunck, H., Kjærgaard, M. B. & Stisen, A. (2015). Towards Indoor Transportation Mode Detection using Mobile Sensing. In S. Sigg , P. Nurmi & F. Salim (Eds.), Mobile Computing, Applications, and Services : 7th International Conference, MobiCASE 2015, Berlin, Germany, November 12-13, 2015, Revised Selected Papers (Vol. 162). Springer. https://doi.org/10.1007/978-3-319-29003-4

Prentow, T. S. (2015). Spatio-Temporal Analysis of Human Activities in Indoor Environments through Mobile Sensing: With Applications in Large-Scale Hospital Service Logistics. Department of Computer Science, Aarhus University.

Poulsen, S. H., Fjord-Larsen, M., Hansen, F. A. & Christensen, B. G. (2001). Visualizing guided tours with W3D. Poster session presented at The 12th ACM Conference on Hypertext and Hypermedia, Århus, Denmark.

Poulsen, S. H., Fjord-Larsen, M., Hansen, F. A. & Christensen, B. G. (2001). Visualizing guided tours. Poster session presented at Conference on Hypertext and Hypermedia. Hypertext '01, Århus, Denmark. http://www.daimi.au.dk/~fah/papers/ht01-paper-final.pdf

Polychroniadou, A., Damgård, I. B., Garg, S., Mukherjee, P., Nielsen, J. B. & Pandey, O. (2016). On the Communication and Round Complexity of Secure Computation. Institut for Datalogi, Aarhus Universitet. http://cs.au.dk/fileadmin/user_upload/IvanFest_AP.pdf

Displaying results 751 to 800 out of 5193

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University