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

Hogräfer, M., Burkhardt, J. & Schulz, H.-J. (2022). A Pipeline for Tailored Sampling for Progressive Visual Analytics. I J. Bernard & M. Angelini (red.), Proceedings of the 13th International EuroVis Workshop on Visual Analytics (EuroVA) (s. 49-53). Eurographics Association. https://doi.org/10.2312/eurova.20221079

Hogräfer, M. & Schulz, H.-J. (2024). Tailorable Sampling for Progressive Visual Analytics. IEEE Transactions on Visualization and Computer Graphics, 30(8), 4809-4824. https://doi.org/10.1109/TVCG.2023.3278084

Hogräfer, M., Moritz, D., Perer, A. & Schulz, H.-J. (2023). Combining Degree of Interest Functions and Progressive Visualization. I 2023 IEEE Visualization Conference – Short Papers: VIS 2023 (s. 251-255). IEEE. https://doi.org/10.1109/VIS54172.2023.00059

Hogräfer, M. (2023). Contributions towards Improving the Usefulness of Partial Visualizations in Progressive Visual Analytics. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Høgh, K. (2023). Complexity of Total Search Problems. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Hoggan, E., Hsieh, Y.-T., Myllymaa, K., Lantz, V., Kildal, J., Eiler, J. & Jacucci, G. (2017). An Exploration of Mobile Shape-Changing Textures. I TEI 2017 - Proceedings of the 11th International Conference on Tangible, Embedded, and Embodied Interaction: TEI '17 (s. 275-282). Association for Computing Machinery. https://doi.org/10.1145/3024969.3024983

Hoggan, E. (2007). Crossmodal interaction: Using audio or tactile displays in mobile devices. I C. Baranauskas, P. Palanque, J. Abascal & SDJ. Barbosa (red.), HUMAN-COMPUTER INTERACTION - INTERACT 2007, PT 2, PROCEEDINGS (s. 577-579). Springer Verlag.

Hoggan, E. & Brewster, S. (2007). New parameters for tacton design. I CHI'07 Extended Abstracts on Human Factors in Computing Systems (s. 2417-2422)

Hoggan, E., Kaaresoja, T., Laitinen, P. & Brewster, S. (2008). Crossmodal congruence: the look, feel and sound of touchscreen widgets. I Proceedings of the 10th international conference on Multimodal interfaces (s. 157-164)

Hoggan, E. & Brewster, S. A. (2010). Crosstrainer: testing the use of multimodal interfaces in situ. I Proceedings of the SIGCHI conference on human factors in computing systems (s. 333-342)

Hoggan, E., Raisamo, R. & Brewster, S. A. (2009). Mapping information to audio and tactile icons. I Proceedings of the 2009 international conference on Multimodal interfaces (s. 327-334)

Hoggan, E., Brewster, S. & Kaaresoja, T. (2008). Crossmodal combinations: using piezo-electric, vibrotactile and audio feedback. I 3rd International Haptic and Auditory Interaction Design Workshop (s. 33)

Hoggan, E., Trendafilov, D., Ahmaniemi, T. & Raisamo, R. (2011). Squeeze vs. tilt: a comparative study using continuous tactile feedback. I CHI'11 Extended Abstracts on Human Factors in Computing Systems (s. 1309-1314)

Hoggan, E. (2012). Crossmodal audio and tactile interaction with mobile touchscreens: Thesis Summary. I Social and Organizational Impacts of Emerging Mobile Devices: Evaluating Use (s. 249-264). IGI global.

Hoggan, E. & Brewster, S. (2012). Nonspeech auditory and crossmodal output. The Human-Computer Interaction Handbook: Fundamentals, Evolving Technologies and Emerging Applications, 211-236.

Hoggan, E., Williamson, J., Oulasvirta, A., Nacenta, M., Kristensson, P. O. & Lehtiö, A. (2013). Multi-touch rotation gestures: Performance and ergonomics. I Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (s. 3047-3050)

Hoggan, E., Nacenta, M., Kristensson, P. O., Williamson, J., Oulasvirta, A. & Lehtiö, A. (2013). Multi-touch pinch gestures: Performance and ergonomics. I Proceedings of the 2013 ACM international conference on Interactive tabletops and surfaces (s. 219-222)

Hoggan, E. (2024). Multimodal Interaction. I Interaction Techniques and Technologies in Human-Computer Interaction (s. 45-63). CRC Press. https://doi.org/10.1201/9781003490678-2

Hladík, M., Daney, D. & Tsigaridas, E. (2011). Characterizing and approximating eigenvalue sets of symmetric interval matrices. Computers & Mathematics with Applications, 62(8), 3152-3163. https://doi.org/10.1016/j.camwa.2011.08.028

Hjorth, A. & Wilensky, U. (2019). Studying Conceptual Change in Classrooms Using Association Rule Mining to Detect Changes in Students' Explanations of the Effects of Urban Planning and Social Policy. Constructivist Foundations, 14(3), 272-283. https://constructivist.info/14/3/272

Hjorth, H. A. (2020). NaturalLanguageProcessing4All: A Tool for Natural Language Processing in Social Studies Education for Non-Programmers. Poster-session præsenteret på Constructionism 2020, Dublin, Irland.

Hjorth, H. A. & Wilensky, U. (2020). Thinking in Levels Across Multiple Levels. Afhandling præsenteret på Constructionism 2020, Dublin, Irland.

Hjorth, A., Head, B., Head, B. & Wilensky, U. (2020). Levelspace: A netlogo extension for multi-level agent-based modeling. JASSS, 23(1), Artikel 4. https://doi.org/10.18564/jasss.4130

Hinrichsen, J. K., Bengtson, J. & Krebbers, R. (2022). ACTRIS 2.0: ASYNCHRONOUS SESSION-TYPE BASED REASONING IN SEPARATION LOGIC. Logical Methods in Computer Science, 18(2), 16:1-16:64. https://doi.org/10.46298/lmcs-18(2:16)2022

Hinrichsen, J. K., Jacobs, J. & Krebbers, R. (2024). Multris: Functional Verification of Multiparty Message Passing in Separation Logic. Proceedings of the ACM on Programming Languages , 8(OOPSLA2), Artikel 322. https://doi.org/10.1145/3689762

Hilker, R., Sickinger, C., Pedersen, C. N. S. & Stoye, J. (2012). UniMoG - A unifying framework for genomic distance calculation and sorting based DCJ. Bioinformatics, 28(19), 2509-2511. https://doi.org/10.1093/bioinformatics/bts440

Higuchi, N., Imamura, Y., Mic, V., Shinohara, T., Hirata, K. & Kuboyama, T. (2024). Fast Filtering for Similarity Search Using Conjunctive Enumeration of Sketches in Order of Hamming Distance. I M. Castrillon-Santana, M. De Marsico & A. Fred (red.), Proceedings of the 13th International Conference on Pattern Recognition Applications and Methods - ICPRAM (Bind 1, s. 499-510). SCITEPRESS Digital Library. https://doi.org/10.5220/0012322700003654

Hermanns, J., Tsitsulin, A., Munkhoeva, M., Bronstein, A., Mottin, D. & Karras, P. (2021). GRASP: Graph Alignment through Spectral Signatures. I L. Hou U, M. Spaniol, Y. Sakurai & J. Chen (red.), Web and Big Data - 5th International Joint Conference, APWeb-WAIM 2021, Proceedings (s. 44-52). Springer. https://doi.org/10.1007/978-3-030-85896-4_4

Hermanns, J., Skitsas, K., Tsitsulin, A., Munkhoeva, M., Kyster, A., Nielsen, S., Bronstein, A. M., Mottin, D. & Karras, P. (2023). GRASP: Scalable Graph Alignment by Spectral Corresponding Functions. ACM Transactions on Knowledge Discovery from Data, 17(4), 1-26. Artikel 50. https://doi.org/10.1145/3561058

Hermanns, J. F. (2022). Spectral Graph Correspondences. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Henriksen, A., Enni, S. & Bechmann, A. (2021). Situated Accountability: Ethical Principles, Certification Standards, and Explanation Methods in Applied AI. I AIES '21: Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society (s. 574-585). Association for Computing Machinery. https://doi.org/10.1145/3461702.3462564

Helms, J., Schaefer, R., Luyten, K., Vermeulen, J., Abrams, M., Coyette, A. & Vanderdonckt, J. (2009). Human-Centered Engineering Of Interactive Systems With The User Interface Markup Language. I Human-Centered Software Engineering - Software Engineering Models, Patterns and Architectures for HCI (s. 139-171) https://doi.org/10.1007/978-1-84800-907-3_7

Heinze, T. S., Møller, A. & Strocco, F. (2016). Type safety analysis for dart. I R. Ierusalimschy (red.), DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages (s. 1-12). Association for Computing Machinery. https://doi.org/10.1145/2989225.2989226

Hedegaard Morsing, L., Sheikh-Omar, O. A. & Iosifidis, A. (2021). Supervised Domain Adaptation: A Graph Embedding Perspective and a Rectified Experimental Protocol. IEEE Transactions on Image Processing, 30, 8619-8631. https://doi.org/10.1109/TIP.2021.3118978

Hazay, C., Mikkelsen, G. L., Rabin, T. & Toft, T. (2011). Efficient RSA Key Generation and Threshold Paillier in the Two-Party Setting. http://eprint.iacr.org/2011/494

Hazay, C., Mikkelsen, G. L., Rabin, T. & Toft, T. (2012). Efficient RSA Key Generation and Threshold Paillier in the Two-Party Setting. Lecture Notes in Computer Science, 7178, 313-331. https://doi.org/10.1007/978-3-642-27954-6_20

Hazay, C. & Nissim , K. (2012). Efficient Set Operations in the Presence of Malicious Adversaries. Journal of Cryptology, 25(3), 383-433 . https://doi.org/10.1007/s00145-011-9098-x

Hazay, C. & Toft, T. (2014). Computationally Secure Pattern Matching in the Presence of Malicious Adversaries. Journal of Cryptology, 27(2), 358-395. https://doi.org/10.1007/s00145-013-9147-8

Hazay, C., Polychroniadou, A. & Venkitasubramaniam, M. (2016). Composable Security in the Tamper-Proof Hardware Model Under Minimal Complexity. I M. Hirt & A. Smith (red.), Theory of Cryptography - 14th International Conference, TCC 2016-B, Proceedings: 14th International Conference, TCC 2016-B (Bind 9985 , s. 367-399). Springer VS. https://doi.org/10.1007/978-3-662-53641-4_15

Hazay, C., Polychroniadou, A. & Venkitasubramaniam, M. (2017). Constant-Round Adaptively Secure Protocols in the Tamper-Proof Hardware Model. I S. Fehr (red.), Public-Key Cryptography – PKC 2017 - 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings: PKC 2017 (Bind 10175, s. 428-460 ). Springer VS. https://doi.org/10.1007/978-3-662-54388-7_15

Hazay, C., Scholl, P. & Soria-Vazquez, E. (2017). Low cost constant round MPC combining BMR and oblivious transfer. I T. Takagi & T. Peyrin (red.), Advances in Cryptology – ASIACRYPT 2017 - 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Proceedings (Bind 10624, s. 598-628). Springer VS. https://doi.org/10.1007/978-3-319-70694-8_21

Hazay, C., Orsini, E., Scholl, P. & Soria-Vazquez, E. (2018). TinyKeys: A New Approach to Efficient Multi-Party Computation. I H. Shacham & A. Boldyreva (red.), Advances in Cryptology – CRYPTO 2018 - 38th Annual International Cryptology Conference, 2018, Proceedings (Bind 10993, s. 3-33). Springer VS. https://doi.org/10.1007/978-3-319-96878-0_1

Hazay, C., Orsini, E., Scholl, P. & Soria-Vazquez, E. (2018). Concretely Efficient Large-Scale MPC with Active Security (or, TinyKeys for TinyOT). I T. Peyrin & S. Galbraith (red.), Advances in Cryptology – ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings (Bind 11274, s. 86-117). Springer VS. https://doi.org/10.1007/978-3-030-03332-3_4

Hazay, C., López-Alt, A., Wee, H. & Wichs, D. (2013). Leakage-resilient cryptography from minimal assumptions. I T. Johansson & P. Nguyen (red.), Leakage-Resilient Cryptography from Minimal Assumptions: 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings (s. 160-176). Springer VS. https://doi.org/10.1007/978-3-642-38348-9_10

Hazay, C., Scholl, P. & Soria-Vazquez, E. (2020). Low Cost Constant Round MPC Combining BMR and Oblivious Transfer. Journal of Cryptology, 33(4), 1732-1786. https://doi.org/10.1007/s00145-020-09355-y

Hazay, C., Orsini, E., Scholl, P. & Soria-Vazquez, E. (2022). TinyKeys: A New Approach to Efficient Multi-Party Computation. Journal of Cryptology, 35(2), Artikel 13. https://doi.org/10.1007/s00145-022-09423-5

Haxen, M., Raeburn, M., Afshani, P. & Karras, P. (2021). Centerpoint Query Authentication. I Proceedings of the 30th ACM International Conference on Information & Knowledge Management (CIKM '21) (s. 3083-3087). Association for Computing Machinery. https://doi.org/10.1145/3459637.3482072

Haverkort, H. & Walderveen, F. V. (2011). Four-dimensional hilbert curves for R-trees. Journal of Experimental Algorithmics, 16(3), article 3.4. http://delivery.acm.org.ez.statsbiblioteket.dk:2048/10.1145/2030000/2025380/a3_4-haverkort.pdf?ip=130.225.27.190&acc=ACTIVE%20SERVICE&CFID=87253851&CFTOKEN=10848781&__acm__=1330418603_15ea5ff6076f78ee33d5b69771abf5ef

Haulrik, N., Petersen, R. M. & Merritt, T. (2017). CADLens: Haptic feedback for navigating in 3D environments. I DIS 2017 Companion - Proceedings of the 2017 ACM Conference on Designing Interactive Systems (s. 127-131). Association for Computing Machinery. https://doi.org/10.1145/3064857.3079132

Haselwarter, P. G., Rivas, E., Van Muylder, A., Winterhalter, T., Abate, C., Sidorenco, N., Hriţcu, C., Maillard, K. & Spitters, B. (2023). SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. ACM Transactions on Programming Languages and Systems, 45(3), 61. Artikel 15. https://doi.org/10.1145/3594735

Viser resultater 1501 til 1550 ud af 3070

Forrige

Næste

Revideret 10.10.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series