Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Sortér efter: Dato | Forfatter | Titel

Reyzin, L., Smith, A. & Yakoubov, S. (2021). Turning HATE Into LOVE: Compact Homomorphic Ad Hoc Threshold Encryption for Scalable MPC. I Cyber Security Cryptography and Machine Learning - 5th International Symposium, CSCML 2021, Proceedings: Proceedings (Bind 12716, s. 361-378). Springer. https://doi.org/10.1007/978-3-030-78086-9_27

Revsbæk, M. (2014). Handling Massive and Dynamic Terrain Data. Department of Computer Science, Aarhus University.

Remy, C., Bates, O., Thomas, V. & Huang, E. M. (2017). The Limits of Evaluating Sustainability. 103-110. Afhandling præsenteret på ACM Limits 2017, Santa Barbara, California, USA. https://doi.org/10.1145/3080556.3080567

Remy, C., Bates, O., Thomas, V. J. & Broadbent, M. (2018). "Sustainability... it's just not important": The Challenges of Academic Engagement with Diverse Stakeholders. I B. Penzenstadler, S. Easterbrook, C. Venters & S. I. Ahmed (red.), ICT4S2018. 5th International Conference on Information and Communication Technology for Sustainability (Bind 52, s. 316-331). easychair. https://doi.org/10.29007/kln5

Remy, C., Bates, O., Dix, A., Thomas, V., Hazas, M., Friday, A. & Huang, E. M. (2018). Evaluation beyond usability: Validating sustainable HCI research. I CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Bind 2018-April). Association for Computing Machinery. https://doi.org/10.1145/3173574.3173790

Reiter, K., Pfeuffer, K., Esteves, A., Mittermeier, T. & Alt, F. (2022). Look & Turn: One-handed and Expressive Menu Interaction by Gaze and Arm Turns in VR. I S. N. Spencer (red.), Proceedings - ETRA 2022: ACM Symposium on Eye Tracking Research and Applications Artikel 66 Association for Computing Machinery. https://doi.org/10.1145/3517031.3529233

Reinhard, T., Timany, A. & Jacobs, B. (2020). A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report.

Reinhard, T., Timany, A. & Jacobs, B. (2020). A separation logic to verify termination of busy-waiting for abrupt program exit. I FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs (s. 26-32). Association for Computing Machinery. https://doi.org/10.1145/3427761.3428345

Reinhard, T., Timany, A. & Jacobs, B. (2020). A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit.

Reetz, E., Lehmann, A., Kümper, D. & Tönjes, R. (2012). Test Driven Life Cycle Management for Internet of Things based Services: a Semantic Approach. Afhandling præsenteret på International Conference on Advances in System Testing and Validation Lifecycle, Lisbon, Portugal.

Raymaekers, L., Vermeulen, J., Luyten, K. & Coninx, K. (2014). Game of Tones: Learning to Play Songs on a Piano Using Projected Instructions and Games. -, 411-414. https://doi.org/10.1145/2559206.2574799

Rav, M., Arge, L., Raza, S. & Revsbæk, M. (2017). I/O-Efficient Event Based Depression Flood Risk. I S. Fekete & V. Ramachandran (red.), 19th Workshop on Algorithm Engineering and Experiments 2017, ALENEX 2017 (Bind PRAL17, s. 259-269). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611974768

Rav, M., Lowe, A. & Agarwal, P. K. (2017). Flood Risk Analysis on Terrains. I E. Hoel , S. Newsam, S. Ravada, R. Tamassia & G. Trajcevski (red.), GIS: Proceedings of the ACM International Symposium on Advances in Geographic Information Systems (s. 36:1-36:10). Artikel 36 Association for Computing Machinery. https://doi.org/10.1145/3139958.3139985

Rav, M. (2019). Event-Based Flood Risk Assessment on Massive Terrains. Århus Universitet.

Rathish, H., Picón, G. C. & Schulz, H.-J. (2024). LaNe Plot: A Visual Fingerprinting Technique for Sequential Data. I K. Kucher, A. Diehl & C. Gillmann (red.), Poster Proceedings of the 26th Eurographics Conference on Visualization The Eurographics Association. https://doi.org/10.2312/evp.20241087

Rasmusson, A. (2012). Contributions to computational stereology and parallel programming. Department of Computer Science, Aarhus University.

Rasmusson, A., Hahn, U., Larsen, J. O., Gundersen, H. J. G., Jensen, E. B. V. & Nyengaard, J. R. (2013). The spatial rotator. Journal of Microscopy, 250(2), 88-100. https://doi.org/10.1111/jmi.12022

Rasmusson, A., Sørensen, T. S. & Ziegler, G. (2013). Connected Components Labeling on the GPU with Generalization to Voronoi Diagrams and Signed Distance Fields. I G. Bebis et al. (red.), Advances in Visual Computing: 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part I (s. 206-215). Springer VS. https://doi.org/10.1007/978-3-642-41914-0_21

Rasmussen, M. K. & Petersen, M. G. (2012). Re-scripting interactive artefacts with feminine values. I DPPI '11 Proceedings of the 2011 Conference on Designing Pleasurable Products and Interfaces : proceedings Association for Computing Machinery. https://doi.org/10.1145/2347504.2347515

Rasmussen, M. K., Pedersen, E. W., Petersen, M. G. & Hornbæk, K. A. S. (2012). Shape-changing interfaces: a review of the design space and open research questions. I CHI '12 : Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (s. 735-744 ). Association for Computing Machinery. https://doi.org/10.1145/2212776.2212798

Rasmussen, M. (2013). Magical Realities in Interaction Design. I Proceedings of the 7th International Conference on Tangible, Embedded and Embodied Interaction, TEL '13 (s. 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. I H. Shen, R. Smith, J. Paay, P. Calder & T. Wyeld (red.), Proceedings of the 25th Australian Computer-Human Interaction Conference: Augmentation, Application, Innovation, Collaboration. OzCHI '13 (s. 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. I CHI 2016 - Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems: CHI'16 (Bind 2016, s. 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. I TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction (Bind 2016, s. 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. I Proceedings of the 29th Australian Computer-Human Interaction Conference: Human-Nature, OzCHI 2017 (s. 396-306). Association for Computing Machinery. https://doi.org/10.1145/3152771.3152803

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

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. I SIGGRAPH Asia 2019 XR, SA 2019 (s. 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. I H. Nakanishi, H. Egi, I.-A. Chounta, H. Takada, S. Ichimura & U. Hoppe (red.), 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 (s. 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. Århus Universitet.

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

Rasmussen, T. (Accepteret/In press). authAR - Automatic Authoring of Picking and Layout Optimization. Afhandling præsenteret på OzCHI 2022, Canberra, Australien.

Raskin, M. & Mamardashvili, N. A. (2016). Accessing Local Variables During Debugging. I ELS2016 Proceedings of the 9th European Lisp Symposium on European Lisp Symposium (s. 93 - 94). Artikel 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. I I. Chatzigiannakis, P. Indyk, F. Kuhn & A. Muscholl (red.), 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017 (Bind 80, s. 88:1--88:12). Artikel 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. I S. D. Galbraith & S. Moriai (red.), 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 (Bind II, s. 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 fra Metric Culture, Aarhus, Danmark.

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, Artikel 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. I A. C. A. Nascimento & P. Barreto (red.), Information Theoretic Security - 9th International Conference, ICITS 2016, Revised Selected Papers (Bind 10015, s. 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. I CHI PLAY '20: Proceedings of the Annual Symposium on Computer-Human Interaction in Play (s. 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. I Proceedings - ETRA 2021: ACM Symposium on Eye Tracking Research and Applications, Full Papers Proceedings (s. 1-12). Artikel 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. I ASIA CCS 2022 - Proceedings of the 2022 ACM Asia Conference on Computer and Communications Security (s. 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. I C. E. Hmelo-Silver, B. De Wever & J. Oshima (red.), 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 (s. 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. I Proceedings of the Fifth ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness (s. 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. I IEEE 14th International Conference on Mobile Data Management (MDM), 2013 (Volume:1 ) (s. 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. I D. Pfoser & K.-J. Li (red.), Web and Wireless Geographical Information Systems: 13th International Symposium, W2GIS 2014, Seoul, South Korea, May 29-30, 2014. Proceedings (s. 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.

Viser resultater 501 til 550 ud af 2860

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series