Publikationer

Søg publikationer fra Institut for Datalogi

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

Pollock, J., Arawjo, I., Berger, C. P. & Satyanarayan, A. (2024). Designing for Semi-Formal Programming with Foundation Models. Abstract fra PLATEAU, Berkeley, California, USA. https://vis.csail.mit.edu/pubs/semi-formal-design-space.pdf

Pfeuffer, K., Gellersen, H. & Gonzalez-Franco, M. (2024). Design Principles and Challenges for Gaze + Pinch Interaction in XR. IEEE Computer Graphics and Applications, 44(3), 74-81. https://doi.org/10.1109/MCG.2024.3382961

Brodal, G. S. & Wild, S. (2024). Deterministic Cache-Oblivious Funnelselect. I H. L. Bodlaender (red.), 19th Scandinavian Symposium on Algorithm Theory, SWAT 2024 Artikel 17 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SWAT.2024.17

Alon, N., Bousquet, O., Larsen, K. G., Moran, S. & Moran, S. (2024). Diagonalization Games. The American Mathematical Monthly, 131(10), 866-879. https://doi.org/10.1080/00029890.2024.2393992

Damgård, I., Keller, H., Nelson, B., Orlandi, C. & Pagh, R. (2024). Differentially Private Selection from Secure Distributed Computing. I T.-S. Chua, C.-W. Ngo, R. Kumar, H. W. Lauw & R. K.-W. Lee (red.), WWW 2024 - Proceedings of the ACM Web Conference (s. 1103-1114). Association for Computing Machinery. https://doi.org/10.1145/3589334.3645435

Dideriksen, A. K., Andersen, M. F., Priest, J., Eriksen, N. F., Frandsen, M. T., Melvad, C., Rasmussen, T. F., Nielsen, N. H. K., Strømsnes, C. T., Ahlebæk, M. J., Samsing, S., Larsen, T. B., Don, J., Pedersen, L. A. N., Jacobsen, R. H., Rysgaard, S., Kim, J. M., Bayer, R., Christensen, C. ... Karoff, C. (2024). DISCO-2 – an ambitious earth observing student CubeSat for arctic climate research. Frontiers in Remote Sensing, 5, Artikel 1474560. https://doi.org/10.3389/frsen.2024.1474560

Abram, D. (2024). Distributed (Correlation) Samplers: A Study on the Round Complexity of Cryptographic Sampling Protocols. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus University.

Rodriguez, J. M., Tavassoli, N., Levy, E., Lederman, G., Sivov, D., Lissandrini, M. & Mottin, D. (2024). Does the Performance of Text-to-Image Retrieval Models Generalize Beyond Captions-as-a-Query? I N. Goharian, N. Tonellotto, Y. He, A. Lipani, G. McDonald, C. Macdonald & I. Ounis (red.), Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24–28, 2024, Proceedings, Part IV (s. 161-176). Springer. https://doi.org/10.1007/978-3-031-56066-8_15

Goel, A., Hall-Andersen, M. & Kaptchuk, G. (2024). Dora: A Simple Approach to Zero-Knowledge for RAM Programs. I CCS 2024 - Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security (s. 869-883). Association for Computing Machinery. https://doi.org/10.1145/3658644.3690213

Beer, A., Palotás, O., Maldonado, A., Draganov, A. & Assent, I. (2024). DROPP: Structure-Aware PCA for Ordered Data: A General Method and its Applications in Climate Research and Molecular Dynamics. I 2024 IEEE 40th International Conference on Data Engineering (ICDE) (s. 1143-1156). IEEE. https://doi.org/10.1109/ICDE60146.2024.00093

Brewer, B., Brodal, G. S. & Wang, H. (2024). Dynamic Convex Hulls for Simple Paths. I W. Mulzer & J. M. Phillips (red.), 40th International Symposium on Computational Geometry, SoCG 2024 Artikel 24 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2024.24

Loss, J. & Nielsen, J. B. (2024). Early Stopping for Any Number of Corruptions. I M. Joye & G. Leander (red.), Advances in Cryptology – EUROCRYPT 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (Bind III, s. 457-488). Springer. https://doi.org/10.1007/978-3-031-58734-4_16

Thøgersen, M. R. & Kjeldsen, R. J. F. (2024). Echolocation as an Accessible Navigation Tool in a Virtual 3D Environment. I ASSETS 2024 - Proceedings of the 26th International ACM SIGACCESS Conference on Computers and Accessibility Artikel 132 Association for Computing Machinery. https://doi.org/10.1145/3663548.3688547

Elmqvist, N., Liu, S. & Pascucci, V. (2024). Editorial Guest Editors' Introduction. IEEE Transactions on Visualization and Computer Graphics, 30(6), 2860-2861. https://doi.org/10.1109/TVCG.2024.3373233

Zhong, Z. & Mottin, D. (2024). Efficiently Predicting Mutational Effect on Homologous Proteins by Evolution Encoding. I A. Bifet, J. Davis, T. Krilavičius, M. Kull, E. Ntoutsi & I. Žliobaitė (red.), Machine Learning and Knowledge Discovery in Databases. Research Track: European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9–13, 2024, Proceedings, Part VII (s. 399-415). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-70368-3_24

Hall-Andersen, M. N. (2024). Either/Or. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus University.

Abdrabou, Y., Asbeck, M., Pfeuffer, K., Abdelrahman, Y., Hassib, M. & Alt, F. (2024). Empowering Users: Leveraging Interface Cues to Enhance Password Security. https://link.springer.com/chapter/10.1007/978-3-031-42280-5_22

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

Aguirre, A., Haselwarter, P. G., De Medeiros, M., Li, K. H., Gregersen, S. O., Tassarotti, J. & Birkedal, L. (2024). Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs. Proceedings of the ACM on Programming Languages , 8, Artikel 246. https://doi.org/10.1145/3674635

Caragiannis, I. & Homrighausen, S. (2024). Estimating the Expected Social Welfare and Cost of Random Serial Dictatorship. I G. Schäfer & C. Ventre (red.), Algorithmic Game Theory - 17th International Symposium, SAGT 2024, Proceedings (s. 184–201). Springer. https://doi.org/10.1007/978-3-031-71033-9_11

Besana, N., Krogh, P. G., Petersen, M. G. & Spallazzo, D. (2024). Expanding the Concept of Sustainable Interaction Design: A Systematic Review. Sustainability (Switzerland), 16(17), Artikel 7486. https://doi.org/10.3390/su16177486

Khani, P., Moeinaddini, E., Abnavi, N. D. & Shahraki, A. (2024). Explainable artificial intelligence for feature selection in network traffic classification: A comparative study. Transactions on Emerging Telecommunications Technologies, 35(4), Artikel e4970. https://doi.org/10.1002/ett.4970

Zhong, Z. & Mottin, D. (2024). Exploring Graph Structure Comprehension Ability of Multimodal Large Language Models: Case Studies.

Frich, J., Grønbæk, J. E., Borowski, M. & Dalsgaard, P. (2024). Exploring the impact of AI features on collaborative creativity. Afhandling præsenteret på OzCHI 2024, Brisbane, Australien. https://outbox.eait.uq.edu.au/uqsville/OzCHI2024/Long%20Papers/Exploring%20the%20impact%20of%20AI%20features%20on%20collaborative%20creativity.pdf

Turkmen, R., Gelmez, Z. E., Batmaz, A. U., Stuerzlinger, W., Asente, P., Sarac, M., Pfeuffer, K. & Machuca, M. D. B. (2024). EyeGuide & EyeConGuide: Gaze-based Visual Guides to Improve 3D Sketching Systems. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Artikel 178 Association for Computing Machinery. https://doi.org/10.1145/3613904.3641947

Wagner, U., Jacobsen, A. A., Feuchtner, T., Gellersen, H. & Pfeuffer, K. (2024). Eye-Hand Movement of Objects in Near Space. I B. Ens & S. Carpendale (red.), ISS Companion 2024 - Companion Proceedings of the Conference on Interactive Surfaces and Spaces (s. 18-21). Association for Computing Machinery. https://doi.org/10.1145/3696762.3698044

Wagner, U., Jacobsen, A. A., Feuchtner, T., Gellersen, H. & Pfeuffer, K. (2024). Eye-Hand Movement of Objects in Near Space Extended Reality. I UIST 2024 - Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology Artikel 84 Association for Computing Machinery. https://doi.org/10.1145/3654777.3676446

Abdrabou, Y., Hassib, M., Hu, S., Pfeuffer, K., Khamis, M., Bulling, A. & Alt, F. (2024). EyeSeeIdentity: Exploring Natural Gaze Behavior for Implicit User Identification during Photo Viewing.

Ma, W. (2024). Fairness-aware Graph Mining. [Ph.d.-afhandling, Aarhus Universitet].

Svenning, R. & Sridhar, V. (2024). Fast Area-Weighted Peeling of Convex Hulls for Outlier Detection. I Proceedings of the 36th Canadian Conference on Computational Geometry (s. 233-240). The CCCG Library.

Aranha, D. F., Battagliola, M. & Roy, L. D. (2024). Faster coercion-resistant e-voting by encrypted sorting. I E-Vote-ID 2023 (s. 53-70). Gesellschaft fur Informatik (GI). https://doi.org/10.18420/e-vote-id2023_03

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

Bui, D., Couteau, G., Meyer, P., Passelègue, A. & Riahinia, M. (2024). Fast Public-Key Silent OT and More from Constrained Naor-Reingold. I M. Joye & G. Leander (red.), Advances in Cryptology – EUROCRYPT 2024 (s. 88-118). Springer. https://doi.org/10.1007/978-3-031-58751-1_4

Jakobsen, A. B., Jørgensen, R. S. M., van de Pol, J. & Pavlogiannis, A. (2024). Fast Symbolic Computation of Bottom SCCs. I B. Finkbeiner & L. Kovács (red.), Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024 (s. 110-128). Springer. https://doi.org/10.1007/978-3-031-57256-2_6

Manakhov, P., Sidenmark, L., Pfeuffer, K. & Gellersen, H. (2024). Filtering on the Go: Effect of Filters on Gaze Pointing Accuracy During Physical Locomotion in Extended Reality. IEEE Transactions on Visualization and Computer Graphics, 30(11), 7234-7244. https://doi.org/10.1109/TVCG.2024.3456153

Mic, V. & Zezula, P. (2024). Filtering with relational similarity. Information Systems, 122, Artikel 102345. https://doi.org/10.1016/j.is.2024.102345

Petsinis, P., Tsourakakis, C. E. & Karras, P. (2024). Finding Dense and Persistently Expansive Subgraphs. I WWW 2024 Companion - Companion Proceedings of the ACM Web Conference (s. 553-556). Association for Computing Machinery. https://doi.org/10.1145/3589335.3651507

Christensen, H. B. (2024). Flexible, Reliable Software, 2nd Edition, Part V: Compositional Design: Compositional Design.

Christensen, H. B. (2024). Flexible, Reliable Software, 2nd Edition, Part VI: A Design Pattern Catalogue.

Kaspersen, M. H., Musaeus, L. H., Bilstrup, K. E. K., Petersen, M. G., Iversen, O. S., Dindler, C. & Dalsgaard, P. (2024). From Primary Education to Premium Workforce: Drawing on K-12 Approaches for Developing AI Literacy. I F. F. Mueller, P. Kyburz, J. R. Williamson, C. Sas, M. L. Wilson, P. Toups Dugas & I. Shklovski (red.), CHI' 2024: Proceedings of the CHI Conference on Human Factors in Computing Systems (s. 1-16). Artikel 268 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642607

Larsen, K. G. (2024). From TCS to Learning Theory. I R. Kralovic & A. Kucera (red.), 49th International Symposium on Mathematical Foundations of Computer Science, MFCS 2024 Artikel 4 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.MFCS.2024.4

Bommakanti, A., Vonteri, H. R., Skitsas, K., Ranu, S., Mottin, D. & Karras, P. (2024). FUGAL: Feature-fortified Unrestricted Graph Alignment. Afhandling præsenteret på The Thirty-eighth Annual Conference on Neural Information Processing Systems.

Cao, Z., Krieger, L., Scharr, H. & Assent, I. (2024). Galaxy Morphology Classification with Counterfactual Explanation. I Machine Learning and the Physical Sciences Workshop, NeurIPS 2024. https://ml4physicalsciences.github.io/2024/files/NeurIPS_ML4PS_2024_22.pdf

Manakhov, P., Sidenmark, L., Pfeuffer, K. & Gellersen, H. (2024). Gaze on the Go: Effect of Spatial Reference Frame on Visual Target Acquisition During Physical Locomotion in Extended Reality. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Artikel 373 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642915

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

Wagner, U., Albrecht, M., Jacobsen, A. A., Wang, H., Gellersen, H. & Pfeuffer, K. (2024). Gaze, Wall, and Racket: Combining Gaze and Hand-Controlled Plane for 3D Selection in Virtual Reality. Proceedings of the ACM on Human-Computer Interaction, 8(ISS), 189-213. https://doi.org/10.1145/3698134

Gabel, J., Schmidt, S., Pfeuffer, K. & Steinicke, F. (2024). Guiding Handrays in Virtual Reality: Comparison of Gaze- and Object-Based Assistive Raycast Redirection. I S. N. Spencer (red.), Proceedings - SUI 2024: ACM Symposium on Spatial User Interaction Artikel 27 Association for Computing Machinery. https://doi.org/10.1145/3677386.3682080

Lystbæk, M. N., Mikkelsen, T., Krisztandl, R., Gonzalez, E. J., Gonzalez-Franco, M., Gellersen, H. & Pfeuffer, K. (2024). Hands-on, Hands-off: Gaze-Assisted Bimanual 3D Interaction. I UIST 2024 - Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology: Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology Artikel 80 Association for Computing Machinery. https://doi.org/10.1145/3654777.3676331

Fechete, L. I., Larking, A. C., Heslop, A., Hannaford, R., Anderson, C. B., Hong, W., Prakash, S., Mace, W., Alikhani, S., Hofmann, R. W., Tausen, M., Schierup, M. H., Andersen, S. U. & Griffiths, A. G. (2024). Harnessing cold adaptation for postglacial colonisation: Galactinol synthase expression and raffinose accumulation in a polyploid and its progenitors. Plant, Cell & Environment, 47(10), 4014-4030. https://doi.org/10.1111/pce.15009

Zhong, Z., Zhou, K. & Mottin, D. (2024). Harnessing Large Language Models as Post-hoc Correctors. I L.-W. Ku, A. Martins & V. Srikumar (red.), Findings of the Association for Computational Linguistics: ACL 2024 (s. 14559-14574). Association for Computational Linguistics (ACL). https://doi.org/10.18653/v1/2024.findings-acl.867

Viser resultater 351 til 400 ud af 6042

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series