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

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

Hoque, M. N. & Elmqvist, N. (2024). Dataopsy: Scalable and Fluid Visual Exploration using Aggregate Query Sculpting. IEEE Transactions on Visualization and Computer Graphics, 30(1), 186-196. https://doi.org/10.1109/TVCG.2023.3326594

Höök, K. H., Jonsson, M., Ståhl, A., Tholander, J., Robertson, T., Marti, P., Svanæs, D., Petersen, M. G., Forlizzi, J., Schiphorst, T., Isbister, K., Hummels, C., Klooster, S., Loke, L. & Khut, G. P. (2016). Move to Be Moved. I CHI EA 2016: #chi4good - Extended Abstracts, 34th Annual CHI Conference on Human Factors in Computing Systems (s. 3301-3308). Association for Computing Machinery. https://doi.org/10.1145/2851581.2856470

Viser resultater 1401 til 1450 ud af 3004

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series