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

Hwang, C., Feuchtner, T., Oakley, I. & Grønbæk, K. (2024). Enriching Industrial Training Experience in Virtual Reality with Pseudo-Haptics and Vibrotactile Stimulation. 1-11. Afhandling præsenteret på The 30th ACM Symposium on Virtual Reality Software and Technology. https://doi.org/10.1145/3641825.3687728

Hwang, C., Feuchtner, T. & Grønbæk, K. (2025). Pseudo-Haptics for Weight Perception in VR: Controller vs. Bare Hand Interactions with Tracking Delay and Vertical Offset. I 2024 10th International Conference on Virtual Reality, ICVR 2024 (s. 91-99) https://doi.org/10.1109/ICVR62393.2024.10868891

Hvilshøj, F., Iosifidis, A. & Assent, I. (2021). On Quantitative Evaluations of Counterfactuals. ArXiv. https://doi.org/10.48550/arXiv.2111.00177

Hvilshøj, F., Iosifidis, A. & Assent, I. (2021). ECINN: Efficient Counterfactuals from Invertible Neural Networks. I 32nd British Machine Vision Conference 2021, BMVC 2021, Virtual https://arxiv.org/abs/2103.13701

Hvilshøj, F. (2021). Fast and Explainable Deep Neural Networks. Århus Universitet.

Hvass, B. S., Aranha, D. F. & Spitters, B. (2020). High-assurance field inversion for pairing-friendly primes. Abstract fra The Coq Workshop 2020. https://coq-workshop.gitlab.io/2020/abstracts/Coq2020_04-02-primes.pdf

Hvass, B. S., Aranha, D. F. & Spitters, B. (2020). High-assurance field inversion for pairing-friendly primes. Abstract fra 2nd Workshop on Formal Methods for Blockchains. https://fmbc.gitlab.io/2020/files/FMBC2020.pdf

Hvass, B. S., Aranha, D. F. & Spitters, B. (2023). High-assurance field inversion for curve-based cryptography. I 2023 IEEE 36th Computer Security Foundations Symposium (CSF) (s. 552-567). IEEE. https://doi.org/10.1109/CSF57540.2023.00008

Hvass, B. S. (2023). Foundational Verification of Cryptographic Primitives. Århus Universitet.

Hurst, A., Zhang, Q., Lucani Rötter, D. E. & Assent, I. (2021). Direct Analytics of Generalized Deduplication Compressed IoT Data. I 2021 IEEE Global Communications Conference, GLOBECOM 2021 - Proceedings IEEE. https://doi.org/10.1109/GLOBECOM46510.2021.9685589

Hurst, A., Lucani Rötter, D. E., Assent, I. & Zhang, Q. (2023). GLEAN: Generalized Deduplication Enabled Approximate Edge Analytics. IEEE Internet of Things Journal, 10(5), 4006-4020. https://doi.org/10.1109/JIOT.2022.3166455

Hu Fleischhauer, Y., Surale, H. B., Alt, F. & Pfeuffer, K. (2023). Gaze-based Mode-Switching to Enhance Interaction with Menus on Tablets. I S. N. Spencer (red.), Proceedings of the 2023 Symposium on Eye Tracking Research and Applications (s. 1-8). Artikel 7 Association for Computing Machinery. https://doi.org/10.1145/3588015.3588409

Hubenschmid, S., Zagermann, J., Fink, D., Wieland, J., Feuchtner, T. & Reiterer, H. (2021). Towards Asynchronous Hybrid User Interfaces for Cross-Reality Interaction. I H.-C. Jetter, J.-H. Schröder, J. Gugenheimer, M. Billinghurst, C. Anthes, M. Khamis & T. Feuchtner (red.), ISS'21 Workshop Proceedings: Transitional Interfaces in Mixed and Cross-Reality: A new frontier? https://doi.org/10.18148/kops/352-2-84mm0sggczq02

Hubenschmid, S., Zagermann, J., Leicht, D., Reiterer, H. & Feuchtner, T. (2023). ARound the Smartphone: Investigating the Effects of Virtually-Extended Display Size on Spatial Memory. I CHI 2023 - Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems (s. 1-15). Artikel 527 Association for Computing Machinery. https://doi.org/10.1145/3544548.3581438

Hubacek, P., Nielsen, J. B. & Rosen, A. (2013). Limits on the Power of Cryptographic Cheap Talk. I R. Canetti & J. A. Garay (red.), Advances in Cryptology – CRYPTO 2013: 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I (s. 277-297 ). Springer VS. https://doi.org/10.1007/978-3-642-40041-4_16

Hubacek, P. & Park, S. (2014). Cryptographically Blinded Games: Leveraging Players' Limitations for Equilibria and Profit. I M. Babaioff (red.), 15th ACM Conference on Economics and Computation, EC '14 (s. 207-208). Association for Computing Machinery. https://doi.org/10.1145/2600057.2602903

Hubacek, P. & Wichs, D. (2015). On the Communication Complexity of Secure Function Evaluation with Long Output. I T. Roughgarden (red.), Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science, ITCS '15 (s. 163-172 ). Association for Computing Machinery. https://doi.org/10.1145/2688073.2688105

Hubacek, P. (2014). Rationality in the Cryptographic Model. Department of Computer Science, Aarhus University.

Huang, Z., Yi, K. & Zhang, Q. (2011). Randomized Algorithms for Tracking Distributed Count, Frequencies, and Ranks. http://arxiv.org/abs/1108.3413

Huang, Z. & Yi, K. (2014). The communication complexity of distributed epsilon-approximations. I D. Shmoys (red.), 2014 IEEE 55th Annual Symposium on Foundations of Computer Science (FOCS) Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS (s. 591-600). IEEE Computer Society Press. https://doi.org/10.1109/FOCS.2014.69

Huang, Z., Radunović, B., Vojnović, M. & Zhang, Q. (2014). Communication Complexity of Approximate Matching in Distributed Graphs. Afhandling præsenteret på Symposium on Theoretical Aspects of Computer Science, München, Tyskland. http://www.cse.ust.hk/~huangzf/stacs15-matching.pdf

Huang, Z., Radunović, B., Vojnović, M. & Zhang, Q. (2015). Communication complexity of approximate matching in distributed graphs. I 32nd International Symposium on Theoretical Aspects of Computer Science: STACS’15, March 4–7, 2015, Garching, Germany (s. 460-473). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.STACS.2015.460

Huang, D., Morrisett, G. & Spitters, B. (2018, jun. 20). An Application of Computable Distributions to the Semantics of Probabilistic Programs. Cornell University.

Huang, D., Morrisett, G. & Spitters, B. (2020). Application of Computable Distributions to the Semantics of Probabilistic Programs. I G. Barthe, J.-P. Katoen & A. Silva (red.), Foundations of Probabilistic Programming (s. 75-120). Cambridge University Press. https://doi.org/10.1017/9781108770750

Huang, W., Wakefield, M., Rasmussen, T. A., Kim, S. & Billinghurst, M. (2022). A review on communication cues for augmented reality based remote guidance. Journal on Multimodal User Interfaces, 16(2), 239-256. https://doi.org/10.1007/s12193-022-00387-1

Huang, D., Morrisett, G. & Spitters, B. (2020). Application ofComputable Distributions to the Semantics of Probabilistic Programs. I Foundations of Probabilistic Programming (s. 75-120). Cambridge University Press. https://doi.org/10.1017/9781108770750.004

Huang, C., Mathiasen, A., Dean, J., Mottin, D. & Assent, I. (2024). HUNIPU: Efficient Hungarian Algorithm on IPUs. I Proceedings - 2024 IEEE 40th International Conference on Data Engineering Workshops, ICDEW 2024 (s. 388-394). IEEE. https://doi.org/10.1109/ICDEW61823.2024.00062

Huang, W., Billinghurst, M., Alem, L., Xiao, C. & Rasmussen, T. (2024). Computer-Supported Collaboration: Theory and Practice. Wiley-IEEE press.

Huang, C., Mathiasen, A., Dean, J., Langguth, J., Mottin, D. & Assent, I. (2025). Linear Assignment on Tile-Centric Accelerators: Redesigning Hungarian Algorithm on IPUs. I SIAM Symposium on Algorithm Engineering and Experiments, ALENEX 2025 (s. 107-119). Society for Industrial and Applied Mathematics Publications.

Hu, H. (red.), Jensen, C. S. & Dingming , D. (red.) (2013). Message from the LBS n.0 Workshop Organizers. I IEEE 14th International Conference on Mobile Data Management (MDM), 2013 (Volume:2 ) (s. xiii). IEEE. http://mdm2013.dico.unimi.it/

Hu, J., Yang, B., Jensen, C. S. & Ma, Y. (2017). Enabling time-dependent uncertain eco-weights for road networks. Geoinformatica, 21(1), 57-88. https://doi.org/10.1007/s10707-016-0272-z

Hu, E., Grønbæk, J. E., Houck, A. & Heo, S. (2023). OpenMic: Utilizing Proxemic Metaphors for Conversational Floor Transitions in Multiparty Video Meetings. I A. Schmidt, K. Väänänen, T. Goyal, P. O. Kristensson, A. Peters, S. Mueller, J. R. Williamson & M. L. Wilson (red.), CHI'23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 793 Association for Computing Machinery. https://doi.org/10.1145/3544548.3581013

Hu, E., Grønbæk, J. E., Ying, W., Du, R. & Heo, S. (2023). ThingShare: Ad-Hoc Digital Copies of Physical Objects for Sharing Things in Video Meetings. I A. Schmidt, K. Väänänen, T. Goyal, P. O. Kristensson, A. Peters, S. Mueller, J. R. Williamson & M. L. Wilson (red.), CHI'23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 365 Association for Computing Machinery. https://doi.org/10.1145/3544548.3581148

Hsieh, Y. T., Jylhä, A., Orso, V., Andolina, S., Hoggan, E., Gamberini, L. & Jacucci, G. (2019). Developing hand-worn input and haptic support for real-world target finding. Personal and Ubiquitous Computing, 23(1), 117-132. https://doi.org/10.1007/s00779-018-1180-z

Høyer, P., Neerbek, J. & Shi, Y. (2002). Quantum complexities of ordered searching, sorting, and element distinctness. Algorithmica (New York), 34(4), 429-448. https://doi.org/10.1007/s00453-002-0976-3

Høyer, P., Neerbek, J. & Shi, Y. (2001). Quantum complexities of ordered searching, sorting, and element distinctness. I International Colloquium on Automata, Languages, and Programming: 28th International Colloquium, ICALP 2001 (Bind 2076, s. 346-357) https://doi.org/10.1007/3-540-48224-5_29

Houben, S., Marquardt, N., Vermeulen, J., Schöning, J., Klokmose, C. N., Reiterer, H., Korsgaard, H. & Schreiner, M. (2016). Cross-Surface: Challenges and Opportunities for 'bring your own device' in the wild. I CHI EA 2016: #chi4good - Extended Abstracts, 34th Annual CHI Conference on Human Factors in Computing Systems (s. 3366-3372). Association for Computing Machinery. https://doi.org/10.1145/2851581.2856490

Houben, S., Marquardt, N., Vermeulen, J. K., Klokmose, C. N., Schöning, J., Reiterer, H. & Holz, C. (2017). Opportunities and challenges for cross-device interactions in the wild. interactions, 24(5), 58-63. https://doi.org/10.1145/3121348

Houben, S., Bardram, J. E., Vermeulen, J., Luyten, K. & Coninx, K. (2013). Activity-centric Support for Ad Hoc Knowledge Work: A Case Study of Co-activity Manager. Unspecified journal, 2263-2272. https://doi.org/10.1145/2470654.2481312

Houben, S., Vermeulen, J., Luyten, K. & Coninx, K. (2012). Co-activity Manager: Integrating Activity-based Collaboration into the Desktop Interface. Unspecified journal, 398-401. https://doi.org/10.1145/2254556.2254633

Hóu, Z., Clouston, R., Goré, R. & Tiu, A. (2018). Modular Labelled Sequent Calculi for Abstract Separation Logics. ACM Transactions on Computational Logic, 19(2), 1-35. Artikel 13. https://doi.org/10.1145/3197383

Hou, B. J., Newn, J., Sidenmark, L., Khan, A. A., Bækgaard, P. & Gellersen, H. (2023). Classifying Head Movements to Separate Head-Gaze and Head Gestures as Distinct Modes of Input. I CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 253 Association for Computing Machinery. https://doi.org/10.1145/3544548.3581201

Hou, B. J., Newn, J., Sidenmark, L., Khan, A. A. & Gellersen, H. (2024). GazeSwitch: Automatic Eye-Head Mode Switching for Optimised Hands-Free Pointing. Proceedings of the ACM on Human-Computer Interaction, 8(ETRA), Artikel 227. https://doi.org/10.1145/3655601

Hou, B. J., Abdrabou, Y., Weidner, F. & Gellersen, H. (2024). Unveiling Variations: A Comparative Study of VR Headsets Regarding Eye Tracking Volume, Gaze Accuracy, and Precision. I 2024 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW) (s. 650-655). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/VRW62533.2024.00127

Hou, B. J., Abramyan, L., Gurumurthy, P., Adams, H., Tosic Rodgers, I., Gonzalez, E. J., Patel, K., Colaço, A., Pfeuffer, K., Gellersen, H., Ahuja, K. & Gonzalez-Franco, M. (2025). Online-EYE: Multimodal Implicit Eye Tracking Calibration for XR. I N. Yamashita, V. Evers & K. Yatani (red.), CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems (s. 1-16). Artikel 550 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713461

Horst, M., Iversen, O. S. & Petersen, M. G. (2023). Forskere: Mens vi diskuterer skærme i skolen, sætter resten af Europa digital teknologi på skemaet. Altinget.

Hornbæk, K., Oulasvirta, A., Reeves, S. & Bødker, S. (2015). What to Study in HCI? I B. Begole & J. Kim (red.), Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems (s. 2385-2388). Association for Computing Machinery. https://doi.org/10.1145/2702613.2702648

Horelli, L., Saad-Sulonen, J., Wallin, S. & Botero, A. (2015). When Self-Organization intersects with Urban Planning: Two Cases from Helsinki. Planning Practice and Research, 30(3), 286. https://doi.org/10.1080/02697459.2015.1052941

Horak, T., Mathisen, A., Klokmose, C. N., Dachselt, R. & Elmqvist, N. (2019). Vistribute: Distributing Interactive Visualizations in Dynamic Multi-Device Setups. I CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems Artikel 616 Association for Computing Machinery. https://doi.org/10.1145/3290605.3300846

Hoque, M. N., Mashiat, T., Ghai, B., Shelton, C., Chevalier, F., Kraus, K. & Elmqvist, N. (2024). The HaLLMark Effect: Supporting Provenance and Transparent Use of Large Language Models in Writing with Interactive Visualization. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Artikel 1045 Association for Computing Machinery. https://doi.org/10.1145/3613904.3641895

Viser resultater 1401 til 1450 ud af 3006

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series