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

Bødker, S., Fox, S., Lalone, N., Marathe, M. & Soden, R. (2023). (Re) Connecting History to the Theory and Praxis of HCI. ACM Transactions on Human Computer Interaction, 30(2), 1-7. [30(2)].

Arge, L., Lowe, A., Svendsen, S. C. & Agarwal, P. K. (2023). 1D and 2D Flow Routing on a Terrain. ACM Transactions on Spatial Algorithms and Systems, 9(1), [3]. https://doi.org/10.1145/3539660

Wagner, U., Lystbæk, M. N., Manakhov, P., Grønbæk, J. E., Pfeuffer, K. & Gellersen, H. (Accepteret/In press). A Fitts’ Law Study of Gaze-Hand Alignment for Selection in 3D User Interfaces. I 2023 CHI Conference on Human Factors in Computing Systems Association for Computing Machinery.

Pablos-Sarabia, R., Griol, D. & Callejas, Z. (2023). A Proposal for Data Collection and Process Automatization for Ubiquitous Engagement with Mental Health Organizations. I J. Bravo, S. Ochoa & J. Favela (red.), Proceedings of the International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2022 (s. 336-341). Springer. Lecture Notes in Networks and Systems Bind 594 https://doi.org/10.1007/978-3-031-21333-5_34

Aranha, D. F., El Housni, Y. & Guillevic, A. (2023). A survey of elliptic curves for proof systems. Designs, Codes and Cryptography. https://doi.org/10.1007/s10623-022-01135-y

Kaspersen, M. H. (2023). AI Education that Matters: Designing Computationally Empowering Learning Tools for Machine Learning.

Fandina, O. N., Høgsgaard, M. M. & Larsen, K. G. (2023). Barriers for Faster Dimensionality Reduction. I P. Berenbrink, P. Bouyer, A. Dawar & M. M. Kante (red.), 40th International Symposium on Theoretical Aspects of Computer Science, STACS 2023 [31] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Bind 254 https://doi.org/10.4230/LIPIcs.STACS.2023.31

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

Skitsas, K., University, D. O. C. S., Hermanns, J., Mottin, D. & Karras, P. (2023). Comprehensive Evaluation of Algorithms for Unrestricted Graph Alignment. Advances in Database Technology - EDBT, 260-272. https://doi.org/10.48786/edbt.2023.21

Musaeus, L. H., Hansen, J. Ø. & Nielsen, K. (2023). Computational thinking i matematik, naturfag og samfundsfag. MONA - Matematik- og Naturfagsdidaktik, 2023-1, 45-71.

Qian, Z. (2023). Concurrency And Races In Classical Linear Logic. Aarhus Universitet.

Evangelista Belo, J. M. (2023). Context-Aware Adaptive User Interfaces for Mixed Reality.

Hogräfer, M. (2023). Contributions towards Improving the Usefulness of Partial Visualizations in Progressive Visual Analytics. Aarhus Universitet.

Georges, A. L. (2023). Designing and Proving Robust Safety of Efficient Capability Machine Programs.

Van Oosterhout, A., Bruns, M. & Hoggan, E. (2023). Designing for Haptic and Embodied Interaction with Feelix. I TEI '23: Proceedings of the Seventeenth International Conference on Tangible, Embedded, and Embodied Interaction [66] Association for Computing Machinery. ACM International Conference Proceeding Series https://doi.org/10.1145/3569009.3571842

Veileborg, O. H., Saioc, G-V. & Møller, A. (2023). Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. I ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (s. 1-12). [32] Association for Computing Machinery. https://doi.org/10.1145/3551349.3561154

Jørgensen, J. R. & Assent, I. (2023). EGG-SynC: Exact GPU-parallelized Grid-based Clustering by Synchronization. Paper præsenteret ved EDBT 2023: 26th International Conference on Extending Database Technology.

Bilstrup, K-E. K. (2023). Embodied Computational Empowerment: Designing Educational Tools for Critical Reflection on Computational Technologies.

Boudgoust, K., Jeudy, C., Roux-Langlois, A. & Wen, W. (2023). Entropic Hardness of Module-LWE from Module-NTRU. I INDOCRYPT 2022 (s. 78-99). Springer. Lecture Notes in Computer Science Nr. 13774 https://doi.org/10.1007/978-3-031-22912-1_4

Aranha, D. F., Hvass, B. S., Spitters, B. & Tibouchi, M. (Accepteret/In press). Faster constant-time evaluation of the Kronecker symbol with application to elliptic curve hashing. I CCS 2023

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. [50]. https://doi.org/10.1145/3561058

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. 111-126). IEEE. https://doi.org/10.1109/CSF57540.2023.00008

Gregersen, S. O. (2023). Higher-Order Separation Logic for Distributed Systems and Security. Aarhus Universitet.

Veileborg, O. H. (2023). Localized Static Program Analysis for Optimization and Error Detection.

Afshani, P. & Cheng, P. (2023). Lower Bounds for Semialgebraic Range Searching and Stabbing Problems. Journal of the ACM, 70(2), 1-26. [16]. https://doi.org/10.1145/3578574

Thomsen, S. E. (2023). Message Dissemination in the Nakamoto Era.

Blaabjerg, J. F. & Askarov, A. (Accepteret/In press). OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads. Paper præsenteret ved 36th IEEE Computer Security Foundations Symposium, Dubrovnik, Kroatien.

Boudgoust, K., Jeudy, C., Roux-Langlois, A. & Wen, W. (2023). On the Hardness of Module Learning with Errors with Short Distributions. J. Cryptol., 36(1).

Hu, E., Grønbæk, J. E., Hock, A. & Heo, S. (Accepteret/In press). OpenMic: Utilizing Proxemic Metaphors for Conversational Floor Transitions in Multiparty Video Meetings. I Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Association for Computing Machinery. https://doi.org/10.1145/3544548.3581013

Bourneuf, R., Folwarczný, L., Hubáček, P., Rosen, A. & Schwartzbach, N. I. (2023). PPP-Completeness and Extremal Combinatorics. I 14th Conference on Innovations in Theoretical Computer Science (s. 1-20) https://doi.org/10.4230/LIPIcs.ITCS.2023.22

Grønbæk, J. E., Pfeuffer, K., Velloso, E., Astrup, M., Pedersen, M. S., Kjær, M., Leiva, G. & Gellersen, H. (Accepteret/In press). Partially Blended Realities: Aligning Dissimilar Spaces for Distributed Mixed Reality Meetings. I Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Association for Computing Machinery. https://doi.org/10.1145/3544548.3581515

Alves, P. G. M. R., Nayara Ortiz, J. & Aranha, D. F. (Accepteret/In press). Performance of Hierarchical Transforms in Homomorphic Encryption: A case study on Logistic Regression inference. Journal of Cryptographic Engineering.

Airiau, S., Aziz, H., Caragiannis, I., Kruger, J., Lang, J. & Peters, D. (2023). Portioning using ordinal preferences: Fairness and efficiency. Artificial Intelligence, 314, [103809]. https://doi.org/10.1016/j.artint.2022.103809

Rachuri, S. R. (2023). Practical Multiparty Computation: Approaches to Private Machine Learning.

Liu-Zhang, C-D., Matt, C., Maurer, U., Rito, G. & Thomsen, S. E. (2023). Practical Provably Secure Flooding for Blockchains. I Advances in Cryptology - ASIACRYPT 2022: 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5–9, 2022, Proceedings, Part IV (1 udg., Bind 13794). Springer, Cham. Lecture Notes in Computer Science Bind 13794 https://eprint.iacr.org/2022/608

Han, W. & Schulz, H-J. (2023). Providing visual analytics guidance through decision support. Information Visualization, 22(2), 140-165. https://doi.org/10.1177/14738716221147289

Afshani, P. & Killmann, R. (2023). Rectangle stabbing and orthogonal range reporting lower bounds in moderate dimensions. Computational Geometry: Theory and Applications, 111, [101959]. https://doi.org/10.1016/j.comgeo.2022.101959

Bovo, R., Giunchi, D., Sidenmark, L., Newn, J., Gellersen, H., Costanza, E. & Heinis, T. (Accepteret/In press). Speech-Augmented Cone-of-Vision for Exploratory Data Analysis. I 2023 CHI Conference on Human Factors in Computing Systems https://doi.org/10.1145/3544548.3581283

Bouras, C., Caragiannis, I., Gkamas, A., Protopapas, N., Sardelis, T. & Sgarbas, K. (2023). State of the Art Analysis of Resource Allocation Techniques in 5G MIMO Networks. I 37th International Conference on Information Networking, ICOIN 2023 (s. 632-637). IEEE. International Conference on Information Networking Bind 2023-January https://doi.org/10.1109/ICOIN56518.2023.10049018

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

Mueller, F., Petersen, M. G. & Li, Z. (2023). Technology futures: Towards understanding how to design awe-inspiring futures. International Journal of Human Computer Studies, 170, [102961]. https://doi.org/10.1016/j.ijhcs.2022.102961

Loeschcke, S., Belongie, S. & Benaim, S. (2023). Text-Driven Stylization of Video Objects. I L. Karlinsky, T. Michaeli & K. Nishino (red.), Computer Vision – ECCV 2022 Workshops (s. 594-609). Springer. Lecture Notes in Computer Science Bind 13804 https://doi.org/10.1007/978-3-031-25069-9_38

Hansen, K. A., Ibsen-Jensen, R. & Neyman, A. (2023). The Big Match with a Clock and a Bit of Memory. Mathematics of Operations Research, 48(1), 419-432. https://doi.org/10.1287/moor.2022.1267

Christensen, H. B. (2023). The Green Architecture Framework: Energy-efficient Software Architecture.

Hu, E., Grønbæk, J. E., Ying, W., Du, R. & Heo, S. (Accepteret/In press). ThingShare: Ad-Hoc Digital Copies of Physical Objects for Sharing Things in Video Meetings. I Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Association for Computing Machinery. https://doi.org/10.1145/3544548.3581148

Han, W. (2023). Towards Trustworthy Decision Making in Visual Analytics. Aarhus Universitet.

Sidenmark, L., Clarke, C., Newn, J., Lystbæk, M. N., Pfeuffer, K. & Gellersen, H. (Accepteret/In press). Vergence Matching: Inferring Attention to Objects in 3D Environments for Gaze-Assisted Selection. I 2023 CHI Conference on Human Factors in Computing Systems Association for Computing Machinery. https://doi.org/10.1145/3544548.3580685

Aranha, D. F., Baum, C., Gjøsteen, K. & Silde, T. (Accepteret/In press). Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions. I CCS 2023

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

Abdrabou, Y., Schütte, J., Shams, A., Pfeuffer, K., Buschek, D., Khamis, M. & Alt, F. (2022). "Your Eyes Tell You Have Used This Password Before": Identifying Password Reuse from Gaze and Keystroke Dynamics. I CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems [400] Association for Computing Machinery. https://doi.org/10.1145/3491102.3517531

Viser resultater 1 til 50 ud af 2475

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series