Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

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, Article 246. https://doi.org/10.1145/3674635

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), Article 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), Article e4970. https://doi.org/10.1002/ett.4970

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. In CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Article 178 Association for Computing Machinery. https://doi.org/10.1145/3613904.3641947

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.

Jakobsen, A. B., Jørgensen, R. S. M., van de Pol, J. & Pavlogiannis, A. (2024). Fast Symbolic Computation of Bottom SCCs. In B. Finkbeiner & L. Kovács (Eds.), Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024 (pp. 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, Article 102345. https://doi.org/10.1016/j.is.2024.102345

Petsinis, P., Tsourakakis, C. E. & Karras, P. (2024). Finding Dense and Persistently Expansive Subgraphs. In WWW 2024 Companion - Companion Proceedings of the ACM Web Conference (pp. 553-556). Association for Computing Machinery, Inc.. 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. In F. F. Mueller, P. Kyburz, J. R. Williamson, C. Sas, M. L. Wilson, P. Toups Dugas & I. Shklovski (Eds.), CHI' 2024: Proceedings of the CHI Conference on Human Factors in Computing Systems (pp. 1-16). Article 268 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3613904.3642607

Larsen, K. G. (2024). From TCS to Learning Theory. In R. Kralovic & A. Kucera (Eds.), 49th International Symposium on Mathematical Foundations of Computer Science, MFCS 2024 Article 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. Abstract from The Thirty-eighth Annual Conference on Neural Information Processing Systems.

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. In CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Article 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), Article 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. In S. N. Spencer (Ed.), Proceedings - SUI 2024: ACM Symposium on Spatial User Interaction Article 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. In UIST '24: Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology 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. In L.-W. Ku, A. Martins & V. Srikumar (Eds.), Findings of the Association for Computational Linguistics: ACL 2024 (pp. 14559-14574). Association for Computational Linguistics (ACL).

Cheng, Y. W., Zhong, Z., Pang, J. & Li, C. T. (2024). Hierarchical Bipartite Graph Convolutional Network for Recommendation. IEEE Computational Intelligence Magazine, 19(2), 49-60. https://doi.org/10.1109/MCI.2024.3363973

Alrøe, S. F., Hoggan, E. & Schulz, H.-J. (2024). Highways and Tunnels: Force Feedback Guidance for Visualisations. In C. Tominski, M. Waldner & B. Wang (Eds.), EuroVisShort2024 The Eurographics Association. https://doi.org/10.2312/evs.20241060

Neumann, L., Guimaraes, A., Aranha, D. F. & Borin, E. (2024). Homomorphic WiSARDs: Efficient Weightless Neural Network training over encrypted data. Abstract from 4th Workshop on Artificial Intelligence and Cryptography, Zurich, Switzerland. https://arxiv.org/abs/2403.20190

Chakraborty, S., Krishna, S. N., Mathur, U. & Pavlogiannis, A. (2024). How Hard Is Weak-Memory Testing? Proceedings of the ACM on Programming Languages , 8, Article 66. https://doi.org/10.1145/3632908

Schulz, H.-J., Aupetit, M. & Fisher, D. (2024). Human Aspects. In J.-D. Fekete, D. Fisher & M. Sedlmair (Eds.), Progressive Data Analysis: Roadmap and Research Agenda (pp. 108-131). Eurographics Association. https://doi.org/10.2312/pda.20242707

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

Srinivasan, A. & Chan, J. (2024). Improving Selection of Analogical Inspirations through Chunking and Recombination. In C&C '24: Proceedings of the 16th Conference on Creativity & Cognition (pp. 374-397). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3635636.3656207

Chakraborty, M., Gnanakumar, A., Sridharan, M. & Møller, A. (2024). Indirection-Bounded Call Graph Analysis. In J. Aldrich & G. Salvaneschi (Eds.), 38th European Conference on Object-Oriented Programming, ECOOP 2024 Article 3 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2024.10

Blaabjerg, J. F. (2024). Information Flow Techniques for Mitigating Traffic Analysis. Aarhus University.

Andersen, L. B., Basballe, D. A., Buus, L., Dindler, C., Hansen, T. I., Hjorth, M., Iversen, O. S., Johannessen, C. M., Kanstrup, K. H., Lorentzen, R. F., Misfeldt, M., Musaeus, L. H., Nielsen, C. B., Petersen, M. G., Schrøder, V. & Slot, M. F. (2024). Infrastructuring digital literacy in K-12 education: A national case study. International Journal of Child - Computer Interaction, 42, Article 100697. https://doi.org/10.1016/j.ijcci.2024.100697

Fleischhacker, N., Larsen, K. G., Obremski, M. & Simkin, M. (2024). Invertible Bloom Lookup Tables with Less Memory and Randomness. In T. Chan, J. Fischer, J. Iacono & G. Herman (Eds.), 32nd Annual European Symposium on Algorithms, ESA 2024 Article 54 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2024.54

Legoupil, M., Rousseau, J., Georges, A. L., Pichon-Pharabod, J. & Birkedal, L. (2024). Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly. Proceedings of the ACM on Programming Languages , 8(OOPSLA2), Article 282. https://doi.org/10.1145/3689722

Butcher, P. W. S., Batch, A., Saffo, D., Macintyre, B., Elmqvist, N. & Ritsos, P. D. (2024). Is Native Naïve? Comparing Native Game Engines and WebXR as Immersive Analytics Development Platforms. IEEE Computer Graphics and Applications, 44(3), 91-98. https://doi.org/10.1109/MCG.2024.3367422

Rathish, H., Picón, G. C. & Schulz, H.-J. (2024). LaNe Plot: A Visual Fingerprinting Technique for Sequential Data. In K. Kucher, A. Diehl & C. Gillmann (Eds.), Poster Proceedings of the 26th Eurographics Conference on Visualization The Eurographics Association. https://doi.org/10.2312/evp.20241087

Marandi, A., Alves, P. G. M. R., Aranha, D. F. & Jacobsen, R. H. (2024). Lattice-based Homomorphic Encryption for Privacy-Preserving Smart Meter Data Analytics. The Computer Journal, 67(5), 1687-1698. https://doi.org/10.1093/comjnl/bxad093

Amireddy, P., Behera, A. R., Paraashar, M., Srinivasan, S. & Sudan, M. (2024). Local Correction of Linear Functions over the Boolean Cube. In STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of Computing (pp. 764-775). Association for Computing Machinery. https://doi.org/10.1145/3618260.3649746

Toftrup, M. B., Loeschcke, S., Belongie, S., J. Kastoryano, M. & Snæbjanarson, V. (2024). LoQT: Low-Rank Adapters for Quantized Pretraining. https://arxiv.org/abs/2405.16528

Burkhardt, J., Caragiannis, I., Fehrs, K., Russo, M., Schwiegelshohn, C. & Shyam, S. (2024). Low-Distortion Clustering with Ordinal and Limited Cardinal Information. In M. Wooldridge, J. Dy & S. Natarajan (Eds.), Technical Tracks 14 (9 ed., pp. 9555-9563). Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v38i9.28811

Bødker, S., Hoggan, E. & Larsen-Ledet, I. (2024). Material Mediation in Collaborative Activity. Proceedings of the ACM on Human-Computer Interaction, 8(CSCW1), Article 207. https://doi.org/10.1145/3653698

Nelson, B., Pagnin, E. & Askarov, A. (2024). Metadata Privacy Beyond Tunneling for Instant Messaging. In Proceedings - 9th IEEE European Symposium on Security and Privacy, EuroS&P 2024 (pp. 697-723). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/EuroSP60621.2024.00044

Bilstrup, K. E. K., Kaspersen, M. H., Bouvin, N. O. & Petersen, M. G. (2024). ml-machine.org: Infrastructuring a Research Product to Disseminate AI Literacy in Education. In CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Article 272 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642539

Protzenko, J. & Spitters, B. (2024). Modernizing FIPS for safe languages and verified libraries. Paper presented at NIST Workshop on Formal Methods within Certification Programs (FMCP 2024), Rockville, Maryland, United States. https://www.nist.gov/system/files/documents/2024/06/11/08-ProtzenkoSpitters.pdf

Frumin, D., Timany, A. & Birkedal, L. (2024). Modular Denotational Semantics for Effects with Guarded Interaction Trees. Proceedings of the ACM on Programming Languages , 8(POPL), Article 12. https://doi.org/10.1145/3632854

Guimaraes, A., Borin, E. & Aranha, D. F. (2024). MOSFHET: Optimized Software for FHE over the Torus. Journal of Cryptographic Engineering, 14(3), 577-593. https://doi.org/10.1007/s13389-024-00359-z

Jiang, Y., Kleinau, J., Eckroth, T. M., Hoggan, E., Mueller, S. & Wessely, M. (2024). MouthIO: Fabricating Customizable Oral User Interfaces with Integrated Sensing and Actuation. In UIST '24 - The 37th Annual ACM Symposium on User Interface Software and Technology Association for Computing Machinery. https://doi.org/10.1145/3654777.3676443

Yakoubov, S., Pagnin, E. & Kolby, S. (2024). Multi Designated Verifier Ring Signatures. IACR Communications in Cryptology, 1(3). https://doi.org/10.62056/a33zivrzn

Francati, D., Friolo, D., Malavolta, G. & Venturi, D. (2024). Multi-key and Multi-input Predicate Encryption (for Conjunctions) from Learning with Errors. Journal of Cryptology, 37(3), Article 24. https://doi.org/10.1007/s00145-024-09504-7

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

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), Article 322. https://doi.org/10.1145/3689762

Displaying results 51 to 100 out of 5533

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University